#BEGIN: [Mon Sep 18 15:58:20 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance028_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance028_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_instance028_graph003.col /benchmark/random_instance/random_instance028_graph003_01.dat
06:58:26 [INFO] Time reorder   : 5 (sec)
07:11:46 [INFO] Time reconf    : 799 (sec)
s 3 7 8 9 12 13 14 20 25 26 29 30 32 33 36 42 46 48 51 65 66 68 73 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 359 360
t 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 141 145 153 163 164 165 170 173 175 177 179 182 185 190 191 193 195 199 205 206 208 211 212 221 223 224 225 230 232 236 239 242 244 245 248 259 261 262 268 270 271 272 277 281 285 286 289 290 292 296 298 301 303 307 309 310 314 322 328 333 338 342 351 352 354 357 360 363

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance028_graph003.col /benchmark/random_instance/random_instance028_graph003_01.dat"
	User time (seconds): 776.71
	System time (seconds): 28.33
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:25.27
	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): 64481360
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1851
	Minor (reclaiming a frame) page faults: 29703256
	Voluntary context switches: 2454
	Involuntary context switches: 7130
	Swaps: 0
	File system inputs: 75712
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 16:11:46 2023]