0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.05	c SAT : Variables: 3200 -- Clauses: 24200
0.00/0.05	c root propagations     : 0           
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c This is cosoco 1.0 --  
0.00/0.05	c
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.05 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 600
0.00/0.05	c |            Domain Sizes: 2..22
0.00/0.05	c |
0.00/0.05	c |             Constraints: 752
0.00/0.05	c |                   Arity: 2..100  -- Binary: 100  -- Ternary: 196
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          Exactly K: 22
0.00/0.05	c |                          Extension: 100  (nb tuples: 22..22) -- (shared: 99)
0.00/0.05	c |                          Sum: 630
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.10	c 10             409            17182          3740           0              1              375   382   343
0.09/0.12	c 20             582            27646          6094           0              4              67   107   83  
0.09/0.15	c 30             743            37443          8738           0              9              6   141   57   
0.09/0.16	c 40             800            40415          10039          0              11             9   31   22    
0.09/0.18	c 50             957            51131          12611          0              17             83   140   114 
0.19/0.20	c 60             1088           57643          14408          0              21             10   117   85  
0.19/0.22	c 70             1198           65138          16790          0              25             14   98   67   
0.19/0.25	c 80             1349           77158          19595          0              34             15   139   80  
0.19/0.29	c 90             1473           90111          23675          0              44             19   115   60  
0.29/0.31	c 100            1585           97698          25549          0              49             85   90   80   
0.29/0.32	c 101            1644           100840         26929          0              50             59   59   29   
0.29/0.33	c 110            1724           106239         28612          0              56             46   57   47   
0.29/0.35	c 120            1813           112406         30832          0              59             16   73   59   
0.29/0.36	c 130            1886           118477         32971          0              63             39   49   43   
0.29/0.38	c 140            1969           124512         35209          0              68             12   68   49   
0.39/0.42	c 150            2116           139878         40712          0              73             25   111   72  
0.39/0.45	c 160            2186           149564         43223          0              77             17   30   20   
0.39/0.47	c 170            2269           155652         45384          0              81             64   70   60   
0.49/0.50	c 180            2393           166516         47994          0              89             43   113   81  
0.49/0.51	c 190            2474           172531         50134          0              93             62   68   58   
0.49/0.55	c 200            2594           185177         53105          0              101            46   104   80  
0.49/0.58	c 210            2676           194636         56330          0              106            14   73   49   
0.49/0.58	c 211            2690           195479         56629          0              107            14   14   7    
0.49/0.59	c 220            2768           201282         58775          0              110            61   67   57   
0.59/0.62	c 230            2880           212468         61706          0              117            51   100   80  
0.59/0.66	c 240            3002           226565         65114          0              125            51   108   87  
0.59/0.68	c 250            3069           232944         67077          0              130            14   51   42   
0.69/0.70	c 260            3164           241570         68658          0              135            15   83   62   
0.69/0.73	c 270            3284           252204         71264          0              141            45   105   80  
0.69/0.76	c 280            3400           265531         74702          0              147            32   100   83  
0.69/0.79	c 290            3554           278228         77599          0              154            72   133   105 
0.79/0.82	c 300            3694           292087         81130          0              161            111   117   103
0.79/0.85	c 310            3818           303568         83800          0              171            46   114   82  
0.79/0.88	c 320            3938           314603         86857          0              177            40   107   90  
0.89/0.90	c 330            4026           321429         89084          0              181            69   75   65   
0.89/0.92	c 332            4099           327679         91220          0              183            52   72   41   
0.89/0.95	c 340            4188           340481         95176          0              188            30   76   38   
0.89/0.98	c 350            4303           351739         98502          0              197            38   106   79  
0.99/1.01	c 360            4448           364092         101530         0              205            19   132   89  
0.99/1.04	c 370            4584           375483         104161         0              210            91   121   91  
0.99/1.06	c 380            4699           384399         106175         0              211            100   100   90 
0.99/1.08	c 390            4805           392074         108220         0              217            19   91   75   
1.10/1.11	c 400            4961           402605         110884         0              220            16   137   111 
1.10/1.13	c 410            5089           411193         112193         0              225            79   104   88  
1.10/1.16	c 420            5247           422832         114681         0              233            52   146   89  
1.10/1.18	c 430            5368           432021         116832         0              239            63   99   85   
1.10/1.20	c 440            5483           439351         118653         0              246            58   101   66  
1.20/1.23	c 450            5663           448982         122364         0              249            50   87   66   
1.20/1.25	c 460            5777           457086         124663         0              254            65   102   84  
1.20/1.27	c 465            5891           465083         126708         0              259            54   110   76  
1.20/1.29	c 470            6013           472557         128457         0              264            55   104   77  
1.29/1.31	c 480            6106           479273         129540         0              269            40   48   41   
1.29/1.32	c 490            6171           484107         130280         0              274            26   45   36   
1.29/1.35	c 500            6345           497543         133219         0              279            22   155   114 
1.29/1.38	c 510            6523           509875         135791         0              284            144   162   140
1.39/1.40	c 520            6657           518899         137861         0              288            106   117   104
1.39/1.43	c 530            6782           527827         140066         0              294            34   109   90  
1.39/1.45	c 540            6922           536917         142433         0              300            36   111   91  
1.39/1.47	c 550            7055           545939         144604         0              308            71   109   85  
1.49/1.50	c 560            7188           554391         146802         0              313            28   110   49  
1.49/1.53	c 570            7335           566260         150168         0              322            51   133   96  
1.49/1.56	c 580            7516           578240         152905         0              331            119   153   129
1.49/1.58	c 590            7643           589028         156715         0              339            53   111   86  
1.59/1.61	c 600            7785           597946         158609         0              344            120   122   109
1.59/1.63	c 610            7956           609688         161241         0              349            130   151   124
1.59/1.65	c 611            8043           615157         162957         0              350            87   87   43   
1.59/1.67	c 620            8168           623489         165200         0              355            80   97   83   
1.59/1.69	c 630            8252           629182         166333         0              358            54   65   57   
1.69/1.71	c 640            8391           637836         168233         0              368            36   128   90  
1.69/1.73	c 650            8510           645371         169916         0              371            105   105   95 
1.69/1.74	c 660            8608           652015         172071         0              376            42   84   68   
1.69/1.76	c 670            8715           659384         176739         0              380            29   52   39   
1.69/1.78	c 680            8847           666799         178318         0              386            22   98   69   
1.79/1.80	c 690            8972           675125         180256         0              390            92   99   87   
1.79/1.82	c 700            9070           680806         181942         0              394            28   75   62   
1.79/1.83	c 710            9146           686128         183924         0              398            44   58   50   
1.79/1.85	c 720            9298           694367         186252         0              405            27   117   53  
1.79/1.87	c 730            9410           701760         188135         0              410            31   80   67   
1.89/1.90	c 740            9572           712327         190617         0              415            82   145   121 
1.89/1.96	c 750            9669           731197         196194         0              421            29   54   43   
1.89/1.98	c 760            9793           738885         198107         0              430            73   115   97  
1.99/2.00	c 770            9935           747477         200158         0              438            29   129   105 
1.99/2.01	c 771            10019          751970         201538         0              439            84   84   42   
1.99/2.03	c 780            10096          757187         203556         0              443            29   60   49   
1.99/2.04	c 790            10194          762754         205204         0              446            28   67   53   
1.99/2.06	c 800            10357          771748         207168         0              453            57   142   98  
1.99/2.09	c 810            10462          780313         209285         0              459            36   81   63   
2.09/2.10	c 820            10554          786003         211042         0              465            36   65   53   
2.09/2.12	c 830            10668          794501         213405         0              470            53   85   65   
2.09/2.15	c 840            10817          803337         215327         0              478            57   140   97  
2.09/2.17	c 850            10942          811012         217180         0              486            55   104   79  
2.09/2.19	c 860            11062          820997         222824         0              489            80   85   75   
2.20/2.21	c 870            11161          828314         225789         0              494            33   83   66   
2.20/2.23	c 880            11277          835779         227512         0              496            81   85   76   
2.20/2.26	c 890            11408          845255         230680         0              505            56   111   78  
2.20/2.28	c 900            11546          854526         232972         0              511            43   103   69  
2.30/2.31	c 910            11682          863612         235392         0              520            35   115   87  
2.30/2.33	c 920            11838          873092         237412         0              525            65   144   110 
2.30/2.35	c 930            11948          880420         239524         0              531            66   93   79   
2.30/2.37	c 940            12069          888230         241417         0              535            45   82   69   
2.30/2.38	c 947            12155          894104         243728         0              539            63   66   56   
2.30/2.39	c 950            12221          897533         244876         0              542            30   54   29   
2.39/2.41	c 960            12311          903262         246866         0              543            66   69   61   
2.39/2.43	c 970            12467          914052         249262         0              551            52   142   87  
2.39/2.46	c 980            12624          924423         251990         0              559            33   136   104 
2.39/2.49	c 990            12788          935620         254822         0              569            29   144   96  
2.49/2.52	c 1000           12938          948083         258359         0              574            63   118   94  
2.49/2.54	c 1010           13037          954652         260408         0              575            73   75   67   
2.49/2.56	c 1020           13196          964414         263421         0              582            28   119   63  
2.49/2.58	c 1030           13283          970170         265416         0              583            63   66   59   
2.59/2.61	c 1040           13435          981615         268954         0              592            28   131   86  
2.59/2.62	c 1050           13528          987793         270955         0              593            69   72   64   
2.59/2.64	c 1060           13622          993891         272973         0              594            69   73   64   
2.59/2.65	c 1070           13711          999734         274992         0              595            65   68   60   
2.59/2.68	c 1080           13844          1009247        277416         0              604            27   122   80  
2.69/2.70	c 1090           13993          1019064        279770         0              610            81   139   107 
2.69/2.74	c 1100           14128          1031431        283299         0              617            54   126   88  
2.69/2.76	c 1110           14259          1039578        285640         0              622            29   105   81  
2.69/2.79	c 1120           14400          1051689        289088         0              632            52   131   96  
2.79/2.81	c 1130           14535          1060826        291843         0              637            37   108   83  
2.79/2.84	c 1140           14672          1070777        294113         0              646            63   127   103 
2.79/2.85	c 1141           14733          1074414        295402         0              647            61   61   30   
2.79/2.86	c 1150           14807          1079025        296800         0              652            51   57   48   
2.79/2.87	c 1160           14902          1085562        298589         0              657            47   63   55   
2.89/2.90	c 1170           15038          1094692        300907         0              664            61   122   98  
2.89/2.92	c 1180           15191          1104582        304047         0              674            28   128   84  
2.89/2.95	c 1190           15358          1115894        306632         0              684            65   158   115 
2.89/2.99	c 1200           15480          1131075        314068         0              693            28   99   67   
2.99/3.02	c 1210           15620          1140531        316458         0              698            92   122   106 
2.99/3.07	c 1220           15730          1159848        324100         0              705            27   98   73   
2.99/3.09	c 1230           15820          1166025        326105         0              706            66   69   61   
3.09/3.11	c 1240           15959          1175784        328727         0              714            55   128   101 
3.09/3.13	c 1250           16044          1181587        330716         0              715            61   64   57   
3.09/3.16	c 1260           16185          1191837        333263         0              721            43   128   105 
3.09/3.18	c 1270           16359          1203781        335915         0              729            54   161   120 
3.19/3.20	c 1280           16445          1209697        337915         0              730            62   65   58   
3.19/3.23	c 1290           16586          1220101        340733         0              738            43   129   99  
3.19/3.25	c 1300           16722          1228733        342745         0              747            51   121   97  
3.19/3.26	c 1310           16811          1234656        344763         0              748            65   68   60   
3.19/3.29	c 1320           16949          1243378        347018         0              754            72   125   106 
3.29/3.31	c 1330           17089          1252854        349399         0              759            100   122   106
3.29/3.33	c 1340           17224          1261511        351697         0              767            55   124   99  
3.29/3.36	c 1350           17391          1274268        354490         0              773            108   152   129
3.29/3.37	c 1352           17429          1276091        355314         0              774            31   36   22   
3.29/3.38	c 1360           17512          1281647        357291         0              777            66   69   60   
3.39/3.40	c 1370           17650          1291047        359796         0              781            51   121   61  
3.39/3.43	c 1380           17787          1300664        361907         0              791            63   128   101 
3.39/3.45	c 1390           17935          1310105        363950         0              799            64   138   114 
3.39/3.47	c 1400           18068          1317653        365866         0              806            66   104   81  
3.39/3.49	c 1410           18188          1323926        367607         0              811            77   88   76   
3.49/3.52	c 1420           18305          1333667        369882         0              816            68   82   68   
3.49/3.53	c 1430           18405          1340384        371625         0              817            75   77   69   
3.49/3.55	c 1440           18494          1346113        373659         0              818            65   68   60   
3.49/3.58	c 1450           18604          1357505        376693         0              823            55   81   64   
3.59/3.62	c 1460           18712          1372455        380740         0              830            66   78   68   
3.59/3.64	c 1470           18802          1379161        383626         0              834            59   73   64   
3.59/3.67	c 1480           18932          1390750        385995         0              842            66   88   69   
3.59/3.69	c 1490           19025          1397080        387683         0              844            70   71   64   
3.69/3.70	c 1500           19103          1402476        389655         0              845            54   57   50   
3.69/3.76	c 1510           19182          1421679        396504         0              850            42   52   41   
3.69/3.78	c 1520           19260          1427141        398489         0              851            54   57   50   
3.79/3.83	c 1530           19342          1443860        404670         0              858            40   58   49   
3.79/3.84	c 1540           19423          1449499        406641         0              859            57   60   53   
3.79/3.87	c 1550           19496          1459456        409232         0              865            41   54   46   
3.79/3.89	c 1560           19577          1465515        411580         0              869            56   59   52   
3.89/3.91	c 1570           19710          1475088        414247         0              877            40   122   94  
3.89/3.94	c 1580           19885          1487487        416964         0              883            51   159   131 
3.89/3.96	c 1585           20006          1495446        418816         0              888            71   114   79  
3.89/3.98	c 1590           20112          1501849        420387         0              893            75   102   78  
3.99/4.00	c 1600           20245          1510299        422234         0              898            85   109   87  
3.99/4.02	c 1610           20350          1517055        424317         0              899            79   81   73   
3.99/4.05	c 1620           20453          1529585        428483         0              907            66   88   74   
3.99/4.07	c 1630           20570          1536713        430225         0              910            73   82   72   
3.99/4.09	c 1640           20689          1544149        432355         0              914            75   102   89  
4.09/4.11	c 1650           20789          1552229        433747         0              922            66   86   74   
4.09/4.15	c 1660           20927          1567348        437886         0              926            89   109   89  
4.09/4.18	c 1670           21049          1578893        440992         0              932            80   97   79   
4.19/4.20	c 1680           21159          1585762        442598         0              937            83   85   77   
4.19/4.22	c 1690           21289          1593326        444482         0              943            66   86   73   
4.19/4.24	c 1700           21388          1600208        446564         0              947            44   82   70   
4.19/4.26	c 1710           21487          1608954        448499         0              955            44   85   71   
4.19/4.28	c 1720           21598          1616282        450595         0              956            87   90   80   
4.29/4.30	c 1730           21720          1624494        452346         0              960            63   105   77  
4.29/4.33	c 1740           21850          1634748        455615         0              968            34   120   89  
4.29/4.35	c 1750           21959          1642390        457453         0              976            23   99   72   
4.29/4.37	c 1760           22079          1650151        459208         0              984            17   109   83  
4.29/4.39	c 1770           22192          1658007        461009         0              992            30   102   82  
4.39/4.41	c 1780           22308          1666052        464294         0              997            30   83   63   
4.39/4.44	c 1790           22458          1677938        467080         0              1006           51   141   109 
4.39/4.46	c 1800           22604          1689025        470319         0              1009           105   124   110
4.39/4.50	c 1810           22702          1701008        473569         0              1017           38   87   70   
4.49/4.52	c 1820           22863          1708719        476704         0              1021           47   85   68   
4.49/4.53	c 1830           22961          1715016        478754         0              1024           74   76   68   
4.49/4.57	c 1840           23061          1728629        483567         0              1031           50   87   73   
4.49/4.59	c 1841           23147          1734653        485542         0              1032           86   86   43   
4.59/4.61	c 1850           23249          1741467        487120         0              1033           90   90   81   
4.59/4.63	c 1860           23362          1749047        489230         0              1037           89   97   86   
4.59/4.66	c 1870           23471          1761743        495035         0              1045           45   88   69   
4.59/4.68	c 1880           23576          1769407        496988         0              1049           74   77   68   
4.69/4.70	c 1890           23682          1776402        499065         0              1056           66   92   78   
4.69/4.72	c 1900           23835          1787272        501583         0              1064           38   141   101 
4.69/4.74	c 1910           23941          1794459        503695         0              1068           84   89   79   
4.69/4.77	c 1920           24040          1803387        505430         0              1073           32   84   69   
4.69/4.78	c 1930           24119          1809340        507420         0              1074           55   58   51   
4.79/4.82	c 1940           24219          1823632        511360         0              1080           33   87   62   
4.79/4.84	c 1950           24336          1831338        513531         0              1084           32   100   83  
4.79/4.87	c 1960           24435          1841111        515962         0              1089           33   84   70   
4.79/4.89	c 1970           24548          1848325        517647         0              1094           81   91   78   
4.89/4.92	c 1980           24713          1861839        520722         0              1101           33   150   90  
4.89/4.94	c 1990           24791          1867755        522727         0              1103           53   56   50   
4.89/4.98	c 2000           24895          1883177        527173         0              1111           29   89   57   
4.99/5.01	c 2010           25046          1895613        529903         0              1118           34   135   84  
4.99/5.03	c 2020           25126          1901565        531899         0              1120           55   58   51   
4.99/5.09	c 2030           25183          1921800        539769         0              1126           23   34   26   
5.09/5.10	c 2040           25246          1926982        541316         0              1130           40   42   37   
5.09/5.12	c 2050           25316          1932490        543340         0              1135           7   54   39    
5.09/5.13	c 2060           25384          1938143        544920         0              1143           8   48   36    
5.09/5.15	c 2070           25487          1945361        547189         0              1148           11   91   66   
5.09/5.18	c 2080           25641          1956902        550506         0              1158           7   145   86   
5.19/5.22	c 2090           25743          1971596        555202         0              1165           7   61   40    
5.19/5.24	c 2100           25809          1976409        555847         0              1171           42   54   47   
5.19/5.27	c 2110           25976          1988920        558670         0              1179           137   154   134
5.29/5.30	c 2120           26134          2002219        561730         0              1184           132   144   127
5.29/5.31	c 2122           26211          2008138        563521         0              1186           7   76   27    
5.29/5.34	c 2130           26373          2019027        566214         0              1191           122   154   127
5.29/5.37	c 2140           26542          2031663        569176         0              1196           123   155   134
5.39/5.40	c 2150           26696          2044131        572104         0              1198           129   133   119
5.39/5.44	c 2160           26778          2058361        576851         0              1204           40   63   48   
5.39/5.47	c 2170           26948          2070634        579860         0              1210           140   150   132
5.39/5.49	c 2180           27057          2078166        581991         0              1213           28   88   74   
5.49/5.51	c 2190           27155          2087601        584223         0              1217           37   57   48   
5.49/5.54	c 2200           27327          2100042        587147         0              1221           139   152   135
5.49/5.57	c 2210           27455          2110088        589674         0              1229           28   111   80  
5.49/5.60	c 2220           27613          2123302        592778         0              1239           138   149   130
5.59/5.63	c 2230           27789          2136012        596392         0              1249           36   167   100 
5.59/5.64	c 2240           27896          2142949        598080         0              1253           95   95   86   
5.59/5.66	c 2250           28000          2149526        600171         0              1254           83   89   78   
5.59/5.68	c 2260           28113          2156949        602272         0              1258           42   94   75   
5.69/5.71	c 2270           28189          2167505        605161         0              1264           32   62   48   
5.69/5.73	c 2280           28324          2177088        607435         0              1273           77   122   96  
5.69/5.75	c 2290           28426          2184474        609203         0              1278           82   83   75   
5.69/5.77	c 2300           28500          2190338        610005         0              1285           33   59   45   
5.69/5.79	c 2310           28645          2198846        612162         0              1290           64   78   64   
5.79/5.82	c 2320           28792          2211184        615474         0              1296           116   128   112
5.79/5.85	c 2330           28934          2223648        618512         0              1301           63   122   101 
5.79/5.87	c 2340           29026          2229463        620510         0              1302           68   71   63   
5.89/5.90	c 2350           29102          2241538        624907         0              1310           30   62   46   
5.89/5.92	c 2360           29211          2250453        627018         0              1313           73   87   68   
5.89/5.94	c 2370           29309          2256493        629043         0              1314           74   77   69   
5.89/5.97	c 2380           29397          2265827        631486         0              1324           37   76   55   
5.89/5.99	c 2390           29560          2278484        634860         0              1331           72   153   105 
5.99/6.01	c 2400           29674          2285778        636980         0              1335           91   95   84   
5.99/6.02	c 2410           29739          2290330        637765         0              1339           32   41   35   
5.99/6.04	c 2420           29819          2296119        638512         0              1341           47   64   56   
5.99/6.07	c 2430           29989          2308925        641666         0              1344           146   155   138
5.99/6.09	c 2431           30108          2316769        643802         0              1345           119   119   59 
6.09/6.11	c 2440           30274          2328345        646583         0              1351           120   155   132
6.09/6.15	c 2450           30434          2341874        649604         0              1357           140   149   131
6.09/6.17	c 2460           30595          2354197        652526         0              1362           120   150   128
6.18/6.20	c 2470           30745          2364727        655087         0              1365           131   139   122
6.18/6.23	c 2480           30856          2376049        657932         0              1369           97   100   90  
6.18/6.26	c 2490           30975          2387196        660624         0              1371           101   103   93 
6.18/6.28	c 2500           31092          2395335        662817         0              1377           91   103   89  
6.28/6.30	c 2510           31219          2404306        665473         0              1382           22   106   41  
6.28/6.33	c 2520           31345          2413382        667489         0              1388           12   114   90  
6.28/6.35	c 2530           31455          2422358        669615         0              1389           87   93   81   
6.28/6.38	c 2540           31612          2433744        672284         0              1398           13   143   110 
6.39/6.41	c 2550           31775          2446683        675170         0              1401           140   147   129
6.39/6.44	c 2560           31932          2457966        677953         0              1410           60   143   102 
6.39/6.48	c 2570           32044          2471740        682038         0              1412           94   96   87   
6.39/6.50	c 2580           32172          2480080        684281         0              1415           99   102   91  
6.48/6.52	c 2590           32275          2488575        686310         0              1419           36   78   65   
6.48/6.54	c 2600           32393          2496226        688432         0              1424           93   102   90  
6.48/6.57	c 2610           32506          2507846        693521         0              1429           29   83   52   
6.48/6.59	c 2620           32626          2515802        695398         0              1432           92   94   84   
6.59/6.62	c 2630           32800          2528401        698259         0              1436           119   158   138
6.59/6.63	c 2640           32896          2534443        700275         0              1437           72   75   67   
6.59/6.66	c 2650           32995          2544360        703146         0              1447           20   87   60   
6.59/6.68	c 2660           33096          2550487        704808         0              1454           65   79   66   
6.59/6.69	c 2670           33209          2557615        706945         0              1457           22   94   77   
6.69/6.72	c 2680           33310          2568959        712515         0              1465           23   87   57   
6.69/6.74	c 2690           33409          2575440        714247         0              1469           78   81   72   
6.69/6.77	c 2700           33581          2587865        717133         0              1475           47   154   120 
6.78/6.83	c 2710           33684          2608393        722697         0              1479           22   71   56   
6.78/6.86	c 2720           33852          2622247        725712         0              1484           65   141   118 
6.78/6.88	c 2730           33945          2628173        727715         0              1485           69   72   64   
6.88/6.92	c 2740           34047          2641853        731422         0              1495           21   77   48   
6.88/6.93	c 2750           34139          2647570        733426         0              1499           64   75   66   
6.88/6.97	c 2760           34245          2662408        739153         0              1508           22   75   49   
6.98/7.00	c 2770           34326          2671350        740980         0              1515           22   60   37   
6.98/7.01	c 2771           34421          2676428        742392         0              1516           95   95   47   
6.98/7.03	c 2780           34529          2683515        744130         0              1518           93   93   83   
6.98/7.05	c 2790           34622          2689399        746142         0              1519           69   72   64   
6.98/7.06	c 2800           34687          2694319        748447         0              1524           17   39   29   
6.98/7.07	c 2810           34789          2700413        750502         0              1525           78   81   72   
7.08/7.10	c 2820           34881          2708602        752952         0              1535           16   81   43   
7.08/7.11	c 2830           34988          2715589        754646         0              1539           52   95   79   
7.08/7.15	c 2840           35150          2728589        757653         0              1546           125   149   130
7.08/7.16	c 2850           35247          2734595        759657         0              1547           73   76   68   
7.18/7.20	c 2860           35348          2749098        763921         0              1555           24   87   57   
7.18/7.22	c 2870           35451          2755595        765957         0              1556           77   79   71   
7.18/7.25	c 2880           35541          2767033        770585         0              1566           16   79   38   
7.18/7.27	c 2890           35653          2775567        772581         0              1572           84   94   81   
7.18/7.29	c 2900           35759          2782127        774660         0              1577           82   90   79   
7.28/7.31	c 2910           35844          2788569        776600         0              1583           16   65   41   
7.28/7.32	c 2920           35942          2795030        778666         0              1588           59   82   69   
7.28/7.35	c 2930           36016          2806527        783650         0              1595           15   60   40   
7.28/7.37	c 2940           36125          2813509        785743         0              1598           80   82   74   
7.28/7.39	c 2950           36206          2819524        787026         0              1603           16   65   45   
7.38/7.40	c 2960           36300          2825623        789004         0              1608           57   78   66   
7.38/7.43	c 2970           36423          2836790        792599         0              1617           23   108   56  
7.38/7.45	c 2980           36515          2842971        794657         0              1621           52   75   63   
7.38/7.48	c 2990           36641          2855550        798465         0              1631           25   117   76  
7.48/7.51	c 3000           36765          2864251        800539         0              1639           61   113   91  
7.48/7.52	c 3010           36849          2870073        802202         0              1640           57   60   53   
7.48/7.53	c 3020           36910          2874863        804109         0              1641           37   40   35   
7.48/7.56	c 3030           36976          2885844        808043         0              1646           15   46   32   
7.48/7.58	c 3040           37057          2890959        809973         0              1647           57   60   53   
7.58/7.62	c 3050           37127          2904134        814025         0              1654           16   52   34   
7.58/7.63	c 3060           37218          2909664        815999         0              1655           67   70   62   
7.58/7.66	c 3070           37275          2921356        819217         0              1660           39   43   37   
7.58/7.68	c 3080           37358          2927886        821013         0              1667           55   59   52   
7.58/7.69	c 3090           37440          2933052        822938         0              1668           58   61   54   
7.69/7.75	c 3100           37501          2952688        828752         0              1674           42   44   38   
7.69/7.77	c 3110           37565          2957880        830686         0              1675           38   40   35   
7.79/7.80	c 3120           37665          2971134        835549         0              1684           35   82   61   
7.79/7.83	c 3130           37785          2979343        837642         0              1692           54   109   89  
7.79/7.84	c 3140           37866          2984448        839589         0              1693           57   60   53   
7.79/7.86	c 3142           37910          2990744        841721         0              1695           35   42   25   
7.79/7.87	c 3150           38017          2996897        843411         0              1699           70   96   70   
7.88/7.90	c 3160           38124          3006585        846086         0              1703           55   89   59   
7.88/7.92	c 3170           38203          3013970        848108         0              1708           59   62   55   
7.88/7.93	c 3180           38287          3019386        850065         0              1709           58   60   54   
7.88/7.97	c 3190           38355          3033297        853674         0              1714           27   44   36   
7.88/7.99	c 3200           38436          3038437        855623         0              1715           57   60   53   
7.98/8.03	c 3210           38498          3052929        860051         0              1720           23   46   36   
7.98/8.04	c 3220           38578          3058017        862014         0              1721           56   59   52   
7.98/8.08	c 3230           38697          3070433        865261         0              1731           44   110   83  
8.08/8.11	c 3240           38759          3082283        868376         0              1735           23   46   37   
8.08/8.13	c 3250           38844          3087875        870361         0              1736           59   61   55   
8.08/8.16	c 3260           38970          3100101        872726         0              1744           43   114   73  
8.08/8.19	c 3270           39032          3110136        875257         0              1749           16   47   37   
8.18/8.20	c 3280           39096          3115305        877190         0              1750           38   40   35   
8.18/8.24	c 3290           39159          3128891        880776         0              1755           24   47   38   
8.18/8.27	c 3300           39295          3139143        883647         0              1761           39   110   57  
8.18/8.28	c 3310           39381          3144768        885626         0              1762           60   62   55   
8.28/8.33	c 3320           39447          3158998        889009         0              1769           26   49   41   
8.28/8.34	c 3330           39557          3165805        891081         0              1772           81   83   75   
8.28/8.37	c 3340           39637          3174856        893711         0              1776           47   68   58   
8.28/8.38	c 3350           39719          3180015        895679         0              1777           58   61   54   
8.38/8.40	c 3360           39799          3188393        897616         0              1781           42   68   58   
8.38/8.42	c 3370           39904          3196484        900340         0              1782           79   81   73   
8.38/8.47	c 3380           39983          3211076        906562         0              1788           15   50   37   
8.38/8.48	c 3390           40052          3216354        908492         0              1789           45   48   42   
8.48/8.53	c 3400           40126          3233177        914502         0              1791           35   46   40   
8.48/8.55	c 3410           40228          3241637        917326         0              1796           65   75   62   
8.48/8.58	c 3420           40310          3250744        922264         0              1803           15   68   40   
8.48/8.59	c 3430           40410          3256482        923767         0              1808           82   84   76   
8.58/8.61	c 3440           40505          3262984        925904         0              1812           68   78   69   
8.58/8.63	c 3450           40586          3270330        927229         0              1816           37   69   58   
8.58/8.64	c 3460           40684          3276284        929247         0              1817           74   77   69   
8.58/8.66	c 3470           40764          3283079        930675         0              1820           33   57   46   
8.58/8.68	c 3480           40861          3289099        932687         0              1821           73   76   68   
8.68/8.70	c 3490           40944          3296609        934145         0              1826           37   71   59   
8.68/8.71	c 3500           41042          3302708        935758         0              1831           66   83   71   
8.68/8.73	c 3510           41147          3309184        937775         0              1834           81   83   74   
8.68/8.77	c 3520           41221          3322619        940984         0              1838           55   59   52   
8.68/8.79	c 3530           41347          3332356        943595         0              1843           52   99   60   
8.79/8.80	c 3540           41431          3337767        945583         0              1844           60   63   56   
8.79/8.83	c 3550           41515          3345508        947895         0              1852           22   70   52   
8.79/8.84	c 3551           41598          3349588        949230         0              1853           83   83   41   
8.79/8.85	c 3560           41696          3356104        951284         0              1859           23   88   67   
8.79/8.87	c 3570           41801          3363448        952474         0              1864           57   77   60   
8.89/8.91	c 3580           41972          3377845        955544         0              1869           126   136   119
8.89/8.93	c 3590           42110          3388197        958178         0              1876           56   124   96  
8.89/8.99	c 3600           42241          3409351        963334         0              1881           61   111   74  
8.98/9.01	c 3610           42355          3416203        964980         0              1885           88   94   82   
8.98/9.03	c 3620           42460          3425044        967480         0              1888           54   77   58   
8.98/9.05	c 3630           42561          3431375        969171         0              1892           64   90   78   
8.98/9.06	c 3640           42643          3437676        971184         0              1893           56   58   52   
8.98/9.09	c 3650           42750          3446906        973415         0              1897           48   94   74   
9.08/9.10	c 3660           42838          3453450        975455         0              1901           18   71   58   
9.08/9.12	c 3670           42921          3461526        977951         0              1909           23   70   54   
9.08/9.14	c 3680           43015          3467307        979598         0              1912           73   79   69   
9.08/9.15	c 3690           43117          3473790        981660         0              1914           74   76   68   
9.08/9.17	c 3700           43228          3481421        983172         0              1921           22   99   70   
9.08/9.19	c 3710           43313          3487989        985373         0              1925           66   72   62   
9.18/9.21	c 3720           43425          3495158        987082         0              1932           21   91   66   
9.18/9.23	c 3730           43508          3501878        989289         0              1937           34   70   58   
9.18/9.25	c 3740           43587          3510464        992451         0              1943           19   65   49   
9.18/9.27	c 3750           43669          3516739        994516         0              1944           58   61   54   
9.18/9.29	c 3760           43780          3526531        997058         0              1954           18   101   66  
9.28/9.32	c 3770           43911          3537245        1000149        0              1964           20   122   91  
9.28/9.35	c 3780           44056          3548414        1003149        0              1974           36   136   98  
9.28/9.36	c 3790           44138          3554907        1005353        0              1979           63   68   59   
9.28/9.39	c 3800           44195          3565047        1009657        0              1984           25   39   32   
9.38/9.43	c 3810           44352          3578863        1012843        0              1993           136   147   130
9.38/9.45	c 3820           44490          3589025        1015841        0              1998           36   128   95  
9.38/9.48	c 3830           44649          3602143        1018728        0              2004           127   134   120
9.38/9.49	c 3840           44705          3607047        1019991        0              2007           39   45   38   
9.48/9.53	c 3850           44863          3620088        1022899        0              2013           121   130   115
9.48/9.55	c 3860           44987          3628826        1025111        0              2014           98   100   90  
9.48/9.56	c 3870           45044          3633743        1026320        0              2017           41   46   40   
9.48/9.59	c 3880           45197          3646327        1029190        0              2023           121   128   114
9.58/9.60	c 3890           45252          3651294        1030532        0              2026           39   44   38   
9.58/9.64	c 3900           45419          3664765        1033506        0              2030           120   135   118
9.58/9.65	c 3910           45474          3669734        1034791        0              2033           41   44   39   
9.58/9.67	c 3920           45584          3677711        1037108        0              2037           25   98   79   
9.68/9.70	c 3930           45651          3687056        1040809        0              2041           40   53   43   
9.68/9.73	c 3940           45804          3699696        1043652        0              2051           20   144   115 
9.68/9.75	c 3950           45928          3709033        1045964        0              2058           47   115   94  
9.68/9.77	c 3960           46053          3717494        1048040        0              2062           36   100   82  
9.78/9.80	c 3970           46169          3726208        1050109        0              2065           98   101   90  
9.78/9.82	c 3980           46312          3733929        1051207        0              2069           29   37   29   
9.78/9.85	c 3990           46445          3744725        1054313        0              2079           95   124   99  
9.78/9.86	c 4000           46522          3750769        1055918        0              2083           19   61   46   
9.78/9.89	c 4001           46652          3759851        1058232        0              2084           130   130   65 
9.89/9.91	c 4010           46776          3769585        1060709        0              2093           19   116   80  
9.89/9.95	c 4020           46933          3783564        1064245        0              2101           23   147   98  
9.89/9.98	c 4030           47078          3797878        1068506        0              2109           22   136   89  
9.99/10.02	c 4040           47227          3811913        1071666        0              2116           23   133   88  
9.99/10.06	c 4050           47378          3826135        1075291        0              2123           22   138   94  
9.99/10.09	c 4060           47526          3839595        1078466        0              2131           23   134   93  
10.08/10.13	c 4070           47682          3853357        1082064        0              2138           22   147   93  
10.08/10.15	c 4080           47798          3861337        1084224        0              2145           23   105   78  
10.08/10.18	c 4090           47919          3871697        1087128        0              2155           40   112   91  
10.18/10.20	c 4100           48038          3879856        1089301        0              2163           60   106   86  
10.18/10.23	c 4110           48165          3893459        1093542        0              2173           36   118   84  
10.18/10.26	c 4120           48292          3902721        1095942        0              2177           32   107   82  
10.18/10.29	c 4130           48452          3916963        1099359        0              2185           32   147   91  
10.28/10.32	c 4140           48593          3927152        1101923        0              2190           107   126   111
10.28/10.34	c 4150           48705          3935311        1104190        0              2195           93   98   86   
10.28/10.35	c 4160           48786          3940781        1104992        0              2199           47   50   44   
10.28/10.36	c 4170           48823          3943396        1105344        0              2205           16   25   20   
10.28/10.39	c 4180           48978          3955259        1108237        0              2210           131   141   124
10.38/10.40	c 4190           49067          3962080        1110314        0              2211           63   65   58   
10.38/10.42	c 4200           49134          3969427        1112406        0              2214           16   38   25   
10.38/10.44	c 4210           49217          3975846        1114063        0              2216           31   60   44   
10.38/10.47	c 4220           49365          3987258        1116815        0              2223           113   139   119
10.38/10.48	c 4230           49445          3993462        1118448        0              2227           55   62   53   
10.48/10.51	c 4240           49607          4005495        1121203        0              2233           38   141   116 
10.48/10.54	c 4250           49764          4018578        1124142        0              2238           129   137   121
10.48/10.58	c 4260           49931          4033402        1127307        0              2243           124   132   117
10.58/10.61	c 4270           50090          4046530        1130191        0              2249           127   133   119
10.58/10.64	c 4280           50171          4058461        1134330        0              2254           33   64   55   
10.58/10.67	c 4290           50333          4071501        1137283        0              2261           44   140   115 
10.68/10.71	c 4300           50415          4082744        1140920        0              2266           34   65   56   
10.68/10.74	c 4310           50590          4097378        1144707        0              2268           144   151   134
10.68/10.79	c 4320           50671          4114082        1153628        0              2273           33   64   55   
10.78/10.82	c 4330           50829          4127005        1156500        0              2279           126   133   119
10.78/10.86	c 4340           50929          4139921        1160717        0              2282           58   68   59   
10.78/10.89	c 4350           51096          4152108        1163348        0              2288           124   144   129
10.88/10.92	c 4360           51183          4163134        1166720        0              2293           36   66   57   
10.88/10.95	c 4370           51349          4176438        1169650        0              2299           125   138   120
10.88/10.99	c 4380           51426          4191284        1176496        0              2305           35   64   51   
10.99/11.01	c 4390           51504          4197524        1178165        0              2307           54   60   52   
10.99/11.04	c 4400           51661          4210703        1181075        0              2312           120   129   114
10.99/11.07	c 4410           51822          4225262        1184142        0              2316           122   130   115
11.09/11.11	c 4420           51988          4240154        1187218        0              2319           127   135   120
11.09/11.14	c 4430           52139          4252318        1190017        0              2324           119   126   112
11.09/11.17	c 4440           52302          4266889        1193079        0              2328           125   133   119
11.18/11.20	c 4450           52460          4279888        1195965        0              2332           122   132   115
11.18/11.23	c 4460           52586          4289839        1198359        0              2338           107   116   101
11.18/11.26	c 4470           52742          4302501        1201176        0              2344           84   135   111 
11.18/11.29	c 4480           52885          4316190        1204371        0              2349           108   131   116
11.28/11.30	c 4490           52952          4321508        1206348        0              2350           43   46   40   
11.28/11.32	c 4493           53011          4328400        1208573        0              2353           46   56   37   
11.28/11.35	c 4500           53155          4339551        1211210        0              2359           115   130   108
11.28/11.37	c 4510           53238          4347672        1213047        0              2362           44   66   54   
11.38/11.40	c 4520           53386          4358993        1215833        0              2369           60   139   108 
11.38/11.44	c 4530           53480          4373973        1221490        0              2372           43   70   58   
11.38/11.47	c 4540           53630          4385975        1224324        0              2378           118   125   111
11.48/11.51	c 4550           53712          4400162        1229948        0              2381           43   65   53   
11.48/11.54	c 4560           53859          4412254        1232757        0              2387           115   122   109
11.48/11.58	c 4570           54020          4426405        1235775        0              2391           121   131   114
11.58/11.60	c 4580           54103          4435094        1237900        0              2394           44   66   54   
11.58/11.63	c 4590           54248          4446706        1240697        0              2400           113   120   107
11.58/11.67	c 4600           54339          4462291        1247109        0              2403           65   70   61   
11.68/11.70	c 4610           54486          4474151        1249967        0              2413           117   138   120
11.68/11.73	c 4620           54640          4486402        1252812        0              2419           122   129   115
11.68/11.77	c 4630           54734          4499624        1257591        0              2424           38   68   59   
11.78/11.80	c 4640           54885          4512290        1260594        0              2429           129   140   124
11.78/11.83	c 4650           55053          4526405        1263559        0              2431           135   135   122
11.78/11.86	c 4660           55145          4534492        1265090        0              2436           42   69   60   
11.78/11.89	c 4670           55303          4548509        1268355        0              2446           137   149   129
11.88/11.92	c 4680           55436          4560032        1271628        0              2456           71   124   94  
11.88/11.95	c 4690           55601          4574337        1275211        0              2460           34   151   117 
11.88/11.96	c 4700           55670          4579300        1275917        0              2464           57   57   51   
11.88/11.99	c 4710           55802          4589676        1278363        0              2469           112   119   105
11.98/12.02	c 4720           55913          4599790        1280596        0              2476           21   99   52   
11.98/12.04	c 4730           56070          4611081        1283221        0              2484           19   146   96  
11.98/12.07	c 4740           56227          4623872        1286125        0              2490           125   132   118
11.98/12.10	c 4750           56369          4635493        1289168        0              2500           18   133   81  
12.09/12.13	c 4760           56508          4646198        1291720        0              2510           19   130   91  
12.09/12.16	c 4770           56618          4658910        1295531        0              2517           18   98   50   
12.09/12.19	c 4780           56775          4670110        1298155        0              2525           18   146   96  
12.19/12.22	c 4790           56928          4682841        1301018        0              2531           121   128   114
12.19/12.25	c 4800           57070          4694462        1304061        0              2541           15   133   80  
12.19/12.28	c 4810           57217          4704922        1306349        0              2551           16   138   94  
12.28/12.31	c 4820           57368          4718226        1309710        0              2557           17   138   61  
12.28/12.34	c 4830           57502          4729955        1313171        0              2567           15   125   77  
12.28/12.37	c 4840           57633          4739202        1314943        0              2577           17   122   79  
12.38/12.40	c 4850           57785          4751865        1317806        0              2583           120   127   113
12.38/12.44	c 4860           57876          4766219        1323393        0              2588           54   69   58   
12.38/12.46	c 4870           57966          4772445        1324683        0              2595           20   79   55   
12.38/12.48	c 4880           58126          4784877        1327607        0              2603           24   147   117 
12.48/12.52	c 4890           58280          4797827        1330536        0              2607           121   130   115
12.48/12.54	c 4900           58437          4809040        1333166        0              2615           16   146   96  
12.48/12.57	c 4910           58596          4822354        1336058        0              2620           123   129   115
12.58/12.60	c 4920           58689          4830708        1337804        0              2625           55   71   59   
12.58/12.61	c 4930           58770          4836434        1338537        0              2627           56   57   51   
12.58/12.64	c 4940           58932          4847577        1341247        0              2631           141   149   132
12.58/12.67	c 4950           59020          4860086        1345673        0              2634           54   66   58   
12.68/12.70	c 4960           59183          4871865        1348434        0              2638           137   142   127
12.68/12.73	c 4970           59296          4882049        1350727        0              2645           17   101   51  
12.68/12.75	c 4980           59376          4889667        1352501        0              2648           55   67   58   
12.68/12.77	c 4990           59455          4895815        1353456        0              2652           18   62   47   
12.78/12.83	c 5035           59685          4925986        1359520        0              2664           132   150   142
13.08/13.15	c 5631           61626          5154495        1427273        0              2681           118   159   148
13.78/13.89	c 6286           63579          5480814        1500658        0              2698           20   153   147 
14.48/14.59	c 7006           66248          5837991        1552763        0              2717           134   155   148
14.98/15.03	c 7798           68780          6062519        1587347        0              2744           31   159   132 
15.58/15.68	c 8669           71471          6322114        1642525        0              2758           26   114   97  
16.28/16.35	c 9627           77123          6595189        1764829        0              2764           11   59   42   
17.08/17.11	c 10680          80867          6968979        1840445        0              2795           14   155   136 
18.08/18.11	c 11838          84169          7484418        1983317        0              2816           17   124   114 
18.69/18.80	c 13111          86855          7783754        2063744        0              2842           17   94   89   
19.48/19.59	c 14511          90284          8196022        2161959        0              2860           11   143   135 
20.58/20.62	c 16051          93888          8739250        2316742        0              2890           13   155   147 
22.88/22.92	c 17745          99404          9658995        2485913        0              2909           14   148   142 
23.78/23.84	c 19608          103852         10097244       2568287        0              2933           21   141   133 
25.18/25.24	c 21657          110814         10694169       2712455        0              2940           29   126   102 
25.98/26.08	c 23910          118233         11137177       2772264        0              2978           45   141   108 
27.38/27.47	c 26388          124480         11877235       2912414        0              3018           56   133   112 
29.18/29.25	c 29113          134294         12607203       3120887        0              3035           13   88   59   
31.18/31.23	c 32110          145797         13726572       3310645        0              3065           17   143   124 
32.88/32.94	c 35406          155631         14446418       3496671        0              3084           9   93   78    
35.78/35.84	c 39031          168110         15541027       3746044        0              3102           16   69   56   
38.28/38.30	c 43018          180943         16816091       3990699        0              3129           13   133   107 
41.48/41.51	c 47403          196358         18108841       4216873        0              3144           19   66   44   
45.88/45.95	c 52226          212519         19901843       4414378        0              3166           17   71   63   
49.99/50.06	c 57531          228938         21700979       4703089        0              3192           17   134   75  
53.59/53.68	c 63366          250832         23597807       5178157        0              3230           14   136   102 
59.49/59.55	c 69784          278503         25867983       5803969        0              3234           19   58   41   
64.48/64.51	c 76843          302293         28571530       6375141        0              3263           26   126   116 
67.48/67.56	c 84607          320430         30430981       6833639        0              3331           27   129   114 
89.68/89.72	c 93147          349109         38020741       10440718       0              3343           34   64   51   
96.68/96.76	c 102541         373319         41790692       11378890       0              3369           12   136   127 
104.08/104.11	c 112874         399831         45978829       12246390       0              3389           13   146   135 
110.98/111.05	c 124240         441345         50354636       13345502       0              3404           16   144   136 
118.28/118.33	c 136742         476069         54890548       14662513       0              3428           72   154   143 
126.78/126.89	c 150494         520816         59852379       15944654       0              3447           71   175   140 
134.08/134.18	c 165621         566823         63315390       16467074       0              3463           55   115   101 
142.27/142.31	c 182260         612335         67915707       17334449       0              3489           127   190   168
155.97/156.08	c 200562         661714         75319631       19074725       0              3517           109   179   170
169.38/169.42	c 220694         720539         82876029       20685818       0              3531           132   195   171
185.07/185.13	c 242839         794104         91262975       22446926       0              3561           99   203   191 
205.07/205.16	c 267198         869930         100623604      24727779       0              3605           26   171   151 
232.27/232.39	c 293992         950853         111910916      27399459       0              3628           24   161   152 
244.86/244.96	c 323465         1023394        118947710      28496316       0              3680           8   197   169  
258.26/258.37	c 355885         1109039        127658670      31540381       0              3769           7   207   192  
287.66/287.70	c 391547         1214847        142424136      34693690       0              3784           8   185   179  
309.56/309.66	c 430775         1347722        155677345      37434977       0              3813           9   170   157  
328.75/328.81	c 473925         1481250        168221024      41083452       0              3882           5   195   155  
364.25/364.36	c 521390         1644926        183754950      44443955       0              3930           15   181   79  
405.85/405.95	c 573601         1835592        204102541      48366657       0              3992           15   165   146 
433.04/433.11	c 631033         2013996        221687169      52526430       0              4023           15   179   151 
461.64/461.78	c 694208         2194466        235953190      55034434       0              4045           16   134   121 
506.73/506.85	c 763700         2501647        257386544      58685210       0              4066           22   145   111 
563.73/563.80	c 840141         2731948        283936230      63448256       0              4081           26   198   155 
825.80/825.91	c 924226         3065480        379604570      78326080       0              4099           23   125   113 
1000.78/1001.00	c 1016719        3460929        442898853      88539810       0              4126           23   144   122 
1058.47/1058.63	c 1118461        3786245        475056513      95318934       0              4146           21   210   187 
1120.96/1121.12	c 1230377        4121783        508710264      102763906      0              4188           32   186   167 
1200.86/1201.01	c 1353484        4480099        556521512      112903019      0              4211           27   189   176 
1259.95/1260.13	c 1488901        4865984        595411433      121541838      0              4258           31   191   167 
1399.33/1399.60	c 1637859        5430948        652933994      134919206      0              4277           21   129   99  
1507.02/1507.21	c 1801712        5947406        706604544      144471221      0              4317           7   217   163  
1613.81/1614.04	c 1981950        6536447        765635004      155817447      0              4342           13   192   176 
1717.10/1717.31	c 2180211        7204508        832839358      170233279      0              4358           13   163   153 
1847.79/1848.01	c 2398298        7720485        898001004      185768548      0              4443           23   163   154 
1941.87/1942.16	c 2638193        8312371        963147314      203304911      0              4486           59   201   188 
2091.96/2092.26	c 2902077        9085436        1057156172     224786839      0              4535           43   186   168 
2303.44/2303.78	c 3192349        10287137       1157429500     244022373      0              4559           13   154   125 

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-4241727-1500651285/watcher-4241727-1500651285 -o /tmp/evaluation-result-4241727-1500651285/solver-4241727-1500651285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241727-1500651285.xml 

