c #BEGIN: [Sun Mar 20 12:55:03 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/square/hc-square-011-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-011-002_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/square/hc-square-011-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-011-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 684 1926 c (0) step 2 UNSAT 1253 3571 c (0) step 3 UNSAT 1822 5216 c (0) step 4 UNSAT 2391 6861 c (0) step 5 UNSAT 2960 8506 c (0) step 6 UNSAT 3529 10151 c (0) step 7 UNSAT 4098 11796 c (0) step 8 UNSAT 4667 13441 c (0) step 9 UNSAT 5236 15086 c (0) step 10 UNSAT 5805 16731 c (0) step 11 UNSAT 6374 18376 c (2) step 12 UNSAT 6943 20021 c (4) step 13 UNSAT 7512 21666 c (5) step 14 UNSAT 8081 23311 c (7) step 15 UNSAT 8650 24956 c (12) step 16 UNSAT 9219 26601 c (18) step 17 UNSAT 9788 28246 c (28) step 18 UNSAT 10357 29891 c (31) step 19 UNSAT 10926 31536 c (35) step 20 UNSAT 11495 33181 c (38) step 21 UNSAT 12064 34826 c (40) step 22 UNSAT 12633 36471 c (49) step 23 UNSAT 13202 38116 c (80) step 24 UNSAT 13771 39761 c (275) step 25 UNSAT 14340 41406 c (394) step 26 UNSAT 14909 43051 c (705) step 27 UNSAT 15478 44696 c (1122) step 28 UNSAT 16047 46341 c (1252) step 29 UNSAT 16616 47986 c (1309) step 30 UNSAT 17185 49631 c (1419) step 31 UNSAT 17754 51276 c (1762) step 32 UNSAT 18323 52921 c (1842) step 33 UNSAT 18892 54566 c (2149) step 34 UNSAT 19461 56211 c (2757) step 35 UNSAT 20030 57856 c (3595) step 36 UNSAT 20599 59501 c (4449) step 37 UNSAT 21168 61146 c (5396) step 38 UNSAT 21737 62791 c (6484) step 39 UNSAT 22306 64436 c (7539) step 40 UNSAT 22875 66081 c (8329) step 41 UNSAT 23444 67726 c (9283) step 42 UNSAT 24013 69371 c (10424) step 43 UNSAT 24582 71016 c (12224) step 44 UNSAT 25151 72661 c (13141) step 45 UNSAT 25720 74306 c (15005) step 46 UNSAT 26289 75951 c (17055) step 47 UNSAT 26858 77596 TIMEOUT CPU 18000 MEM 0 MAXMEM 0 c #RESULT: UNK c #FIN: TO c #CPU: 18000 c #MAXMEM: 0 c 00712 killed(2). 00726 killed(2). 00713 killed(2). 00712 killed(9). 00726 killed(9). 00713 killed(9). c #END: [Sun Mar 20 17:55:04 2022]