c #BEGIN: [Sun Mar 20 12:55:03 2022]
c #HOST: mini01.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-013-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-013-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-013-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-013-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 804 2266
c (0) step 2 UNSAT 1473 4201
c (0) step 3 UNSAT 2142 6136
c (0) step 4 UNSAT 2811 8071
c (0) step 5 UNSAT 3480 10006
c (0) step 6 UNSAT 4149 11941
c (0) step 7 UNSAT 4818 13876
c (0) step 8 UNSAT 5487 15811
c (0) step 9 UNSAT 6156 17746
c (0) step 10 UNSAT 6825 19681
c (1) step 11 UNSAT 7494 21616
c (1) step 12 UNSAT 8163 23551
c (1) step 13 UNSAT 8832 25486
c (1) step 14 UNSAT 9501 27421
c (3) step 15 UNSAT 10170 29356
c (5) step 16 UNSAT 10839 31291
c (17) step 17 UNSAT 11508 33226
c (67) step 18 UNSAT 12177 35161
c (362) step 19 UNSAT 12846 37096
c (694) step 20 UNSAT 13515 39031
c (1075) step 21 UNSAT 14184 40966
c (1536) step 22 UNSAT 14853 42901
c (1768) step 23 UNSAT 15522 44836
c (1970) step 24 UNSAT 16191 46771
c (2330) step 25 UNSAT 16860 48706
c (2680) step 26 UNSAT 17529 50641
c (3139) step 27 UNSAT 18198 52576
c (3538) step 28 UNSAT 18867 54511
c (4184) step 29 UNSAT 19536 56446
c (4857) step 30 UNSAT 20205 58381
c (5833) step 31 UNSAT 20874 60316
c (6840) step 32 UNSAT 21543 62251
c (7731) step 33 UNSAT 22212 64186
c (9427) step 34 UNSAT 22881 66121
c (11417) step 35 UNSAT 23550 68056
c (13496) step 36 UNSAT 24219 69991
c (15824) step 37 UNSAT 24888 71926
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 01220 killed(2). 01221 killed(2). 01234 killed(2). 01220 killed(9). 01221 killed(9). 01234 killed(9). 
c #END: [Sun Mar 20 17:55:03 2022]