#BEGIN: [Wed Sep  6 00:21:22 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance036_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph005_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_instance036_graph005.col /benchmark/random_instance/random_instance036_graph005_01.dat
15:21:29 [INFO] Time reorder   : 6 (sec)
15:32:20 [INFO] Time reconf    : 651 (sec)
s 2 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 64 65 70 77 79 80 81 83 85 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 404 405 409 410 419 427 439 444 447 448 452 455 459 460 464 468
t 3 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 103 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 351 352 354 355 356 357 358 361 367 373 388 392 393 394 395 396 400 401 402 403 404 409 415 417 420 423 427 428 431 439 443 451 454 457 458 461 464

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance036_graph005.col /benchmark/random_instance/random_instance036_graph005_01.dat"
	User time (seconds): 633.38
	System time (seconds): 24.24
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:57.90
	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): 64492592
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1815
	Minor (reclaiming a frame) page faults: 29463044
	Voluntary context switches: 2482
	Involuntary context switches: 6248
	Swaps: 0
	File system inputs: 74816
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:32:21 2023]