c #BEGIN: [Thu Mar 17 11:43:09 2022] c #HOST: mini05.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/color04/mug88_25.col benchmark/graph-instance/core-challenge-2022/color04/mug88_25_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/mug88_25.col benchmark/graph-instance/core-challenge-2022/color04/mug88_25_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 528 1518 c (0) step 2 UNSAT 967 2803 c (0) step 3 UNSAT 1406 4088 c (0) step 4 UNSAT 1845 5373 c (0) step 5 UNSAT 2284 6658 c (0) step 6 UNSAT 2723 7943 c (0) step 7 SAT 3162 9228 a YES a 3 7 8 11 16 19 22 24 26 29 34 37 40 43 46 49 50 55 58 59 63 67 70 73 76 77 80 85 88 a 3 7 8 11 16 19 22 24 26 29 34 37 40 43 46 49 50 55 58 59 63 67 69 73 76 77 80 85 88 a 3 7 8 11 16 19 22 24 26 29 34 37 39 43 46 49 50 55 58 59 63 67 69 73 76 77 80 85 88 a 3 7 8 11 16 19 22 24 26 29 34 37 39 43 46 49 50 55 56 59 63 67 69 73 76 77 80 85 88 a 3 7 8 11 16 18 22 24 26 29 34 37 39 43 46 49 50 55 56 59 63 67 69 73 76 77 80 85 88 a 3 7 8 11 16 18 21 22 24 26 29 34 37 39 43 46 49 50 55 56 59 63 67 69 73 77 80 85 88 a 3 7 8 11 16 18 21 22 24 26 29 34 37 39 42 46 49 50 55 56 59 63 67 69 73 77 80 85 88 a 3 7 8 11 16 18 21 22 24 26 29 34 37 39 42 46 49 50 55 56 59 63 66 69 73 77 80 85 88 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/mug88_25.col benchmark/graph-instance/core-challenge-2022/color04/mug88_25_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 1.43 System time (seconds): 0.10 Percent of CPU this job got: 165% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.92 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): 630947840 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 44907 Voluntary context switches: 38 Involuntary context switches: 2352 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 39 Socket messages received: 0 Signals delivered: 6 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 1.53 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 1.53 c #MAXMEM: 0 c c #END: [Thu Mar 17 11:43:10 2022]