c #BEGIN: [Thu Mar 17 11:43:05 2022]
c #HOST: mini14.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_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_15d.col benchmark/graph-instance/core-challenge-2022/color04/le450_15d_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 2700 39794
c (0) step 2 SAT 4949 62389
a YES
a 7 12 14 27 31 42 63 75 84 95 100 134 152 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420
a 7 12 14 27 31 42 63 75 84 95 100 134 149 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420
a 7 12 27 31 42 63 75 84 95 100 134 149 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 304 308 320 331 347 352 360 379 389 398 401 409 420
	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_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.51
	System time (seconds): 0.15
	Percent of CPU this job got: 217%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.22
	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): 977354752
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 72353
	Voluntary context switches: 43
	Involuntary context switches: 2219
	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.66 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 2.66
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:06 2022]