c #BEGIN: [Thu Mar 17 11:43:01 2022]
c #HOST: mini17.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1_02.dat
c #COMMAND: /Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 3000 14104
c (0) step 2 UNSAT 5499 24154
c (0) step 3 UNSAT 7998 34204
c (0) step 4 UNSAT 10497 44254
c (0) step 5 UNSAT 12996 54304
c (0) step 6 UNSAT 15495 64354
c (0) step 7 UNSAT 17994 74404
c (2) step 8 UNSAT 20493 84454
c (6) step 9 UNSAT 22992 94504
c (15) step 10 UNSAT 25491 104554
c (30) step 11 UNSAT 27990 114604
c (43) step 12 UNSAT 30489 124654
c (43) step 13 SAT 32988 134704
a YES
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 309 319 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498
a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 105 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 215 249 255 269 295 298 301 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 105 106 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 215 249 255 269 295 298 301 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 105 106 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 105 106 114 115 128 132 148 155 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 319 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 105 106 114 115 128 132 148 155 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 319 324 326 331 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 105 106 114 115 128 148 155 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 331 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 497
a 1 8 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 497
a 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 497
a 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492
a 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492
	Command being timed: "/Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJR500.1_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 46.08
	System time (seconds): 0.33
	Percent of CPU this job got: 103%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.87
	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): 1209188352
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 39
	Minor (reclaiming a frame) page faults: 136418
	Voluntary context switches: 43
	Involuntary context switches: 6814
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 46
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 46.41 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 46.41
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:46 2022]