#BEGIN: [Wed Sep  6 01:31:33 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance034_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance034_graph001_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_instance034_graph001.col /benchmark/random_instance/random_instance034_graph001_01.dat
16:31:39 [INFO] Time reorder   : 5 (sec)
16:41:31 [INFO] Time reconf    : 592 (sec)
s 2 9 10 14 17 22 23 26 29 32 33 38 39 42 44 46 49 55 61 62 66 70 74 78 81 85 91 95 97 100 101 102 110 111 112 113 118 120 123 128 135 138 139 144 145 147 148 149 152 155 160 173 178 179 181 186 188 189 198 199 203 204 205 206 208 209 210 211 216 218 221 234 242 247 249 252 253 256 258 262 263 265 271 272 273 275 276 281 282 285 291 292 296 298 299 303 305 310 311 312 317 320 321 322 323 327 330 332 336 338 340 346 353 356 357 360 361 369 373 377 379 382 384 388 389 393 400 403 405 406 412 414 418 419 422 423 424 432
t 7 9 10 16 19 22 23 29 32 39 40 46 49 53 59 64 66 67 70 71 74 76 79 84 86 88 90 91 94 95 98 106 107 111 113 116 117 118 128 131 135 139 141 142 145 150 152 155 157 160 161 163 172 174 178 181 189 190 191 196 198 205 207 217 218 221 222 223 227 228 232 234 235 241 245 247 249 252 254 258 262 263 264 265 268 271 273 277 286 290 291 297 299 303 311 314 316 318 322 330 334 341 343 345 346 347 349 355 357 359 364 368 373 374 378 379 380 381 385 389 390 392 396 401 403 404 406 407 416 417 418 421 425 427 432 433 435 439

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance034_graph001.col /benchmark/random_instance/random_instance034_graph001_01.dat"
	User time (seconds): 566.56
	System time (seconds): 25.87
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:57.86
	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): 64464968
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 71602
	Minor (reclaiming a frame) page faults: 31342985
	Voluntary context switches: 71859
	Involuntary context switches: 6095
	Swaps: 0
	File system inputs: 704056
	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 01:41:32 2023]