c #BEGIN: [Sat Mar 19 16:51:03 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/power/hc-power-004-002.col benchmark/graph-instance/core-challenge-2022/power/hc-power-004-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-004-002.col benchmark/graph-instance/core-challenge-2022/power/hc-power-004-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 384 1080
c (0) step 2 UNSAT 703 2002
c (0) step 3 UNSAT 1022 2924
c (0) step 4 UNSAT 1341 3846
c (0) step 5 UNSAT 1660 4768
c (0) step 6 UNSAT 1979 5690
c (0) step 7 UNSAT 2298 6612
c (0) step 8 UNSAT 2617 7534
c (0) step 9 UNSAT 2936 8456
c (0) step 10 UNSAT 3255 9378
c (0) step 11 UNSAT 3574 10300
c (0) step 12 UNSAT 3893 11222
c (0) step 13 UNSAT 4212 12144
c (0) step 14 UNSAT 4531 13066
c (1) step 15 UNSAT 4850 13988
c (1) step 16 UNSAT 5169 14910
c (1) step 17 UNSAT 5488 15832
c (2) step 18 UNSAT 5807 16754
c (2) step 19 UNSAT 6126 17676
c (2) step 20 UNSAT 6445 18598
c (3) step 21 UNSAT 6764 19520
c (3) step 22 UNSAT 7083 20442
c (3) step 23 UNSAT 7402 21364
c (4) step 24 UNSAT 7721 22286
c (5) step 25 UNSAT 8040 23208
c (6) step 26 UNSAT 8359 24130
c (7) step 27 UNSAT 8678 25052
c (10) step 28 UNSAT 8997 25974
c (13) step 29 UNSAT 9316 26896
c (18) step 30 UNSAT 9635 27818
c (23) step 31 UNSAT 9954 28740
c (31) step 32 UNSAT 10273 29662
c (44) step 33 UNSAT 10592 30584
c (71) step 34 UNSAT 10911 31506
c (88) step 35 UNSAT 11230 32428
c (94) step 36 UNSAT 11549 33350
c (100) step 37 UNSAT 11868 34272
c (110) step 38 UNSAT 12187 35194
c (119) step 39 UNSAT 12506 36116
c (131) step 40 UNSAT 12825 37038
c (145) step 41 UNSAT 13144 37960
c (159) step 42 UNSAT 13463 38882
c (179) step 43 UNSAT 13782 39804
c (199) step 44 UNSAT 14101 40726
c (220) step 45 UNSAT 14420 41648
c (242) step 46 UNSAT 14739 42570
c (268) step 47 UNSAT 15058 43492
c (297) step 48 UNSAT 15377 44414
c (325) step 49 UNSAT 15696 45336
c (361) step 50 UNSAT 16015 46258
c (401) step 51 UNSAT 16334 47180
c (463) step 52 UNSAT 16653 48102
c (749) step 53 UNSAT 16972 49024
c (806) step 54 UNSAT 17291 49946
c (883) step 55 UNSAT 17610 50868
c (1008) step 56 UNSAT 17929 51790
c (1063) step 57 UNSAT 18248 52712
c (1102) step 58 UNSAT 18567 53634
c (1167) step 59 UNSAT 18886 54556
c (1558) step 60 UNSAT 19205 55478
c (1618) step 61 UNSAT 19524 56400
c (1656) step 62 UNSAT 19843 57322
c (1692) step 63 UNSAT 20162 58244
c (1713) step 64 UNSAT 20481 59166
c (1733) step 65 UNSAT 20800 60088
c (1742) step 66 UNSAT 21119 61010
c (1748) step 67 UNSAT 21438 61932
c (1756) step 68 UNSAT 21757 62854
c (1762) step 69 UNSAT 22076 63776
c (1769) step 70 UNSAT 22395 64698
c (1776) step 71 UNSAT 22714 65620
c (1789) step 72 UNSAT 23033 66542
c (1798) step 73 UNSAT 23352 67464
c (1812) step 74 UNSAT 23671 68386
c (1834) step 75 UNSAT 23990 69308
c (1851) step 76 UNSAT 24309 70230
c (1866) step 77 UNSAT 24628 71152
c (1877) step 78 UNSAT 24947 72074
c (1895) step 79 UNSAT 25266 72996
c (1906) step 80 UNSAT 25585 73918
c (1921) step 81 UNSAT 25904 74840
c (1958) step 82 UNSAT 26223 75762
c (2001) step 83 UNSAT 26542 76684
c (2051) step 84 UNSAT 26861 77606
c (2133) step 85 UNSAT 27180 78528
c (2213) step 86 UNSAT 27499 79450
c (2299) step 87 UNSAT 27818 80372
c (2402) step 88 UNSAT 28137 81294
c (2647) step 89 UNSAT 28456 82216
c (2801) step 90 UNSAT 28775 83138
c (2929) step 91 UNSAT 29094 84060
c (3095) step 92 UNSAT 29413 84982
c (3255) step 93 UNSAT 29732 85904
c (3424) step 94 UNSAT 30051 86826
c (4264) step 95 UNSAT 30370 87748
c (14903) step 96 UNSAT 30689 88670
c (16725) step 97 UNSAT 31008 89592
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00371 killed(2). 00372 killed(2). 00385 killed(2). 00371 killed(9). 00372 killed(9). 00385 killed(9). 
c #END: [Sat Mar 19 21:51:04 2022]