c #BEGIN: [Sun Mar 20 12:55:03 2022]
c #HOST: mini06.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-007-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-007-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-007-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-007-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 444 1246
c (0) step 2 UNSAT 813 2311
c (0) step 3 UNSAT 1182 3376
c (0) step 4 UNSAT 1551 4441
c (0) step 5 UNSAT 1920 5506
c (0) step 6 UNSAT 2289 6571
c (0) step 7 UNSAT 2658 7636
c (0) step 8 UNSAT 3027 8701
c (0) step 9 UNSAT 3396 9766
c (0) step 10 UNSAT 3765 10831
c (0) step 11 UNSAT 4134 11896
c (0) step 12 UNSAT 4503 12961
c (1) step 13 UNSAT 4872 14026
c (2) step 14 UNSAT 5241 15091
c (3) step 15 UNSAT 5610 16156
c (4) step 16 UNSAT 5979 17221
c (5) step 17 UNSAT 6348 18286
c (6) step 18 UNSAT 6717 19351
c (9) step 19 UNSAT 7086 20416
c (12) step 20 UNSAT 7455 21481
c (19) step 21 UNSAT 7824 22546
c (26) step 22 UNSAT 8193 23611
c (30) step 23 UNSAT 8562 24676
c (33) step 24 UNSAT 8931 25741
c (34) step 25 UNSAT 9300 26806
c (35) step 26 UNSAT 9669 27871
c (36) step 27 UNSAT 10038 28936
c (38) step 28 UNSAT 10407 30001
c (41) step 29 UNSAT 10776 31066
c (46) step 30 UNSAT 11145 32131
c (54) step 31 UNSAT 11514 33196
c (68) step 32 UNSAT 11883 34261
c (86) step 33 UNSAT 12252 35326
c (116) step 34 UNSAT 12621 36391
c (156) step 35 UNSAT 12990 37456
c (223) step 36 UNSAT 13359 38521
c (290) step 37 UNSAT 13728 39586
c (455) step 38 UNSAT 14097 40651
c (581) step 39 UNSAT 14466 41716
c (798) step 40 UNSAT 14835 42781
c (1035) step 41 UNSAT 15204 43846
c (1178) step 42 UNSAT 15573 44911
c (1532) step 43 UNSAT 15942 45976
c (1712) step 44 UNSAT 16311 47041
c (2038) step 45 UNSAT 16680 48106
c (2206) step 46 UNSAT 17049 49171
c (2561) step 47 UNSAT 17418 50236
c (2755) step 48 UNSAT 17787 51301
c (3067) step 49 UNSAT 18156 52366
c (3275) step 50 UNSAT 18525 53431
c (3651) step 51 UNSAT 18894 54496
c (4047) step 52 UNSAT 19263 55561
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00697 killed(2). 00711 killed(2). 00698 killed(2). 00697 killed(9). 00711 killed(9). 00698 killed(9). 
c #END: [Sun Mar 20 17:55:04 2022]