0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.06	c SAT : Variables: 3300 -- Clauses: 26400
0.00/0.06	c root propagations     : 0           
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c This is cosoco 1.0 --  
0.00/0.06	c
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.06 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 600
0.00/0.06	c |            Domain Sizes: 2..23
0.00/0.06	c |
0.00/0.06	c |             Constraints: 758
0.00/0.06	c |                   Arity: 2..100  -- Binary: 99  -- Ternary: 196
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          Exactly K: 23
0.00/0.06	c |                          Extension: 100  (nb tuples: 23..23) -- (shared: 99)
0.00/0.06	c |                          Sum: 635
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.11	c 10             357            14132          3277           0              2              305   336   296
0.09/0.12	c 20             406            17422          4901           0              4              15   25   19   
0.09/0.13	c 30             440            19663          5809           0              8              10   14   11   
0.09/0.14	c 40             475            22816          7316           0              10             9   13   9     
0.09/0.18	c 50             809            34985          10387          0              14             8   311   88   
0.09/0.19	c 60             858            38402          12114          0              19             9   33   23    
0.19/0.20	c 70             910            42316          14158          0              20             18   33   23   
0.19/0.21	c 80             958            45751          15870          0              21             22   26   21   
0.19/0.22	c 90             1013           49243          17441          0              23             24   27   23   
0.19/0.23	c 100            1050           52892          19595          0              27             13   17   13   
0.19/0.23	c 101            1061           53575          19823          0              28             11   11   5    
0.19/0.24	c 110            1093           56281          21371          0              31             12   16   12   
0.19/0.25	c 120            1125           58558          22382          0              34             11   15   11   
0.19/0.25	c 130            1158           61123          23691          0              35             9   13   10    
0.19/0.29	c 140            1565           73651          26841          0              40             9   386   235  
0.29/0.33	c 150            1932           87305          29917          0              44             22   345   247 
0.29/0.36	c 160            2264           99406          32629          0              51             308   319   282
0.39/0.40	c 170            2630           113369         36165          0              56             9   339   250  
0.39/0.44	c 180            3015           129572         40751          0              60             186   343   252
0.39/0.47	c 190            3292           141869         44132          0              64             250   258   231
0.49/0.51	c 200            3594           156334         47826          0              67             257   264   236
0.49/0.54	c 210            3943           169710         51027          0              73             248   314   254
0.49/0.56	c 211            4185           178207         53279          0              74             242   242   121
0.49/0.58	c 220            4316           184864         56601          0              82             22   121   60  
0.59/0.60	c 230            4388           190238         59826          0              92             10   63   23   
0.59/0.63	c 240            4671           201540         62664          0              96             22   247   201 
0.59/0.67	c 250            4992           214776         66195          0              102            22   274   134 
0.59/0.67	c 260            5035           217472         67290          0              105            20   24   20   
0.59/0.68	c 270            5068           219910         68540          0              108            11   15   12   
0.59/0.69	c 280            5107           222721         69940          0              113            11   15   11   
0.59/0.70	c 290            5145           225261         71006          0              118            10   14   11   
0.69/0.70	c 300            5176           227548         72027          0              121            10   14   11   
0.69/0.74	c 310            5507           241137         75204          0              126            9   291   181  
0.69/0.75	c 320            5593           246148         78086          0              132            25   72   44   
0.69/0.76	c 330            5659           250111         80119          0              139            12   53   27   
0.69/0.77	c 332            5685           251637         80780          0              141            24   25   16   
0.79/0.80	c 340            6043           266296         83925          0              143            284   294   257
0.79/0.84	c 350            6389           280266         87226          0              148            277   312   271
0.79/0.86	c 360            6571           288176         90124          0              152            11   149   121 
0.79/0.89	c 370            6718           296346         93063          0              154            93   114   100 
0.89/0.90	c 380            6837           302986         95335          0              160            11   102   79  
0.89/0.92	c 390            6937           309372         97608          0              162            69   78   67   
0.89/0.94	c 400            7034           315522         99900          0              164            63   69   61   
0.89/0.96	c 410            7123           322456         102432         0              168            11   62   47   
0.89/0.99	c 420            7214           331113         105641         0              170            51   55   48   
0.99/1.01	c 430            7303           338228         107917         0              173            43   54   44   
0.99/1.04	c 440            7643           352528         111192         0              179            40   321   212 
0.99/1.07	c 450            7837           361913         113706         0              186            35   178   77  
0.99/1.10	c 460            7914           371860         117436         0              188            38   41   36   
1.10/1.11	c 465            7966           375453         118124         0              190            33   36   28   
1.10/1.12	c 470            8031           379242         118992         0              192            17   32   22   
1.10/1.14	c 480            8198           387128         121195         0              202            154   158   141
1.10/1.17	c 490            8366           396325         123568         0              211            10   156   113 
1.10/1.19	c 500            8511           404139         125799         0              221            48   136   113 
1.20/1.21	c 510            8644           411826         128029         0              231            11   124   100 
1.20/1.23	c 520            8765           419558         130307         0              241            104   112   97 
1.20/1.24	c 530            8864           426693         132610         0              248            47   84   56   
1.20/1.26	c 540            8909           432288         135568         0              251            16   29   22   
1.20/1.28	c 550            9008           439568         138182         0              256            12   81   25   
1.29/1.31	c 560            9100           447945         140824         0              266            9   83   54    
1.29/1.34	c 570            9215           459534         144494         0              275            42   101   71  
1.29/1.35	c 580            9314           466526         146692         0              285            86   90   80   
1.29/1.38	c 590            9410           474030         149029         0              295            43   86   70   
1.39/1.41	c 600            9505           485897         153115         0              304            41   77   57   
1.39/1.43	c 610            9635           494952         155584         0              314            57   121   91  
1.39/1.44	c 611            9653           497744         156775         0              315            18   18   9    
1.39/1.46	c 620            9740           503754         158892         0              324            75   79   69   
1.39/1.47	c 630            9833           510524         161092         0              334            50   84   66   
1.49/1.50	c 640            9927           520394         164570         0              340            18   84   54   
1.49/1.52	c 650            10029          528106         166915         0              350            20   93   60   
1.49/1.54	c 660            10123          536224         169302         0              358            31   85   62   
1.49/1.56	c 670            10218          543210         171541         0              368            34   86   67   
1.49/1.59	c 680            10319          552829         174335         0              375            53   91   73   
1.59/1.60	c 690            10410          559379         176445         0              385            78   82   72   
1.59/1.64	c 700            10506          571845         180926         0              393            20   86   63   
1.59/1.66	c 710            10595          578334         183044         0              403            76   80   70   
1.59/1.69	c 720            10698          590212         186363         0              406            87   92   82   
1.69/1.70	c 730            10795          597115         188589         0              416            79   88   76   
1.69/1.74	c 740            10954          610222         192208         0              422            24   148   115 
1.69/1.76	c 750            11079          619439         194291         0              431            72   114   91  
1.79/1.80	c 760            11221          635414         201587         0              437            25   101   74  
1.79/1.83	c 770            11316          644068         203766         0              446            16   82   58   
1.79/1.84	c 771            11377          649000         205306         0              447            61   61   30   
1.79/1.86	c 780            11496          657504         207437         0              454            72   100   70  
1.79/1.88	c 790            11570          663784         209347         0              458            54   59   51   
1.79/1.90	c 800            11657          670099         211511         0              468            74   78   69   
1.89/1.94	c 810            11759          686416         217562         0              474            47   86   69   
1.89/1.96	c 820            11847          692726         219715         0              484            75   79   70   
1.89/1.99	c 830            11970          703660         222724         0              494            9   114   72   
1.99/2.00	c 840            12010          707442         224390         0              497            12   17   13   
1.99/2.02	c 850            12115          715494         227188         0              507            36   96   79   
1.99/2.05	c 860            12240          726492         230446         0              515            51   84   60   
1.99/2.07	c 870            12318          733050         232692         0              525            18   69   48   
2.09/2.10	c 880            12425          744108         235796         0              535            16   98   54   
2.09/2.11	c 890            12500          749680         236581         0              545            17   66   45   
2.09/2.13	c 900            12615          758232         239013         0              549            18   99   71   
2.09/2.18	c 910            12755          774478         244841         0              559            45   131   76  
2.09/2.20	c 920            12867          782783         247156         0              569            20   103   84  
2.20/2.24	c 930            12977          797088         252410         0              579            66   101   77  
2.20/2.27	c 940            13106          807339         254891         0              584            80   93   79   
2.20/2.28	c 947            13160          811483         255642         0              591            20   48   32   
2.20/2.28	c 950            13176          813277         256059         0              594            12   14   10   
2.20/2.30	c 960            13230          818858         257296         0              599            21   40   32   
2.30/2.32	c 970            13278          823847         258186         0              605            25   34   27   
2.30/2.33	c 980            13330          828406         258980         0              609            18   31   24   
2.30/2.35	c 990            13426          835673         261407         0              619            12   87   64   
2.30/2.38	c 1000           13546          847666         264943         0              629            18   111   85  
2.39/2.40	c 1010           13638          854951         266524         0              638            20   81   50   
2.39/2.43	c 1020           13767          868135         271432         0              647            21   117   76  
2.39/2.45	c 1030           13881          876315         273639         0              652            92   100   88  
2.39/2.47	c 1040           13979          883744         275887         0              662            63   89   75   
2.49/2.50	c 1050           14086          894046         279572         0              672            42   98   74   
2.49/2.52	c 1060           14203          902763         281893         0              680            19   107   82  
2.49/2.56	c 1070           14286          912780         285526         0              690            12   73   24   
2.49/2.58	c 1080           14401          921201         287552         0              696            61   83   66   
2.49/2.59	c 1090           14473          926750         288655         0              705            15   59   36   
2.59/2.62	c 1100           14595          934806         290666         0              714            51   78   59   
2.59/2.63	c 1110           14655          939850         291473         0              717            21   48   37   
2.59/2.65	c 1120           14725          945379         292449         0              723            41   57   43   
2.59/2.67	c 1130           14815          955522         297612         0              728            14   78   53   
2.59/2.69	c 1140           14874          960701         298687         0              733            33   37   30   
2.59/2.69	c 1141           14888          961953         298997         0              734            14   14   7    
2.69/2.72	c 1150           15001          974297         303173         0              739            11   105   67  
2.69/2.75	c 1160           15078          983521         306655         0              749            29   67   44   
2.69/2.77	c 1170           15179          990959         308948         0              759            15   92   74   
2.69/2.79	c 1180           15278          999977         311385         0              769            12   90   53   
2.79/2.81	c 1190           15377          1008415        313505         0              773            51   86   69   
2.79/2.83	c 1200           15454          1015244        316437         0              780            51   61   53   
2.79/2.86	c 1210           15600          1024118        318679         0              784            14   60   39   
2.79/2.88	c 1220           15703          1031526        320933         0              794            90   94   83   
2.89/2.92	c 1230           15865          1049465        328417         0              804            69   153   93  
2.89/2.95	c 1240           15966          1059487        332005         0              814            12   91   48   
2.89/2.98	c 1250           16101          1069992        334841         0              819            105   116   101
2.99/3.01	c 1260           16200          1080947        338172         0              828            27   89   64   
2.99/3.02	c 1270           16249          1085525        339312         0              834            27   33   27   
2.99/3.05	c 1280           16354          1099956        344423         0              842            43   96   73   
2.99/3.08	c 1290           16452          1107845        346828         0              844            47   60   52   
2.99/3.09	c 1300           16533          1114226        348962         0              854            13   72   54   
3.09/3.11	c 1310           16598          1119416        350074         0              863            10   52   37   
3.09/3.12	c 1320           16679          1125636        352391         0              872            13   66   47   
3.09/3.16	c 1330           16791          1137941        355896         0              882            53   103   75  
3.09/3.18	c 1340           16881          1144612        357795         0              887            16   63   47   
3.19/3.20	c 1350           16984          1153505        360312         0              895            14   87   49   
3.19/3.21	c 1352           17055          1158635        361570         0              897            42   70   37   
3.19/3.23	c 1360           17125          1164377        363697         0              905            60   63   54   
3.19/3.25	c 1370           17215          1171494        365599         0              911            33   78   62   
3.19/3.28	c 1380           17375          1182739        368280         0              921            15   151   79  
3.19/3.30	c 1390           17500          1192852        370905         0              927            11   114   81  
3.29/3.34	c 1400           17614          1205460        375594         0              937            66   105   76  
3.29/3.36	c 1410           17723          1213908        378037         0              940            58   94   78   
3.29/3.38	c 1420           17867          1223351        380185         0              950            77   135   94  
3.39/3.41	c 1430           18056          1235595        382879         0              959            86   179   151 
3.39/3.44	c 1440           18175          1245344        385417         0              966            91   110   91  
3.39/3.47	c 1450           18308          1258119        388695         0              971            68   118   100 
3.49/3.50	c 1460           18432          1270569        392514         0              976            86   115   95  
3.49/3.52	c 1470           18544          1279274        394927         0              979            89   96   85   
3.49/3.56	c 1480           18736          1292377        397951         0              989            72   182   125 
3.49/3.58	c 1490           18848          1303331        400860         0              997            65   93   65   
3.59/3.62	c 1500           18971          1318237        408294         0              1005           72   105   83  
3.59/3.65	c 1510           19097          1328737        410850         0              1013           84   117   93  
3.59/3.67	c 1520           19218          1337161        412855         0              1017           94   100   89  
3.69/3.70	c 1530           19360          1349294        416423         0              1023           76   129   103 
3.69/3.73	c 1540           19457          1360032        419906         0              1033           24   84   65   
3.69/3.76	c 1550           19597          1372003        423027         0              1040           76   131   107 
3.69/3.79	c 1560           19725          1384014        426814         0              1050           31   119   83  
3.79/3.82	c 1570           19838          1393450        429455         0              1055           32   96   75   
3.79/3.84	c 1580           19953          1403104        432814         0              1059           34   96   71   
3.79/3.86	c 1585           20058          1410649        435049         0              1064           29   101   71  
3.79/3.89	c 1590           20196          1420607        437637         0              1069           69   134   96  
3.89/3.92	c 1600           20347          1432976        441082         0              1076           82   138   108 
3.89/3.95	c 1610           20486          1443941        444069         0              1086           32   130   78  
3.89/3.98	c 1620           20578          1453437        446435         0              1092           31   79   61   
3.99/4.01	c 1630           20697          1466183        450364         0              1099           26   99   78   
3.99/4.03	c 1640           20794          1472995        451499         0              1105           62   81   64   
3.99/4.05	c 1650           20903          1479609        452595         0              1109           22   35   29   
3.99/4.07	c 1660           20997          1486572        454698         0              1113           50   65   55   
3.99/4.08	c 1670           21072          1492223        456849         0              1123           43   66   56   
4.09/4.14	c 1680           21194          1511367        465714         0              1130           13   103   48  
4.09/4.16	c 1690           21247          1518270        468011         0              1133           13   18   15   
4.09/4.18	c 1700           21328          1524269        470189         0              1143           43   72   61   
4.19/4.22	c 1710           21447          1538664        475700         0              1153           11   110   56  
4.19/4.24	c 1720           21560          1547767        478566         0              1163           14   104   56  
4.19/4.26	c 1730           21665          1555053        480765         0              1173           92   96   85   
4.29/4.30	c 1740           21769          1568498        486340         0              1182           11   91   37   
4.29/4.33	c 1750           21874          1577478        488858         0              1192           14   96   42   
4.29/4.34	c 1760           21963          1584269        490281         0              1198           14   72   46   
4.29/4.36	c 1770           22045          1590689        492161         0              1203           44   58   47   
4.29/4.39	c 1780           22174          1603360        495561         0              1210           39   114   90  
4.39/4.41	c 1790           22301          1612661        497882         0              1218           83   110   91  
4.39/4.43	c 1800           22390          1619274        500180         0              1226           50   77   61   
4.39/4.46	c 1810           22509          1629928        503592         0              1234           14   110   61  
4.39/4.48	c 1820           22628          1639030        506110         0              1242           81   106   84  
4.49/4.51	c 1830           22725          1646730        507801         0              1252           15   88   49   
4.49/4.54	c 1840           22839          1658222        511289         0              1262           59   102   83  
4.49/4.55	c 1841           22932          1664608        513051         0              1263           93   93   46   
4.49/4.57	c 1850           23024          1671083        515177         0              1272           80   84   74   
4.59/4.61	c 1860           23112          1685691        520850         0              1278           32   63   40   
4.59/4.63	c 1870           23190          1693067        523023         0              1286           14   60   47   
4.59/4.65	c 1880           23288          1700567        525448         0              1293           69   82   68   
4.59/4.66	c 1890           23358          1706127        526359         0              1296           38   43   36   
4.59/4.68	c 1900           23402          1712439        528461         0              1300           17   28   21   
4.68/4.70	c 1910           23476          1718603        530158         0              1308           16   61   34   
4.68/4.72	c 1920           23565          1725147        532363         0              1318           18   80   65   
4.68/4.74	c 1930           23663          1733523        534586         0              1328           23   89   51   
4.68/4.76	c 1940           23755          1740887        536453         0              1337           44   81   64   
4.68/4.79	c 1950           23879          1752103        539533         0              1344           93   107   93  
4.78/4.82	c 1960           23972          1762644        542786         0              1354           17   83   56   
4.78/4.84	c 1970           24057          1769779        544701         0              1364           44   76   56   
4.78/4.85	c 1980           24147          1776910        546992         0              1374           45   81   57   
4.78/4.89	c 1990           24255          1789665        551248         0              1382           29   94   70   
4.88/4.91	c 2000           24348          1797548        553611         0              1387           41   82   64   
4.88/4.93	c 2010           24415          1806265        556606         0              1395           35   52   42   
4.88/4.96	c 2020           24508          1815220        558412         0              1400           37   69   56   
4.88/4.98	c 2030           24605          1823107        560361         0              1406           43   77   53   
4.98/5.02	c 2040           24737          1837877        565012         0              1408           84   116   100 
4.98/5.06	c 2050           24846          1853454        569543         0              1413           74   89   76   
4.98/5.09	c 2060           24938          1862138        572116         0              1419           62   67   58   
5.08/5.10	c 2070           25028          1868941        574311         0              1429           77   81   71   
5.08/5.12	c 2080           25076          1875079        576422         0              1430           33   36   32   
5.08/5.14	c 2090           25131          1880079        577355         0              1434           17   24   19   
5.08/5.15	c 2100           25238          1887765        579759         0              1444           10   98   72   
5.08/5.18	c 2110           25339          1897453        583019         0              1449           37   75   58   
5.18/5.20	c 2120           25450          1905759        585477         0              1453           76   95   75   
5.18/5.21	c 2122           25480          1908340        586042         0              1455           25   29   18   
5.18/5.23	c 2130           25556          1913185        586839         0              1460           23   36   28   
5.18/5.25	c 2140           25685          1922843        589532         0              1470           98   120   103 
5.18/5.28	c 2150           25772          1934324        592384         0              1477           39   71   52   
5.28/5.31	c 2160           25879          1942314        594444         0              1487           55   98   68   
5.28/5.33	c 2170           26020          1951231        596096         0              1493           30   67   53   
5.28/5.36	c 2180           26115          1959369        598243         0              1499           68   73   64   
5.28/5.38	c 2190           26217          1967246        600604         0              1509           34   93   63   
5.38/5.41	c 2200           26362          1979890        604945         0              1518           18   126   60  
5.38/5.44	c 2210           26438          1990208        607769         0              1528           22   61   36   
5.38/5.46	c 2220           26551          1997904        610085         0              1538           100   104   92 
5.38/5.47	c 2230           26609          2003311        611429         0              1540           37   41   35   
5.38/5.49	c 2240           26700          2010390        613702         0              1550           17   82   61   
5.49/5.53	c 2250           26837          2023955        617893         0              1558           10   125   74  
5.49/5.55	c 2260           26937          2032671        620096         0              1565           47   89   68   
5.49/5.57	c 2270           27045          2040959        622254         0              1569           47   81   58   
5.49/5.60	c 2280           27148          2048202        623523         0              1571           29   41   31   
5.59/5.61	c 2290           27226          2054493        625508         0              1577           39   59   51   
5.59/5.63	c 2300           27314          2061356        627783         0              1587           41   79   64   
5.59/5.65	c 2310           27406          2068248        629971         0              1597           42   83   69   
5.68/5.72	c 2320           27519          2089665        640930         0              1602           17   38   29   
5.68/5.73	c 2330           27610          2096410        643116         0              1612           78   82   72   
5.68/5.79	c 2340           27683          2114356        652229         0              1617           29   46   37   
5.78/5.81	c 2350           27773          2121540        654537         0              1627           47   81   62   
5.78/5.85	c 2360           27877          2134205        659005         0              1637           10   95   35   
5.78/5.87	c 2370           27979          2142146        660954         0              1641           68   85   68   
5.78/5.88	c 2380           28079          2149291        663164         0              1651           82   91   77   
5.88/5.92	c 2390           28223          2163523        667459         0              1661           9   135   68   
5.88/5.95	c 2400           28350          2174285        670276         0              1671           67   118   92  
5.98/6.01	c 2410           28413          2192683        681919         0              1677           20   46   32   
5.98/6.02	c 2420           28501          2199114        684082         0              1687           75   79   70   
5.98/6.08	c 2430           28565          2217039        692509         0              1691           36   46   39   
5.98/6.09	c 2431           28633          2222509        694568         0              1692           68   68   34   
6.08/6.13	c 2440           28710          2233297        698389         0              1694           21   34   25   
6.08/6.15	c 2450           28817          2241382        700819         0              1698           80   91   77   
6.18/6.20	c 2460           28850          2259555        712638         0              1701           19   20   18   
6.18/6.22	c 2470           28926          2265935        714836         0              1711           63   67   59   
6.18/6.27	c 2480           29004          2283607        724721         0              1715           48   48   43   
6.18/6.29	c 2490           29084          2289805        726874         0              1725           66   71   62   
6.28/6.32	c 2500           29174          2300009        729941         0              1728           23   36   27   
6.28/6.34	c 2510           29264          2306781        732144         0              1738           77   81   71   
6.28/6.37	c 2520           29359          2316262        734529         0              1742           36   51   45   
6.28/6.38	c 2530           29436          2322259        736703         0              1752           64   68   60   
6.38/6.43	c 2540           29503          2337632        744287         0              1757           35   45   38   
6.38/6.44	c 2550           29594          2344277        746463         0              1767           78   82   72   
6.38/6.49	c 2560           29665          2358098        751747         0              1769           48   50   44   
6.48/6.51	c 2570           29756          2365130        753944         0              1779           78   82   72   
6.48/6.54	c 2580           29820          2375764        756955         0              1788           22   41   29   
6.48/6.55	c 2590           29895          2382034        759154         0              1798           27   66   51   
6.48/6.58	c 2600           29982          2391300        761955         0              1805           17   71   53   
6.48/6.60	c 2610           30078          2399102        764575         0              1815           34   87   63   
6.59/6.67	c 2620           30161          2421543        773438         0              1821           16   68   50   
6.59/6.69	c 2630           30273          2431265        776354         0              1831           24   103   68  
6.69/6.73	c 2640           30348          2443344        780520         0              1839           16   50   34   
6.69/6.75	c 2650           30422          2449667        782288         0              1843           58   63   55   
6.69/6.76	c 2660           30514          2456650        784465         0              1853           79   83   73   
6.69/6.79	c 2670           30617          2464925        786709         0              1859           21   80   59   
6.78/6.80	c 2680           30652          2470440        787938         0              1868           14   24   18   
6.78/6.82	c 2690           30750          2477912        790198         0              1878           22   89   63   
6.78/6.86	c 2700           30875          2490331        793801         0              1888           44   116   80  
6.78/6.89	c 2710           31001          2500500        796349         0              1898           45   114   75  
6.88/6.92	c 2720           31118          2511342        798989         0              1908           17   108   73  
6.88/6.94	c 2730           31215          2518988        801007         0              1914           74   86   75   
6.88/6.96	c 2740           31275          2524658        802262         0              1915           43   43   39   
6.88/6.98	c 2750           31370          2531954        804488         0              1925           82   86   76   
6.98/7.01	c 2760           31455          2542542        808474         0              1935           9   76   41    
6.98/7.03	c 2770           31553          2550748        810872         0              1941           12   76   61   
6.98/7.05	c 2771           31618          2556511        812979         0              1942           65   65   32   
6.98/7.07	c 2780           31724          2566354        816157         0              1951           11   98   54   
6.98/7.09	c 2790           31814          2574113        818605         0              1959           10   79   58   
7.08/7.11	c 2800           31889          2580360        820790         0              1969           62   66   58   
7.08/7.15	c 2810           32038          2593668        824610         0              1979           14   140   70  
7.08/7.17	c 2820           32132          2601290        827011         0              1987           55   84   66   
7.08/7.19	c 2830           32229          2608442        829212         0              1997           35   88   67   
7.18/7.21	c 2840           32351          2619759        832279         0              2006           22   110   81  
7.18/7.24	c 2850           32459          2629257        834783         0              2016           17   99   74   
7.18/7.26	c 2860           32544          2636682        836905         0              2022           56   69   57   
7.18/7.28	c 2870           32614          2642709        839090         0              2032           57   61   53   
7.28/7.31	c 2880           32744          2654910        842910         0              2040           60   121   91  
7.28/7.33	c 2890           32835          2662410        845117         0              2043           56   78   64   
7.28/7.35	c 2900           32910          2668579        846115         0              2049           43   50   43   
7.28/7.37	c 2910           32996          2675691        848329         0              2059           36   77   49   
7.38/7.40	c 2920           33099          2687468        853292         0              2069           17   92   52   
7.38/7.42	c 2930           33179          2694695        855290         0              2079           13   71   38   
7.38/7.44	c 2940           33277          2702290        857393         0              2087           66   87   71   
7.38/7.46	c 2950           33354          2708927        859600         0              2097           32   68   50   
7.48/7.50	c 2960           33465          2721589        863633         0              2107           13   102   58  
7.48/7.52	c 2970           33573          2730121        865713         0              2114           77   96   79   
7.48/7.55	c 2980           33687          2741355        868810         0              2124           18   104   59  
7.48/7.59	c 2990           33834          2756827        873097         0              2129           47   130   103 
7.58/7.61	c 3000           33945          2765193        875263         0              2136           82   96   83   
7.58/7.64	c 3010           34087          2777444        878471         0              2139           109   120   106
7.58/7.67	c 3020           34228          2789383        881725         0              2149           88   131   104 
7.58/7.70	c 3030           34348          2800227        884082         0              2159           42   111   69  
7.69/7.72	c 3040           34449          2808320        886374         0              2165           77   85   75   
7.69/7.74	c 3050           34528          2815348        888464         0              2170           66   69   61   
7.69/7.76	c 3060           34627          2822682        890693         0              2180           86   90   80   
7.69/7.80	c 3070           34740          2837221        896133         0              2190           13   104   70  
7.79/7.82	c 3080           34837          2845050        898227         0              2195           56   87   75   
7.79/7.83	c 3090           34890          2849562        899169         0              2200           31   35   30   
7.79/7.86	c 3100           35001          2861514        902956         0              2207           12   98   78   
7.79/7.88	c 3110           35063          2868144        905522         0              2212           46   50   45   
7.88/7.90	c 3120           35136          2874247        907699         0              2222           60   64   56   
7.88/7.92	c 3130           35259          2883726        910331         0              2232           75   114   99  
7.88/7.94	c 3140           35357          2891642        912371         0              2234           82   87   77   
7.88/7.95	c 3142           35391          2894002        912714         0              2236           31   33   21   
7.88/7.98	c 3150           35481          2903495        916478         0              2244           16   83   50   
7.98/8.02	c 3160           35590          2917797        920667         0              2254           47   100   81  
7.98/8.04	c 3170           35696          2925639        922647         0              2258           77   87   75   
7.98/8.06	c 3180           35783          2933565        925490         0              2268           71   78   66   
7.98/8.08	c 3190           35865          2939615        926925         0              2270           41   46   39   
7.98/8.09	c 3200           35960          2946632        929163         0              2280           82   86   76   
8.08/8.13	c 3210           36082          2959991        934351         0              2289           12   112   50  
8.08/8.15	c 3220           36188          2968522        936711         0              2294           85   91   81   
8.08/8.17	c 3230           36273          2975750        938807         0              2300           63   73   60   
8.08/8.19	c 3240           36368          2983079        941036         0              2310           82   86   76   
8.18/8.22	c 3250           36474          2991847        943110         0              2317           54   95   76   
8.18/8.24	c 3260           36654          3004067        945880         0              2323           80   168   132 
8.18/8.29	c 3270           36783          3019831        952189         0              2333           51   120   79  
8.28/8.31	c 3280           36890          3028170        954364         0              2337           75   86   77   
8.28/8.33	c 3290           37002          3036462        956703         0              2347           30   103   73  
8.28/8.37	c 3300           37107          3048850        960869         0              2357           45   96   68   
8.28/8.40	c 3310           37220          3058786        963715         0              2367           46   104   81  
8.38/8.42	c 3320           37338          3067956        966002         0              2373           88   104   84  
8.38/8.44	c 3330           37439          3076167        968108         0              2378           45   58   42   
8.38/8.46	c 3340           37518          3083112        970250         0              2383           66   69   61   
8.38/8.48	c 3350           37609          3089903        971430         0              2386           48   50   44   
8.48/8.50	c 3360           37682          3096486        973344         0              2389           54   62   54   
8.48/8.52	c 3370           37767          3103505        975323         0              2391           56   71   59   
8.48/8.54	c 3380           37850          3109075        976272         0              2393           22   42   35   
8.48/8.56	c 3390           37944          3116881        978847         0              2403           53   85   68   
8.48/8.59	c 3400           38059          3128180        982230         0              2406           20   40   31   
8.58/8.61	c 3410           38150          3134988        984469         0              2416           47   82   69   
8.58/8.64	c 3420           38244          3147238        988663         0              2426           10   85   50   
8.58/8.66	c 3430           38319          3154413        990573         0              2431           43   59   46   
8.58/8.68	c 3440           38409          3161416        992786         0              2441           65   81   70   
8.68/8.72	c 3450           38527          3176669        997943         0              2451           9   108   68   
8.68/8.74	c 3460           38630          3184580        1000031        0              2457           80   84   74   
8.68/8.76	c 3470           38714          3191340        1002336        0              2467           47   75   62   
8.79/8.81	c 3480           38822          3208229        1010051        0              2477           13   96   45   
8.79/8.84	c 3490           38934          3217194        1012479        0              2481           59   84   70   
8.79/8.85	c 3500           39004          3222718        1013785        0              2484           44   50   42   
8.79/8.87	c 3510           39080          3229498        1015692        0              2489           58   66   58   
8.79/8.90	c 3520           39189          3238964        1018364        0              2499           19   100   47  
8.89/8.93	c 3530           39334          3252246        1022016        0              2504           57   135   108 
8.89/8.97	c 3540           39427          3266207        1029309        0              2514           46   84   58   
8.89/8.99	c 3550           39498          3272632        1030468        0              2518           42   55   43   
8.98/9.00	c 3551           39533          3275068        1030776        0              2519           35   35   17   
8.98/9.03	c 3560           39645          3287093        1033907        0              2522           92   97   85   
8.98/9.06	c 3570           39765          3298892        1037204        0              2532           55   111   81  
8.98/9.09	c 3580           39889          3308341        1039359        0              2542           90   115   96  
9.08/9.10	c 3590           39953          3313734        1040719        0              2545           41   48   41   
9.08/9.12	c 3600           40065          3321615        1042673        0              2555           54   85   64   
9.08/9.15	c 3610           40168          3329590        1044197        0              2564           45   92   61   
9.08/9.17	c 3620           40276          3338149        1046775        0              2574           89   99   84   
9.18/9.20	c 3630           40406          3350044        1050207        0              2584           59   121   95  
9.18/9.23	c 3640           40524          3360070        1052781        0              2594           46   109   75  
9.18/9.26	c 3650           40611          3372297        1056321        0              2600           16   73   27   
9.18/9.29	c 3660           40726          3383135        1059143        0              2607           57   99   75   
9.28/9.31	c 3670           40832          3391763        1061540        0              2611           22   89   73   
9.28/9.33	c 3680           40921          3399394        1063575        0              2614           44   77   64   
9.28/9.37	c 3690           41048          3414237        1067801        0              2617           82   102   83  
9.38/9.42	c 3700           41141          3430976        1075593        0              2621           36   52   45   
9.38/9.44	c 3710           41218          3436933        1076616        0              2627           34   50   37   
9.38/9.45	c 3720           41286          3442510        1077390        0              2635           27   56   40   
9.38/9.47	c 3730           41378          3450217        1079927        0              2645           73   83   72   
9.48/9.52	c 3740           41448          3466367        1088507        0              2650           17   56   24   
9.48/9.54	c 3750           41553          3474269        1090910        0              2660           61   96   79   
9.48/9.57	c 3760           41590          3484598        1095185        0              2666           18   24   20   
9.58/9.60	c 3770           41707          3495771        1098575        0              2673           77   102   84  
9.58/9.63	c 3780           41791          3504930        1101203        0              2677           53   69   57   
9.58/9.65	c 3790           41909          3515016        1104019        0              2682           88   105   90  
9.58/9.69	c 3800           41985          3526184        1107294        0              2688           20   62   28   
9.68/9.72	c 3810           42102          3538445        1110443        0              2694           26   101   70  
9.68/9.75	c 3820           42227          3552498        1114439        0              2698           98   104   92  
9.68/9.78	c 3830           42334          3562807        1117272        0              2705           70   96   83   
9.78/9.80	c 3840           42428          3570913        1119335        0              2711           62   80   60   
9.78/9.82	c 3850           42536          3579412        1121896        0              2721           90   99   87   
9.78/9.85	c 3860           42622          3589239        1124796        0              2728           29   69   52   
9.78/9.87	c 3870           42730          3597258        1127075        0              2738           15   99   69   
9.89/9.91	c 3880           42813          3612874        1133691        0              2744           21   71   40   
9.89/9.94	c 3890           42933          3622125        1136269        0              2752           85   104   83  
9.89/9.96	c 3900           43053          3632123        1139096        0              2758           101   108   95 
9.89/9.98	c 3910           43177          3642374        1141632        0              2766           95   114   98  
9.99/10.01	c 3920           43264          3651493        1144246        0              2772           21   75   55   
9.99/10.04	c 3930           43397          3664762        1147794        0              2780           84   115   94  
9.99/10.08	c 3940           43494          3676475        1151546        0              2790           47   84   65   
10.08/10.10	c 3950           43603          3687791        1154574        0              2794           54   86   73   
10.08/10.14	c 3960           43670          3700759        1158925        0              2802           37   54   44   
10.08/10.16	c 3970           43760          3707119        1159977        0              2809           49   61   50   
10.08/10.18	c 3980           43852          3713952        1162143        0              2819           79   83   73   
10.18/10.21	c 3990           43925          3722821        1164143        0              2826           30   60   50   
10.18/10.23	c 4000           44031          3731746        1166879        0              2833           33   90   64   
10.18/10.24	c 4001           44059          3734982        1168054        0              2834           28   28   14   
10.18/10.26	c 4010           44149          3741990        1170238        0              2843           68   82   71   
10.18/10.29	c 4020           44251          3754990        1174800        0              2853           26   93   49   
10.28/10.33	c 4030           44363          3768580        1179232        0              2860           51   101   72  
10.28/10.36	c 4040           44485          3779031        1182059        0              2866           99   105   94  
10.28/10.38	c 4050           44607          3790551        1185245        0              2873           75   112   90  
10.38/10.41	c 4060           44706          3798962        1186796        0              2883           52   86   70   
10.38/10.44	c 4070           44828          3811404        1189909        0              2889           73   104   82  
10.38/10.46	c 4080           44924          3820595        1192142        0              2896           58   85   69   
10.38/10.49	c 4090           45022          3829538        1194633        0              2902           75   84   72   
10.48/10.51	c 4100           45123          3837928        1196058        0              2912           44   92   69   
10.48/10.53	c 4110           45219          3844892        1197953        0              2919           66   74   65   
10.48/10.55	c 4120           45281          3849840        1198720        0              2925           34   49   35   
10.48/10.57	c 4130           45406          3860784        1201897        0              2934           45   115   82  
10.48/10.59	c 4140           45519          3869772        1204017        0              2944           41   103   78  
10.58/10.62	c 4150           45625          3880543        1206793        0              2949           74   86   71   
10.58/10.66	c 4160           45712          3891609        1209387        0              2955           22   73   33   
10.58/10.67	c 4170           45772          3896383        1210135        0              2961           47   49   44   
10.58/10.69	c 4180           45863          3903536        1212353        0              2971           48   82   69   
10.68/10.74	c 4190           45988          3922303        1219792        0              2977           20   112   36  
10.68/10.77	c 4200           46104          3932189        1222553        0              2983           92   103   89  
10.68/10.79	c 4210           46206          3940976        1225193        0              2984           90   91   82   
10.78/10.84	c 4220           46281          3958528        1233253        0              2986           49   52   46   
10.78/10.86	c 4230           46359          3965268        1235481        0              2996           64   69   60   
10.78/10.89	c 4240           46458          3976646        1238636        0              3002           32   84   56   
10.88/10.91	c 4250           46541          3982483        1239600        0              3006           58   66   58   
10.88/10.93	c 4260           46662          3990900        1241962        0              3016           108   112   100
10.88/10.97	c 4270           46741          4005174        1246911        0              3023           19   66   45   
10.88/10.99	c 4280           46808          4010398        1247749        0              3033           40   53   43   
10.99/11.01	c 4290           46923          4021198        1250778        0              3036           13   96   77   
10.99/11.04	c 4300           47020          4029928        1253744        0              3042           54   85   69   
10.99/11.06	c 4310           47102          4036607        1254845        0              3047           38   68   44   
10.99/11.07	c 4320           47174          4042239        1256045        0              3053           38   46   38   
10.99/11.10	c 4330           47268          4052288        1260066        0              3062           74   84   73   
11.09/11.15	c 4340           47350          4070545        1267951        0              3069           19   68   46   
11.09/11.17	c 4350           47406          4076201        1268977        0              3072           29   35   28   
11.18/11.20	c 4360           47526          4088629        1272174        0              3077           18   105   56  
11.18/11.22	c 4370           47630          4097358        1274674        0              3087           20   95   56   
11.18/11.24	c 4380           47723          4105301        1276669        0              3095           23   83   59   
11.18/11.28	c 4390           47837          4118806        1280254        0              3103           66   102   86  
11.28/11.30	c 4400           47953          4126922        1282168        0              3113           75   107   88  
11.28/11.33	c 4410           48037          4136668        1284199        0              3117           22   66   33   
11.28/11.35	c 4420           48151          4145812        1286795        0              3127           76   105   89  
11.28/11.38	c 4430           48251          4155430        1288897        0              3137           25   91   64   
11.38/11.40	c 4440           48353          4164293        1290963        0              3139           74   79   69   
11.38/11.42	c 4450           48407          4169583        1291768        0              3145           37   41   36   
11.38/11.44	c 4460           48485          4176873        1294055        0              3151           22   64   30   
11.38/11.49	c 4470           48566          4194232        1301113        0              3155           19   63   30   
11.48/11.51	c 4480           48627          4200391        1302563        0              3158           31   43   34   
11.48/11.53	c 4490           48734          4207816        1304802        0              3168           94   98   87   
11.48/11.54	c 4493           48759          4210927        1305635        0              3171           20   23   15   
11.48/11.56	c 4500           48862          4218287        1307848        0              3178           94   97   83   
11.58/11.61	c 4510           48968          4235721        1316225        0              3188           18   97   44   
11.58/11.63	c 4520           49062          4243466        1318279        0              3197           35   84   53   
11.58/11.66	c 4530           49172          4256423        1323368        0              3206           13   100   69  
11.58/11.69	c 4540           49271          4264005        1324639        0              3216           20   90   50   
11.68/11.71	c 4550           49388          4272908        1326710        0              3224           65   105   84  
11.68/11.73	c 4560           49484          4281319        1329090        0              3229           72   80   69   
11.68/11.75	c 4570           49554          4287402        1330834        0              3235           38   54   39   
11.68/11.77	c 4580           49686          4297702        1333640        0              3240           91   123   101 
11.78/11.80	c 4590           49800          4308006        1336507        0              3248           68   103   88  
11.78/11.83	c 4600           49948          4322212        1340474        0              3251           76   132   114 
11.78/11.86	c 4610           50061          4330884        1342663        0              3258           64   101   84  
11.78/11.88	c 4620           50185          4340028        1344795        0              3265           91   114   96  
11.88/11.91	c 4630           50297          4351014        1347654        0              3271           66   100   75  
11.88/11.93	c 4640           50400          4359029        1350217        0              3281           48   94   79   
11.88/11.97	c 4650           50528          4372537        1353910        0              3288           63   116   82  
11.88/11.99	c 4660           50640          4380898        1356181        0              3296           60   102   72  
11.98/12.03	c 4670           50806          4395617        1359732        0              3304           44   155   80  
11.98/12.07	c 4680           50906          4410195        1365686        0              3314           63   91   72   
11.98/12.10	c 4690           51026          4420288        1368519        0              3321           80   106   91  
12.09/12.13	c 4700           51157          4432545        1372259        0              3325           77   120   103 
12.09/12.15	c 4710           51278          4441453        1374416        0              3328           78   108   93  
12.09/12.19	c 4720           51392          4455020        1379252        0              3331           76   104   87  
12.19/12.22	c 4730           51526          4467989        1382645        0              3336           63   123   85  
12.19/12.25	c 4740           51647          4480602        1386373        0              3341           75   107   88  
12.19/12.28	c 4750           51762          4492848        1390266        0              3344           86   103   87  
12.28/12.31	c 4760           51864          4501799        1392894        0              3350           82   86   76   
12.28/12.33	c 4770           51986          4511918        1395279        0              3357           77   108   90  
12.28/12.36	c 4780           52102          4521209        1397743        0              3367           38   106   68  
12.28/12.38	c 4790           52220          4531198        1400650        0              3374           39   106   69  
12.38/12.43	c 4800           52332          4546912        1406759        0              3384           12   103   62  
12.38/12.45	c 4810           52420          4554587        1408912        0              3385           73   76   68   
12.38/12.47	c 4820           52530          4562848        1410957        0              3395           65   99   82   
12.38/12.49	c 4830           52612          4570218        1413007        0              3404           28   59   47   
12.48/12.51	c 4840           52700          4578225        1415383        0              3409           13   70   33   
12.48/12.55	c 4850           52770          4589694        1421015        0              3417           11   55   27   
12.48/12.57	c 4860           52857          4597151        1423184        0              3424           65   75   63   
12.48/12.59	c 4870           52992          4607477        1425982        0              3427           110   114   102
12.58/12.61	c 4880           53081          4615155        1428146        0              3437           42   79   67   
12.58/12.64	c 4890           53133          4623241        1430046        0              3440           18   33   23   
12.58/12.66	c 4900           53233          4630663        1432413        0              3449           51   89   69   
12.58/12.67	c 4910           53281          4637065        1434396        0              3457           19   36   21   
12.58/12.69	c 4920           53371          4643840        1436595        0              3467           46   81   68   
12.68/12.73	c 4930           53515          4658111        1440462        0              3477           22   133   62  
12.68/12.75	c 4940           53611          4666041        1442854        0              3487           56   87   72   
12.78/12.80	c 4950           53744          4682600        1449441        0              3497           48   124   76  
12.78/12.83	c 4960           53889          4697756        1453833        0              3504           96   123   105 
12.78/12.85	c 4970           54004          4706131        1455863        0              3508           85   95   85   
12.78/12.88	c 4980           54143          4714952        1457232        0              3514           33   62   43   
12.88/12.90	c 4990           54240          4722394        1459459        0              3524           83   88   77   
12.88/12.96	c 5035           54443          4745409        1465993        0              3545           21   117   99  
13.29/13.35	c 5631           56174          4928324        1504676        0              3565           69   105   92  
13.99/14.00	c 6286           59105          5168209        1551239        0              3570           16   102   91  
14.40/14.43	c 7006           61368          5370797        1595645        0              3588           11   105   87  
14.99/15.01	c 7798           63432          5612962        1703925        0              3620           16   193   165 
15.50/15.57	c 8669           66173          5923881        1787616        0              3641           16   139   132 
16.50/16.53	c 9627           69387          6401490        1912481        0              3660           16   251   231 
17.09/17.10	c 10680          73334          6670513        1984987        0              3683           16   156   136 
17.70/17.79	c 11838          77826          7000503        2062566        0              3703           16   160   131 
19.29/19.31	c 13111          83710          7652038        2312469        0              3731           22   142   124 
19.99/20.01	c 14511          88159          8054553        2422207        0              3757           30   157   140 
24.09/24.13	c 16051          95190          9494873        3179721        0              3777           25   63   49   
25.09/25.13	c 17745          100396         10073411       3311975        0              3814           62   148   140 
26.49/26.58	c 19608          104236         10699718       3552337        0              3851           15   213   184 
27.59/27.69	c 21657          110561         11307603       3658430        0              3876           46   136   121 
28.69/28.74	c 23910          116636         11927868       3795307        0              3894           85   115   106 
31.38/31.40	c 26388          124452         12937620       4134694        0              3925           19   110   82  
33.18/33.26	c 29113          131639         13707930       4303499        0              3939           51   121   103 
34.98/35.02	c 32110          139299         14580825       4488123        0              3957           31   110   102 
35.98/36.09	c 35406          147651         15208469       4596213        0              3976           41   105   98  
38.28/38.34	c 39031          157017         16316174       4923651        0              4028           23   122   112 
53.08/53.10	c 43018          178855         21146145       7523271        0              4052           12   85   58   
55.68/55.70	c 47403          189950         22739830       7968385        0              4092           13   141   129 
60.18/60.21	c 52226          205503         24928422       8525073        0              4114           13   132   117 
63.48/63.51	c 57531          220914         26680889       8964821        0              4137           12   134   113 
65.88/65.90	c 63366          232086         27916572       9332104        0              4183           10   137   127 
70.08/70.16	c 69784          253489         30007986       9844417        0              4220           14   133   111 
74.78/74.87	c 76843          273425         32002586       10439424       0              4254           9   138   98   
77.78/77.84	c 84607          293348         33826858       10949039       0              4338           15   171   158 
90.48/90.53	c 93147          321137         38637840       13271194       0              4393           12   179   126 
99.37/99.40	c 102541         346035         42785973       14301783       0              4424           24   186   157 
107.37/107.44	c 112874         391045         46257045       15074770       0              4452           17   183   147 
118.47/118.56	c 124240         426031         51426030       16048341       0              4486           19   244   200 
132.37/132.43	c 136742         473095         57662841       17146040       0              4513           11   201   173 
143.07/143.15	c 150494         542332         63554913       18639905       0              4550           13   184   162 
154.16/154.22	c 165621         597551         68885035       19836498       0              4586           21   181   132 
171.26/171.30	c 182260         681741         75325717       21083042       0              4639           21   246   108 
183.36/183.47	c 200562         726722         81571255       22665733       0              4700           16   258   226 
192.06/192.10	c 220694         779516         86751145       24228892       0              4743           10   259   235 
204.76/204.84	c 242839         854912         93652847       25954124       0              4792           12   169   159 
220.55/220.66	c 267198         948630         101359359      27850609       0              4820           24   208   176 
232.55/232.60	c 293992         1032957        107863160      29443125       0              4859           28   192   158 
280.94/281.06	c 323465         1160327        126993773      39376531       0              4927           22   268   144 
301.64/301.77	c 355885         1278198        138803228      41652998       0              4963           24   214   194 
321.24/321.34	c 391547         1384202        149411569      44089282       0              5031           24   194   159 
357.93/358.02	c 430775         1600520        163545660      47433183       0              5036           25   104   77  
379.74/379.86	c 473925         1731114        176653484      51341877       0              5082           24   205   184 
418.83/418.97	c 521390         1931351        192821596      54649514       0              5116           26   169   115 
459.83/459.95	c 573601         2056832        213587315      58778743       0              5165           32   233   217 
493.72/493.86	c 631033         2206035        231393293      63301794       0              5216           25   190   153 
540.51/540.64	c 694208         2465812        254543343      68805547       0              5260           29   252   203 
580.81/580.93	c 763700         2676638        278713324      74134453       0              5300           27   226   209 
639.70/639.86	c 840141         2967148        305867998      80826588       0              5355           21   199   141 
690.39/690.55	c 924226         3317157        331368185      86737346       0              5389           19   186   138 
749.78/749.93	c 1016719        3646234        367246351      96669948       0              5437           12   188   163 
848.37/848.59	c 1118461        3953247        416038212      113309878      0              5504           15   187   151 
907.96/908.15	c 1230377        4268680        450089652      121991594      0              5527           10   191   172 
962.65/962.85	c 1353484        4561098        480360873      132669382      0              5625           12   235   192 
1033.44/1033.62	c 1488901        4949719        521349799      142520939      0              5682           12   202   180 
1122.03/1122.23	c 1637859        5483496        563691023      152142145      0              5703           22   163   128 
1200.22/1200.42	c 1801712        5978889        611029131      163746539      0              5756           16   206   169 
1301.40/1301.64	c 1981950        6617454        662429747      176766416      0              5791           12   213   165 
1455.09/1455.38	c 2180211        7517233        739384935      196930052      0              5824           23   217   162 
1587.07/1587.32	c 2398298        8277079        809851923      215770470      0              5860           16   211   180 
1716.14/1716.46	c 2638193        8906166        883560353      235464838      0              5886           28   191   162 
2008.80/2009.14	c 2902077        10231877       1007776250     265334559      0              5927           19   242   159 
2194.47/2194.80	c 3192349        11130236       1111483248     289189842      0              5992           27   255   219 

