#BEGIN: [Wed Sep  6 01:10:11 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance019_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_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat
16:10:13 [INFO] Time reorder   : 1 (sec)
16:20:40 [INFO] Time reconf    : 626 (sec)
s 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240
t 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat"
	User time (seconds): 602.85
	System time (seconds): 24.91
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:27.97
	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): 63123900
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1819
	Minor (reclaiming a frame) page faults: 29241854
	Voluntary context switches: 2467
	Involuntary context switches: 3364
	Swaps: 0
	File system inputs: 75032
	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:20:40 2023]