pid=10437
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.00 2.03 1.95 3/242 10440
/proc/meminfo: memFree=32017356/32770624 swapFree=6064/187688
[pid=10440] ppid=10437 vsize=27516 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 1107 0 0 0 0 0 0 0 20 0 1 0 393359 28176384 937 33554432000 4194304 5970956 140726032211968 140726032206360 140467152940336 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 6879 937 726 434 0 243 0

[startup+0.100122 s]
/proc/loadavg: 2.00 2.03 1.95 3/242 10440
/proc/meminfo: memFree=32017356/32770624 swapFree=6064/187688
[pid=10440] ppid=10437 vsize=36328 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 2372 0 0 0 9 0 0 0 20 0 1 0 393359 37199872 2182 33554432000 4194304 5970956 140726032211968 140726032208840 5327985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9082 2182 802 434 0 2446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36328

[startup+0.200269 s]
/proc/loadavg: 2.00 2.03 1.95 3/242 10440
/proc/meminfo: memFree=32017356/32770624 swapFree=6064/187688
[pid=10440] ppid=10437 vsize=36328 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 2394 0 0 0 19 0 0 0 20 0 1 0 393359 37199872 2182 33554432000 4194304 5970956 140726032211968 140726032209304 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9082 2182 802 434 0 2446 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36328

