c #BEGIN: [Thu Mar 17 11:43:05 2022]
c #HOST: mini18.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_25b.col benchmark/graph-instance/core-challenge-2022/color04/le450_25b_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_25b.col benchmark/graph-instance/core-challenge-2022/color04/le450_25b_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 2700 22820
c (0) step 2 UNSAT 4949 36928
c (0) step 3 UNSAT 7198 51036
c (0) step 4 UNSAT 9447 65144
c (0) step 5 UNSAT 11696 79252
c (0) step 6 SAT 13945 93360
a YES
a 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 157 159 160 177 179 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 157 159 160 177 179 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 157 159 160 179 182 189 192 193 209 210 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 96 107 117 145 151 152 153 157 159 160 179 182 189 192 193 209 210 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 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_25b.col benchmark/graph-instance/core-challenge-2022/color04/le450_25b_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 2.82
	System time (seconds): 0.16
	Percent of CPU this job got: 217%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.37
	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): 997654528
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 73493
	Voluntary context switches: 40
	Involuntary context switches: 2550
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 50
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 2.98 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 2.98
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 11:43:07 2022]