c #BEGIN: [Thu Mar 17 11:43:01 2022]
c #HOST: mini09.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/color04/DSJC500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJC500.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/DSJC500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJC500.1_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 3000 31910
c (0) step 2 UNSAT 5499 50863
c (0) step 3 UNSAT 7998 69816
c (0) step 4 UNSAT 10497 88769
c (0) step 5 UNSAT 12996 107722
c (0) step 6 SAT 15495 126675
a YES
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 309 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 309 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
	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/DSJC500.1.col benchmark/graph-instance/core-challenge-2022/color04/DSJC500.1_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.98
	System time (seconds): 0.17
	Percent of CPU this job got: 224%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.40
	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): 1176043520
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 83162
	Voluntary context switches: 43
	Involuntary context switches: 2486
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 52
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 3.15 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 3.15
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:03 2022]