#BEGIN: [Wed Sep  6 01:04:10 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance017_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat
16:04:12 [INFO] Time reorder   : 1 (sec)
16:15:36 [INFO] Time reconf    : 684 (sec)
s 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219
t 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 124 127 129 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat"
	User time (seconds): 660.64
	System time (seconds): 24.67
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:25.54
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 64403092
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1807
	Minor (reclaiming a frame) page faults: 30158739
	Voluntary context switches: 2399
	Involuntary context switches: 6047
	Swaps: 0
	File system inputs: 74224
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 01:15:37 2023]