c #BEGIN: [Sun Mar 20 17:56:06 2022]
c #HOST: mini14.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/grid/grid010x010.col benchmark/graph-instance/core-challenge-2022/grid/grid010x010_03_6844.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/grid010x010.col benchmark/graph-instance/core-challenge-2022/grid/grid010x010_03_6844.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 600 1754
c (0) step 2 UNSAT 1099 3229
c (0) step 3 UNSAT 1598 4704
c (0) step 4 UNSAT 2097 6179
c (0) step 5 UNSAT 2596 7654
c (0) step 6 UNSAT 3095 9129
c (0) step 7 UNSAT 3594 10604
c (0) step 8 UNSAT 4093 12079
c (0) step 9 UNSAT 4592 13554
c (0) step 10 UNSAT 5091 15029
c (0) step 11 UNSAT 5590 16504
c (1) step 12 UNSAT 6089 17979
c (1) step 13 UNSAT 6588 19454
c (3) step 14 UNSAT 7087 20929
c (4) step 15 UNSAT 7586 22404
c (7) step 16 UNSAT 8085 23879
c (13) step 17 UNSAT 8584 25354
c (20) step 18 UNSAT 9083 26829
c (27) step 19 UNSAT 9582 28304
c (36) step 20 UNSAT 10081 29779
c (45) step 21 UNSAT 10580 31254
c (57) step 22 UNSAT 11079 32729
c (72) step 23 UNSAT 11578 34204
c (85) step 24 UNSAT 12077 35679
c (92) step 25 UNSAT 12576 37154
c (97) step 26 UNSAT 13075 38629
c (100) step 27 UNSAT 13574 40104
c (101) step 28 UNSAT 14073 41579
c (102) step 29 UNSAT 14572 43054
c (103) step 30 UNSAT 15071 44529
c (103) step 31 UNSAT 15570 46004
c (104) step 32 UNSAT 16069 47479
c (104) step 33 UNSAT 16568 48954
c (105) step 34 UNSAT 17067 50429
c (106) step 35 UNSAT 17566 51904
c (106) step 36 UNSAT 18065 53379
c (107) step 37 UNSAT 18564 54854
c (107) step 38 UNSAT 19063 56329
c (108) step 39 UNSAT 19562 57804
c (109) step 40 UNSAT 20061 59279
c (109) step 41 UNSAT 20560 60754
c (110) step 42 UNSAT 21059 62229
c (181) step 43 UNSAT 21558 63704
c (378) step 44 UNSAT 22057 65179
c (460) step 45 UNSAT 22556 66654
c (524) step 46 UNSAT 23055 68129
c (637) step 47 UNSAT 23554 69604
c (770) step 48 UNSAT 24053 71079
c (869) step 49 UNSAT 24552 72554
c (1038) step 50 UNSAT 25051 74029
c (1253) step 51 UNSAT 25550 75504
c (1383) step 52 UNSAT 26049 76979
c (1518) step 53 UNSAT 26548 78454
c (1666) step 54 UNSAT 27047 79929
c (1753) step 55 UNSAT 27546 81404
c (1794) step 56 UNSAT 28045 82879
c (1812) step 57 UNSAT 28544 84354
c (1819) step 58 UNSAT 29043 85829
c (1823) step 59 UNSAT 29542 87304
c (1825) step 60 UNSAT 30041 88779
c (1826) step 61 UNSAT 30540 90254
c (1827) step 62 UNSAT 31039 91729
c (1828) step 63 UNSAT 31538 93204
c (1829) step 64 UNSAT 32037 94679
c (1830) step 65 UNSAT 32536 96154
c (1831) step 66 UNSAT 33035 97629
c (1832) step 67 UNSAT 33534 99104
c (1833) step 68 UNSAT 34033 100579
c (1833) step 69 UNSAT 34532 102054
c (1834) step 70 UNSAT 35031 103529
c (1837) step 71 UNSAT 35530 105004
c (1838) step 72 UNSAT 36029 106479
c (1839) step 73 UNSAT 36528 107954
c (1840) step 74 UNSAT 37027 109429
c (1840) step 75 UNSAT 37526 110904
c (1841) step 76 UNSAT 38025 112379
c (1842) step 77 UNSAT 38524 113854
c (1843) step 78 UNSAT 39023 115329
c (1844) step 79 UNSAT 39522 116804
c (1845) step 80 UNSAT 40021 118279
c (1845) step 81 UNSAT 40520 119754
c (1846) step 82 UNSAT 41019 121229
c (1847) step 83 UNSAT 41518 122704
c (1848) step 84 UNSAT 42017 124179
c (1848) step 85 UNSAT 42516 125654
c (1849) step 86 UNSAT 43015 127129
c (1850) step 87 UNSAT 43514 128604
c (1850) step 88 UNSAT 44013 130079
c (1851) step 89 UNSAT 44512 131554
c (1852) step 90 UNSAT 45011 133029
c (1852) step 91 UNSAT 45510 134504
c (1853) step 92 UNSAT 46009 135979
c (1854) step 93 UNSAT 46508 137454
c (1854) step 94 UNSAT 47007 138929
c (1855) step 95 UNSAT 47506 140404
c (1856) step 96 UNSAT 48005 141879
c (2841) step 97 UNSAT 48504 143354
c (4009) step 98 UNSAT 49003 144829
c (7709) step 99 UNSAT 49502 146304
TIMEOUT CPU 18000 MEM 0 MAXMEM 0
c #RESULT: UNK
c #FIN: TO
c #CPU: 18000
c #MAXMEM: 0
c 00783 killed(2). 00769 killed(2). 00770 killed(2). 00783 killed(9). 00769 killed(9). 00770 killed(9). 
c #END: [Sun Mar 20 22:56:06 2022]