c #BEGIN: [Mon Mar 21 03:58:10 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/grid/grid090x090.col benchmark/graph-instance/core-challenge-2022/grid/grid090x090_03_8778.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_03_8778.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 (1) step 4 UNSAT 170097 509379
c (2) step 5 UNSAT 210596 630694
c (2) step 6 UNSAT 251095 752009
c (3) step 7 UNSAT 291594 873324
c (13) step 8 UNSAT 332093 994639
c (33) step 9 UNSAT 372592 1115954
c (255) step 10 UNSAT 413091 1237269
c (290) step 11 UNSAT 453590 1358584
c (368) step 12 UNSAT 494089 1479899
c (721) step 13 UNSAT 534588 1601214
c (1090) step 14 UNSAT 575087 1722529
c (1477) step 15 UNSAT 615586 1843844
c (1602) step 16 UNSAT 656085 1965159
c (2405) step 17 UNSAT 696584 2086474
c (3232) step 18 UNSAT 737083 2207789
c (4519) step 19 UNSAT 777582 2329104
c (5780) step 20 UNSAT 818081 2450419
c (7367) step 21 UNSAT 858580 2571734
c (16421) 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 00994 killed(2). 00995 killed(2). 01008 killed(2). 00994 killed(9). 00995 killed(9). 01008 killed(9). 
c #END: [Mon Mar 21 08:58:11 2022]