One s line expected

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-4241715-1500651262/watcher-4241715-1500651262 -o /tmp/evaluation-result-4241715-1500651262/solver-4241715-1500651262 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241715-1500651262.xml 

pid=10776
running on 8 cores: 0,2,4,6,8,10,12,14

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.09 2.06 1.96 2/242 10779
/proc/meminfo: memFree=31640044/32770624 swapFree=5956/186944
[pid=10779] ppid=10776 vsize=27516 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 1110 0 0 0 0 0 0 0 20 0 1 0 395345 28176384 937 33554432000 4194304 5970956 140723112714304 140723112709528 140505362836453 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 6879 937 726 434 0 243 0

[startup+0.100178 s]
/proc/loadavg: 2.09 2.06 1.96 2/242 10779
/proc/meminfo: memFree=31640044/32770624 swapFree=5956/186944
[pid=10779] ppid=10776 vsize=36028 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 2308 0 0 0 9 0 0 0 20 0 1 0 395345 36892672 2123 33554432000 4194304 5970956 140723112714304 140723112711224 140505362836453 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9007 2123 802 434 0 2371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36028

[startup+0.200378 s]
/proc/loadavg: 2.09 2.06 1.96 2/242 10779
/proc/meminfo: memFree=31640044/32770624 swapFree=5956/186944
[pid=10779] ppid=10776 vsize=36424 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 2424 0 0 0 19 0 0 0 20 0 1 0 395345 37298176 2255 33554432000 4194304 5970956 140723112714304 140723112711640 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9106 2255 805 434 0 2470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36424

