#BEGIN: [Sat Sep  2 23:27:40 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJR500.1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJR500.1_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/2022benchmark/benchmark/color04/DSJR500.1.col /benchmark/2022benchmark/benchmark/color04/DSJR500.1_01.dat
14:28:30 [INFO] Time reorder   : 49 (sec)
14:29:51 [INFO] Time reconf    : 81 (sec)
s 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
t 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a YES
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 262 269 298 301 306 309 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 240 249 255 262 269 298 301 306 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
	Command being timed: "bash /solver-dir/run.sh /benchmark/2022benchmark/benchmark/color04/DSJR500.1.col /benchmark/2022benchmark/benchmark/color04/DSJR500.1_01.dat"
	User time (seconds): 129.12
	System time (seconds): 1.69
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 2:10.88
	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): 4672896
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 147
	Minor (reclaiming a frame) page faults: 2102170
	Voluntary context switches: 674
	Involuntary context switches: 664
	Swaps: 0
	File system inputs: 43088
	File system outputs: 120
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Sat Sep  2 23:29:51 2023]