c #BEGIN: [Sat Mar 19 16:51:03 2022]
c #HOST: mini09.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/power/hc-power-009-002.col benchmark/graph-instance/core-challenge-2022/power/hc-power-009-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/power/hc-power-009-002.col benchmark/graph-instance/core-challenge-2022/power/hc-power-009-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 834 2360
c (0) step 2 UNSAT 1528 4372
c (0) step 3 UNSAT 2222 6384
c (0) step 4 UNSAT 2916 8396
c (0) step 5 UNSAT 3610 10408
c (0) step 6 UNSAT 4304 12420
c (0) step 7 UNSAT 4998 14432
c (0) step 8 UNSAT 5692 16444
c (0) step 9 UNSAT 6386 18456
c (0) step 10 UNSAT 7080 20468
c (1) step 11 UNSAT 7774 22480
c (1) step 12 UNSAT 8468 24492
c (4) step 13 UNSAT 9162 26504
c (12) step 14 UNSAT 9856 28516
c (54) step 15 UNSAT 10550 30528
c (174) step 16 UNSAT 11244 32540
c (431) step 17 UNSAT 11938 34552
c (824) step 18 UNSAT 12632 36564
c (1278) step 19 UNSAT 13326 38576
c (1793) step 20 UNSAT 14020 40588
c (2356) step 21 UNSAT 14714 42600
c (2988) step 22 UNSAT 15408 44612
c (3995) step 23 UNSAT 16102 46624
c (4694) step 24 UNSAT 16796 48636
c (6668) step 25 UNSAT 17490 50648
c (9478) step 26 UNSAT 18184 52660
c (12807) step 27 UNSAT 18878 54672
c (15952) step 28 UNSAT 19572 56684
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00389 killed(2). 00388 killed(2). 00402 killed(2). 00389 killed(9). 00388 killed(9). 00402 killed(9). 
c #END: [Sat Mar 19 21:51:04 2022]