[startup+0.300326 s]
/proc/loadavg: 2.09 2.06 1.96 2/242 10779
/proc/meminfo: memFree=31640044/32770624 swapFree=5956/186944
[pid=10779] ppid=10776 vsize=36688 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 2474 0 0 0 29 0 0 0 20 0 1 0 395345 37568512 2255 33554432000 4194304 5970956 140723112714304 140723112711272 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9172 2255 805 434 0 2536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36688

[startup+0.700277 s]
/proc/loadavg: 2.09 2.06 1.96 2/242 10779
/proc/meminfo: memFree=31640044/32770624 swapFree=5956/186944
[pid=10779] ppid=10776 vsize=36820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 2537 0 0 0 69 0 0 0 20 0 1 0 395345 37703680 2321 33554432000 4194304 5970956 140723112714304 140723112711640 4930640 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9205 2321 805 434 0 2569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36820

[startup+1.50027 s]
/proc/loadavg: 2.09 2.06 1.96 3/243 10780
/proc/meminfo: memFree=31633720/32770624 swapFree=5956/187220
[pid=10779] ppid=10776 vsize=36820 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 2559 0 0 0 149 0 0 0 20 0 1 0 395345 37703680 2387 33554432000 4194304 5970956 140723112714304 140723112711640 5098944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9205 2387 805 434 0 2569 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36820

