c #BEGIN: [Mon Mar 21 03:58:10 2022]
c #HOST: mini11.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_02_9631.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_02_9631.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 (74) step 7 UNSAT 291594 873324
c (81) step 8 UNSAT 332093 994639
c (116) step 9 UNSAT 372592 1115954
c (462) step 10 UNSAT 413091 1237269
c (1015) step 11 UNSAT 453590 1358584
c (3257) step 12 UNSAT 494089 1479899
c (4962) step 13 UNSAT 534588 1601214
c (6942) step 14 UNSAT 575087 1722529
c (8980) step 15 UNSAT 615586 1843844
c (10859) step 16 UNSAT 656085 1965159
c (14164) step 17 UNSAT 696584 2086474
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 01034 killed(2). 01020 killed(2). 01021 killed(2). 01034 killed(9). 01020 killed(9). 01021 killed(9). 
c #END: [Mon Mar 21 08:58:11 2022]