0.09/0.15	c SAT : Variables: 625 -- Clauses: 7525
0.09/0.15	c root propagations     : 0           
0.09/0.15	c restarts enabled, print stats at every restarts
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c This is cosoco 1.0 --  
0.09/0.15	c
0.09/0.15	c ========================================[ Problem Statistics ]===========================================
0.09/0.15	c |                                                                                                       
0.09/0.15	c |  Parse time        :         0.15 s 
0.09/0.15	c |
0.09/0.15	c |               Variables: 25
0.09/0.15	c |            Domain Sizes: 25..25
0.09/0.15	c |
0.09/0.15	c |             Constraints: 300
0.09/0.15	c |                   Arity: 2..2  -- Binary: 300
0.09/0.15	c | 
0.09/0.15	c |                   Types: 
0.09/0.15	c |                          Extension: 300  (nb tuples: 147..147) -- (shared: 0)
0.09/0.15	c |                          
0.09/0.15	c =========================================================================================================
0.09/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.15	c 10             21             6330           1356           0              5              7   8   6      
0.09/0.16	c 20             45             14221          3132           0              8              6   8   6      
0.09/0.16	c 30             69             21359          4774           0              11             6   8   6      
0.09/0.16	c 40             91             27870          6598           0              16             6   7   5      
0.09/0.16	c 50             115            34519          8136           0              19             6   8   6      
0.09/0.16	c 60             139            41855          9687           0              24             6   9   7      
0.09/0.16	c 70             161            48657          11594          0              26             5   7   5      
0.09/0.16	c 80             183            55145          13209          0              30             7   8   6      
0.09/0.16	c 90             207            61573          14725          0              33             5   9   6      
0.09/0.16	c 100            226            67285          16005          0              38             6   8   6      
0.09/0.16	c 101            233            69106          16519          0              39             7   7   3      
0.09/0.16	c 110            259            76810          18314          0              42             6   8   6      
0.09/0.17	c 120            286            84364          20025          0              44             6   9   6      
0.09/0.17	c 130            310            91699          21712          0              48             6   9   6      
0.09/0.17	c 140            332            97365          23129          0              52             7   8   6      
0.09/0.17	c 150            355            103869         24624          0              57             7   8   6      
0.09/0.17	c 160            377            109807         26001          0              61             7   8   6      
0.09/0.17	c 170            401            116517         27635          0              64             7   9   6      
0.09/0.17	c 180            426            124781         29547          0              68             6   8   6      
0.09/0.17	c 190            450            131460         31103          0              70             6   8   6      
0.09/0.17	c 200            474            137959         32580          0              75             7   9   7      
0.09/0.17	c 210            497            144638         34174          0              79             6   7   6      
0.09/0.17	c 211            503            146340         34706          0              80             6   6   3      
0.09/0.18	c 220            525            152663         36341          0              83             6   8   6      
0.09/0.18	c 230            553            161414         38703          0              87             6   8   6      
0.09/0.18	c 240            579            168674         40403          0              89             6   8   6      
0.09/0.18	c 250            603            176012         42111          0              93             6   8   6      
0.09/0.18	c 260            628            182299         43729          0              98             6   8   6      
0.09/0.18	c 270            648            186987         45004          0              100            6   8   5      
0.09/0.18	c 280            668            192088         46458          0              105            6   8   6      
0.09/0.18	c 290            690            198384         48044          0              108            6   8   6      
0.09/0.18	c 300            715            205096         49750          0              112            6   8   6      
0.09/0.18	c 310            742            213222         51576          0              117            7   8   6      
0.09/0.18	c 320            768            220193         53184          0              121            5   8   6      
0.09/0.19	c 330            790            225795         54585          0              125            6   7   6      
0.09/0.19	c 332            799            228332         55254          0              127            7   7   4      
0.09/0.19	c 340            818            233901         56651          0              130            6   7   6      
0.09/0.19	c 350            843            240507         58305          0              135            6   8   6      
0.09/0.19	c 360            867            247396         60018          0              138            6   8   6      
0.09/0.19	c 370            893            255425         61972          0              142            6   8   6      
0.09/0.19	c 380            922            263361         63612          0              148            7   9   7      
0.09/0.19	c 390            949            271681         65373          0              150            6   9   6      
0.09/0.19	c 400            970            277319         66644          0              154            6   9   6      
0.09/0.19	c 410            996            283503         68236          0              157            7   9   7      
0.09/0.20	c 420            1021           290822         70069          0              161            5   8   6      
0.19/0.20	c 430            1044           297310         71488          0              166            6   9   6      
0.19/0.20	c 440            1067           303956         73125          0              171            7   8   6      
0.19/0.20	c 450            1092           311771         74883          0              174            6   8   6      
0.19/0.20	c 460            1117           318592         76250          0              177            7   9   7      
0.19/0.20	c 465            1129           322100         77131          0              179            7   7   5      
0.19/0.20	c 470            1144           326376         78205          0              181            6   8   5      
0.19/0.20	c 480            1169           334329         80095          0              186            6   7   6      
0.19/0.20	c 490            1192           340848         81680          0              187            6   9   6      
0.19/0.20	c 500            1215           347266         83264          0              191            6   8   6      
0.19/0.20	c 510            1238           353824         84821          0              193            6   8   6      
0.19/0.21	c 520            1263           360706         86451          0              197            7   9   7      
0.19/0.21	c 530            1291           368343         88281          0              200            6   8   6      
0.19/0.21	c 540            1313           374661         89939          0              203            6   8   6      
0.19/0.21	c 550            1339           382170         91729          0              208            6   8   6      
0.19/0.21	c 560            1366           390110         93503          0              212            7   9   7      
0.19/0.21	c 570            1389           396930         95183          0              218            5   7   5      
0.19/0.21	c 580            1415           404049         96765          0              222            7   9   7      
0.19/0.21	c 590            1441           412322         98586          0              224            6   9   6      
0.19/0.21	c 600            1460           417270         99721          0              226            7   9   6      
0.19/0.21	c 610            1481           422985         101170         0              229            6   8   6      
0.19/0.21	c 611            1488           425342         101830         0              230            7   7   3      
0.19/0.22	c 620            1511           431253         103113         0              233            6   9   7      
0.19/0.22	c 630            1538           440294         105064         0              239            6   8   6      
0.19/0.22	c 640            1564           447008         106675         0              244            6   8   6      
0.19/0.22	c 650            1588           453949         108489         0              247            5   8   6      
0.19/0.22	c 660            1613           461959         110207         0              251            6   8   6      
0.19/0.22	c 670            1637           469223         111832         0              253            6   8   6      
0.19/0.22	c 680            1663           476441         113322         0              257            6   9   6      
0.19/0.22	c 690            1686           483148         115001         0              262            6   8   6      
0.19/0.22	c 700            1709           489543         116476         0              267            7   9   6      
0.19/0.22	c 710            1732           496118         117867         0              271            6   9   6      
0.19/0.23	c 720            1757           502893         119493         0              276            7   8   6      
0.19/0.23	c 730            1782           510198         121430         0              282            6   9   6      
0.19/0.23	c 740            1806           517417         123084         0              287            6   8   6      
0.19/0.23	c 750            1829           523388         124672         0              292            6   8   6      
0.19/0.23	c 760            1855           530912         126515         0              295            6   7   6      
0.19/0.23	c 770            1878           537455         128171         0              299            6   8   6      
0.19/0.23	c 771            1885           539411         128707         0              300            7   7   3      
0.19/0.23	c 780            1906           546371         130381         0              304            6   8   6      
0.19/0.23	c 790            1933           554321         132183         0              308            6   9   6      
0.19/0.23	c 800            1959           561027         133565         0              312            7   9   7      
0.19/0.23	c 810            1979           566011         134953         0              313            6   8   6      
0.19/0.24	c 820            2002           573378         136739         0              317            5   8   6      
0.19/0.24	c 830            2026           580491         138158         0              322            7   9   6      
0.19/0.24	c 840            2049           587237         139814         0              327            6   8   6      
0.19/0.24	c 850            2070           593937         141441         0              332            5   7   5      
0.19/0.24	c 860            2096           601306         143247         0              337            6   8   6      
0.19/0.24	c 870            2120           608931         145158         0              340            6   8   6      
0.19/0.24	c 880            2141           615051         146666         0              342            6   8   6      
0.19/0.24	c 890            2163           621143         148261         0              345            6   7   6      
0.19/0.24	c 900            2186           628061         149920         0              346            7   9   6      
0.19/0.24	c 910            2211           635711         151658         0              351            6   7   6      
0.19/0.25	c 920            2234           642512         153174         0              354            6   8   6      
0.19/0.25	c 930            2257           649146         154872         0              357            6   8   6      
0.19/0.25	c 940            2284           656560         156466         0              360            7   9   7      
0.19/0.25	c 947            2303           662201         157622         0              364            7   9   6      
0.19/0.25	c 950            2315           665394         158495         0              366            6   7   5      
0.19/0.25	c 960            2336           671507         159873         0              371            7   8   6      
0.19/0.25	c 970            2364           680396         161788         0              375            7   8   6      
0.19/0.25	c 980            2387           688457         163748         0              380            5   7   5      
0.19/0.25	c 990            2412           696038         165589         0              382            7   8   6      
0.19/0.25	c 1000           2440           703905         167280         0              389            7   9   6      
0.19/0.26	c 1010           2464           711159         169010         0              390            6   8   6      
0.19/0.26	c 1020           2490           718919         170839         0              393            5   7   5      
0.19/0.26	conflict 46lvl : 6 bt6-429:0(14)X254608
0.19/0.26	c 1030           2518           727165         172643         0              396            6   8   6      
0.19/0.26	c 1040           2542           734560         174381         0              397            6   8   6      
0.19/0.26	c 1050           2566           742466         176257         0              401            6   8   6      
0.19/0.26	c 1060           2589           748576         177786         0              403            6   8   6      
0.19/0.26	c 1070           2616           756034         179627         0              409            5   8   6      
0.19/0.26	c 1080           2639           762865         181340         0              413            6   8   6      
0.19/0.26	c 1090           2668           770346         183096         0              418            6   10   6     
0.19/0.26	c 1100           2689           776301         184693         0              421            6   8   6      
0.19/0.27	c 1110           2721           785676         186445         0              424            7   9   7      
0.19/0.27	c 1120           2743           791939         188115         0              427            6   8   6      
0.19/0.27	c 1130           2767           798147         189570         0              432            7   9   6      
0.19/0.27	c 1140           2797           807301         191473         0              437            7   8   6      
0.19/0.27	c 1141           2804           809327         192054         0              438            7   7   3      
0.19/0.27	conflict 5lvl : 5 bt5-277:0(5)X255043
0.19/0.27	 -> -277:X(5)c 1150           2828           815458         193675         0              443            5   8   5      
0.19/0.27	c 1160           2853           822817         195269         0              448            7   8   6      
0.19/0.27	c 1170           2879           831178         197180         0              452            6   8   6      
0.19/0.27	c 1180           2901           837595         198670         0              456            6   8   6      
0.19/0.27	c 1190           2926           845090         200357         0              458            6   8   6      
0.19/0.28	c 1200           2950           851631         201958         0              462            7   8   6      
0.19/0.28	c 1210           2973           858059         203512         0              465            6   8   6      
0.19/0.28	c 1220           2997           865352         205278         0              473            6   8   6      
0.19/0.28	c 1230           3026           873982         207312         0              477            6   8   6      
0.19/0.28	c 1240           3054           881297         209067         0              481            5   8   6      
0.19/0.28	c 1250           3076           888216         210743         0              484            6   8   6      
0.19/0.28	c 1260           3098           894196         212306         0              489            7   8   6      
0.19/0.28	c 1270           3126           902095         214230         0              496            6   8   6      
0.19/0.28	c 1280           3152           909344         215925         0              502            7   8   6      
0.19/0.28	c 1290           3178           917013         217704         0              507            6   8   6      
0.19/0.29	c 1300           3206           924969         219682         0              512            6   8   6      
0.19/0.29	c 1310           3232           932505         221387         0              516            7   8   6      
0.19/0.29	c 1320           3255           939076         222795         0              519            7   8   7      
0.19/0.29	c 1330           3277           946138         224562         0              521            6   8   6      
0.19/0.29	c 1340           3302           954132         226404         0              525            6   8   6      
0.19/0.29	c 1350           3323           960375         227980         0              528            5   7   5      
0.19/0.29	c 1352           3332           963126         228639         0              530            6   8   4      
0.19/0.29	c 1360           3350           968145         229817         0              534            7   8   6      
0.19/0.29	c 1370           3373           974654         231424         0              541            6   8   6      
0.19/0.29	c 1380           3394           980011         232720         0              545            6   8   6      
0.19/0.29	c 1390           3419           987025         234357         0              548            7   8   6      
0.29/0.30	c 1400           3447           993908         235998         0              552            7   9   6      
0.29/0.30	c 1410           3471           999727         237264         0              559            7   10   7     
0.29/0.30	c 1420           3498           1008069        239312         0              563            6   7   6      
0.29/0.30	c 1430           3520           1015138        240837         0              569            6   8   6      
0.29/0.30	c 1440           3542           1020970        242254         0              575            6   8   6      
0.29/0.30	c 1450           3566           1027783        243751         0              577            7   9   6      
0.29/0.30	c 1460           3594           1035587        245471         0              579            7   8   6      
0.29/0.30	c 1470           3619           1042046        247080         0              581            5   7   5      
0.29/0.30	c 1480           3640           1047974        248649         0              582            6   8   6      
0.29/0.30	c 1490           3664           1055239        250347         0              586            7   8   6      
0.29/0.31	c 1500           3693           1063804        252371         0              590            7   9   6      
0.29/0.31	c 1510           3717           1070553        254048         0              591            5   8   6      
0.29/0.31	c 1520           3743           1077836        255807         0              596            6   7   6      
0.29/0.31	c 1530           3768           1085397        257558         0              602            6   8   6      
0.29/0.31	c 1540           3790           1091354        258938         0              608            6   8   6      
0.29/0.31	c 1550           3814           1098468        260585         0              613            6   8   6      
0.29/0.31	c 1560           3835           1105097        262198         0              618            5   7   5      
0.29/0.31	c 1570           3860           1112140        263736         0              620            7   9   6      
0.29/0.31	c 1580           3882           1118683        265224         0              627            6   8   6      
0.29/0.31	c 1585           3894           1122022        266121         0              632            6   8   5      
0.29/0.32	c 1590           3909           1126497        267163         0              635            5   7   5      
0.29/0.32	c 1600           3936           1135154        269276         0              638            6   8   6      
0.29/0.32	c 1610           3956           1140902        270745         0              642            6   8   6      
0.29/0.32	c 1620           3980           1147998        272252         0              646            7   8   7      
0.29/0.32	c 1630           4006           1154853        273675         0              648            7   9   7      
0.29/0.32	c 1640           4030           1161910        275304         0              652            5   8   6      
0.29/0.32	c 1650           4057           1169933        277119         0              655            6   8   6      
0.29/0.32	c 1660           4082           1177152        278943         0              661            5   7   6      
0.29/0.32	c 1670           4104           1183630        280423         0              666            5   8   6      
0.29/0.32	c 1680           4132           1191675        282260         0              670            6   8   6      
0.29/0.33	c 1690           4158           1200038        284175         0              675            6   7   6      
0.29/0.33	c 1700           4179           1205122        285544         0              681            6   8   6      
0.29/0.33	c 1710           4207           1213845        287665         0              683            5   8   6      
0.29/0.33	c 1720           4232           1220835        289263         0              687            7   8   6      
0.29/0.33	c 1730           4254           1227487        290913         0              693            6   8   6      
0.29/0.33	c 1740           4277           1233892        292585         0              696            6   8   6      
0.29/0.33	c 1750           4301           1240354        294301         0              701            6   8   6      
0.29/0.33	c 1760           4326           1247540        295959         0              708            7   9   7      
0.29/0.33	c 1770           4351           1254505        297486         0              710            7   9   7      
0.29/0.33	c 1780           4373           1261194        299004         0              713            7   8   7      
0.29/0.34	c 1790           4402           1269610        300861         0              716            7   8   6      
0.29/0.34	c 1800           4424           1276182        302289         0              717            5   8   5      
0.29/0.34	c 1810           4442           1280417        303462         0              722            6   9   6      
0.29/0.34	c 1820           4465           1286092        305054         0              724            5   7   5      
0.29/0.34	c 1830           4489           1293099        306673         0              726            5   9   6      
0.29/0.34	c 1840           4514           1300058        308358         0              728            5   8   6      
0.29/0.34	c 1841           4522           1302798        308973         0              729            8   8   4      
0.29/0.34	c 1850           4543           1308192        310221         0              734            6   9   6      
0.29/0.34	c 1860           4569           1316226        311854         0              737            7   9   6      
0.29/0.34	c 1870           4593           1323638        313485         0              740            6   8   6      
0.29/0.34	c 1880           4619           1331588        315189         0              744            7   8   6      
0.29/0.35	c 1890           4644           1338861        316968         0              748            6   8   6      
0.29/0.35	c 1900           4669           1346477        318762         0              751            6   8   6      
0.29/0.35	c 1910           4695           1353778        320474         0              758            6   8   6      
0.29/0.35	c 1920           4718           1360212        321961         0              760            7   8   6      
0.29/0.35	c 1930           4744           1367141        323577         0              763            7   8   6      
0.29/0.35	c 1940           4771           1375532        325802         0              767            6   8   6      
0.29/0.35	c 1950           4798           1382583        327364         0              773            7   8   7      
0.29/0.35	c 1960           4826           1391031        329174         0              777            7   8   6      
0.29/0.35	c 1970           4852           1398318        330845         0              782            6   9   6      
0.29/0.35	c 1980           4878           1405372        332407         0              785            6   8   6      
0.29/0.36	c 1990           4905           1412634        334180         0              789            7   8   6      
0.29/0.36	c 2000           4927           1419122        335913         0              793            6   7   6      
0.29/0.36	c 2010           4950           1425263        337445         0              794            6   8   6      
0.29/0.36	c 2020           4975           1432299        339154         0              799            6   8   6      
0.29/0.36	c 2030           4997           1438860        340667         0              802            7   9   7      
0.29/0.36	c 2040           5019           1445318        342222         0              808            6   8   6      
0.29/0.36	c 2050           5039           1451757        343751         0              809            6   8   6      
0.29/0.36	c 2060           5065           1459184        345335         0              814            6   9   7      
0.29/0.36	c 2070           5091           1466904        347045         0              818            6   9   6      
0.29/0.36	c 2080           5114           1473252        348540         0              821            6   8   6      
0.29/0.37	c 2090           5145           1482135        350293         0              825            7   9   7      
0.29/0.37	c 2100           5170           1490415        352228         0              828            6   8   6      
0.29/0.37	c 2110           5193           1497208        353746         0              831            6   8   6      
0.29/0.37	c 2120           5221           1505733        355639         0              836            6   8   6      
0.29/0.37	c 2122           5229           1508402        356331         0              838            6   7   4      
0.29/0.37	c 2130           5251           1514636        357676         0              840            7   8   6      
0.29/0.37	c 2140           5275           1521709        359473         0              845            6   8   6      
0.29/0.37	c 2150           5304           1530249        361201         0              848            7   8   7      
0.29/0.37	c 2160           5327           1536906        362688         0              849            7   8   6      
0.29/0.37	c 2170           5352           1543747        364103         0              851            7   9   7      
0.29/0.38	c 2180           5376           1550263        365617         0              857            6   9   6      
0.29/0.38	conflict 17lvl : 6 bt5-377:0(8)X258705
0.29/0.38	c 2190           5402           1557660        367293         0              861            6   8   6      
0.29/0.38	c 2200           5428           1565138        369003         0              862            6   9   6      
0.29/0.38	c 2210           5454           1572234        370649         0              867            6   8   6      
0.29/0.38	c 2220           5472           1577530        372324         0              872            5   7   5      
0.29/0.38	c 2230           5495           1584067        373917         0              878            6   8   6      
0.29/0.38	c 2240           5518           1592166        375700         0              882            6   8   6      
0.29/0.38	c 2250           5541           1599337        377418         0              886            7   8   6      
0.29/0.38	c 2260           5563           1605612        378816         0              889            5   8   6      
0.29/0.38	c 2270           5586           1611541        380235         0              893            7   8   6      
0.29/0.39	c 2280           5611           1619332        382299         0              898            5   7   5      
0.29/0.39	c 2290           5632           1624723        383693         0              904            6   8   6      
0.29/0.39	c 2300           5658           1633310        385584         0              908            6   7   6      
0.29/0.39	c 2310           5682           1639137        386886         0              914            6   9   6      
0.29/0.39	c 2320           5708           1646989        388663         0              918            7   8   6      
0.29/0.39	c 2330           5732           1654536        390431         0              920            6   8   6      
0.29/0.39	c 2340           5758           1662112        392173         0              927            7   9   6      
0.29/0.39	c 2350           5784           1668651        393819         0              932            5   9   6      
0.29/0.39	c 2360           5806           1674364        395086         0              935            6   9   6      
0.29/0.39	c 2370           5829           1680609        396568         0              940            6   9   6      
0.29/0.40	c 2380           5852           1686774        398284         0              947            5   8   5      
0.39/0.40	c 2390           5875           1692653        399923         0              954            5   8   5      
0.39/0.40	c 2400           5901           1700062        401617         0              957            6   8   6      
0.39/0.40	c 2410           5929           1708073        403312         0              962            7   9   7      
0.39/0.40	c 2420           5957           1716170        405203         0              967            6   9   6      
0.39/0.40	c 2430           5978           1721825        406468         0              968            6   9   6      
0.39/0.40	c 2431           5985           1724328        407075         0              969            7   7   3      
0.39/0.40	c 2440           6010           1731210        408761         0              971            5   7   6      
0.39/0.40	c 2450           6034           1738140        410319         0              976            6   8   6      
0.39/0.40	c 2460           6058           1744943        411774         0              979            6   9   6      
0.39/0.40	c 2470           6085           1752287        413507         0              983            7   8   6      
0.39/0.41	c 2480           6112           1759892        415163         0              990            6   9   6      
0.39/0.41	c 2490           6136           1766916        416756         0              992            5   8   6      
0.39/0.41	c 2500           6160           1773970        418457         0              997            6   8   6      
0.39/0.41	c 2510           6189           1783429        420425         0              1000           7   8   7      
0.39/0.41	c 2520           6212           1789936        422032         0              1003           6   8   6      
0.39/0.41	c 2530           6236           1796213        423597         0              1005           5   8   6      
0.39/0.41	c 2540           6264           1803986        425291         0              1010           7   9   6      
0.39/0.41	c 2550           6285           1810402        426907         0              1014           5   7   5      
0.39/0.41	c 2560           6313           1819289        428756         0              1018           7   8   6      
0.39/0.42	c 2570           6340           1827579        430568         0              1024           6   8   6      
0.39/0.42	c 2580           6360           1832850        431878         0              1025           6   8   6      
0.39/0.42	c 2590           6384           1839814        433575         0              1031           6   8   6      
0.39/0.42	c 2600           6406           1846029        435058         0              1037           6   8   6      
0.39/0.42	c 2610           6433           1853372        436784         0              1042           7   8   7      
0.39/0.42	c 2620           6456           1860530        438545         0              1046           6   8   6      
0.39/0.42	c 2630           6480           1868188        440316         0              1050           5   8   5      
0.39/0.42	c 2640           6506           1875125        441991         0              1054           6   9   6      
0.39/0.42	c 2650           6531           1882756        443659         0              1055           7   8   6      
0.39/0.42	c 2660           6554           1889527        445212         0              1060           7   8   6      
0.39/0.43	c 2670           6577           1896807        446832         0              1064           7   8   6      
0.39/0.43	c 2680           6603           1904388        448515         0              1067           6   8   6      
0.39/0.43	c 2690           6624           1911108        450134         0              1071           6   8   6      
0.39/0.43	c 2700           6651           1919513        452118         0              1076           7   8   6      
0.39/0.43	c 2710           6676           1927232        454013         0              1082           6   8   6      
0.39/0.43	c 2720           6698           1934188        455711         0              1086           6   8   6      
0.39/0.43	c 2730           6722           1941174        457268         0              1089           6   9   6      
0.39/0.43	c 2740           6757           1950652        459394         0              1092           7   9   7      
0.39/0.43	c 2750           6782           1957867        460896         0              1095           7   9   6      
0.39/0.44	c 2760           6808           1966314        462758         0              1099           6   8   6      
0.39/0.44	c 2770           6837           1974489        464410         0              1104           6   9   6      
0.39/0.44	c 2771           6844           1976837        465015         0              1105           7   7   3      
0.39/0.44	c 2780           6869           1984053        466767         0              1110           6   8   6      
0.39/0.44	c 2790           6894           1991231        468320         0              1113           7   8   7      
0.39/0.44	c 2800           6913           1995762        469408         0              1116           7   9   6      
0.39/0.44	c 2810           6932           2001365        470686         0              1117           6   8   6      
0.39/0.44	c 2820           6951           2007258        472064         0              1118           6   8   6      
0.39/0.44	c 2830           6971           2013667        473807         0              1123           6   7   5      
0.39/0.44	c 2840           6994           2021006        475514         0              1125           6   8   6      
0.39/0.44	c 2850           7024           2029234        477403         0              1129           5   9   6      
0.39/0.45	c 2860           7051           2036474        479047         0              1132           6   8   6      
0.39/0.45	c 2870           7076           2044208        481072         0              1135           6   8   6      
0.39/0.45	c 2880           7105           2052527        483081         0              1138           6   9   6      
0.39/0.45	c 2890           7130           2059063        484549         0              1139           7   8   6      
0.39/0.45	c 2900           7152           2066505        486322         0              1141           7   7   6      
0.39/0.45	c 2910           7181           2075194        488420         0              1144           6   7   6      
0.39/0.45	c 2920           7208           2083939        490376         0              1146           6   8   6      
0.39/0.45	c 2930           7230           2091125        492123         0              1149           6   7   6      
0.39/0.45	c 2940           7256           2099327        494082         0              1154           6   8   6      
0.39/0.46	c 2950           7281           2106351        495627         0              1157           6   8   6      
0.39/0.46	c 2960           7304           2112780        497341         0              1160           6   8   6      
0.39/0.46	c 2970           7334           2121537        499178         0              1163           7   8   6      
0.39/0.46	c 2980           7361           2130263        500987         0              1167           6   9   7      
0.39/0.46	c 2990           7384           2137191        502797         0              1171           6   8   6      
0.39/0.46	c 3000           7408           2143377        504391         0              1175           5   8   6      
0.39/0.46	c 3010           7432           2150451        506092         0              1177           6   8   6      
0.39/0.46	c 3020           7459           2157822        507840         0              1183           6   8   6      
0.39/0.46	c 3030           7490           2166781        509838         0              1187           7   9   7      
0.39/0.46	c 3040           7511           2172198        511240         0              1190           6   8   6      
0.39/0.47	c 3050           7537           2179852        512893         0              1195           7   9   7      
0.39/0.47	c 3060           7564           2186840        514441         0              1200           7   9   6      
0.39/0.47	c 3070           7589           2194131        516329         0              1203           5   8   5      
0.39/0.47	c 3080           7618           2202660        518054         0              1207           7   9   7      
0.39/0.47	c 3090           7647           2210449        519770         0              1210           6   9   7      
0.39/0.47	c 3100           7674           2218363        521371         0              1215           7   8   7      
0.39/0.47	c 3110           7695           2224523        522977         0              1222           6   8   6      
0.39/0.47	c 3120           7719           2232219        524690         0              1228           6   10   6     
0.39/0.47	c 3130           7744           2240502        526504         0              1233           6   8   6      
0.39/0.48	c 3140           7768           2247443        528282         0              1238           6   8   6      
0.39/0.48	c 3142           7777           2249882        528911         0              1239           7   8   5      
0.39/0.48	c 3150           7797           2255926        530352         0              1241           7   7   6      
0.39/0.48	c 3160           7821           2263638        531978         0              1246           7   9   7      
0.39/0.48	c 3170           7844           2269740        533336         0              1247           7   8   6      
0.39/0.48	c 3180           7866           2275760        534830         0              1253           6   8   6      
0.39/0.48	c 3190           7887           2281477        536504         0              1256           5   8   5      
0.39/0.48	c 3200           7912           2289006        538089         0              1259           6   9   7      
0.39/0.48	c 3210           7937           2296602        539772         0              1261           6   8   6      
0.39/0.48	c 3220           7957           2301811        540986         0              1266           6   9   6      
0.39/0.48	c 3230           7981           2309016        542733         0              1269           6   9   6      
0.39/0.49	c 3240           8007           2317250        544608         0              1274           6   8   6      
0.39/0.49	c 3250           8034           2325417        546281         0              1279           6   9   7      
0.39/0.49	c 3260           8059           2332543        547993         0              1285           7   8   6      
0.39/0.49	c 3270           8085           2340377        549745         0              1289           6   9   6      
0.39/0.49	c 3280           8110           2347308        551158         0              1292           7   8   7      
0.39/0.49	c 3290           8140           2356567        553287         0              1296           6   8   6      
0.39/0.49	c 3300           8171           2366318        555208         0              1298           7   9   7      
0.39/0.49	c 3310           8192           2371564        556596         0              1304           6   8   6      
0.39/0.49	c 3320           8217           2378248        558196         0              1308           5   7   6      
0.39/0.49	c 3330           8244           2385989        559728         0              1311           7   8   7      
0.49/0.50	c 3340           8268           2393312        561384         0              1318           6   8   6      
0.49/0.50	c 3350           8292           2400525        563209         0              1322           5   8   6      
0.49/0.50	c 3360           8317           2407474        564919         0              1327           6   8   6      
0.49/0.50	c 3370           8342           2415152        566646         0              1330           6   8   6      
0.49/0.50	c 3380           8363           2421748        568206         0              1333           6   8   6      
0.49/0.50	c 3390           8390           2429141        569728         0              1335           6   10   7     
0.49/0.50	c 3400           8416           2436647        571602         0              1340           6   8   6      
0.49/0.50	c 3410           8441           2443840        573141         0              1342           7   9   6      
0.49/0.50	conflict 65lvl : 6 bt6-347:0(42)X262901
0.49/0.50	c 3420           8468           2452166        575105         0              1347           6   7   6      
0.49/0.51	c 3430           8493           2459592        576878         0              1350           6   9   6      
0.49/0.51	c 3440           8518           2466348        578382         0              1355           7   8   6      
0.49/0.51	c 3450           8550           2475038        579955         0              1359           8   10   8     
0.49/0.51	c 3460           8571           2480648        581254         0              1362           6   10   7     
0.49/0.51	c 3470           8597           2487859        582781         0              1365           7   10   7     
0.49/0.51	c 3480           8621           2495142        584460         0              1369           6   8   6      
0.49/0.51	c 3490           8648           2502613        586111         0              1374           7   10   7     
0.49/0.51	c 3500           8675           2510831        587880         0              1377           6   9   6      
0.49/0.51	c 3510           8702           2518797        589953         0              1381           5   8   6      
0.49/0.51	c 3520           8729           2526722        591572         0              1385           7   10   7     
0.49/0.52	c 3530           8761           2535755        593453         0              1389           7   8   7      
0.49/0.52	c 3540           8784           2542597        595229         0              1392           6   8   6      
0.49/0.52	c 3550           8809           2550514        597172         0              1397           6   7   6      
0.49/0.52	c 3551           8817           2553068        597741         0              1398           8   8   4      
0.49/0.52	c 3560           8841           2559820        599160         0              1400           6   9   6      
0.49/0.52	c 3570           8862           2566614        600912         0              1404           5   6   5      
0.49/0.52	c 3580           8887           2573650        602524         0              1409           6   8   6      
0.49/0.52	c 3590           8915           2581284        604157         0              1413           7   8   6      
0.49/0.52	c 3600           8940           2588919        605952         0              1417           6   8   6      
0.49/0.52	c 3610           8964           2595754        607489         0              1421           6   8   6      
0.49/0.53	c 3620           8988           2602225        608911         0              1425           7   9   7      
0.49/0.53	c 3630           9011           2609309        610507         0              1432           7   8   6      
0.49/0.53	c 3640           9035           2616461        612390         0              1438           5   7   5      
0.49/0.53	c 3650           9060           2623771        614033         0              1444           6   8   6      
0.49/0.53	c 3660           9087           2631932        615759         0              1446           7   9   7      
0.49/0.53	c 3670           9110           2639038        617272         0              1450           6   9   6      
0.49/0.53	c 3680           9133           2645409        618838         0              1451           7   9   6      
0.49/0.53	c 3690           9159           2652871        620376         0              1457           7   9   7      
0.49/0.53	c 3700           9183           2659634        621862         0              1461           7   9   6      
0.49/0.53	c 3710           9210           2667881        623602         0              1465           6   8   6      
0.49/0.54	c 3720           9235           2674544        625143         0              1470           6   9   6      
0.49/0.54	conflict 43lvl : 6 bt6-471:0(18)X264096
0.49/0.54	c 3730           9262           2682564        627103         0              1475           5   8   6      
0.49/0.54	c 3740           9286           2689344        629089         0              1478           5   7   5      
0.49/0.54	c 3750           9312           2695710        630634         0              1482           6   8   6      
0.49/0.54	c 3760           9336           2702742        632208         0              1485           6   8   6      
0.49/0.54	c 3770           9357           2710459        633956         0              1487           5   7   5      
0.49/0.54	c 3780           9385           2718505        635448         0              1490           7   9   7      
0.49/0.54	c 3790           9412           2726678        637199         0              1492           6   9   6      
0.49/0.54	c 3800           9433           2732340        638567         0              1494           6   8   6      
0.49/0.54	c 3810           9455           2738755        640054         0              1497           6   8   6      
0.49/0.55	c 3820           9479           2745738        641546         0              1500           6   9   6      
0.49/0.55	c 3830           9504           2752896        643082         0              1506           6   8   6      
0.49/0.55	c 3840           9528           2759110        644519         0              1507           7   8   7      
0.49/0.55	c 3850           9554           2766366        646374         0              1513           6   8   6      
0.49/0.55	c 3860           9574           2772189        647676         0              1515           6   8   6      
0.49/0.55	c 3870           9602           2781193        649803         0              1520           6   8   6      
0.49/0.55	c 3880           9629           2789299        651758         0              1527           6   8   6      
0.49/0.55	c 3890           9652           2796407        653577         0              1528           5   7   5      
0.49/0.55	c 3900           9678           2803595        655185         0              1533           6   9   7      
0.49/0.55	c 3910           9701           2810166        656714         0              1539           7   8   6      
0.49/0.56	c 3920           9724           2816448        658170         0              1545           6   8   6      
0.49/0.56	c 3930           9752           2825390        660139         0              1548           6   8   6      
0.49/0.56	c 3940           9777           2832591        661819         0              1550           5   8   6      
0.49/0.56	c 3950           9801           2839265        663422         0              1555           6   8   6      
0.49/0.56	c 3960           9826           2846799        665038         0              1558           7   7   6      
0.49/0.56	c 3970           9853           2854925        666895         0              1561           7   8   6      
0.49/0.56	c 3980           9878           2862515        668499         0              1565           7   9   7      
0.49/0.56	c 3990           9901           2868635        669971         0              1568           5   8   6      
0.49/0.56	c 4000           9924           2875479        671540         0              1573           6   8   6      
0.49/0.56	c 4001           9932           2878060        672120         0              1574           8   8   4      
0.49/0.57	c 4010           9956           2884506        673504         0              1578           6   9   6      
0.49/0.57	c 4020           9979           2891124        675060         0              1582           6   8   6      
0.49/0.57	c 4030           10006          2898872        676659         0              1585           7   8   6      
0.49/0.57	c 4040           10031          2906932        678272         0              1589           6   8   6      
0.49/0.57	c 4050           10056          2914730        680020         0              1592           7   8   6      
0.49/0.57	c 4060           10084          2922662        681744         0              1598           5   9   6      
0.49/0.57	c 4070           10104          2928345        683195         0              1606           6   8   6      
0.49/0.57	c 4080           10130          2936267        684995         0              1609           7   8   6      
0.49/0.57	c 4090           10152          2942034        686595         0              1610           6   8   6      
0.49/0.57	c 4100           10181          2950010        688355         0              1612           6   8   6      
0.49/0.58	c 4110           10206          2957850        689934         0              1617           6   9   6      
0.49/0.58	c 4120           10230          2964747        691516         0              1619           6   8   6      
0.49/0.58	conflict 127lvl : 6 bt6-21:0(23)X265419
0.49/0.58	c 4130           10257          2971726        693069         0              1623           6   8   6      
0.49/0.58	c 4140           10281          2978188        694606         0              1626           6   9   6      
0.49/0.58	c 4150           10307          2985764        696235         0              1631           7   8   7      
0.49/0.58	c 4160           10335          2993909        698022         0              1635           7   8   6      
0.49/0.58	c 4170           10362          3001525        699760         0              1639           6   8   6      
0.49/0.58	c 4180           10385          3008489        701432         0              1643           7   8   6      
0.49/0.58	c 4190           10410          3015926        703177         0              1646           6   8   6      
0.49/0.59	c 4200           10435          3023119        704951         0              1651           7   8   6      
0.49/0.59	c 4210           10465          3031441        706986         0              1655           7   8   6      
0.49/0.59	c 4220           10487          3037415        708448         0              1657           6   8   6      
0.49/0.59	c 4230           10510          3044094        709891         0              1659           6   8   6      
0.49/0.59	c 4240           10534          3051397        711822         0              1663           6   8   6      
0.49/0.59	c 4250           10560          3058484        713527         0              1668           6   9   6      
0.49/0.59	c 4260           10584          3064366        714987         0              1673           6   9   6      
0.49/0.59	conflict 44lvl : 7 bt7-523:0(33)X266019
0.49/0.59	c 4270           10608          3072403        716683         0              1677           6   8   6      
0.49/0.59	c 4280           10634          3079598        718490         0              1678           6   8   6      
0.49/0.59	c 4290           10657          3086238        720143         0              1682           5   8   6      
0.59/0.60	c 4300           10684          3093463        721654         0              1685           6   9   7      
0.59/0.60	c 4310           10708          3100590        723322         0              1689           6   8   6      
0.59/0.60	c 4320           10732          3107344        724974         0              1693           5   8   6      
0.59/0.60	c 4330           10759          3115983        726818         0              1697           5   9   6      
0.59/0.60	c 4340           10790          3124227        728529         0              1702           7   9   7      
0.59/0.60	c 4350           10816          3132587        730213         0              1705           7   8   6      
0.59/0.60	c 4360           10842          3139065        731720         0              1708           7   8   6      
0.59/0.60	c 4370           10864          3145778        733123         0              1712           6   8   6      
0.59/0.60	c 4380           10886          3151822        734571         0              1716           6   8   6      
0.59/0.60	c 4390           10910          3159057        736296         0              1718           6   8   6      
0.59/0.61	c 4400           10937          3166144        737959         0              1720           6   9   6      
0.59/0.61	c 4410           10966          3174588        739547         0              1723           7   9   7      
0.59/0.61	c 4420           10989          3181432        741150         0              1727           7   8   6      
0.59/0.61	c 4430           11014          3188639        742754         0              1731           7   8   6      
0.59/0.61	c 4440           11034          3194133        744354         0              1738           5   7   5      
0.59/0.61	c 4450           11061          3202416        746444         0              1742           5   7   6      
0.59/0.61	c 4460           11091          3211111        748430         0              1745           7   8   6      
0.59/0.61	c 4470           11115          3217489        749822         0              1750           7   9   6      
0.59/0.61	c 4480           11145          3225734        751661         0              1754           6   9   6      
0.59/0.62	c 4490           11169          3232166        753532         0              1763           5   8   5      
0.59/0.62	c 4493           11181          3236584        754534         0              1766           7   7   5      
0.59/0.62	c 4500           11202          3242250        755730         0              1768           6   8   6      
0.59/0.62	conflict 44lvl : 5 bt5-592:0(30)X266874
0.59/0.62	c 4510           11227          3249878        757685         0              1770           6   7   5      
0.59/0.62	c 4520           11251          3257652        759549         0              1775           6   7   6      
0.59/0.62	c 4530           11277          3265176        761268         0              1777           6   9   6      
0.59/0.62	c 4540           11302          3272743        762896         0              1779           7   8   6      
0.59/0.62	c 4550           11325          3279524        764427         0              1781           7   9   6      
0.59/0.62	c 4560           11350          3287542        766170         0              1785           7   9   6      
0.59/0.62	c 4570           11373          3294084        767840         0              1790           6   8   6      
0.59/0.63	c 4580           11398          3301907        769747         0              1792           5   7   5      
0.59/0.63	c 4590           11423          3309264        771394         0              1796           6   9   7      
0.59/0.63	c 4600           11450          3316844        773061         0              1798           5   8   6      
0.59/0.63	c 4610           11476          3323920        774921         0              1801           5   8   5      
0.59/0.63	c 4620           11501          3331360        776645         0              1807           6   8   6      
0.59/0.63	c 4630           11528          3339687        778558         0              1809           6   8   6      
0.59/0.63	c 4640           11556          3348344        780426         0              1813           5   9   6      
0.59/0.63	c 4650           11582          3355986        782154         0              1816           7   8   6      
0.59/0.63	c 4660           11609          3363406        783956         0              1819           6   8   6      
0.59/0.63	c 4670           11630          3369482        785694         0              1823           5   7   5      
0.59/0.64	c 4680           11655          3376540        787579         0              1829           6   7   6      
0.59/0.64	c 4690           11679          3383649        789485         0              1832           6   8   6      
0.59/0.64	c 4700           11702          3390126        790977         0              1839           6   9   6      
0.59/0.64	c 4710           11728          3398172        792821         0              1844           6   8   6      
0.59/0.64	c 4720           11755          3405136        794508         0              1848           6   8   6      
0.59/0.64	c 4730           11782          3413108        796193         0              1849           7   9   7      
0.59/0.64	c 4740           11805          3420112        797831         0              1852           6   8   6      
0.59/0.64	c 4750           11828          3427517        799651         0              1855           7   7   6      
0.59/0.64	c 4760           11859          3436887        801698         0              1859           7   9   6      
0.59/0.65	c 4770           11885          3444373        803526         0              1862           6   8   6      
0.59/0.65	c 4780           11913          3452322        805380         0              1865           7   8   6      
0.59/0.65	c 4790           11934          3458576        806851         0              1868           6   8   6      
0.59/0.65	c 4800           11962          3466783        808619         0              1870           6   8   6      
0.59/0.65	c 4810           11987          3473510        810212         0              1873           6   8   6      
0.59/0.65	c 4820           12011          3480436        811751         0              1876           6   9   6      
0.59/0.65	conflict 7lvl : 6 bt6-101:0(7)X267821
0.59/0.65	c 4830           12034          3487390        813497         0              1878           6   8   6      
0.59/0.65	c 4840           12062          3495953        815525         0              1882           6   8   6      
0.59/0.65	c 4850           12083          3502082        816934         0              1885           7   9   6      
0.59/0.65	conflict 26lvl : 8 bt8-54:0(28)X267907
0.59/0.66	c 4860           12113          3510767        819003         0              1888           6   9   7      
0.59/0.66	c 4870           12139          3518819        820742         0              1891           5   8   6      
0.59/0.66	c 4880           12162          3525521        822373         0              1894           5   8   6      
0.59/0.66	c 4890           12187          3532796        824043         0              1899           5   8   6      
0.59/0.66	c 4900           12210          3539225        825541         0              1903           6   8   6      
0.59/0.66	c 4910           12234          3545602        826826         0              1907           8   10   7     
0.59/0.66	c 4920           12256          3551301        828283         0              1909           6   8   6      
0.59/0.66	c 4930           12284          3560333        830427         0              1913           5   8   6      
0.59/0.66	c 4940           12307          3566727        831884         0              1917           6   9   6      
0.59/0.66	conflict 10lvl : 6 bt5-257:0(7)X268214
0.59/0.66	c 4950           12338          3576241        834149         0              1921           6   8   6      
0.59/0.67	c 4960           12360          3582593        835800         0              1924           6   7   6      
0.59/0.67	c 4970           12382          3588894        837444         0              1928           6   8   6      
0.59/0.67	c 4980           12409          3596175        839056         0              1932           6   9   6      
0.59/0.67	c 4990           12431          3603695        840981         0              1937           5   7   5      
0.59/0.67	c 5035           12527          3629873        846688         0              1943           5   8   6      
0.69/0.71	c 5631           13755          3974575        925380         0              1955           5   9   6      
0.69/0.76	c 6286           15090          4346731        1011229        0              1970           5   10   7     
0.79/0.80	c 7006           16536          4739954        1101796        0              1976           5   11   6     
0.79/0.85	c 7798           18175          5190290        1201336        0              1983           5   10   7     
0.89/0.91	c 8669           20007          5683920        1311934        0              1997           4   11   7     
0.89/0.97	c 9627           21949          6209314        1433966        0              2003           4   9   6      
0.99/1.04	c 10680          24102          6805513        1569520        0              2022           4   9   7      
1.10/1.12	c 11838          26501          7461560        1721776        0              2041           5   9   7      
1.20/1.20	c 13111          29073          8171850        1889659        0              2051           4   10   6     
1.20/1.29	c 14511          31900          8949098        2071660        0              2063           4   9   6      
1.20/1.29	conflict 46lvl : 7 bt7-31:0(36)X269303
1.29/1.39	c 16051          34994          9796918        2266227        0              2075           4   10   7     
1.49/1.51	c 17745          38479          10755901       2493864        0              2097           4   10   6     
1.59/1.63	c 19608          42302          11801980       2729656        0              2111           4   10   7     
1.69/1.76	c 21657          46544          12968342       3000233        0              2120           4   10   7     
1.89/1.91	c 23910          51261          14249911       3293619        0              2143           4   10   7     
1.99/2.08	c 26388          56437          15666358       3628770        0              2163           4   10   6     
2.20/2.27	c 29113          62087          17213977       3997499        0              2180           3   11   6     
2.39/2.47	c 32110          68333          18924083       4395373        0              2203           4   10   6     
2.59/2.68	c 35406          75216          20798701       4814446        0              2233           4   10   7     
2.89/2.92	c 39031          82753          22854349       5285188        0              2240           4   10   6     
3.09/3.18	c 43018          90861          25074490       5791948        0              2255           4   11   7     
3.40/3.46	c 47403          99791          27520283       6354998        0              2284           4   10   7     
3.40/3.46	conflict 8lvl : 5 bt5-386:0(9)X270893
3.69/3.77	c 52226          109596         30221143       6967067        0              2304           4   10   6     
4.09/4.12	c 57531          120429         33217467       7665681        0              2318           4   10   6     
4.40/4.49	c 63366          132425         36476688       8397263        0              2339           4   10   7     
4.89/4.92	c 69784          145553         40072800       9246124        0              2350           4   10   6     
5.29/5.38	c 76843          159919         44065530       10172477       0              2356           4   10   6     
5.79/5.89	c 84607          175941         48389586       11166493       0              2383           3   10   7     
6.39/6.45	c 93147          193398         53212557       12274481       0              2396           3   10   6     
6.99/7.05	c 102541         212560         58445405       13469833       0              2414           4   10   7     
7.69/7.73	c 112874         233688         64207452       14807136       0              2431           3   11   6     
8.39/8.48	c 124240         257037         70653907       16297282       0              2458           4   11   6     
9.29/9.30	c 136742         282606         77674036       17911797       0              2479           3   10   6     
10.19/10.21	c 150494         310733         85436138       19720400       0              2500           3   11   6     
11.19/11.20	c 165621         342036         93987134       21677961       0              2514           3   10   6     
12.09/12.13	conflict 85lvl : 7 bt7-623:0(40)X272451
12.29/12.30	c 182260         376295         103417211      23853900       0              2542           3   11   6     
12.29/12.30	conflict 9lvl : 6 bt5-444:0(14)X272735
13.49/13.51	c 200562         413892         113755946      26243586       0              2580           4   11   6     
14.79/14.83	c 220694         454874         125016391      28885873       0              2613           3   10   6     
15.69/15.72	conflict 13lvl : 6 bt5-203:0(7)X273208
16.19/16.29	c 242839         499976         137496388      31776446       0              2638           3   10   6     
17.89/17.90	c 267198         549751         151167614      34969777       0              2685           3   11   6     
19.69/19.70	c 293992         604675         166319160      38536217       0              2705           3   11   6     
21.59/21.64	c 323465         664809         182948848      42382784       0              2734           4   10   6     
22.19/22.24	conflict 59lvl : 8 bt6-301:0(121)X273958
23.68/23.79	c 355885         731842         201371225      46647547       0              2750           3   11   6     
23.78/23.87	conflict 106lvl : 7 bt7-348:0(23)X274125
25.08/25.13	conflict 20lvl : 8 bt8-576:0(40)X274234
26.08/26.13	c 391547         804743         221467886      51261423       0              2781           3   10   6     
26.68/26.78	conflict 65lvl : 7 bt7-163:0(64)X274449
27.88/27.97	conflict 135lvl : 7 bt7-151:0(39)X274517
28.69/28.71	conflict 65lvl : 7 bt7-129:0(117)X274655
28.69/28.77	c 430775         885682         243798829      56497046       0              2811           3   11   6     
31.48/31.57	c 473925         973748         268081050      62035051       0              2847           3   11   7     
32.18/32.21	conflict 71lvl : 7 bt7-530:0(34)X275103
32.18/32.21	conflict 17lvl : 5 bt5-551:0(90)X275177
32.78/32.89	conflict 6lvl : 5 bt5-376:0(17)X275197
34.68/34.72	 -> -376:X(17)c 521390         1071231        294929416      68265120       0              2881           3   11   6     
34.98/35.06	conflict 47lvl : 8 bt8-462:0(29)X275434
38.18/38.28	c 573601         1179838        324893467      75360007       1              2899           3   10   6     
41.98/42.08	c 631033         1297185        357246039      82870040       1              2925           3   11   6     
46.29/46.37	c 694208         1428023        393403862      91376508       3              2957           2   11   6     
46.48/46.55	conflict 59lvl : 7 bt7-608:0(58)X275950
50.58/50.69	conflict 66lvl : 8 bt8-625:0(42)X276012
50.98/51.03	c 763700         1571363        432974278      100597493      3              3008           3   12   6     
53.68/53.79	conflict 107lvl : 7 bt7-623:0(34)X276369
54.28/54.39	conflict 59lvl : 5 bt4-608:0(6)X276479
56.08/56.19	c 840141         1728647        476387767      110820657      4              3038           3   11   6     
60.68/60.71	c solution 1
60.68/60.71	
60.68/60.71	v <instantiation type='solution'>
60.68/60.71	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list>
60.68/60.71	v <values>24 17 19 22 1 11 2 22 2 18 6 21 0 0 15 18 1 6 16 20 8 19 23 21 9 </values>
60.68/60.71	v </instantiation>
60.68/60.71	
60.68/60.71	c restarts              : 570         
60.68/60.71	c conflicts             : 908003       (14960 /sec)
60.68/60.71	c decisions             : 1867410      (30766 /sec)
60.68/60.71	c propagations          : 119806062   (1973833 /sec)
60.68/60.71	c root propagations     : 0           
60.68/60.71	c filter calls          : 514682463      (8479514 /sec)
60.68/60.71	c useless filter calls  : 435950418      (84 %)
60.68/60.71	c
60.68/60.71	c clauses               : 54662
60.68/60.71	c SAT propagations      : 24495
60.68/60.71	c SAT conflicts         : 794 (30 learnts)
60.68/60.71	c Memory used           : 32.77 MB
60.68/60.71	c CPU time              : 60.6971 s
60.68/60.71	
60.68/60.71	s SATISFIABLE