[startup+3.10028 s]
/proc/loadavg: 2.09 2.06 1.96 3/243 10780
/proc/meminfo: memFree=31633348/32770624 swapFree=5956/187236
[pid=10779] ppid=10776 vsize=36820 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 4028 0 0 0 309 0 0 0 20 0 1 0 395345 37703680 2422 33554432000 4194304 5970956 140723112714304 140723112711640 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9205 2422 805 434 0 2569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36820

[startup+6.30027 s]
/proc/loadavg: 2.08 2.06 1.96 3/243 10780
/proc/meminfo: memFree=31632404/32770624 swapFree=5956/187236
[pid=10779] ppid=10776 vsize=36820 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 5576 0 0 0 628 0 0 0 20 0 1 0 395345 37703680 2473 33554432000 4194304 5970956 140723112714304 140723112711640 5044845 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9205 2473 805 434 0 2569 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36820

[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 1.96 3/243 10780
/proc/meminfo: memFree=31629000/32770624 swapFree=5956/187236
[pid=10779] ppid=10776 vsize=36948 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 7232 0 0 0 1268 0 0 0 20 0 1 0 395345 37834752 3108 33554432000 4194304 5970956 140723112714304 140723112711640 5045969 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9237 3108 805 434 0 2601 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36948

[startup+25.5003 s]
/proc/loadavg: 2.06 2.05 1.96 3/243 10780
/proc/meminfo: memFree=31629000/32770624 swapFree=5956/187236
[pid=10779] ppid=10776 vsize=36948 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 10437 0 0 0 2548 1 0 0 20 0 1 0 395345 37834752 3127 33554432000 4194304 5970956 140723112714304 140723112711640 5044991 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9237 3127 805 434 0 2601 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36948

[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 1.96 3/243 10780
/proc/meminfo: memFree=31628776/32770624 swapFree=5956/187036
[pid=10779] ppid=10776 vsize=36948 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 11546 0 0 0 5107 1 0 0 20 0 1 0 395345 37834752 3129 33554432000 4194304 5970956 140723112714304 140723112711640 5045760 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9237 3129 805 434 0 2601 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36948

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 1.96 3/243 10781
/proc/meminfo: memFree=31628120/32770624 swapFree=5956/187084
[pid=10779] ppid=10776 vsize=36948 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 13793 0 0 0 10227 1 0 0 20 0 1 0 395345 37834752 3133 33554432000 4194304 5970956 140723112714304 140723112711640 5243431 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9237 3133 805 434 0 2601 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36948

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/243 10782
/proc/meminfo: memFree=31628444/32770624 swapFree=5956/187120
[pid=10779] ppid=10776 vsize=36948 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 15443 0 0 0 16225 1 0 0 20 0 1 0 395345 37834752 3137 33554432000 4194304 5970956 140723112714304 140723112711640 5045175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9237 3137 805 434 0 2601 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36948

[startup+222.308 s]
/proc/loadavg: 2.00 2.03 1.96 3/243 10783
/proc/meminfo: memFree=31628216/32770624 swapFree=5956/187240
[pid=10779] ppid=10776 vsize=37076 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 17078 0 0 0 22225 1 0 0 20 0 1 0 395345 37965824 3144 33554432000 4194304 5970956 140723112714304 140723112711640 5045969 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3144 805 434 0 2633 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37076

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/243 10784
/proc/meminfo: memFree=31625864/32770624 swapFree=5956/187320
[pid=10779] ppid=10776 vsize=37076 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 18517 0 0 0 28223 1 0 0 20 0 1 0 395345 37965824 3148 33554432000 4194304 5970956 140723112714304 140723112711640 5045744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3148 805 434 0 2633 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37076

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/243 10792
/proc/meminfo: memFree=31625508/32770624 swapFree=5956/187400
[pid=10779] ppid=10776 vsize=37076 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 19197 0 0 0 34222 1 0 0 20 0 1 0 395345 37965824 3148 33554432000 4194304 5970956 140723112714304 140723112711640 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3148 805 434 0 2633 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37076

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/243 10793
/proc/meminfo: memFree=31625880/32770624 swapFree=5956/187456
[pid=10779] ppid=10776 vsize=37076 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 19918 0 0 0 40221 2 0 0 20 0 1 0 395345 37965824 3150 33554432000 4194304 5970956 140723112714304 140723112711640 4934608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3150 805 434 0 2633 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 37076

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/243 10794
/proc/meminfo: memFree=31626344/32770624 swapFree=5956/187572
[pid=10779] ppid=10776 vsize=37076 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 20568 0 0 0 46221 2 0 0 20 0 1 0 395345 37965824 3154 33554432000 4194304 5970956 140723112714304 140723112711640 5136789 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3154 805 434 0 2633 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 37076

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/243 10795
/proc/meminfo: memFree=31626420/32770624 swapFree=5956/187620
[pid=10779] ppid=10776 vsize=37076 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 21269 0 0 0 52220 2 0 0 20 0 1 0 395345 37965824 3156 33554432000 4194304 5970956 140723112714304 140723112711640 5031469 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3156 805 434 0 2633 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 37076

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10796
/proc/meminfo: memFree=31625204/32770624 swapFree=5956/187736
[pid=10779] ppid=10776 vsize=37076 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 21950 0 0 0 58219 2 0 0 20 0 1 0 395345 37965824 3156 33554432000 4194304 5970956 140723112714304 140723112711640 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3156 805 434 0 2633 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 37076


################
# More data... #
################


[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/244 10821
/proc/meminfo: memFree=31624704/32770624 swapFree=5956/188988
[pid=10779] ppid=10776 vsize=37076 CPUtime=1482.08 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 31364 0 0 0 148206 2 0 0 20 0 1 0 395345 37965824 3162 33554432000 4194304 5970956 140723112714304 140723112711640 5045172 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3162 805 434 0 2633 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 37076

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 1.99 3/245 10831
/proc/meminfo: memFree=31623940/32770624 swapFree=5956/189084
[pid=10779] ppid=10776 vsize=37076 CPUtime=1542.08 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 31947 0 0 0 154206 2 0 0 20 0 1 0 395345 37965824 3162 33554432000 4194304 5970956 140723112714304 140723112711640 5031494 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3162 805 434 0 2633 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 37076

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/246 10855
/proc/meminfo: memFree=31622800/32770624 swapFree=5956/189120
[pid=10779] ppid=10776 vsize=37076 CPUtime=1602.06 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 32612 0 0 0 160204 2 0 0 20 0 1 0 395345 37965824 3162 33554432000 4194304 5970956 140723112714304 140723112711640 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3162 805 434 0 2633 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 37076

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/246 10856
/proc/meminfo: memFree=31623756/32770624 swapFree=5956/189236
[pid=10779] ppid=10776 vsize=37076 CPUtime=1662.05 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 33061 0 0 0 166203 2 0 0 20 0 1 0 395345 37965824 3162 33554432000 4194304 5970956 140723112714304 140723112711640 5045944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3162 805 434 0 2633 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 37076

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/246 10857
/proc/meminfo: memFree=31624776/32770624 swapFree=5956/189268
[pid=10779] ppid=10776 vsize=37076 CPUtime=1722.04 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 33744 0 0 0 172202 2 0 0 20 0 1 0 395345 37965824 3162 33554432000 4194304 5970956 140723112714304 140723112711640 5044991 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3162 805 434 0 2633 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 37076

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10989
/proc/meminfo: memFree=32028996/32770624 swapFree=5956/189496
[pid=10779] ppid=10776 vsize=37076 CPUtime=1782.04 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 34426 0 0 0 178202 2 0 0 20 0 1 0 395345 37965824 3163 33554432000 4194304 5970956 140723112714304 140723112711640 5136629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3163 805 434 0 2633 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 37076

[startup+1842.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/245 11188
/proc/meminfo: memFree=31684620/32770624 swapFree=5956/189528
[pid=10779] ppid=10776 vsize=37076 CPUtime=1842.03 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 35020 0 0 0 184201 2 0 0 20 0 1 0 395345 37965824 3165 33554432000 4194304 5970956 140723112714304 140723112711640 5046932 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3165 805 434 0 2633 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 37076

[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/243 11189
/proc/meminfo: memFree=31651008/32770624 swapFree=5956/189632
[pid=10779] ppid=10776 vsize=37076 CPUtime=1902.02 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 35686 0 0 0 190200 2 0 0 20 0 1 0 395345 37965824 3165 33554432000 4194304 5970956 140723112714304 140723112711640 5044845 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3165 805 434 0 2633 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 37076

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 11190
/proc/meminfo: memFree=31629648/32770624 swapFree=5956/189692
[pid=10779] ppid=10776 vsize=37076 CPUtime=1962.01 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 36008 0 0 0 196199 2 0 0 20 0 1 0 395345 37965824 3165 33554432000 4194304 5970956 140723112714304 140723112711640 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3165 805 434 0 2633 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 37076

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/243 11191
/proc/meminfo: memFree=31605144/32770624 swapFree=5956/189824
[pid=10779] ppid=10776 vsize=37076 CPUtime=2022 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 36594 0 0 0 202198 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 37076

[startup+2082.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/242 11192
/proc/meminfo: memFree=31603004/32770624 swapFree=5956/189908
[pid=10779] ppid=10776 vsize=37076 CPUtime=2082 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 37069 0 0 0 208198 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5044991 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 37076

[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/244 11202
/proc/meminfo: memFree=31598540/32770624 swapFree=5956/190028
[pid=10779] ppid=10776 vsize=37076 CPUtime=2141.98 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 37518 0 0 0 214196 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 37076

[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.01 3/244 11203
/proc/meminfo: memFree=31587588/32770624 swapFree=5956/190028
[pid=10779] ppid=10776 vsize=37076 CPUtime=2201.98 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 38135 0 0 0 220196 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 37076

[startup+2262.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/244 11204
/proc/meminfo: memFree=31586656/32770624 swapFree=5956/190224
[pid=10779] ppid=10776 vsize=37076 CPUtime=2261.96 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 38461 0 0 0 226194 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5136629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 37076

[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/244 11205
/proc/meminfo: memFree=31581972/32770624 swapFree=5956/190224
[pid=10779] ppid=10776 vsize=37076 CPUtime=2321.95 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 38782 0 0 0 232193 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5047664 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 37076

[startup+2382.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/244 11206
/proc/meminfo: memFree=31580484/32770624 swapFree=5668/190408
[pid=10779] ppid=10776 vsize=37076 CPUtime=2381.95 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 39219 0 0 0 238193 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 37076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.05 2.04 2.02 3/244 11206
/proc/meminfo: memFree=31580484/32770624 swapFree=5668/190408
[pid=10779] ppid=10776 vsize=37076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/10779/stat : 10779 (cosoco) R 10776 10779 9838 0 -1 4202496 39546 0 0 0 240002 2 0 0 20 0 1 0 395345 37965824 3166 33554432000 4194304 5970956 140723112714304 140723112711640 5044845 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18706432 140723112715452 140723112715587 140723112715587 140723112718286 0
/proc/10779/statm: 9269 3166 805 434 0 2633 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 37076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.06
CPU user time (s): 2400.03
CPU system time (s): 0.028995
CPU usage (%): 99.9857
Max. virtual memory (cumulated for all children) (KiB): 37076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.028995
maximum resident set size= 12708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39573
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= 8
involuntary context switches= 120644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47752 second user time and 10.6827 second system time

The end

Begin job on node114 at 2017-07-21 17:34:22
IDJOB=4241715
IDBENCH=128051
IDSOLVER=2621
FILE ID=node114/4241715-1500651262
RUNJOBID= node114-1500648178-9870
PBS_JOBID= 20623304
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-19-71.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241715-1500651262/watcher-4241715-1500651262 -o /tmp/evaluation-result-4241715-1500651262/solver-4241715-1500651262 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241715-1500651262.xml

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

MD5SUM BENCH= 910e6a58e5b883abb8b2e34c5de0ea43
RANDOM SEED=911046410

node114.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	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.55
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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	: 8
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.55
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		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.55
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
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	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31639416 kB
MemAvailable:   31627232 kB
Buffers:           30568 kB
Cached:           267080 kB
SwapCached:            0 kB
Active:           562500 kB
Inactive:         195492 kB
Active(anon):     463012 kB
Inactive(anon):     8548 kB
Active(file):      99488 kB
Inactive(file):   186944 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2104 kB
Writeback:             0 kB
AnonPages:        465744 kB
Mapped:            31084 kB
Shmem:              8848 kB
Slab:              66564 kB
SReclaimable:      34440 kB
SUnreclaim:        32124 kB
KernelStack:        4272 kB
PageTables:         6436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     733576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62008 MiB
End job on node114 at 2017-07-21 18:14:23