#BEGIN: [Wed Sep  6 00:03:12 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat
15:03:14 [INFO] Time reorder   : 2 (sec)
15:13:50 [INFO] Time reconf    : 635 (sec)
s 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297
t 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 104 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 237 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 299

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat"
	User time (seconds): 613.74
	System time (seconds): 24.49
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:38.40
	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): 62976884
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1870
	Minor (reclaiming a frame) page faults: 29032382
	Voluntary context switches: 2052
	Involuntary context switches: 4365
	Swaps: 0
	File system inputs: 36760
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:13:50 2023]