OK	

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240364-1500625877/watcher-4240364-1500625877 -o /tmp/evaluation-result-4240364-1500625877/solver-4240364-1500625877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240364-1500625877.xml 

pid=4972
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.04 1.82 3/186 4975
/proc/meminfo: memFree=31022380/32770624 swapFree=6176/1005996
[pid=4975] ppid=4972 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 15864587 27639808 766 33554432000 4194304 5970956 140734119726096 140734119722744 5674371 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 6748 766 684 434 0 112 0

[startup+0.100158 s]
/proc/loadavg: 2.08 2.04 1.82 3/186 4975
/proc/meminfo: memFree=31022380/32770624 swapFree=6176/1005996
[pid=4975] ppid=4972 vsize=27372 CPUtime=0.09 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 1055 0 0 0 9 0 0 0 20 0 1 0 15864587 28028928 883 33554432000 4194304 5970956 140734119726096 140734119721800 139876602743781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 6843 883 716 434 0 207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27372

[startup+0.200304 s]
/proc/loadavg: 2.08 2.04 1.82 3/186 4975
/proc/meminfo: memFree=31022380/32770624 swapFree=6176/1005996
[pid=4975] ppid=4972 vsize=33440 CPUtime=0.19 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 1776 0 0 0 19 0 0 0 20 0 1 0 15864587 34242560 1582 33554432000 4194304 5970956 140734119726096 140734119723432 4912928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1582 753 434 0 1724 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33440

