c #BEGIN: [Thu Mar 17 11:43:05 2022]
c #HOST: mini04.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_15c.col benchmark/graph-instance/core-challenge-2022/color04/le450_15c_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/le450_15c.col benchmark/graph-instance/core-challenge-2022/color04/le450_15c_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 2700 39654
c (0) step 2 SAT 4949 62179
a YES
a 20 25 33 37 40 47 58 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 33 37 40 58 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 37 40 58 66 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444
	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_15c.col benchmark/graph-instance/core-challenge-2022/color04/le450_15c_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.63
	System time (seconds): 0.15
	Percent of CPU this job got: 217%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.28
	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): 951877632
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 71847
	Voluntary context switches: 41
	Involuntary context switches: 2395
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 51
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 2.78 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 2.78
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:06 2022]