c #BEGIN: [Thu Mar 17 11:43:04 2022] c #HOST: mini16.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_15a.col benchmark/graph-instance/core-challenge-2022/color04/le450_15a_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_15a.col benchmark/graph-instance/core-challenge-2022/color04/le450_15a_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 2700 22630 c (0) step 2 UNSAT 4949 36643 c (0) step 3 SAT 7198 50656 a YES a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448 a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448 a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448 a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 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_15a.col benchmark/graph-instance/core-challenge-2022/color04/le450_15a_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 2.41 System time (seconds): 0.14 Percent of CPU this job got: 212% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.20 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): 873447424 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 64030 Voluntary context switches: 42 Involuntary context switches: 2268 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 52 Socket messages received: 0 Signals delivered: 5 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 2.55 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 2.55 c #MAXMEM: 0 c c #END: [Thu Mar 17 11:43:06 2022]