[startup+0.300235 s]
/proc/loadavg: 2.08 2.04 1.82 3/186 4975
/proc/meminfo: memFree=31022380/32770624 swapFree=6176/1005996
[pid=4975] ppid=4972 vsize=33440 CPUtime=0.29 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 1784 0 0 0 29 0 0 0 20 0 1 0 15864587 34242560 1582 33554432000 4194304 5970956 140734119726096 140734119723432 139876603182176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1582 753 434 0 1724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33440

[startup+0.700221 s]
/proc/loadavg: 2.08 2.04 1.82 3/186 4975
/proc/meminfo: memFree=31022380/32770624 swapFree=6176/1005996
[pid=4975] ppid=4972 vsize=33440 CPUtime=0.69 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 1798 0 0 0 69 0 0 0 20 0 1 0 15864587 34242560 1582 33554432000 4194304 5970956 140734119726096 140734119723432 4912765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1582 753 434 0 1724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33440

[startup+1.50023 s]
/proc/loadavg: 2.08 2.04 1.82 3/187 4976
/proc/meminfo: memFree=31018544/32770624 swapFree=6176/1006064
[pid=4975] ppid=4972 vsize=33440 CPUtime=1.49 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 1800 0 0 0 149 0 0 0 20 0 1 0 15864587 34242560 1582 33554432000 4194304 5970956 140734119726096 140734119723432 4912954 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1582 753 434 0 1724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33440

