c #BEGIN: [Mon Mar 21 03:58:10 2022]
c #HOST: mini17.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/grid/grid090x090.col benchmark/graph-instance/core-challenge-2022/grid/grid090x090_01_0710.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/grid/grid090x090.col benchmark/graph-instance/core-challenge-2022/grid/grid090x090_01_0710.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 48600 145434
c (1) step 2 UNSAT 89099 266749
c (1) step 3 UNSAT 129598 388064
c (2) step 4 UNSAT 170097 509379
c (2) step 5 UNSAT 210596 630694
c (3) step 6 UNSAT 251095 752009
c (3) step 7 UNSAT 291594 873324
c (15) step 8 UNSAT 332093 994639
c (49) step 9 UNSAT 372592 1115954
c (54) step 10 UNSAT 413091 1237269
c (60) step 11 UNSAT 453590 1358584
c (89) step 12 UNSAT 494089 1479899
c (151) step 13 UNSAT 534588 1601214
c (253) step 14 UNSAT 575087 1722529
c (453) step 15 UNSAT 615586 1843844
c (645) step 16 UNSAT 656085 1965159
c (1069) step 17 UNSAT 696584 2086474
c (1473) step 18 UNSAT 737083 2207789
c (2446) step 19 UNSAT 777582 2329104
c (5652) step 20 UNSAT 818081 2450419
c (10758) step 21 UNSAT 858580 2571734
c (17418) step 22 UNSAT 899079 2693049
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00963 killed(2). 00977 killed(2). 00964 killed(2). 00963 killed(9). 00977 killed(9). 00964 killed(9). 
c #END: [Mon Mar 21 08:58:12 2022]