c #BEGIN: [Thu Mar 17 11:43:05 2022]
c #HOST: mini07.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/color04/le450_15d.col benchmark/graph-instance/core-challenge-2022/color04/le450_15d_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/le450_15d.col benchmark/graph-instance/core-challenge-2022/color04/le450_15d_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 2700 39794
c (0) step 2 UNSAT 4949 62389
c (0) step 3 UNSAT 7198 84984
c (0) step 4 UNSAT 9447 107579
c (0) step 5 UNSAT 11696 130174
c (0) step 6 SAT 13945 152769
a YES
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 160 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438
	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/le450_15d.col benchmark/graph-instance/core-challenge-2022/color04/le450_15d_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.91
	System time (seconds): 0.18
	Percent of CPU this job got: 215%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.44
	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): 1249837056
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 90310
	Voluntary context switches: 43
	Involuntary context switches: 2692
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 53
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 3.09 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 3.09
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:06 2022]