c #BEGIN: [Thu Mar 17 11:43:01 2022]
c #HOST: mini02.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_01.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_01.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 (0) step 8 SAT 20493 84454
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 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 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 476 481 488 489 492 493 498
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 269 270 298 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 476 481 488 489 492 493 498
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 240 249 255 269 270 298 306 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 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 270 298 306 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 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 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 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 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 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 319 323 324 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 319 324 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: "/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_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.87
	System time (seconds): 0.15
	Percent of CPU this job got: 174%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.73
	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): 957464576
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 5
	Minor (reclaiming a frame) page faults: 69091
	Voluntary context switches: 40
	Involuntary context switches: 3058
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 44
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 3.02 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 3.02
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:03 2022]