0.04/0.15	c SAT : Variables: 760 -- Clauses: 6880
0.04/0.15	c root propagations     : 0           
0.04/0.15	c restarts enabled, print stats at every restarts
0.04/0.15	c
0.04/0.15	c
0.04/0.15	c
0.04/0.15	c This is cosoco 1.12 --  
0.04/0.15	c
0.04/0.15	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266317-1502568114.xml 
0.04/0.15	c ========================================[ Problem Statistics ]===========================================
0.04/0.15	c |                                                                                                       
0.04/0.15	c |  Parse time        :         0.10 s 
0.04/0.15	c |
0.04/0.15	c |               Variables: 40
0.04/0.15	c |            Domain Sizes: 19..19
0.04/0.15	c |
0.04/0.15	c |             Constraints: 334
0.04/0.15	c |                   Arity: 2..2  -- Binary: 334
0.04/0.15	c | 
0.04/0.15	c |                   Types: 
0.04/0.15	c |                          Extension: 334  (nb tuples: 83..173) -- (shared: 0)
0.04/0.15	c |                          
0.04/0.15	c =========================================================================================================
0.04/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.04/0.16	c 10             30             7135           2338           0              6              7   13   8     
0.04/0.16	c 20             56             13790          4980           0              9              7   10   7     
0.04/0.16	c 30             81             20734          7542           0              13             5   8   5      
0.04/0.16	c 40             113            27600          9801           0              16             8   12   8     
0.04/0.16	c 50             135            33471          12326          0              21             5   8   6      
0.04/0.16	c 60             163            40936          14848          0              26             8   10   8     
0.04/0.16	c 70             192            48057          17058          0              29             9   12   9     
0.04/0.16	c 80             217            54684          19401          0              31             7   10   7     
0.04/0.16	c 90             251            62354          21830          0              32             9   13   9     
0.04/0.17	c 100            278            68459          23836          0              35             8   11   8     
0.04/0.17	c 101            286            70234          24383          0              36             8   8   4      
0.04/0.17	c 110            315            78841          27451          0              39             7   11   7     
0.04/0.17	c 120            349            88068          30028          0              41             7   11   8     
0.04/0.17	conflict 57lvl : 7 bt7-511:0(154)X179712
0.04/0.17	c 130            379            94738          31911          0              43             8   12   8     
0.04/0.17	c 140            414            102366         34398          0              47             7   12   9     
0.04/0.17	c 150            450            110273         37328          0              53             6   11   8     
0.04/0.17	c 160            479            119199         40100          0              55             6   10   7     
0.04/0.17	c 170            509            127260         43208          0              58             6   11   7     
0.04/0.17	c 180            533            132483         44960          0              63             9   12   9     
0.04/0.18	c 190            558            138552         47060          0              68             7   10   7     
0.04/0.18	c 200            582            145475         49592          0              70             6   9   6      
0.04/0.18	c 210            613            152919         51914          0              74             7   10   8     
0.04/0.18	c 211            622            155734         52754          0              75             9   9   4      
0.04/0.18	c 220            647            162324         55213          0              79             8   11   8     
0.04/0.18	c 230            677            169538         57292          0              82             7   13   8     
0.04/0.18	c 240            704            175879         59344          0              88             6   10   7     
0.04/0.18	c 250            728            181336         61067          0              92             8   11   8     
0.04/0.18	c 260            758            189575         63796          0              96             7   11   7     
0.04/0.18	c 270            791            197078         66164          0              104            8   11   8     
0.04/0.19	c 280            819            203354         68521          0              106            7   12   8     
0.04/0.19	c 290            853            211206         71033          0              110            6   13   8     
0.04/0.19	c 300            887            219770         74074          0              114            8   12   7     
0.04/0.19	c 310            915            226549         76238          0              120            8   11   9     
0.04/0.19	c 320            953            236274         79395          0              123            8   12   8     
0.04/0.19	c 330            986            244316         82278          0              128            6   11   7     
0.04/0.19	c 332            998            247407         83192          0              129            11   11   7    
0.04/0.19	c 340            1028           253135         85039          0              133            7   11   8     
0.04/0.19	c 350            1059           260306         87746          0              138            6   10   7     
0.04/0.20	c 360            1097           268729         90455          0              141            9   12   9     
0.04/0.20	c 370            1127           276641         93297          0              144            8   11   8     
0.04/0.20	c 380            1160           283286         95496          0              153            7   12   8     
0.04/0.20	c 390            1190           291629         97907          0              159            8   14   9     
0.04/0.20	c 400            1217           298000         100453         0              162            6   11   8     
0.04/0.20	c 410            1251           307070         103066         0              166            7   13   9     
0.04/0.20	c 420            1285           314601         105843         0              172            5   12   7     
0.04/0.20	c 430            1316           322280         108005         0              175            8   13   9     
0.04/0.20	c 440            1347           331255         110806         0              177            8   11   8     
0.04/0.21	c 450            1375           338324         113117         0              183            7   11   8     
0.04/0.21	c 460            1402           344645         115573         0              189            8   12   8     
0.04/0.21	c 465            1421           350062         117473         0              192            6   11   7     
0.04/0.21	c 470            1436           353826         118749         0              195            8   10   7     
0.04/0.21	c 480            1461           360107         121111         0              198            6   8   6      
0.04/0.21	c 490            1492           368604         124379         0              200            7   10   7     
0.04/0.21	c 500            1528           378969         128207         0              202            6   11   7     
0.04/0.21	c 510            1561           387018         130971         0              204            5   12   7     
0.15/0.21	c 520            1598           395151         133260         0              205            8   13   10    
0.15/0.22	c 530            1630           402411         136160         0              209            6   10   7     
0.15/0.22	c 540            1656           408588         138032         0              211            8   11   8     
0.15/0.22	c 550            1686           416304         140324         0              216            8   11   8     
0.15/0.22	c 560            1712           422993         142883         0              220            8   10   8     
0.15/0.22	c 570            1740           429756         145003         0              224            9   12   9     
0.15/0.22	c 580            1770           437611         147525         0              231            7   13   9     
0.15/0.22	c 590            1799           443839         149496         0              234            8   13   9     
0.15/0.22	c 600            1825           450444         151877         0              237            7   11   8     
0.15/0.22	c 610            1854           457448         153965         0              239            7   11   8     
0.15/0.22	c 611            1866           459900         154597         0              240            12   12   6    
0.15/0.23	conflict 33lvl : 6 bt6-653:0(115)X181789
0.15/0.23	c 620            1893           467756         157346         0              242            6   11   7     
0.15/0.23	c 630            1926           476759         160189         0              244            8   12   8     
0.15/0.23	c 640            1962           485393         163077         0              248            6   12   9     
0.15/0.23	c 650            1996           493625         165631         0              251            7   11   8     
0.15/0.23	c 660            2024           501173         168013         0              254            7   11   7     
0.15/0.23	c 670            2056           509515         170822         0              255            8   12   9     
0.15/0.23	c 680            2091           517699         173756         0              258            7   11   8     
0.15/0.23	c 690            2121           524425         176049         0              260            7   10   8     
0.15/0.24	c 700            2148           532069         178755         0              262            7   10   8     
0.15/0.24	c 710            2180           540195         181230         0              267            6   11   8     
0.15/0.24	conflict 75lvl : 6 bt6-707:0(150)X182074
0.15/0.24	c 720            2218           549434         184407         0              273            7   13   9     
0.15/0.24	c 730            2253           558137         187363         0              277            9   12   9     
0.15/0.24	c 740            2289           567649         190927         0              283            5   10   7     
0.15/0.24	c 750            2313           573986         193372         0              290            6   9   7      
0.15/0.24	c 760            2350           582897         196171         0              293            7   12   8     
0.15/0.25	c 770            2388           591601         198664         0              296            8   13   9     
0.15/0.25	c 771            2396           593960         199262         0              297            8   8   4      
0.15/0.25	c 780            2427           602022         201825         0              303            6   11   7     
0.15/0.25	c 790            2459           609074         204068         0              308            6   14   9     
0.15/0.25	c 800            2482           615147         206345         0              312            6   9   6      
0.15/0.25	c 810            2521           624622         209328         0              317            7   12   8     
0.15/0.25	c 820            2551           633150         211998         0              321            8   11   9     
0.15/0.25	c 830            2575           639010         214032         0              324            7   10   7     
0.15/0.25	c 840            2603           646833         216456         0              325            8   11   8     
0.15/0.25	c 850            2643           656191         219567         0              328            9   13   9     
0.15/0.26	c 860            2677           665126         222313         0              331            8   11   8     
0.15/0.26	c 870            2715           673604         224638         0              337            9   15   10    
0.15/0.26	c 880            2744           680056         226996         0              340            7   13   8     
0.15/0.26	c 890            2772           687078         229026         0              344            7   12   8     
0.15/0.26	c 900            2801           693739         231247         0              347            8   11   8     
0.15/0.26	c 910            2831           701279         234098         0              352            7   11   8     
0.15/0.26	c 920            2860           708369         236292         0              355            7   13   8     
0.15/0.26	c 930            2901           717123         239002         0              358            9   14   10    
0.15/0.27	c 940            2935           726525         242025         0              362            7   11   8     
0.15/0.27	c 947            2958           732494         244244         0              365            7   10   7     
0.15/0.27	c 950            2973           736108         245242         0              368            10   11   8    
0.15/0.27	c 960            3000           744211         247827         0              373            7   10   8     
0.15/0.27	conflict 61lvl : 8 bt8-56:0(203)X183202
0.15/0.27	c 970            3031           753692         251026         0              378            6   11   6     
0.15/0.27	c 980            3059           760529         253332         0              380            7   11   7     
0.15/0.27	c 990            3088           767920         255664         0              384            9   11   8     
0.15/0.27	c 1000           3120           776722         258544         0              389            7   12   8     
0.15/0.27	c 1010           3162           787414         262187         0              393            7   11   8     
0.15/0.28	c 1020           3195           796078         264695         0              399            8   12   9     
0.15/0.28	c 1030           3228           804071         267570         0              405            7   11   8     
0.15/0.28	c 1040           3261           812818         270423         0              408            6   11   8     
0.15/0.28	c 1050           3294           819233         272349         0              413            7   11   9     
0.15/0.28	c 1060           3316           825331         274430         0              416            6   10   7     
0.15/0.28	c 1070           3348           832509         276543         0              421            7   13   9     
0.15/0.28	c 1080           3383           841720         279575         0              423            9   12   9     
0.15/0.28	c 1090           3415           848770         282016         0              430            6   11   8     
0.15/0.29	c 1100           3448           856652         284514         0              433            7   10   8     
0.15/0.29	c 1110           3476           865203         287827         0              436            5   10   6     
0.15/0.29	c 1120           3506           873367         290862         0              439            6   10   7     
0.15/0.29	c 1130           3534           881138         293271         0              445            7   12   8     
0.15/0.29	c 1140           3564           887615         295433         0              450            8   12   9     
0.15/0.29	c 1141           3574           889981         296031         0              451            10   10   5    
0.15/0.29	c 1150           3599           896482         298348         0              455            7   9   7      
0.15/0.29	c 1160           3631           904523         300728         0              458            8   11   8     
0.15/0.29	c 1170           3664           913417         304088         0              461            6   12   8     
0.15/0.30	c 1180           3698           921214         306462         0              466            9   13   9     
0.15/0.30	c 1190           3736           930065         309394         0              469            6   13   8     
0.15/0.30	c 1200           3773           938913         311909         0              473            9   13   10    
0.15/0.30	c 1210           3809           947838         314443         0              476            8   15   9     
0.15/0.30	c 1220           3849           956513         317176         0              479            5   11   8     
0.15/0.30	c 1230           3873           961750         318998         0              485            6   11   7     
0.15/0.30	c 1240           3910           969719         321900         0              486            6   13   9     
0.15/0.30	c 1250           3941           977527         324303         0              491            7   11   8     
0.15/0.30	conflict 15lvl : 5 bt4-458:0(83)X184453
0.15/0.30	c 1260           3973           985847         326799         0              494            7   13   9     
0.15/0.31	c 1270           4008           993619         329007         0              497            8   12   8     
0.15/0.31	c 1280           4045           1002305        331754         0              500            6   11   7     
0.15/0.31	c 1290           4074           1009742        334430         0              504            7   11   8     
0.15/0.31	c 1300           4103           1017570        336879         0              505            7   10   8     
0.15/0.31	c 1310           4132           1025192        339390         0              509            7   11   8     
0.15/0.31	c 1320           4161           1031364        341324         0              512            8   13   9     
0.15/0.31	c 1330           4194           1039573        344089         0              515            7   11   8     
0.25/0.31	c 1340           4229           1047763        346735         0              519            6   12   8     
0.25/0.32	c 1350           4267           1057027        349825         0              523            8   11   8     
0.25/0.32	c 1352           4279           1059899        350648         0              525            9   9   6      
0.25/0.32	c 1360           4303           1065667        352252         0              530            9   13   9     
0.25/0.32	c 1370           4337           1073316        354525         0              533            8   12   9     
0.25/0.32	c 1380           4366           1081191        356933         0              538            8   12   9     
0.25/0.32	c 1390           4401           1090916        359946         0              542            8   11   8     
0.25/0.32	c 1400           4429           1097545        362155         0              545            6   11   7     
0.25/0.32	c 1410           4467           1107621        365183         0              550            9   13   9     
0.25/0.32	c 1420           4496           1115611        367814         0              552            7   11   8     
0.25/0.33	c 1430           4525           1122985        370343         0              555            7   11   8     
0.25/0.33	c 1440           4555           1129928        372513         0              557            8   11   8     
0.25/0.33	c 1450           4584           1138005        375281         0              560            6   10   8     
0.25/0.33	c 1460           4609           1143875        377263         0              561            8   10   8     
0.25/0.33	c 1470           4640           1151121        379431         0              564            9   12   9     
0.25/0.33	c 1480           4668           1157899        381981         0              569            5   10   6     
0.25/0.33	c 1490           4701           1166248        384465         0              571            8   12   8     
0.25/0.33	c 1500           4731           1173136        386501         0              577            9   12   9     
0.25/0.33	c 1510           4756           1180030        388844         0              582            8   11   8     
0.25/0.34	c 1520           4780           1185989        391065         0              585            7   10   7     
0.25/0.34	c 1530           4823           1195963        394629         0              590            5   12   7     
0.25/0.34	c 1540           4857           1204259        398052         0              595            7   11   7     
0.25/0.34	c 1550           4891           1212562        400701         0              600            8   11   9     
0.25/0.34	c 1560           4926           1222383        403932         0              602            7   11   8     
0.25/0.34	c 1570           4961           1231419        406532         0              604            9   11   9     
0.25/0.34	c 1580           4991           1238177        408786         0              608            6   15   9     
0.25/0.34	c 1585           5008           1242590        410208         0              609            8   11   7     
0.25/0.34	c 1590           5025           1246820        411464         0              614            7   11   7     
0.25/0.35	c 1600           5050           1253119        413466         0              619            8   12   8     
0.25/0.35	c 1610           5074           1260025        416154         0              623            6   8   6      
0.25/0.35	c 1620           5103           1267484        418536         0              625            8   12   9     
0.25/0.35	c 1630           5140           1276455        421564         0              627            7   12   8     
0.25/0.35	c 1640           5169           1283743        423826         0              628            7   10   8     
0.25/0.35	c 1650           5199           1291149        426402         0              634            7   12   8     
0.25/0.35	c 1660           5227           1298883        428910         0              637            7   10   7     
0.25/0.35	c 1670           5255           1305567        431584         0              640            7   9   7      
0.25/0.35	c 1680           5285           1314299        434672         0              643            7   11   7     
0.25/0.35	conflict 43lvl : 9 bt8-138:0(169)X185986
0.25/0.36	c 1690           5317           1323429        437752         0              648            7   10   7     
0.25/0.36	c 1700           5354           1331897        440576         0              652            6   13   8     
0.25/0.36	c 1710           5384           1339990        442941         0              655            6   10   7     
0.25/0.36	c 1720           5413           1347506        445568         0              657            8   10   7     
0.25/0.36	c 1730           5446           1355560        448372         0              663            7   11   8     
0.25/0.36	c 1740           5481           1364655        450827         0              666            9   14   10    
0.25/0.36	c 1750           5513           1373524        454559         0              673            7   9   7      
0.25/0.36	c 1760           5546           1381749        456907         0              675            8   11   9     
0.25/0.37	c 1770           5579           1389688        459970         0              678            6   14   7     
0.25/0.37	c 1780           5610           1396806        462065         0              684            7   13   9     
0.25/0.37	c 1790           5641           1405223        464851         0              687            8   10   8     
0.25/0.37	c 1800           5680           1414564        467620         0              693            8   12   8     
0.25/0.37	c 1810           5714           1423426        470722         0              697            8   12   9     
0.25/0.37	c 1820           5740           1429281        472720         0              698            8   11   8     
0.25/0.37	c 1830           5776           1439375        476230         0              700            7   12   8     
0.25/0.37	c 1840           5801           1446129        478585         0              702            7   9   7      
0.25/0.37	c 1841           5810           1448169        479158         0              703            9   9   4      
0.25/0.38	c 1850           5838           1455161        481694         0              707            6   11   7     
0.25/0.38	c 1860           5870           1463439        484887         0              709            6   10   7     
0.25/0.38	c 1870           5905           1472320        488363         0              712            6   11   7     
0.25/0.38	c 1880           5937           1480099        490770         0              714            7   11   8     
0.25/0.38	c 1890           5957           1485065        492623         0              716            8   10   7     
0.25/0.38	c 1900           5985           1491567        494489         0              717            9   14   9     
0.25/0.38	c 1910           6028           1501099        497661         0              723            6   12   8     
0.25/0.38	c 1920           6060           1508554        500449         0              727            6   12   7     
0.25/0.39	c 1930           6092           1518231        503682         0              729            6   11   7     
0.25/0.39	conflict 8lvl : 6 bt5-668:0(86)X186874
0.25/0.39	c 1940           6125           1527582        506764         0              733            8   10   7     
0.25/0.39	c 1950           6154           1536186        509533         0              736            7   11   8     
0.25/0.39	c 1960           6183           1542775        511420         0              740            9   13   9     
0.25/0.39	c 1970           6213           1550841        514514         0              746            5   11   7     
0.25/0.39	c 1980           6241           1557201        516784         0              747            8   12   8     
0.25/0.39	c 1990           6271           1564674        519374         0              748            7   13   8     
0.25/0.39	c 2000           6296           1570666        521273         0              750            8   11   8     
0.25/0.39	c 2010           6332           1577741        523419         0              755            9   14   10    
0.25/0.40	c 2020           6367           1587709        526608         0              760            8   10   8     
0.25/0.40	c 2030           6394           1594746        528830         0              765            7   10   8     
0.25/0.40	c 2040           6425           1601688        530930         0              768            8   11   8     
0.25/0.40	c 2050           6456           1609608        533301         0              771            9   12   9     
0.25/0.40	c 2060           6488           1616730        535721         0              774            6   12   8     
0.25/0.40	c 2070           6517           1624357        538279         0              776            7   11   8     
0.25/0.40	c 2080           6547           1632382        541069         0              777            8   11   8     
0.25/0.40	c 2090           6584           1642021        543961         0              779            7   12   8     
0.25/0.41	c 2100           6619           1649313        546622         0              781            5   11   8     
0.25/0.41	c 2110           6651           1657416        549474         0              785            8   11   8     
0.25/0.41	c 2120           6692           1668127        552776         0              788            8   13   9     
0.25/0.41	c 2122           6702           1671298        553845         0              789            8   9   5      
0.25/0.41	c 2130           6732           1678036        555880         0              793            9   12   9     
0.25/0.41	c 2140           6766           1685052        558020         0              799            7   13   9     
0.25/0.41	c 2150           6798           1693339        560668         0              802            6   12   8     
0.25/0.41	c 2160           6833           1701503        563175         0              809            8   14   9     
0.35/0.41	c 2170           6861           1710715        566478         0              813            5   9   7      
0.35/0.42	c 2180           6891           1717449        569059         0              821            7   11   7     
0.35/0.42	c 2190           6920           1725430        571545         0              825            6   10   7     
0.35/0.42	c 2200           6947           1732599        573687         0              826            8   12   9     
0.35/0.42	conflict 39lvl : 8 bt8-562:0(102)X187868
0.35/0.42	c 2210           6974           1740490        576625         0              829            6   9   7      
0.35/0.42	c 2220           7006           1748671        579241         0              831            7   12   8     
0.35/0.42	c 2230           7034           1754944        581682         0              835            5   10   7     
0.35/0.42	c 2240           7062           1762578        584259         0              843            7   10   7     
0.35/0.42	c 2250           7100           1771018        587005         0              848            8   12   9     
0.35/0.43	c 2260           7126           1776721        589277         0              856            7   11   7     
0.35/0.43	c 2270           7157           1784303        592083         0              858            6   11   8     
0.35/0.43	c 2280           7186           1792231        594692         0              862            6   11   7     
0.35/0.43	c 2290           7220           1800330        596823         0              866            10   13   10   
0.35/0.43	c 2300           7248           1807310        599092         0              868            8   11   8     
0.35/0.43	c 2310           7278           1815461        602158         0              872            5   10   7     
0.35/0.43	c 2320           7310           1823357        604584         0              876            7   12   9     
0.35/0.43	c 2330           7339           1830824        607180         0              879            8   12   8     
0.35/0.44	c 2340           7375           1841015        610554         0              884            7   10   8     
0.35/0.44	c 2350           7406           1848790        613107         0              889            7   12   8     
0.35/0.44	c 2360           7437           1857131        616040         0              892            7   10   7     
0.35/0.44	c 2370           7457           1861756        618049         0              893            7   9   6      
0.35/0.44	c 2380           7491           1870387        620783         0              894            8   11   8     
0.35/0.44	c 2390           7523           1879577        623587         0              898            7   11   8     
0.35/0.44	c 2400           7554           1888389        626710         0              902            7   12   8     
0.35/0.44	c 2410           7592           1896950        629219         0              907            9   12   9     
0.35/0.44	c 2420           7630           1903996        631420         0              912            7   14   9     
0.35/0.45	c 2430           7668           1913802        634415         0              918            9   11   9     
0.35/0.45	c 2431           7676           1916240        635124         0              919            8   8   4      
0.35/0.45	c 2440           7710           1924356        638181         0              925            5   12   7     
0.35/0.45	c 2450           7738           1931077        640950         0              930            6   10   7     
0.35/0.45	c 2460           7761           1937648        643602         0              936            6   9   6      
0.35/0.45	c 2470           7796           1946119        646123         0              942            8   12   9     
0.35/0.45	c 2480           7828           1953690        648871         0              944            8   12   8     
0.35/0.45	c 2490           7853           1959169        650720         0              946            8   11   8     
0.35/0.45	c 2500           7879           1966468        653153         0              951            6   10   7     
0.35/0.46	c 2510           7908           1973874        655629         0              956            7   11   8     
0.35/0.46	c 2520           7935           1981118        658289         0              960            6   10   7     
0.35/0.46	c 2530           7964           1988721        660772         0              963            8   12   9     
0.35/0.46	conflict 35lvl : 7 bt7-121:0(133)X189254
0.35/0.46	c 2540           7996           1997005        663529         0              969            7   11   7     
0.35/0.46	c 2550           8020           2003740        665835         0              976            7   9   7      
0.35/0.46	c 2560           8049           2010579        668077         0              981            7   11   8     
0.35/0.46	c 2570           8080           2017988        670434         0              985            8   12   9     
0.35/0.46	c 2580           8107           2024453        672572         0              988            7   11   7     
0.35/0.46	c 2590           8140           2033217        675267         0              991            7   12   8     
0.35/0.47	c 2600           8167           2040307        677670         0              993            6   12   7     
0.35/0.47	c 2610           8192           2046940        679626         0              995            8   11   8     
0.35/0.47	c 2620           8227           2055078        682464         0              1000           6   11   7     
0.35/0.47	c 2630           8261           2062786        684697         0              1005           7   13   9     
0.35/0.47	c 2640           8297           2071993        687791         0              1008           7   13   8     
0.35/0.47	c 2650           8327           2079217        690053         0              1010           7   13   8     
0.35/0.47	c 2660           8363           2088429        692990         0              1015           9   13   9     
0.35/0.47	c 2670           8397           2096329        695719         0              1018           5   10   6     
0.35/0.47	c 2680           8418           2101012        697300         0              1019           9   12   8     
0.35/0.48	c 2690           8448           2108998        699897         0              1022           8   13   9     
0.35/0.48	c 2700           8478           2117055        702822         0              1029           6   10   7     
0.35/0.48	c 2710           8512           2126061        705719         0              1033           7   12   9     
0.35/0.48	c 2720           8541           2132667        708135         0              1039           8   11   8     
0.35/0.48	conflict 11lvl : 6 bt5-306:0(101)X190043
0.35/0.48	c 2730           8570           2140056        710536         0              1042           7   12   8     
0.35/0.48	c 2740           8601           2147925        712942         0              1046           7   12   9     
0.35/0.48	c 2750           8637           2157632        716009         0              1050           6   11   8     
0.35/0.48	c 2760           8674           2167390        719014         0              1055           8   12   9     
0.35/0.49	c 2770           8705           2175978        721853         0              1059           7   11   7     
0.35/0.49	c 2771           8714           2178498        722588         0              1060           9   9   4      
0.35/0.49	c 2780           8749           2186811        725108         0              1064           9   11   9     
0.35/0.49	conflict 86lvl : 9 bt9-59:0(229)X190301
0.35/0.49	c 2790           8785           2195730        728200         0              1069           6   11   7     
0.35/0.49	c 2800           8822           2203527        730329         0              1072           10   15   11   
0.35/0.49	c 2810           8852           2211072        733011         0              1078           6   11   7     
0.35/0.49	c 2820           8879           2218341        735299         0              1081           8   11   8     
0.35/0.49	c 2830           8908           2226615        738361         0              1084           5   11   6     
0.35/0.49	c 2840           8939           2234590        740962         0              1089           7   12   8     
0.35/0.50	c 2850           8969           2241938        743331         0              1093           8   12   8     
0.35/0.50	c 2860           9004           2251634        746877         0              1095           5   11   7     
0.35/0.50	c 2870           9031           2258110        749211         0              1097           7   11   8     
0.35/0.50	c 2880           9068           2266608        751802         0              1100           6   12   9     
0.35/0.50	c 2890           9106           2275610        754461         0              1104           6   12   8     
0.35/0.50	c 2900           9146           2284742        757419         0              1108           7   15   9     
0.35/0.50	c 2910           9181           2293220        760061         0              1112           8   13   8     
0.35/0.50	c 2920           9210           2301171        762546         0              1116           7   11   8     
0.35/0.51	c 2930           9239           2309242        765083         0              1121           7   11   8     
0.35/0.51	c 2940           9277           2316834        767320         0              1122           7   13   10    
0.35/0.51	c 2950           9302           2323227        769218         0              1127           8   11   8     
0.35/0.51	c 2960           9323           2328659        771196         0              1128           7   10   7     
0.35/0.51	c 2970           9349           2335740        773511         0              1130           9   12   9     
0.35/0.51	c 2980           9390           2345427        776557         0              1135           6   12   8     
0.35/0.51	c 2990           9435           2354514        779838         0              1139           5   12   8     
0.45/0.51	c 3000           9465           2361353        781928         0              1140           9   12   9     
0.45/0.51	c 3010           9499           2369898        784975         0              1144           8   10   7     
0.45/0.52	c 3020           9531           2379086        787998         0              1149           7   11   8     
0.45/0.52	c 3030           9559           2385676        790127         0              1155           8   11   8     
0.45/0.52	c 3040           9586           2391504        792398         0              1157           8   10   8     
0.45/0.52	c 3050           9620           2399426        795325         0              1161           5   12   7     
0.45/0.52	c 3060           9645           2406574        797975         0              1164           6   12   7     
0.45/0.52	c 3070           9675           2414526        800784         0              1167           8   11   8     
0.45/0.52	c 3080           9712           2424389        803846         0              1171           7   11   8     
0.45/0.52	c 3090           9744           2431784        806193         0              1173           7   10   8     
0.45/0.53	c 3100           9770           2438785        808491         0              1179           7   11   8     
0.45/0.53	c 3110           9795           2445254        810707         0              1185           7   10   7     
0.45/0.53	c 3120           9834           2455628        814293         0              1188           7   12   8     
0.45/0.53	c 3130           9870           2464729        817364         0              1191           8   11   8     
0.45/0.53	c 3140           9904           2472966        819717         0              1194           9   13   10    
0.45/0.53	c 3142           9914           2476027        820625         0              1195           8   9   5      
0.45/0.53	c 3150           9937           2482599        822927         0              1196           8   10   7     
0.45/0.53	c 3160           9973           2491848        826065         0              1200           8   11   8     
0.45/0.53	c 3170           10007          2499735        828612         0              1207           8   12   8     
0.45/0.54	c 3180           10039          2507555        830906         0              1210           7   12   9     
0.45/0.54	c 3190           10070          2515658        833643         0              1215           6   12   8     
0.45/0.54	c 3200           10102          2523469        836070         0              1218           7   11   8     
0.45/0.54	c 3210           10138          2532986        838855         0              1222           9   13   10    
0.45/0.54	c 3220           10165          2540087        840959         0              1226           9   12   9     
0.45/0.54	c 3230           10199          2549076        843757         0              1231           8   13   9     
0.45/0.54	c 3240           10226          2555785        846096         0              1232           7   12   8     
0.45/0.54	c 3250           10257          2563563        848567         0              1235           8   12   8     
0.45/0.55	c 3260           10289          2571915        850836         0              1241           8   12   8     
0.45/0.55	c 3270           10317          2579927        853420         0              1245           7   10   7     
0.45/0.55	c 3280           10348          2588046        855956         0              1249           8   13   9     
0.45/0.55	c 3290           10380          2595774        858244         0              1251           8   11   8     
0.45/0.55	c 3300           10417          2604183        861152         0              1252           6   11   8     
0.45/0.55	c 3310           10449          2611768        863623         0              1257           6   11   8     
0.45/0.55	c 3320           10477          2618752        865884         0              1261           6   11   8     
0.45/0.55	c 3330           10505          2627328        868563         0              1262           7   11   8     
0.45/0.56	c 3340           10537          2636736        871694         0              1265           7   11   8     
0.45/0.56	c 3350           10564          2643156        873745         0              1272           7   12   8     
0.45/0.56	c 3360           10589          2649940        876014         0              1273           8   11   8     
0.45/0.56	c 3370           10621          2658653        878603         0              1275           8   11   9     
0.45/0.56	c 3380           10668          2667754        881649         0              1278           5   11   8     
0.45/0.56	c 3390           10695          2675325        884585         0              1281           6   11   7     
0.45/0.56	conflict 105lvl : 8 bt8-413:0(131)X192531
0.45/0.56	c 3400           10731          2685622        887743         0              1284           8   12   9     
0.45/0.56	c 3410           10765          2693840        890403         0              1287           4   12   8     
0.45/0.56	c 3420           10792          2700277        892991         0              1290           6   12   7     
0.45/0.57	c 3430           10822          2707648        895541         0              1291           7   11   8     
0.45/0.57	c 3440           10848          2714377        897711         0              1292           6   11   7     
0.45/0.57	c 3450           10886          2724014        900922         0              1295           7   13   8     
0.45/0.57	c 3460           10924          2733097        903891         0              1297           8   13   10    
0.45/0.57	c 3470           10951          2740286        906481         0              1300           7   9   7      
0.45/0.57	c 3480           10980          2748749        908902         0              1304           9   13   9     
0.45/0.57	c 3490           11010          2757169        911671         0              1307           7   10   7     
0.45/0.57	c 3500           11044          2765536        914327         0              1310           8   13   8     
0.45/0.58	c 3510           11075          2772915        916756         0              1312           8   13   9     
0.45/0.58	c 3520           11103          2780271        919138         0              1314           6   10   7     
0.45/0.58	c 3530           11135          2787877        921806         0              1321           5   12   7     
0.45/0.58	c 3540           11171          2795547        924122         0              1323           9   13   9     
0.45/0.58	c 3550           11202          2803949        926591         0              1327           8   12   9     
0.45/0.58	c 3551           11210          2805985        927159         0              1328           8   8   4      
0.45/0.58	c 3560           11227          2810859        928935         0              1335           5   9   5      
0.45/0.58	c 3570           11260          2819592        931696         0              1339           8   11   8     
0.45/0.58	c 3580           11290          2826294        934125         0              1342           8   11   9     
0.45/0.58	c 3590           11318          2832109        936212         0              1344           7   11   7     
0.45/0.59	c 3600           11360          2841422        939062         0              1348           7   13   8     
0.45/0.59	c 3610           11391          2849714        941540         0              1351           7   12   7     
0.45/0.59	c 3620           11423          2857836        944264         0              1357           7   11   8     
0.45/0.59	c 3630           11453          2864868        946485         0              1361           7   11   8     
0.45/0.59	c 3640           11484          2872343        948966         0              1366           8   12   8     
0.45/0.59	c 3650           11518          2881614        951898         0              1369           9   12   9     
0.45/0.59	c 3660           11547          2890267        954730         0              1376           8   10   8     
0.45/0.59	c 3670           11574          2896649        956794         0              1377           9   13   9     
0.45/0.60	c 3680           11611          2905637        959776         0              1382           5   11   8     
0.45/0.60	c 3690           11637          2912216        962462         0              1383           6   12   7     
0.45/0.60	conflict 34lvl : 9 bt9-67:0(171)X193647
0.45/0.60	c 3700           11671          2921499        965517         0              1387           7   10   7     
0.45/0.60	c 3710           11697          2928402        968043         0              1391           6   11   7     
0.45/0.60	c 3720           11730          2936520        970482         0              1396           8   11   8     
0.45/0.60	c 3730           11767          2946257        972982         0              1402           9   14   10    
0.45/0.60	c 3740           11801          2953693        975363         0              1406           7   14   9     
0.45/0.60	c 3750           11833          2962753        977995         0              1410           7   11   8     
0.45/0.60	conflict 35lvl : 9 bt9-409:0(135)X193960
0.54/0.61	c 3760           11866          2970910        980499         0              1414           8   11   8     
0.54/0.61	c 3770           11900          2979161        983078         0              1418           7   11   8     
0.54/0.61	c 3780           11930          2987726        985521         0              1423           9   12   9     
0.54/0.61	c 3790           11956          2993851        987677         0              1430           7   11   8     
0.54/0.61	c 3800           11993          3001729        990648         0              1431           6   10   7     
0.54/0.61	c 3810           12020          3008086        993102         0              1435           6   10   7     
0.54/0.61	c 3820           12055          3017409        995994         0              1438           7   11   8     
0.54/0.61	c 3830           12088          3026409        998861         0              1441           8   14   8     
0.54/0.61	c 3840           12119          3033092        1001054        0              1445           7   11   8     
0.54/0.62	c 3850           12155          3041530        1003728        0              1448           8   12   9     
0.54/0.62	c 3860           12188          3049668        1006133        0              1451           8   12   8     
0.54/0.62	c 3870           12216          3056564        1008243        0              1455           7   11   8     
0.54/0.62	c 3880           12244          3062858        1010700        0              1461           6   12   8     
0.54/0.62	c 3890           12280          3071314        1013609        0              1464           7   12   8     
0.54/0.62	c 3900           12310          3077852        1015385        0              1465           9   15   10    
0.54/0.62	c 3910           12345          3087365        1018335        0              1470           9   12   9     
0.54/0.62	c 3920           12377          3095620        1021077        0              1477           6   11   8     
0.54/0.63	c 3930           12405          3103091        1023516        0              1482           7   10   8     
0.54/0.63	c 3940           12438          3112359        1026555        0              1486           7   10   7     
0.54/0.63	c 3950           12468          3118988        1028886        0              1490           8   11   8     
0.54/0.63	c 3960           12497          3126771        1031506        0              1495           8   11   9     
0.54/0.63	c 3970           12529          3135276        1034080        0              1500           8   12   9     
0.54/0.63	c 3980           12560          3143201        1036303        0              1502           7   12   8     
0.54/0.63	c 3990           12591          3150205        1038388        0              1508           8   12   9     
0.54/0.63	c 4000           12622          3157621        1040747        0              1511           7   12   8     
0.54/0.63	c 4001           12628          3159147        1041206        0              1512           6   6   3      
0.54/0.64	c 4010           12655          3165548        1043456        0              1517           7   10   7     
0.54/0.64	c 4020           12679          3172189        1045425        0              1520           8   10   8     
0.54/0.64	c 4030           12712          3180485        1047576        0              1523           9   13   9     
0.54/0.64	c 4040           12741          3187265        1049563        0              1526           7   12   9     
0.54/0.64	c 4050           12775          3195519        1051984        0              1531           8   13   9     
0.54/0.64	c 4060           12802          3201712        1053638        0              1533           8   15   10    
0.54/0.64	c 4070           12835          3210136        1056104        0              1536           8   11   8     
0.54/0.64	c 4080           12860          3216574        1058183        0              1542           8   11   8     
0.54/0.64	c 4090           12895          3224306        1061090        0              1544           8   12   9     
0.54/0.65	c 4100           12929          3234467        1064978        0              1545           7   11   8     
0.54/0.65	c 4110           12960          3242986        1068411        0              1546           6   10   7     
0.54/0.65	c 4120           12989          3250372        1071359        0              1551           6   11   7     
0.54/0.65	c 4130           13018          3257782        1073612        0              1553           8   12   9     
0.54/0.65	c 4140           13046          3264572        1075725        0              1556           7   11   8     
0.54/0.65	c 4150           13078          3270450        1077656        0              1561           8   13   9     
0.54/0.65	c 4160           13107          3277915        1080239        0              1567           7   12   9     
0.54/0.65	c 4170           13135          3284486        1082358        0              1572           7   12   8     
0.54/0.65	c 4180           13165          3292040        1084908        0              1574           8   10   8     
0.54/0.66	c 4190           13200          3301071        1087488        0              1581           8   11   9     
0.54/0.66	c 4200           13241          3309284        1090122        0              1587           6   12   9     
0.54/0.66	c 4210           13270          3317129        1092461        0              1589           7   11   8     
0.54/0.66	c 4220           13302          3324137        1094864        0              1595           5   12   7     
0.54/0.66	c 4230           13329          3331122        1097082        0              1597           8   12   9     
0.54/0.66	c 4240           13362          3339885        1099881        0              1601           5   10   7     
0.54/0.66	c 4250           13394          3348325        1102545        0              1605           7   10   8     
0.54/0.66	c 4260           13427          3356802        1104939        0              1610           10   13   10   
0.54/0.66	c 4270           13460          3366484        1107952        0              1614           8   11   8     
0.54/0.67	c 4280           13492          3373480        1110317        0              1620           7   11   8     
0.54/0.67	c 4290           13530          3383425        1114045        0              1626           7   11   8     
0.54/0.67	c 4300           13568          3392096        1116671        0              1629           8   13   9     
0.54/0.67	c 4310           13604          3401009        1119431        0              1632           8   12   8     
0.54/0.67	c 4320           13634          3410004        1122574        0              1635           8   11   8     
0.54/0.67	c 4330           13663          3416476        1124896        0              1640           7   11   8     
0.54/0.67	c 4340           13694          3423817        1127487        0              1645           6   12   8     
0.54/0.68	c 4350           13724          3432081        1129900        0              1647           5   11   7     
0.54/0.68	c 4360           13757          3440769        1133000        0              1653           6   11   7     
0.54/0.68	c 4370           13782          3447692        1135668        0              1660           6   10   7     
0.54/0.68	c 4380           13816          3456445        1138197        0              1664           6   11   8     
0.54/0.68	c 4390           13848          3463812        1140307        0              1668           9   12   9     
0.54/0.68	c 4400           13879          3472076        1142748        0              1670           9   12   9     
0.54/0.68	c 4410           13914          3480799        1145385        0              1672           9   11   9     
0.54/0.68	c 4420           13947          3489589        1148085        0              1677           8   11   8     
0.54/0.68	c 4430           13979          3497820        1150747        0              1682           7   9   7      
0.54/0.69	c 4440           14011          3504561        1152977        0              1686           7   11   8     
0.54/0.69	c 4450           14036          3511471        1154867        0              1687           8   11   8     
0.54/0.69	c 4460           14064          3519225        1157272        0              1692           7   9   7      
0.54/0.69	c 4470           14090          3525153        1159055        0              1695           8   13   8     
0.54/0.69	c 4480           14123          3534941        1162536        0              1698           7   10   7     
0.54/0.69	c 4490           14151          3542220        1165050        0              1702           8   11   8     
0.54/0.69	c 4493           14163          3545894        1166142        0              1705           7   10   6     
0.54/0.69	c 4500           14192          3553337        1168382        0              1709           7   13   9     
0.54/0.69	c 4510           14220          3559525        1170427        0              1713           8   12   8     
0.54/0.70	c 4520           14246          3566065        1172495        0              1717           9   13   9     
0.63/0.70	c 4530           14290          3574713        1175555        0              1724           5   11   8     
0.63/0.70	c 4540           14326          3582688        1177840        0              1729           9   12   9     
0.63/0.70	c 4550           14375          3592527        1181133        0              1734           8   11   9     
0.63/0.70	c 4560           14417          3600962        1183766        0              1736           9   13   9     
0.63/0.70	c 4570           14449          3608084        1186395        0              1740           7   10   7     
0.63/0.70	c 4580           14478          3614547        1188459        0              1741           8   12   8     
0.63/0.70	c 4590           14513          3624525        1192052        0              1743           7   10   7     
0.63/0.71	c 4600           14553          3633844        1194547        0              1745           7   14   10    
0.63/0.71	c 4610           14584          3641777        1197206        0              1751           7   11   8     
0.63/0.71	c 4620           14619          3651587        1200150        0              1754           7   12   8     
0.63/0.71	c 4630           14653          3661158        1203103        0              1757           7   12   9     
0.63/0.71	c 4640           14683          3669523        1205646        0              1759           7   10   8     
0.63/0.71	c 4650           14708          3675805        1207657        0              1764           8   11   8     
0.63/0.71	conflict 83lvl : 9 bt9-357:0(173)X197555
0.63/0.71	c 4660           14735          3682222        1209520        0              1767           9   12   9     
0.63/0.71	c 4670           14761          3688127        1211373        0              1770           7   13   8     
0.63/0.72	c 4680           14797          3697391        1214469        0              1772           8   11   8     
0.63/0.72	c 4690           14834          3706635        1217007        0              1778           8   13   9     
0.63/0.72	c 4700           14861          3713057        1218862        0              1780           9   11   9     
0.63/0.72	c 4710           14892          3721672        1221574        0              1785           8   11   8     
0.63/0.72	c 4720           14930          3730037        1224097        0              1789           7   15   8     
0.63/0.72	c 4730           14965          3739319        1227102        0              1795           7   10   7     
0.63/0.72	c 4740           14998          3748238        1230026        0              1801           7   12   8     
0.63/0.72	c 4750           15026          3755879        1232493        0              1804           5   10   7     
0.63/0.72	c 4760           15058          3763863        1234831        0              1806           8   12   8     
0.63/0.73	c 4770           15087          3770617        1236836        0              1808           8   12   9     
0.63/0.73	c 4780           15121          3779189        1239952        0              1811           7   12   7     
0.63/0.73	c 4790           15151          3786484        1242216        0              1816           7   10   8     
0.63/0.73	c 4800           15186          3794444        1244727        0              1820           8   13   9     
0.63/0.73	c 4810           15218          3802002        1246936        0              1823           10   13   10   
0.63/0.73	c 4820           15245          3809667        1249341        0              1826           7   9   7      
0.63/0.73	c 4830           15285          3820402        1252585        0              1830           9   13   9     
0.63/0.73	c 4840           15319          3827607        1254992        0              1832           8   11   9     
0.63/0.74	c 4850           15350          3836925        1257711        0              1836           9   12   9     
0.63/0.74	c 4860           15384          3844652        1259702        0              1839           10   14   10   
0.63/0.74	c 4870           15414          3852661        1261934        0              1842           10   13   10   
0.63/0.74	c 4880           15454          3860802        1264906        0              1845           6   10   8     
0.63/0.74	c 4890           15487          3868621        1267309        0              1851           6   11   7     
0.63/0.74	c 4900           15515          3876808        1269806        0              1856           7   11   8     
0.63/0.74	c 4910           15547          3885991        1272438        0              1861           8   11   9     
0.63/0.74	c 4920           15576          3892592        1274712        0              1863           7   11   7     
0.63/0.75	c 4930           15608          3900881        1277119        0              1865           9   12   9     
0.63/0.75	c 4940           15635          3907758        1279523        0              1868           5   10   7     
0.63/0.75	c 4950           15669          3915496        1281804        0              1873           6   11   8     
0.63/0.75	c 4960           15701          3923621        1284163        0              1877           5   12   9     
0.63/0.75	c 4970           15727          3930535        1286849        0              1880           6   11   7     
0.63/0.75	c 4980           15766          3939661        1289971        0              1885           9   11   9     
0.63/0.75	c 4990           15797          3946887        1292712        0              1887           7   10   7     
0.63/0.76	c 5035           15916          3976409        1303319        0              1893           6   12   8     
0.73/0.80	c 5631           17359          4321814        1420293        0              1900           5   14   9     
0.73/0.85	c 6286           19019          4699665        1548372        0              1920           5   14   9     
0.83/0.91	c 7006           20929          5137784        1703432        0              1937           6   16   10    
0.83/0.97	c 7798           22889          5616118        1868060        0              1952           5   14   9     
0.94/1.04	c 8669           25174          6160380        2067667        0              1969           4   14   8     
0.94/1.06	conflict 63lvl : 10 bt9-562:0(261)X199566
1.04/1.12	c 9627           27709          6751667        2275029        0              1980           4   14   9     
1.13/1.21	c 10680          30386          7395594        2504649        0              1988           4   14   8     
1.23/1.30	c 11838          33318          8097703        2742443        0              1996           5   14   9     
1.23/1.30	conflict 15lvl : 7 bt6-12:0(77)X199855
1.33/1.41	c 13111          36741          8903388        3036260        0              2018           4   15   8     
1.33/1.44	conflict 14lvl : 8 bt7-400:0(55)X200038
1.43/1.51	c 14511          40098          9710510        3301558        0              2039           5   14   9     
1.53/1.63	c 16051          43927          10636643       3630439        0              2060           6   15   9     
1.63/1.76	c 17745          47981          11622521       3991934        0              2084           5   14   9     
1.83/1.91	c 19608          52812          12770937       4375548        0              2097           5   15   9     
1.94/2.08	c 21657          58083          14033710       4839170        0              2106           4   14   9     
2.13/2.27	c 23910          64082          15443132       5333313        0              2116           4   14   9     
2.33/2.46	c 26388          70231          16894908       5865565        0              2132           4   16   8     
2.53/2.67	c 29113          77041          18485676       6420458        0              2155           4   17   9     
2.83/2.92	c 32110          85149          20374392       7110875        0              2189           4   15   8     
3.04/3.19	c 35406          93620          22414045       7808271        0              2202           4   16   9     
3.33/3.48	c 39031          102399         24572708       8595393        0              2217           4   15   8     
3.63/3.79	c 43018          112692         26960926       9444460        0              2232           4   16   9     
4.04/4.14	c 47403          124126         29644252       10378349       0              2264           4   16   9     
4.04/4.14	conflict 65lvl : 8 bt8-339:0(169)X201993
4.43/4.51	c 52226          136396         32518736       11340131       0              2271           5   15   9     
4.83/4.92	c 57531          149537         35664299       12416802       0              2290           4   16   9     
5.23/5.39	c 63366          164961         39233710       13701158       0              2299           3   16   8     
5.83/5.92	c 69784          181668         43111107       15143705       0              2312           4   15   8     
6.43/6.52	c 76843          199996         47502561       16766622       0              2327           3   15   8     
7.04/7.14	c 84607          220460         52249834       18398120       0              2340           3   16   9     
7.73/7.85	c 93147          243146         57602509       20291800       0              2345           4   15   8     
8.04/8.12	conflict 57lvl : 10 bt10-652:0(102)X202667
8.43/8.58	c 102541         266994         63237023       22193845       0              2366           4   18   9     
9.13/9.24	conflict 18lvl : 8 bt8-145:0(187)X202905
9.33/9.42	c 112874         293512         69535665       24438506       0              2393           4   16   9     
10.23/10.33	c 124240         322901         76446583       26909398       0              2405           3   17   8     
11.13/11.29	c 136742         355335         83972375       29423700       0              2417           3   16   9     
11.13/11.29	conflict 4lvl : 5 bt4-24:0(66)X203319
12.33/12.44	c 150494         392094         92514282       32530341       0              2441           3   16   8     
13.63/13.71	c 165621         430540         101786812      35935575       0              2465           3   17   8     
14.83/14.98	c 182260         471578         111504794      39357918       0              2474           4   14   8     
16.33/16.46	c 200562         519421         122645775      43272736       0              2490           3   16   9     
16.63/16.70	conflict 123lvl : 7 bt7-48:0(122)X203767
17.94/18.06	c 220694         569492         134693659      47573743       0              2506           4   15   8     
18.13/18.24	conflict 15lvl : 7 bt5-96:0(85)X204013
18.13/18.25	conflict 99lvl : 7 bt7-128:0(212)X204031
18.23/18.33	conflict 91lvl : 8 bt8-96:0(127)X204133
18.43/18.54	conflict 13lvl : 11 bt11-595:0(213)X204227
19.23/19.30	conflict 105lvl : 8 bt8-685:0(246)X204243
19.73/19.82	c 242839         627441         148210390      52203539       0              2546           3   16   8     
19.83/19.94	conflict 155lvl : 13 bt13-419:0(187)X204571
19.94/20.02	conflict 5lvl : 10 bt10-704:0(196)X204729
20.43/20.51	conflict 14lvl : 10 bt9-96:0(190)X204737
20.73/20.89	conflict 11lvl : 8 bt8-149:0(197)X204754
21.23/21.34	conflict 51lvl : 8 bt8-470:0(98)X204768
21.63/21.74	c 267198         689461         162915032      57237608       0              2584           3   16   9     
21.94/22.07	conflict 11lvl : 11 bt10-381:0(201)X205057
22.83/22.96	conflict 4lvl : 5 bt4-313:0(31)X205071
23.53/23.64	conflict 93lvl : 8 bt8-721:0(240)X205078
23.94/24.03	c 293992         760038         179725672      63341611       2              2614           2   15   8     
24.63/24.76	conflict 7lvl : 8 bt7-101:0(79)X205343
24.83/24.92	conflict 34lvl : 12 bt12-530:0(209)X205353
25.94/26.04	conflict 134lvl : 12 bt12-343:0(181)X205390
26.23/26.33	c 323465         835236         197428890      69441538       2              2654           4   16   9     
27.83/28.00	conflict 18lvl : 8 bt8-98:0(93)X205788
28.83/28.95	c 355885         916173         217092386      76432863       3              2674           3   17   8     
30.63/30.77	conflict 49lvl : 11 bt10-3:0(189)X205936
30.94/31.06	conflict 14lvl : 7 bt6-628:0(43)X205988
31.43/31.50	conflict 31lvl : 10 bt10-9:0(223)X206005
31.43/31.50	conflict 53lvl : 10 bt8-628:0(220)X206039
31.83/31.91	conflict 172lvl : 10 bt10-324:0(225)X206095
31.83/31.92	c 391547         1007046        239257493      84337286       4              2696           3   16   8     
34.94/35.03	c 430775         1106956        262873968      92525992       4              2720           3   15   8     
34.94/35.09	conflict 62lvl : 8 bt8-479:0(86)X206556
34.94/35.09	conflict 7lvl : 7 bt6-46:0(96)X206621
35.33/35.48	conflict 13lvl : 10 bt9-419:0(165)X206631
36.53/36.61	conflict 16lvl : 10 bt10-115:0(123)X206647
36.63/36.76	conflict 47lvl : 6 bt5-115:0(139)X206666
36.73/36.87	conflict 72lvl : 10 bt10-97:0(202)X206716
38.33/38.48	c 473925         1214612        288789540      101739152      5              2750           3   15   8     
41.83/41.95	conflict 110lvl : 10 bt10-210:0(180)X207012
42.23/42.38	c 521390         1334152        317857267      112110757      5              2795           3   17   8     
42.73/42.84	conflict 33lvl : 10 bt10-653:0(183)X207410
43.53/43.68	conflict 10lvl : 10 bt9-666:0(122)X207446
46.33/46.46	c 573601         1466938        349151744      122730924      5              2818           3   16   9     
46.43/46.50	conflict 32lvl : 8 bt8-666:0(189)X207603
46.53/46.63	conflict 87lvl : 11 bt10-666:0(217)X207638
48.23/48.35	conflict 18lvl : 10 bt8-669:0(179)X207728
48.23/48.37	conflict 68lvl : 10 bt10-503:0(220)X207749
49.33/49.43	conflict 30lvl : 10 bt9-206:0(103)X207820
49.33/49.44	conflict 24lvl : 11 bt11-666:0(227)X207853
50.33/50.40	conflict 18lvl : 6 bt6-251:0(183)X207880
50.53/50.60	conflict 62lvl : 9 bt9-64:0(182)X207901
51.04/51.12	c 631033         1618627        384489778      134962865      5              2851           3   16   9     
51.63/51.78	conflict 127lvl : 10 bt10-666:0(221)X208191
55.63/55.71	conflict 34lvl : 10 bt10-90:0(175)X208321
56.13/56.25	c 694208         1780728        422937907      148603002      6              2866           3   16   9     
57.63/57.72	conflict 17lvl : 5 bt5-79:0(234)X208471
61.13/61.24	conflict 17lvl : 7 bt6-467:0(219)X208491
61.83/61.97	c 763700         1961613        465893211      163582106      6              2906           3   16   8     
62.73/62.81	conflict 12lvl : 10 bt9-400:0(185)X208760
65.63/65.72	conflict 58lvl : 9 bt9-533:0(197)X208775
67.73/67.86	conflict 26lvl : 10 bt10-712:0(105)X208836
67.83/67.99	conflict 10lvl : 10 bt7-593:0(194)X208865
68.13/68.24	conflict 17lvl : 10 bt6-457:0(190)X208878
68.23/68.32	c 840141         2157819        512714887      180589514      7              2925           2   16   8     
69.63/69.75	conflict 16lvl : 7 bt6-1:0(40)X209009
70.83/70.94	conflict 43lvl : 9 bt9-332:0(205)X209028
71.83/71.93	conflict 95lvl : 9 bt7-307:0(148)X209074
74.53/74.68	conflict 82lvl : 7 bt7-71:0(239)X209172
75.13/75.30	c 924226         2374758        564559573      199077587      8              2970           3   18   8     
75.94/76.08	conflict 18lvl : 10 bt10-86:0(207)X209542
76.04/76.17	conflict 56lvl : 9 bt9-381:0(231)X209563
76.13/76.22	conflict 60lvl : 9 bt9-324:0(288)X209622
76.23/76.36	conflict 74lvl : 10 bt10-86:0(168)X209685
77.33/77.44	conflict 77lvl : 12 bt12-609:0(243)X209762
77.73/77.84	conflict 89lvl : 10 bt9-324:0(161)X209842
77.94/78.07	conflict 32lvl : 5 bt5-157:0(162)X209934
78.83/78.91	conflict 34lvl : 9 bt9-308:0(185)X209969
78.83/78.97	conflict 134lvl : 7 bt7-141:0(237)X210006
79.43/79.50	conflict 18lvl : 6 bt5-90:0(90)X210143
79.63/79.74	conflict 15lvl : 8 bt7-308:0(147)X210164
80.94/81.10	conflict 18lvl : 9 bt8-324:0(158)X210182
81.23/81.33	conflict 16lvl : 12 bt8-324:0(181)X210203
82.83/82.96	c 1016719        2613061        621435754      219308995      9              3003           2   17   8     
83.13/83.28	conflict 61lvl : 12 bt12-656:0(219)X210433
83.33/83.43	conflict 16lvl : 10 bt9-459:0(110)X210497
83.53/83.65	conflict 118lvl : 12 bt12-685:0(183)X210516
83.63/83.78	conflict 49lvl : 12 bt12-432:0(194)X210637
86.63/86.79	conflict 107lvl : 13 bt13-162:0(198)X210689
87.33/87.44	conflict 17lvl : 8 bt7-533:0(61)X210799
87.63/87.71	conflict 8lvl : 9 bt6-533:0(80)X210819
88.53/88.64	conflict 4lvl : 11 bt10-381:0(51)X210830
90.23/90.30	conflict 81lvl : 11 bt11-686:0(170)X210837
90.53/90.60	conflict 93lvl : 8 bt8-412:0(101)X210921
90.94/91.04	c 1118461        2873143        682788247      240537310      10             3035           2   16   9     
91.53/91.69	conflict 117lvl : 10 bt10-410:0(197)X211237
95.53/95.68	conflict 125lvl : 12 bt11-395:0(248)X211357
96.43/96.52	conflict 12lvl : 7 bt5-324:0(137)X211485
96.53/96.60	conflict 10lvl : 6 bt6-324:0(42)X211500
96.73/96.88	conflict 73lvl : 10 bt9-115:0(95)X211513
97.33/97.46	conflict 118lvl : 12 bt12-410:0(188)X211589
97.53/97.60	conflict 33lvl : 11 bt11-340:0(221)X211710
97.53/97.62	conflict 164lvl : 8 bt8-414:0(116)X211746
97.73/97.84	conflict 54lvl : 11 bt11-324:0(158)X211913
99.83/100.00	conflict 15lvl : 9 bt8-137:0(129)X211970
100.33/100.43	c 1230377        3161909        752166428      265346895      11             3066           2   17   8     
100.43/100.59	conflict 18lvl : 9 bt9-438:0(135)X212160
100.94/101.05	conflict 18lvl : 7 bt7-354:0(257)X212181
101.04/101.15	conflict 18lvl : 12 bt9-248:0(125)X212202
101.23/101.39	conflict 88lvl : 10 bt8-654:0(168)X212223
101.83/101.94	conflict 18lvl : 11 bt11-530:0(108)X212314
101.94/102.00	conflict 48lvl : 9 bt9-626:0(162)X212335
101.94/102.00	conflict 33lvl : 10 bt10-626:0(242)X212386
102.04/102.11	conflict 98lvl : 11 bt10-533:0(128)X212422
102.04/102.18	conflict 151lvl : 7 bt774:0(120)X212523
102.33/102.40	conflict 38lvl : 7 bt7-656:0(143)X212677
102.83/102.97	conflict 33lvl : 7 bt6-381:0(145)X212718
102.83/102.97	conflict 43lvl : 6 bt5-381:0(136)X212754
103.63/103.75	conflict 57lvl : 9 bt9-591:0(146)X212800
103.73/103.86	conflict 17lvl : 10 bt8-705:0(128)X212860
105.83/105.90	conflict 33lvl : 9 bt9-406:0(202)X212880
106.94/107.07	conflict 46lvl : 8 bt8-68:0(181)X212916
107.43/107.51	conflict 31lvl : 7 bt6-596:0(171)X212965
107.53/107.63	conflict 80lvl : 9 bt9-536:0(226)X212999
108.33/108.40	conflict 8lvl : 7 bt7-687:0(95)X213082
109.43/109.59	conflict 8lvl : 7 bt5-381:0(88)X213093
109.94/110.03	conflict 48lvl : 9 bt9-381:0(174)X213104
110.23/110.35	conflict 18lvl : 8 bt8-504:0(156)X213155
110.43/110.56	c 1353484        3478489        827044542      292071607      13             3099           2   16   8     
110.94/111.09	conflict 99lvl : 8 bt8-598:0(270)X213338
112.13/112.22	conflict 143lvl : 9 bt9-503:0(231)X213440
119.63/119.74	conflict 33lvl : 9 bt6-668:0(218)X213586
120.23/120.35	conflict 16lvl : 7 bt6-381:0(168)X213622
120.33/120.42	conflict 7lvl : 9 bt8-381:0(50)X213641
120.63/120.78	conflict 97lvl : 10 bt10-381:0(181)X213651
121.63/121.70	conflict 39lvl : 7 bt7-388:0(149)X213751
121.73/121.83	c 1488901        3821720        909879167      321957735      16             3128           2   17   8     
124.73/124.85	conflict 85lvl : 9 bt9-391:0(179)X213941
124.94/125.10	conflict 34lvl : 8 bt8-405:0(114)X214029
125.23/125.32	conflict 7lvl : 7 bt6-115:0(58)X214066
125.23/125.33	conflict 18lvl : 9 bt9-29:0(137)X214076
126.63/126.79	conflict 3lvl : 9 bt9-569:0(123)X214097
126.63/126.79	conflict 68lvl : 8 bt8-381:0(105)X214103
126.63/126.79	conflict 65lvl : 8 bt8-381:0(83)X214174
126.63/126.79	conflict 87lvl : 8 bt8-141:0(136)X214242
127.23/127.31	conflict 8lvl : 10 bt9-381:0(124)X214332
127.23/127.37	conflict 93lvl : 9 bt9560:0(75)X214343
127.83/127.95	conflict 53lvl : 9 bt9-381:0(186)X214439
128.33/128.46	conflict 36lvl : 9 bt7-381:0(201)X214495
128.63/128.74	conflict 91lvl : 11 bt11673:0(160)X214534
130.43/130.51	conflict 104lvl : 11 bt11-590:0(123)X214628
131.63/131.73	conflict 107lvl : 8 bt8-391:0(277)X214735
131.63/131.73	conflict 148lvl : 8 bt8-398:0(318)X214845
133.43/133.50	conflict 82lvl : 12 bt12-540:0(221)X214996
134.13/134.24	c 1637859        4209482        1002287014     354361450      19             3154           2   17   8     
134.23/134.34	conflict 117lvl : 9 bt9-248:0(197)X215195
134.63/134.73	conflict 31lvl : 9 bt9-559:0(211)X215315
134.73/134.81	conflict 90lvl : 10 bt9-321:0(266)X215349
134.83/134.96	conflict 17lvl : 8 bt8-80:0(87)X215442
135.83/135.98	conflict 8lvl : 10 bt9-308:0(190)X215462
143.04/143.14	conflict 15lvl : 9 bt8-80:0(231)X215473
143.53/143.65	conflict 12lvl : 7 bt6-80:0(119)X215491
145.73/145.85	conflict 112lvl : 10 bt10-39:0(153)X215506
146.63/146.79	conflict 17lvl : 8 bt7-154:0(117)X215621
147.23/147.36	conflict 85lvl : 10 bt9-154:0(212)X215641
147.53/147.64	conflict 9lvl : 10 bt9-154:0(128)X215729
147.53/147.65	conflict 21lvl : 9 bt8-154:0(159)X215741
147.53/147.66	conflict 39lvl : 9 bt8-381:0(160)X215765
148.04/148.16	c 1801712        4629479        1103609749     391187458      26             3188           2   17   8     
148.33/148.48	conflict 5lvl : 8 bt8-59:0(195)X215938
149.43/149.53	conflict 137lvl : 10 bt9-458:0(175)X215946
149.73/149.89	conflict 49lvl : 8 bt7-461:0(204)X216086
152.43/152.56	conflict 4lvl : 6 bt4-154:0(15)X216138
153.23/153.36	conflict 32lvl : 7 bt5-708:0(127)X216145
153.23/153.39	conflict 15lvl : 10 bt10-37:0(242)X216180
153.94/154.04	conflict 117lvl : 8 bt7-641:0(232)X216198
155.73/155.88	conflict 15lvl : 9 bt8-381:0(153)X216318
155.83/155.90	conflict 22lvl : 9 bt8-381:0(126)X216336
156.53/156.66	conflict 59lvl : 7 bt7-157:0(139)X216361
156.73/156.87	conflict 26lvl : 8 bt8-504:0(292)X216423
156.94/157.01	conflict 93lvl : 7 bt7-156:0(184)X216452
157.43/157.56	conflict 57lvl : 7 bt7-68:0(190)X216548
157.63/157.71	conflict 137lvl : 7 bt7-36:0(272)X216608
157.83/157.94	conflict 117lvl : 8 bt7-381:0(150)X216748
158.13/158.20	conflict 96lvl : 9 bt9-381:0(209)X216868
158.13/158.23	conflict 35lvl : 8 bt8-165:0(198)X216967
158.43/158.54	conflict 18lvl : 9 bt9-25:0(168)X217005
158.43/158.54	conflict 74lvl : 8 bt8-159:0(221)X217026
158.53/158.62	c restarts              : 578         
158.53/158.62	c conflicts             : 1921901      (12121 /sec)
158.53/158.62	c decisions             : 4941773      (31167 /sec)
158.53/158.62	c propagations          : 418888739   (2641868 /sec)
158.53/158.62	c root propagations     : 0           
158.53/158.62	c filter calls          : 1178924991     (7435302 /sec)
158.53/158.62	c useless filter calls  : 944634861      (80 %)
158.53/158.62	c
158.53/158.62	c clauses               : 40255
158.53/158.62	c SAT propagations      : 136564
158.53/158.62	c SAT conflicts         : 1996 (186 learnts)
158.53/158.62	c Memory used           : 32.33 MB
158.53/158.62	c CPU time              : 158.558 s
158.53/158.62	
158.53/158.62	s UNSATISFIABLE