c #BEGIN: [Sun Mar 20 17:56:05 2022]
c #HOST: mini07.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-020-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-020-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-020-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-020-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 1224 3456
c (0) step 2 UNSAT 2243 6406
c (0) step 3 UNSAT 3262 9356
c (0) step 4 UNSAT 4281 12306
c (0) step 5 UNSAT 5300 15256
c (0) step 6 UNSAT 6319 18206
c (0) step 7 UNSAT 7338 21156
c (0) step 8 UNSAT 8357 24106
c (0) step 9 UNSAT 9376 27056
c (0) step 10 UNSAT 10395 30006
c (1) step 11 UNSAT 11414 32956
c (2) step 12 UNSAT 12433 35906
c (4) step 13 UNSAT 13452 38856
c (6) step 14 UNSAT 14471 41806
c (9) step 15 UNSAT 15490 44756
c (11) step 16 UNSAT 16509 47706
c (17) step 17 UNSAT 17528 50656
c (26) step 18 UNSAT 18547 53606
c (47) step 19 UNSAT 19566 56556
c (60) step 20 UNSAT 20585 59506
c (81) step 21 UNSAT 21604 62456
c (99) step 22 UNSAT 22623 65406
c (123) step 23 UNSAT 23642 68356
c (163) step 24 UNSAT 24661 71306
c (224) step 25 UNSAT 25680 74256
c (289) step 26 UNSAT 26699 77206
c (363) step 27 UNSAT 27718 80156
c (443) step 28 UNSAT 28737 83106
c (544) step 29 UNSAT 29756 86056
c (614) step 30 UNSAT 30775 89006
c (701) step 31 UNSAT 31794 91956
c (928) step 32 UNSAT 32813 94906
c (1375) step 33 UNSAT 33832 97856
c (2068) step 34 UNSAT 34851 100806
c (2300) step 35 UNSAT 35870 103756
c (2741) step 36 UNSAT 36889 106706
c (5193) step 37 UNSAT 37908 109656
c (6195) step 38 UNSAT 38927 112606
c (7683) step 39 UNSAT 39946 115556
c (8553) step 40 UNSAT 40965 118506
c (10871) step 41 UNSAT 41984 121456
c (13795) step 42 UNSAT 43003 124406
c (14846) step 43 UNSAT 44022 127356
c (16270) step 44 UNSAT 45041 130306
c (16985) step 45 UNSAT 46060 133256
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00749 killed(2). 00763 killed(2). 00750 killed(2). 00749 killed(9). 00763 killed(9). 00750 killed(9). 
c #END: [Sun Mar 20 22:56:06 2022]