[startup+0.300196 s]
/proc/loadavg: 2.00 2.03 1.95 3/242 10440
/proc/meminfo: memFree=32017356/32770624 swapFree=6064/187688
[pid=10440] ppid=10437 vsize=36328 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 2401 0 0 0 29 0 0 0 20 0 1 0 393359 37199872 2182 33554432000 4194304 5970956 140726032211968 140726032209304 5044879 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9082 2182 802 434 0 2446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36328

[startup+0.700173 s]
/proc/loadavg: 2.00 2.03 1.95 3/242 10440
/proc/meminfo: memFree=32017356/32770624 swapFree=6064/187688
[pid=10440] ppid=10437 vsize=36472 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 2430 0 0 0 69 0 0 0 20 0 1 0 393359 37347328 2248 33554432000 4194304 5970956 140726032211968 140726032209304 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9118 2248 805 434 0 2482 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36472

[startup+1.50017 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32011296/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36472 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 2446 0 0 0 149 0 0 0 20 0 1 0 393359 37347328 2248 33554432000 4194304 5970956 140726032211968 140726032209304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9118 2248 805 434 0 2482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36472

[startup+3.10021 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32010924/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36472 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 3784 0 0 0 309 0 0 0 20 0 1 0 393359 37347328 2311 33554432000 4194304 5970956 140726032211968 140726032209304 5044991 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9118 2311 805 434 0 2482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36472

[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32010580/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36472 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 5221 0 0 0 628 0 0 0 20 0 1 0 393359 37347328 2358 33554432000 4194304 5970956 140726032211968 140726032209304 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9118 2358 805 434 0 2482 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36472

[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32006540/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36600 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 6735 0 0 0 1268 0 0 0 20 0 1 0 393359 37478400 2975 33554432000 4194304 5970956 140726032211968 140726032209304 5136795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9150 2975 805 434 0 2514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36600

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32006220/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36600 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 9174 0 0 0 2548 0 0 0 20 0 1 0 393359 37478400 2981 33554432000 4194304 5970956 140726032211968 140726032209304 5046748 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9150 2981 805 434 0 2514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36600

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.95 3/243 10441
/proc/meminfo: memFree=32006220/32770624 swapFree=6064/187376
[pid=10440] ppid=10437 vsize=36600 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 10217 0 0 0 5108 1 0 0 20 0 1 0 393359 37478400 2989 33554432000 4194304 5970956 140726032211968 140726032209304 5045760 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9150 2989 805 434 0 2514 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36600

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 1.96 3/243 10442
/proc/meminfo: memFree=32006116/32770624 swapFree=6064/187596
[pid=10440] ppid=10437 vsize=36600 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 11223 0 0 0 10228 1 0 0 20 0 1 0 393359 37478400 2991 33554432000 4194304 5970956 140726032211968 140726032209304 5044849 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9150 2991 805 434 0 2514 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 36600

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/243 10443
/proc/meminfo: memFree=32006764/32770624 swapFree=6064/187596
[pid=10440] ppid=10437 vsize=36600 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 12201 0 0 0 16226 1 0 0 20 0 1 0 393359 37478400 2994 33554432000 4194304 5970956 140726032211968 140726032209304 4908171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9150 2994 805 434 0 2514 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 36600

[startup+222.308 s]
/proc/loadavg: 2.01 2.03 1.96 3/243 10444
/proc/meminfo: memFree=32006880/32770624 swapFree=6064/187736
[pid=10440] ppid=10437 vsize=36732 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 13243 0 0 0 22226 1 0 0 20 0 1 0 393359 37613568 3012 33554432000 4194304 5970956 140726032211968 140726032209304 5045760 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3012 805 434 0 2547 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 36732

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/243 10445
/proc/meminfo: memFree=32007072/32770624 swapFree=6064/187792
[pid=10440] ppid=10437 vsize=36732 CPUtime=282.26 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 14260 0 0 0 28225 1 0 0 20 0 1 0 393359 37613568 3020 33554432000 4194304 5970956 140726032211968 140726032209304 5328066 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3020 805 434 0 2547 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 36732

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/244 10454
/proc/meminfo: memFree=32007124/32770624 swapFree=6064/187860
[pid=10440] ppid=10437 vsize=36732 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 15298 0 0 0 34224 1 0 0 20 0 1 0 393359 37613568 3021 33554432000 4194304 5970956 140726032211968 140726032209304 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3021 805 434 0 2547 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 36732

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/244 10455
/proc/meminfo: memFree=32006696/32770624 swapFree=6064/187860
[pid=10440] ppid=10437 vsize=36732 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 16320 0 0 0 40223 1 0 0 20 0 1 0 393359 37613568 3028 33554432000 4194304 5970956 140726032211968 140726032209304 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3028 805 434 0 2547 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 36732

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/244 10456
/proc/meminfo: memFree=32007192/32770624 swapFree=6064/187860
[pid=10440] ppid=10437 vsize=36732 CPUtime=462.24 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 17341 0 0 0 46223 1 0 0 20 0 1 0 393359 37613568 3028 33554432000 4194304 5970956 140726032211968 140726032209304 5046418 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3028 805 434 0 2547 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 36732

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/244 10457
/proc/meminfo: memFree=32006228/32770624 swapFree=6064/187860
[pid=10440] ppid=10437 vsize=36732 CPUtime=522.23 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 18320 0 0 0 52222 1 0 0 20 0 1 0 393359 37613568 3028 33554432000 4194304 5970956 140726032211968 140726032209304 5045172 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3028 805 434 0 2547 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 36732

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/244 10458
/proc/meminfo: memFree=32007388/32770624 swapFree=6064/188008
[pid=10440] ppid=10437 vsize=36732 CPUtime=582.22 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 19309 0 0 0 58221 1 0 0 20 0 1 0 393359 37613568 3028 33554432000 4194304 5970956 140726032211968 140726032209304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3028 805 434 0 2547 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 36732


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10491
/proc/meminfo: memFree=32003460/32770624 swapFree=6064/188660
[pid=10440] ppid=10437 vsize=36732 CPUtime=1542.12 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 32957 0 0 0 154211 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5044824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 36732

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/244 10515
/proc/meminfo: memFree=32003740/32770624 swapFree=6064/188688
[pid=10440] ppid=10437 vsize=36732 CPUtime=1602.11 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 33590 0 0 0 160210 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5045004 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 36732

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/244 10516
/proc/meminfo: memFree=32003340/32770624 swapFree=6064/188688
[pid=10440] ppid=10437 vsize=36732 CPUtime=1662.1 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 34462 0 0 0 166209 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5031751 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 36732

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.99 3/244 10649
/proc/meminfo: memFree=31697348/32770624 swapFree=6064/188688
[pid=10440] ppid=10437 vsize=36732 CPUtime=1722.09 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 35509 0 0 0 172208 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5320481 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 36732

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.99 3/244 10650
/proc/meminfo: memFree=31695036/32770624 swapFree=6064/188876
[pid=10440] ppid=10437 vsize=36732 CPUtime=1782.09 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 36109 0 0 0 178208 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 36732

[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/244 10651
/proc/meminfo: memFree=31695044/32770624 swapFree=6064/188876
[pid=10440] ppid=10437 vsize=36732 CPUtime=1842.08 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 36703 0 0 0 184207 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5046951 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 36732

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/243 10652
/proc/meminfo: memFree=31695564/32770624 swapFree=6064/188876
[pid=10440] ppid=10437 vsize=36732 CPUtime=1902.07 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 37687 0 0 0 190206 1 0 0 20 0 1 0 393359 37613568 3036 33554432000 4194304 5970956 140726032211968 140726032209304 5044845 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3036 805 434 0 2547 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 36732

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/243 10653
/proc/meminfo: memFree=31695244/32770624 swapFree=6064/188876
[pid=10440] ppid=10437 vsize=36732 CPUtime=1962.07 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 38686 0 0 0 196206 1 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 36732

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 10654
/proc/meminfo: memFree=31695124/32770624 swapFree=6064/188876
[pid=10440] ppid=10437 vsize=36732 CPUtime=2022.06 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 39259 0 0 0 202205 1 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5045760 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 36732

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/242 10655
/proc/meminfo: memFree=31695200/32770624 swapFree=6064/189084
[pid=10440] ppid=10437 vsize=36732 CPUtime=2082.06 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 39871 0 0 0 208205 1 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 36732

[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/243 10664
/proc/meminfo: memFree=31694836/32770624 swapFree=6064/189124
[pid=10440] ppid=10437 vsize=36732 CPUtime=2142.05 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 41092 0 0 0 214203 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 36732

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 10665
/proc/meminfo: memFree=31695084/32770624 swapFree=6064/189124
[pid=10440] ppid=10437 vsize=36732 CPUtime=2202.05 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 42117 0 0 0 220203 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 36732

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10666
/proc/meminfo: memFree=31695480/32770624 swapFree=6064/189208
[pid=10440] ppid=10437 vsize=36732 CPUtime=2262.04 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 42895 0 0 0 226202 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5044824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 36732

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10667
/proc/meminfo: memFree=31695736/32770624 swapFree=6064/189208
[pid=10440] ppid=10437 vsize=36732 CPUtime=2322.03 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 43848 0 0 0 232201 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 36732

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10668
/proc/meminfo: memFree=31694808/32770624 swapFree=6064/189288
[pid=10440] ppid=10437 vsize=36732 CPUtime=2382.03 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 44586 0 0 0 238201 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 36732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10668
/proc/meminfo: memFree=31695132/32770624 swapFree=6064/189288
[pid=10440] ppid=10437 vsize=36732 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 45158 0 0 0 240001 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136587 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 36732

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 10440 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10668
/proc/meminfo: memFree=31695132/32770624 swapFree=6064/189288
[pid=10440] ppid=10437 vsize=36732 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/10440/stat : 10440 (cosoco) R 10437 10440 9830 0 -1 4202496 45158 0 0 0 240001 2 0 0 20 0 1 0 393359 37613568 3038 33554432000 4194304 5970956 140726032211968 140726032209304 5136587 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27725824 140726032213180 140726032213315 140726032213315 140726032216014 0
/proc/10440/statm: 9183 3038 805 434 0 2547 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 36732

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2400.02
CPU system time (s): 0.021997
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 36732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.021997
maximum resident set size= 12196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45184
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= 13
involuntary context switches= 120637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20145 second user time and 10.844 second system time

The end

Begin job on node151 at 2017-07-21 17:34:45
IDJOB=4241727
IDBENCH=128084
IDSOLVER=2621
FILE ID=node151/4241727-1500651285
RUNJOBID= node151-1500648172-9862
PBS_JOBID= 20623270
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241727-1500651285/watcher-4241727-1500651285 -o /tmp/evaluation-result-4241727-1500651285/solver-4241727-1500651285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241727-1500651285.xml

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

MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487
RANDOM SEED=182277504

node151.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.49
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	: 5342.81
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		: 1867.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.49
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	: 5342.81
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		: 2000.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.49
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	: 5342.81
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		: 2267.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.49
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	: 5342.81
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		: 2000.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.49
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		: 1733.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	: 5342.81
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		: 2668.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.49
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	: 5342.81
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		: 2267.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.49
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	: 5342.81
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		: 1600.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.49
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32017836 kB
MemAvailable:   32003000 kB
Buffers:           32036 kB
Cached:           263444 kB
SwapCached:            0 kB
Active:           180728 kB
Inactive:         196236 kB
Active(anon):      84288 kB
Inactive(anon):     8548 kB
Active(file):      96440 kB
Inactive(file):   187688 kB
Unevictable:        6064 kB
Mlocked:            6096 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2116 kB
Writeback:             0 kB
AnonPages:         86564 kB
Mapped:            30836 kB
Shmem:              8848 kB
Slab:              65628 kB
SReclaimable:      33744 kB
SUnreclaim:        31884 kB
KernelStack:        4272 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62020 MiB
End job on node151 at 2017-07-21 18:14:45