[startup+3.10023 s]
/proc/loadavg: 2.08 2.04 1.82 3/187 4976
/proc/meminfo: memFree=31018180/32770624 swapFree=6176/1006076
[pid=4975] ppid=4972 vsize=33440 CPUtime=3.09 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 2552 0 0 0 309 0 0 0 20 0 1 0 15864587 34242560 1642 33554432000 4194304 5970956 140734119726096 140734119723432 4912960 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1642 773 434 0 1724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33440

[startup+6.30023 s]
/proc/loadavg: 2.08 2.04 1.82 3/187 4976
/proc/meminfo: memFree=31018180/32770624 swapFree=6176/1006076
[pid=4975] ppid=4972 vsize=33440 CPUtime=6.29 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 3309 0 0 0 629 0 0 0 20 0 1 0 15864587 34242560 1644 33554432000 4194304 5970956 140734119726096 140734119723432 4913052 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1644 773 434 0 1724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33440

[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 1.82 3/187 4976
/proc/meminfo: memFree=31017808/32770624 swapFree=6176/1006088
[pid=4975] ppid=4972 vsize=33440 CPUtime=12.69 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 4066 0 0 0 1269 0 0 0 20 0 1 0 15864587 34242560 1647 33554432000 4194304 5970956 140734119726096 140734119723528 4908539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1647 773 434 0 1724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33440

[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 1.82 3/187 4976
/proc/meminfo: memFree=31017808/32770624 swapFree=6176/1006108
[pid=4975] ppid=4972 vsize=33440 CPUtime=25.48 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 5584 0 0 0 2548 0 0 0 20 0 1 0 15864587 34242560 1651 33554432000 4194304 5970956 140734119726096 140734119723528 4913024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8360 1651 773 434 0 1724 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33440

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006132
[pid=4975] ppid=4972 vsize=33548 CPUtime=51.08 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6353 0 0 0 5108 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 5328055 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33548

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4975 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2003 s]
/proc/loadavg: 2.04 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006132
[pid=4975] ppid=4972 vsize=33548 CPUtime=51.18 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6353 0 0 0 5118 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 5272832 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 33548

[startup+57.6002 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006140
[pid=4975] ppid=4972 vsize=33548 CPUtime=57.58 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 5758 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 4912861 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 33548

[startup+59.2002 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017560/32770624 swapFree=6176/1006140
[pid=4975] ppid=4972 vsize=33548 CPUtime=59.18 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 5918 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 4912946 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 59.18
Current children cumulated vsize (KiB) 33548

[startup+60.0002 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006148
[pid=4975] ppid=4972 vsize=33548 CPUtime=59.98 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 5998 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 5327993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (KiB) 33548

[startup+60.4002 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4976
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006148
[pid=4975] ppid=4972 vsize=33548 CPUtime=60.38 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 6038 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 4912765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 60.38
Current children cumulated vsize (KiB) 33548

[startup+60.6057 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4977
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006148
[pid=4975] ppid=4972 vsize=33548 CPUtime=60.58 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 6058 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 4913240 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 60.58
Current children cumulated vsize (KiB) 33548

[startup+60.7003 s]
/proc/loadavg: 2.03 2.03 1.83 3/187 4977
/proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006148
[pid=4975] ppid=4972 vsize=33548 CPUtime=60.68 cores=1,3,5,7
/proc/4975/stat : 4975 (cosoco) R 4972 4975 2920 0 -1 4202496 6355 0 0 0 6068 0 0 0 20 0 1 0 15864587 34353152 1655 33554432000 4194304 5970956 140734119726096 140734119723432 4913070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 30134272 140734119728316 140734119728451 140734119728451 140734119731150 0
/proc/4975/statm: 8387 1655 773 434 0 1751 0
Current children cumulated CPU time (s) 60.68
Current children cumulated vsize (KiB) 33548

Child status: 0
Real time (s): 60.7153
CPU time (s): 60.7046
CPU user time (s): 60.6976
CPU system time (s): 0.006998
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 33548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.6976
system time used= 0.006998
maximum resident set size= 6712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.217324 second user time and 0.177602 second system time

The end

Begin job on node125 at 2017-07-21 10:31:17
IDJOB=4240364
IDBENCH=122445
IDSOLVER=2621
FILE ID=node125/4240364-1500625877
RUNJOBID= node125-1500623778-2952
PBS_JOBID= 20623008
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Random/Random-B-2-25-25/rand-2-25-25-300-147-6.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240364-1500625877/watcher-4240364-1500625877 -o /tmp/evaluation-result-4240364-1500625877/solver-4240364-1500625877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240364-1500625877.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bc550d17530737290594270093461d3c
RANDOM SEED=2020465887

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31022496 kB
MemAvailable:   32011628 kB
Buffers:          157020 kB
Cached:          1112012 kB
SwapCached:            0 kB
Active:           316196 kB
Inactive:        1015120 kB
Active(anon):      64704 kB
Inactive(anon):     8864 kB
Active(file):     251492 kB
Inactive(file):  1006256 kB
Unevictable:        6176 kB
Mlocked:            6176 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2636 kB
Writeback:             4 kB
AnonPages:         68092 kB
Mapped:            34220 kB
Shmem:              8848 kB
Slab:             118668 kB
SReclaimable:      94436 kB
SUnreclaim:        24232 kB
KernelStack:        3312 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-07-21 10:32:18