c #BEGIN: [Thu Mar 17 11:43:06 2022]
c #HOST: mini08.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_25c.col benchmark/graph-instance/core-challenge-2022/color04/le450_25c_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_25c.col benchmark/graph-instance/core-challenge-2022/color04/le450_25c_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 2700 40980
c (0) step 2 UNSAT 4949 64168
c (0) step 3 UNSAT 7198 87356
c (0) step 4 UNSAT 9447 110544
c (0) step 5 SAT 11696 133732
a YES
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
	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_25c.col benchmark/graph-instance/core-challenge-2022/color04/le450_25c_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 3.02
	System time (seconds): 0.18
	Percent of CPU this job got: 219%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.46
	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): 1195458560
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 88113
	Voluntary context switches: 42
	Involuntary context switches: 2852
	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 3.2 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 3.2
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:07 2022]