0.29/0.36	c SAT : Variables: 38416 -- Clauses: 3745756
0.29/0.38	c root propagations     : 20035       
0.29/0.38	c restarts enabled, print stats at every restarts
0.29/0.38	c
0.29/0.38	c
0.29/0.38	c
0.29/0.38	c This is cosoco 1.0 --  
0.29/0.38	c
0.29/0.38	c ========================================[ Problem Statistics ]===========================================
0.29/0.38	c |                                                                                                       
0.29/0.38	c |  Parse time        :         0.31 s 
0.29/0.38	c |
0.29/0.38	c |               Variables: 196
0.29/0.38	c |            Domain Sizes: 196..196
0.29/0.38	c |
0.29/0.38	c |             Constraints: 101
0.29/0.38	c |                   Arity: 1..196  -- Unary: 2  -- Ternary: 98
0.29/0.38	c | 
0.29/0.38	c |                   Types: 
0.29/0.38	c |                          All Different: 1
0.29/0.38	c |                          Extension: 98  (nb tuples: 7384..7384) -- (shared: 97)
0.29/0.38	c |                          Unary: 2
0.29/0.38	c |                          
0.29/0.38	c =========================================================================================================
0.29/0.38	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.49/0.50	c 10             182            3117           49004          196            9              69   172   121 
0.59/0.61	c 20             347            5703           78831          196            19             45   153   105 
0.69/0.72	c 30             542            8564           100733         196            28             92   181   143 
0.79/0.85	c 40             725            11797          126660         196            38             117   171   131
0.89/0.97	c 50             886            14678          153759         196            48             44   152   83  
0.99/1.08	c 60             1052           17454          175582         196            58             103   157   127
1.10/1.19	c 70             1237           20417          195479         196            68             138   176   147
1.29/1.30	c 80             1369           22705          217100         196            78             44   123   77  
1.39/1.42	c 90             1557           25898          238854         196            87             121   179   143
1.49/1.53	c 100            1730           28817          263153         196            97             89   164   132 
1.49/1.58	c 101            1774           29736          268261         196            98             44   44   22   
1.59/1.69	c 110            1921           32330          295088         196            107            79   137   99  
1.79/1.82	c 120            2077           35253          323871         196            117            44   147   84  
1.89/1.93	c 130            2266           38283          341974         196            125            173   179   158
1.99/2.03	c 140            2397           40339          361239         196            135            44   122   74  
2.09/2.13	c 150            2588           43281          379972         196            139            129   181   154
2.20/2.26	c 160            2761           46223          409317         196            149            44   164   86  
2.30/2.37	c 170            2935           49179          428168         196            160            149   162   142
2.39/2.48	c 180            3130           52471          446776         196            166            163   178   157
2.49/2.59	c 190            3317           55336          466538         196            175            73   177   128 
2.69/2.71	c 200            3483           58017          491927         196            185            44   157   83  
2.79/2.82	c 210            3624           60521          514925         196            195            73   130   102 
2.79/2.86	c 211            3668           61437          519994         196            196            44   44   22   
2.89/2.99	c 220            3835           64334          553889         196            205            94   159   107 
3.09/3.10	c 230            3968           66929          580160         196            215            44   124   77  
3.19/3.21	c 240            4155           69710          598681         196            225            150   178   151
3.30/3.32	c 250            4362           72875          617509         196            232            151   181   157
3.40/3.42	c 260            4521           75258          642288         196            242            44   150   85  
3.49/3.52	c 270            4706           77952          662993         196            252            116   175   138
3.59/3.64	c 280            4895           80854          685151         196            261            135   175   150
3.69/3.74	c 290            5069           83613          707272         196            271            89   164   125 
3.79/3.85	c 300            5263           86463          728122         196            279            130   177   151
3.89/3.98	c 310            5429           89389          757835         196            289            44   157   86  
3.99/4.09	c 320            5626           92630          776819         196            292            162   178   159
4.19/4.21	c 330            5819           95670          796550         196            300            94   180   145 
4.19/4.26	c 332            5871           96817          804296         196            302            44   51   31   
4.29/4.38	c 340            6046           99765          825820         196            310            95   168   111 
4.40/4.50	c 350            6188           102320         850805         196            320            44   133   80  
4.59/4.63	c 360            6372           105506         872241         196            330            102   172   129
4.69/4.73	c 370            6520           107918         894849         196            340            44   139   76  
4.79/4.84	c 380            6702           110748         915632         196            350            89   173   127 
4.89/4.96	c 390            6886           113621         936476         196            358            89   174   133 
4.99/5.08	c 400            7019           116256         963266         196            368            44   124   78  
5.09/5.18	c 410            7208           119038         981435         196            376            150   180   154
5.29/5.30	c 420            7341           121653         1007706        196            386            44   124   77  
5.39/5.40	c 430            7534           124476         1025998        196            394            175   180   161
5.49/5.54	c 440            7682           127643         1062334        196            404            48   139   89  
5.59/5.66	c 450            7863           130629         1084877        196            414            105   172   118
5.69/5.78	c 460            7991           133242         1111416        196            424            44   119   78  
5.79/5.88	c 465            8139           135881         1127952        196            429            125   144   114
5.89/5.98	c 470            8321           138592         1145530        196            434            176   178   147
6.09/6.10	c 480            8454           141201         1171801        196            444            44   124   77  
6.19/6.20	c 490            8642           143990         1189968        196            453            175   179   159
6.19/6.29	c 500            8829           146401         1208519        196            459            157   174   154
6.39/6.40	c 510            9012           149283         1229844        196            469            89   173   133 
6.39/6.48	c 520            9169           151360         1257774        196            479            87   144   111 
6.59/6.61	c 530            9351           154384         1281692        196            489            106   172   127
6.69/6.72	c 540            9512           157035         1306662        196            499            44   152   83  
6.79/6.83	c 550            9699           159939         1327104        196            511            128   176   143
6.89/6.95	c 560            9886           162809         1352324        196            519            89   176   138 
6.99/7.07	c 570            10037          165680         1381732        196            529            44   142   82  
7.09/7.18	c 580            10229          168632         1399971        196            539            148   179   154
7.29/7.30	c 590            10371          171385         1428148        196            549            44   133   82  
7.39/7.41	c 600            10564          174182         1449254        196            555            139   180   155
7.49/7.51	c 610            10742          176733         1468580        196            565            89   168   120 
7.49/7.59	c 611            10831          178527         1479725        196            566            89   89   44   
7.69/7.71	c 620            11019          181603         1501924        196            574            98   179   133 
7.79/7.83	c 630            11164          184294         1528753        196            584            44   136   79  
7.88/7.94	c 640            11352          187077         1546655        196            592            106   179   147
7.98/8.05	c 650            11483          189630         1573487        196            602            44   122   78  
8.08/8.17	c 660            11660          192633         1595913        196            610            87   166   129 
8.18/8.29	c 670            11830          195394         1623179        196            620            44   160   82  
8.38/8.40	c 680            12032          198471         1642701        196            627            166   185   161
8.48/8.51	c 690            12215          201310         1664557        196            637            95   173   141 
8.58/8.62	c 700            12402          204062         1684519        196            647            89   177   143 
8.68/8.73	c 710            12585          207023         1707959        196            657            128   174   139
8.80/8.83	c 720            12723          209363         1729586        196            667            44   129   77  
8.90/8.94	c 730            12913          212014         1749593        196            673            147   178   154
8.99/9.06	c 740            13091          215105         1773593        196            683            103   168   133
9.09/9.16	c 750            13282          217956         1791462        196            688            154   179   155
9.19/9.29	c 760            13459          220923         1820344        196            698            44   168   85  
9.39/9.40	c 770            13644          223792         1841332        196            706            116   174   146
9.39/9.46	c 771            13692          224909         1848352        196            707            48   48   24   
9.49/9.56	c 780            13876          227578         1867104        196            716            168   176   156
9.59/9.67	c 790            14015          230083         1891625        196            726            44   130   79  
9.69/9.79	c 800            14197          233167         1913833        196            736            106   173   131
9.90/9.91	c 810            14388          236408         1932002        196            741            163   174   155
10.00/10.01	c 820            14583          239329         1955534        196            750            121   179   147
10.09/10.12	c 830            14732          241746         1978362        196            760            44   140   80  
10.19/10.23	c 840            14920          244858         1996247        196            762            170   176   156
10.29/10.33	c 850            15106          247517         2014160        196            769            171   176   157
10.39/10.44	c 860            15273          250115         2039130        196            779            44   158   88  
10.49/10.55	c 870            15455          253019         2061870        196            789            89   173   134 
10.59/10.69	c 880            15619          256089         2094033        196            799            44   155   84  
10.69/10.79	c 890            15812          258847         2114909        196            806            132   183   154
10.89/10.90	c 900            15997          261935         2132965        196            816            144   175   153
10.99/11.02	c 910            16182          264912         2151353        196            825            110   176   145
11.09/11.14	c 920            16315          267582         2178616        196            835            44   124   78  
11.19/11.26	c 930            16493          270495         2199842        196            844            107   169   133
11.29/11.37	c 940            16681          273484         2221011        196            852            89   176   136 
11.39/11.47	c 947            16804          275792         2245515        196            859            68   117   80  
11.49/11.57	c 950            16971          278337         2263248        196            862            100   165   104
11.69/11.70	c 960            17142          281262         2290835        196            872            44   162   84  
11.79/11.81	c 970            17334          284532         2308974        196            878            163   173   155
11.89/11.91	c 980            17527          287216         2329291        196            883            173   177   158
11.99/12.02	c 990            17654          289553         2350710        196            893            44   118   74  
12.09/12.13	c 1000           17830          292511         2375262        196            903            106   167   127
12.19/12.24	c 1010           18017          295254         2397114        196            913            89   176   143 
12.28/12.36	c 1020           18173          297922         2422474        196            923            44   147   87  
12.38/12.46	c 1030           18356          300685         2441276        196            933            121   174   142
12.48/12.59	c 1040           18507          303486         2471511        196            943            44   142   80  
12.68/12.70	c 1050           18695          306578         2489563        196            946            163   178   159
12.78/12.80	c 1060           18865          309040         2509542        196            954            91   161   129 
12.88/12.91	c 1070           19057          311995         2531769        196            961            89   180   142 
12.98/13.03	c 1080           19223          314779         2564387        196            971            68   157   98  
13.08/13.14	c 1090           19408          317870         2582421        196            978            163   173   155
13.19/13.26	c 1100           19545          320567         2610430        196            988            44   128   80  
13.29/13.37	c 1110           19720          323152         2628454        196            997            146   164   143
13.38/13.47	c 1120           19917          326106         2647543        196            1001           163   181   159
13.48/13.58	c 1130           20111          329042         2668297        196            1006           135   180   154
13.58/13.69	c 1140           20298          332011         2690087        196            1014           133   178   148
13.68/13.73	c 1141           20342          332930         2695195        196            1015           44   44   22   
13.78/13.82	c 1150           20532          335258         2712973        196            1020           168   179   158
13.89/13.92	c 1160           20718          337819         2732273        196            1025           131   177   151
13.99/14.03	c 1170           20906          340956         2754329        196            1033           127   177   142
14.09/14.14	c 1180           21098          343756         2775011        196            1041           131   176   150
14.19/14.25	c 1190           21259          346416         2800011        196            1051           44   152   83  
14.30/14.36	c 1200           21446          349484         2818348        196            1058           159   177   157
14.40/14.47	c 1210           21610          352072         2842734        196            1068           44   155   81  
14.49/14.59	c 1220           21799          355230         2860670        196            1072           163   174   155
14.69/14.71	c 1230           21962          357991         2887743        196            1082           44   154   78  
14.79/14.80	c 1240           22127          360387         2904463        196            1092           152   155   138
14.89/14.92	c 1250           22288          363092         2937911        196            1103           44   149   90  
14.98/15.03	c 1260           22465          365937         2960430        196            1113           89   167   132 
15.08/15.14	c 1270           22669          368855         2983995        196            1120           92   182   142 
15.18/15.23	c 1280           22855          371165         3003184        196            1127           169   176   155
15.28/15.34	c 1290           23042          373980         3025775        196            1134           89   175   136 
15.39/15.46	c 1300           23167          376600         3051521        196            1144           44   116   75  
15.49/15.56	c 1310           23361          379464         3070368        196            1151           174   181   161
15.58/15.68	c 1320           23543          382383         3090549        196            1159           135   173   149
15.68/15.78	c 1330           23674          384711         3111918        196            1169           44   122   77  
15.78/15.89	c 1340           23860          387695         3130946        196            1179           127   177   135
15.88/15.99	c 1350           24045          390278         3150617        196            1187           89   176   138 
15.98/16.09	c 1352           24198          392758         3167690        196            1189           146   152   99 
16.08/16.19	c 1360           24381          395370         3185654        196            1197           124   176   138
16.28/16.30	c 1370           24514          397858         3209414        196            1207           44   124   76  
16.38/16.41	c 1380           24709          400801         3229900        196            1213           146   174   152
16.49/16.52	c 1390           24914          403905         3249055        196            1222           170   182   162
16.59/16.63	c 1400           25108          407018         3274657        196            1231           89   179   141 
16.68/16.73	c 1410           25299          409716         3295401        196            1238           135   179   153
16.78/16.84	c 1420           25484          412365         3313503        196            1246           174   176   158
16.88/16.95	c 1430           25665          415134         3339830        196            1255           70   171   132 
16.98/17.05	c 1440           25829          417596         3358806        196            1265           89   155   113 
17.08/17.17	c 1450           25980          420566         3380470        196            1275           106   142   107
17.18/17.27	c 1460           26146          423138         3400442        196            1285           89   156   121 
17.28/17.38	c 1470           26340          426345         3418801        196            1292           171   182   162
17.38/17.48	c 1480           26467          428648         3440322        196            1302           44   118   74  
17.48/17.59	c 1490           26653          431409         3461244        196            1312           89   176   135 
17.60/17.70	c 1500           26836          434104         3484676        196            1320           107   172   135
17.79/17.80	c 1510           27024          436909         3504585        196            1328           146   176   152
17.89/17.92	c 1520           27181          439493         3528138        196            1338           44   148   80  
17.99/18.02	c 1530           27371          442170         3549263        196            1346           144   178   156
18.09/18.13	c 1540           27507          444702         3574869        196            1356           44   127   76  
18.19/18.23	c 1550           27678          447245         3595109        196            1366           89   162   114 
18.29/18.32	c 1560           27858          449513         3614198        196            1373           132   169   140
18.39/18.42	c 1570           28029          451966         3633560        196            1383           89   162   120 
18.49/18.55	c 1580           28211          455091         3665241        196            1392           50   170   110 
18.59/18.66	c 1585           28389          457868         3682747        196            1397           149   174   137
18.70/18.75	c 1590           28560          460142         3699746        196            1400           141   166   129
18.80/18.84	c 1600           28724          462552         3718363        196            1410           89   155   113 
18.89/18.95	c 1610           28916          465455         3737932        196            1414           164   176   155
18.99/19.06	c 1620           29102          468302         3759524        196            1420           146   175   150
19.09/19.16	c 1630           29280          470914         3780718        196            1429           105   168   127
19.19/19.27	c 1640           29465          473602         3801719        196            1437           89   174   129 
19.29/19.38	c 1650           29651          476654         3819645        196            1448           173   176   159
19.39/19.49	c 1660           29780          479029         3840630        196            1458           44   120   74  
19.49/19.59	c 1670           29909          481399         3856959        196            1468           106   120   102
19.59/19.69	c 1680           30109          484537         3875403        196            1474           150   184   162
19.69/19.80	c 1690           30300          487362         3894560        196            1479           149   179   156
19.80/19.90	c 1700           30481          489925         3914613        196            1485           161   166   148
19.99/20.00	c 1710           30613          492253         3936578        196            1495           44   123   77  
20.09/20.11	c 1720           30783          495117         3954472        196            1505           127   161   129
20.19/20.21	c 1730           30942          497383         3975187        196            1515           44   150   82  
20.29/20.32	c 1740           31128          500293         3996539        196            1525           120   177   140
20.39/20.44	c 1750           31309          503334         4018186        196            1535           98   172   135 
20.49/20.55	c 1760           31474          505969         4043935        196            1545           44   156   82  
20.59/20.67	c 1770           31681          509103         4067009        196            1550           144   181   157
20.69/20.77	c 1780           31869          511860         4089754        196            1558           167   174   154
20.79/20.87	c 1790           32038          514256         4107480        196            1568           89   160   117 
20.90/21.00	c 1800           32220          517557         4128586        196            1578           118   173   134
21.00/21.09	c 1810           32402          519805         4146884        196            1586           165   171   151
21.09/21.19	c 1820           32573          522284         4166377        196            1596           89   162   120 
21.29/21.31	c 1830           32745          525219         4195013        196            1606           44   163   102 
21.39/21.42	c 1840           32937          528131         4214781        196            1615           145   180   156
21.49/21.51	c 1841           33072          530256         4229580        196            1616           135   135   67 
21.59/21.61	c 1850           33216          532591         4251753        196            1625           44   136   74  
21.69/21.71	c 1860           33380          535012         4270551        196            1635           89   155   113 
21.79/21.82	c 1870           33574          537990         4291627        196            1642           124   181   146
21.89/21.93	c 1880           33701          540323         4313148        196            1652           44   118   74  
21.99/22.03	c 1890           33890          543080         4333710        196            1661           96   179   138 
22.09/22.14	c 1900           34078          545818         4352244        196            1666           144   175   152
22.19/22.24	c 1910           34255          548349         4377189        196            1676           76   168   119 
22.29/22.35	c 1920           34442          551192         4397633        196            1686           140   178   146
22.39/22.46	c 1930           34634          554444         4416245        196            1693           163   179   156
22.49/22.56	c 1940           34819          557127         4434744        196            1702           137   175   154
22.59/22.68	c 1950           34974          559891         4461234        196            1711           44   146   84  
22.69/22.78	c 1960           35138          562350         4480227        196            1721           89   155   113 
22.89/22.90	c 1970           35336          565658         4498742        196            1726           169   175   156
22.89/23.00	c 1980           35527          568245         4518017        196            1730           163   171   152
23.09/23.11	c 1990           35718          571485         4536112        196            1735           163   174   155
23.19/23.22	c 2000           35905          574212         4553712        196            1743           153   176   155
23.28/23.32	c 2010           36060          576672         4576151        196            1753           44   146   80  
23.38/23.43	c 2020           36246          579511         4597273        196            1761           146   175   152
23.48/23.55	c 2030           36425          582305         4623167        196            1771           44   169   106 
23.58/23.65	c 2040           36596          584790         4642663        196            1781           89   162   120 
23.68/23.78	c 2050           36715          587479         4670900        196            1791           44   110   72  
23.78/23.89	c 2060           36919          590665         4689828        196            1795           175   183   162
23.88/23.98	c 2070           37101          593091         4710279        196            1802           158   168   148
23.98/24.08	c 2080           37287          595887         4728818        196            1804           170   175   157
24.08/24.20	c 2090           37474          598877         4750694        196            1814           95   178   135 
24.29/24.31	c 2100           37670          601750         4772554        196            1820           149   177   156
24.38/24.41	c 2110           37853          604521         4795580        196            1829           123   174   135
24.48/24.52	c 2120           38042          607451         4816442        196            1838           141   177   152
24.58/24.62	c 2122           38196          609885         4835635        196            1840           130   153   94 
24.68/24.72	c 2130           38364          612559         4854644        196            1848           103   160   119
24.78/24.81	c 2140           38529          614756         4875536        196            1858           116   156   134
24.88/24.91	c 2150           38700          617243         4895035        196            1868           89   162   120 
24.98/25.02	c 2160           38868          619861         4917947        196            1878           44   159   87  
25.08/25.12	c 2170           39036          622271         4936817        196            1888           104   159   126
25.18/25.21	c 2180           39215          624802         4960202        196            1898           108   170   135
25.29/25.33	c 2190           39405          627832         4982726        196            1906           146   175   152
25.39/25.43	c 2200           39597          630639         5003444        196            1914           129   179   150
25.48/25.55	c 2210           39788          633708         5025865        196            1922           105   177   143
25.58/25.64	c 2220           39982          636225         5045908        196            1928           160   170   149
25.68/25.74	c 2230           40153          638698         5065327        196            1938           89   162   120 
25.78/25.84	c 2240           40347          641398         5085698        196            1941           167   172   154
25.88/25.95	c 2250           40535          644153         5105440        196            1950           149   179   156
25.98/26.06	c 2260           40696          646676         5129065        196            1960           44   152   82  
26.08/26.17	c 2270           40887          649500         5149697        196            1965           149   177   155
26.18/26.28	c 2280           41068          652433         5175582        196            1973           95   170   132 
26.28/26.38	c 2290           41239          654893         5195075        196            1983           89   162   120 
26.39/26.50	c 2300           41403          657709         5219628        196            1993           44   155   82  
26.58/26.62	c 2310           41598          660889         5240891        196            2001           133   177   152
26.68/26.73	c 2320           41774          663776         5263320        196            2011           106   167   110
26.78/26.82	c 2330           41951          665981         5279927        196            2021           166   168   151
26.88/26.92	c 2340           42130          668480         5299272        196            2027           162   170   152
26.98/27.06	c 2350           42307          671692         5336333        196            2036           50   167   93  
27.08/27.16	c 2360           42470          674098         5354547        196            2046           89   154   118 
27.18/27.27	c 2370           42649          676889         5374290        196            2056           89   170   117 
27.28/27.37	c 2380           42847          679815         5392650        196            2057           177   181   162
27.38/27.46	c 2390           42952          681793         5409387        196            2067           44   96   65   
27.49/27.57	c 2400           43145          684993         5427559        196            2076           176   181   162
27.59/27.67	c 2410           43335          687584         5446737        196            2085           123   170   144
27.68/27.79	c 2420           43513          690653         5471353        196            2095           89   169   117 
27.88/27.90	c 2430           43708          693598         5493766        196            2101           149   180   156
27.88/27.98	c 2431           43876          695941         5509960        196            2102           168   168   84 
27.98/28.09	c 2440           44036          698500         5527997        196            2111           103   152   121
28.08/28.19	c 2450           44227          701258         5549058        196            2118           147   180   153
28.18/28.28	c 2460           44402          703602         5569402        196            2128           153   166   146
28.38/28.40	c 2470           44589          706706         5592775        196            2138           89   175   121 
28.48/28.52	c 2480           44781          709689         5613524        196            2145           95   177   133 
28.59/28.61	c 2490           44961          712057         5632058        196            2155           123   171   139
28.69/28.71	c 2500           45163          714780         5651510        196            2156           176   183   162
28.78/28.82	c 2510           45361          717621         5673734        196            2159           149   180   156
28.88/28.91	c 2520           45550          720274         5693375        196            2162           164   170   152
28.98/29.03	c 2530           45748          723603         5711738        196            2165           171   174   157
29.08/29.12	c 2540           45928          725894         5731238        196            2167           163   170   152
29.18/29.22	c 2550           46092          728369         5750164        196            2177           89   155   113 
29.29/29.34	c 2560           46253          731363         5772093        196            2187           106   152   111
29.39/29.45	c 2570           46400          733791         5794673        196            2197           44   138   76  
29.49/29.57	c 2580           46582          736999         5818854        196            2207           92   173   138 
29.59/29.67	c 2590           46732          739400         5841419        196            2217           44   141   80  
29.69/29.78	c 2600           46911          742032         5860825        196            2221           162   170   151
29.79/29.89	c 2610           47112          745435         5879927        196            2224           162   179   160
29.89/29.99	c 2620           47257          747601         5899663        196            2234           44   136   76  
29.99/30.08	c 2630           47442          750149         5918968        196            2238           162   171   153
30.09/30.17	c 2640           47590          752241         5937279        196            2248           44   139   74  
30.19/30.27	c 2650           47754          754668         5956082        196            2258           89   155   113 
30.29/30.40	c 2660           47921          757694         5982222        196            2268           89   156   118 
30.49/30.51	c 2670           48102          760666         6003869        196            2278           96   172   134 
30.59/30.61	c 2680           48285          763315         6026627        196            2287           100   171   124
30.69/30.73	c 2690           48452          766163         6046282        196            2297           106   158   113
30.79/30.83	c 2700           48641          768824         6064712        196            2305           172   177   157
30.89/30.95	c 2710           48802          771673         6091635        196            2315           44   152   82  
30.99/31.05	c 2720           48963          774086         6109726        196            2325           89   152   113 
31.09/31.15	c 2730           49149          776687         6129869        196            2333           157   173   150
31.19/31.25	c 2740           49299          778865         6149839        196            2343           44   141   80  
31.29/31.35	c 2750           49466          781333         6168647        196            2353           89   158   119 
31.39/31.46	c 2760           49642          784231         6191449        196            2363           89   167   120 
31.49/31.57	c 2770           49856          787585         6210605        196            2365           170   176   157
31.59/31.67	c 2771           50004          789942         6226668        196            2366           148   148   74 
31.69/31.76	c 2780           50194          792650         6246309        196            2370           144   179   152
31.79/31.87	c 2790           50335          795136         6272992        196            2380           44   132   76  
31.89/31.98	c 2800           50531          797984         6292689        196            2384           169   175   157
31.99/32.07	c 2810           50720          800608         6310645        196            2387           163   171   151
32.09/32.19	c 2820           50905          803467         6330335        196            2397           95   176   136 
32.28/32.30	c 2830           51046          806105         6355380        196            2407           44   132   77  
32.38/32.40	c 2840           51221          808603         6375675        196            2417           125   166   132
32.38/32.49	c 2850           51402          810910         6394577        196            2423           101   170   133
32.48/32.59	c 2860           51563          813364         6414510        196            2433           89   152   115 
32.58/32.69	c 2870           51744          815955         6432914        196            2439           165   170   152
32.68/32.79	c 2880           51920          818355         6453199        196            2449           102   167   123
32.78/32.89	c 2890           52083          820918         6474278        196            2459           89   154   119 
32.88/32.99	c 2900           52268          823609         6506549        196            2469           122   174   137
33.09/33.10	c 2910           52459          826548         6525187        196            2479           160   180   157
33.18/33.24	c 2920           52635          829574         6553872        196            2488           44   167   86  
33.28/33.35	c 2930           52816          832212         6576056        196            2495           89   172   131 
33.38/33.45	c 2940           52999          834923         6598517        196            2502           121   171   142
33.48/33.55	c 2950           53187          837603         6618623        196            2511           89   176   135 
33.58/33.67	c 2960           53376          840430         6639639        196            2520           162   174   153
33.68/33.76	c 2970           53541          842905         6660160        196            2530           100   156   116
33.78/33.87	c 2980           53712          845444         6679907        196            2540           89   162   120 
33.88/33.97	c 2990           53893          847931         6700736        196            2549           102   172   126
33.98/34.07	c 3000           54080          850698         6722707        196            2558           89   173   142 
34.09/34.18	c 3010           54261          853597         6744031        196            2567           142   172   149
34.28/34.31	c 3020           54399          856402         6784867        196            2577           87   124   102 
34.38/34.41	c 3030           54598          859311         6803916        196            2580           176   178   161
34.48/34.52	c 3040           54785          862137         6823029        196            2586           167   175   154
34.58/34.63	c 3050           54966          864896         6851996        196            2596           76   172   104 
34.68/34.74	c 3060           55149          867495         6871832        196            2606           89   174   116 
34.78/34.82	c 3070           55329          869738         6889655        196            2615           138   171   142
34.88/34.93	c 3080           55523          872590         6908480        196            2619           167   174   155
34.98/35.03	c 3090           55719          875522         6933269        196            2626           156   177   156
35.08/35.14	c 3100           55902          878166         6961311        196            2636           94   173   128 
35.19/35.26	c 3110           56088          881265         6983167        196            2644           135   177   146
35.29/35.35	c 3120           56259          883679         6999425        196            2654           126   162   133
35.38/35.46	c 3130           56455          886527         7021356        196            2661           92   180   144 
35.48/35.58	c 3140           56642          889539         7042712        196            2671           95   178   136 
35.58/35.65	c 3142           56733          891217         7053959        196            2673           89   90   59   
35.68/35.77	c 3150           56913          894526         7073361        196            2681           49   173   125 
35.78/35.86	c 3160           57073          896640         7089722        196            2691           99   151   119 
35.88/35.96	c 3170           57248          899168         7110106        196            2701           124   166   132
35.98/36.06	c 3180           57368          901352         7130959        196            2711           44   111   65  
36.08/36.16	c 3190           57539          903902         7149770        196            2718           101   162   133
36.18/36.27	c 3200           57703          906496         7168407        196            2728           89   155   113 
36.29/36.36	c 3210           57895          909132         7187466        196            2734           165   175   153
36.39/36.47	c 3220           58076          911856         7212950        196            2739           105   169   142
36.48/36.58	c 3230           58269          914723         7232454        196            2747           144   180   156
36.58/36.69	c 3240           58452          917616         7255679        196            2756           141   173   146
36.68/36.79	c 3250           58641          920479         7276464        196            2762           168   175   155
36.88/36.90	c 3260           58828          923346         7302355        196            2772           94   176   130 
36.98/37.00	c 3270           59011          925932         7319844        196            2782           145   174   153
36.98/37.09	c 3280           59195          928284         7339057        196            2790           169   172   154
37.08/37.19	c 3290           59375          930808         7358594        196            2791           166   170   152
37.18/37.29	c 3300           59556          933362         7383790        196            2799           114   171   140
37.28/37.39	c 3310           59738          935917         7401690        196            2808           156   172   151
37.39/37.49	c 3320           59931          938866         7420213        196            2812           173   179   161
37.58/37.60	c 3330           60116          941626         7437861        196            2822           173   176   159
37.68/37.73	c 3340           60281          944606         7466905        196            2832           44   156   81  
37.78/37.84	c 3350           60465          947757         7484824        196            2840           167   173   155
37.88/37.93	c 3360           60649          950064         7502554        196            2846           165   172   151
37.98/38.03	c 3370           60818          952708         7521187        196            2856           89   159   114 
38.08/38.12	c 3380           61015          955183         7540346        196            2861           165   173   152
38.18/38.24	c 3390           61213          958244         7561107        196            2867           171   179   159
38.28/38.32	c 3400           61385          960455         7578260        196            2876           106   163   129
38.38/38.43	c 3410           61570          963149         7598209        196            2884           89   174   125 
38.49/38.54	c 3420           61764          966227         7618486        196            2892           112   182   143
38.59/38.67	c 3430           61934          969126         7645360        196            2901           44   161   91  
38.68/38.78	c 3440           62131          972204         7667751        196            2904           164   175   155
38.78/38.87	c 3450           62321          974703         7687920        196            2905           165   172   153
38.88/38.97	c 3460           62494          977300         7709032        196            2915           89   163   118 
39.08/39.12	c 3470           62653          980523         7758981        196            2923           91   141   114 
39.18/39.24	c 3480           62839          983500         7781239        196            2933           95   176   136 
39.28/39.35	c 3490           63024          986559         7804086        196            2943           95   176   132 
39.38/39.46	c 3500           63179          989100         7828409        196            2953           44   146   81  
39.48/39.57	c 3510           63372          991788         7847042        196            2960           175   179   161
39.59/39.66	c 3520           63557          994318         7868003        196            2967           138   170   142
39.69/39.77	c 3530           63728          996968         7889430        196            2971           160   162   146
39.78/39.85	c 3540           63914          999226         7908480        196            2978           168   173   154
39.88/39.96	c 3550           64101          1002060        7928190        196            2986           95   176   137 
39.98/40.02	c 3551           64152          1003203        7935826        196            2987           51   51   25   
40.08/40.13	c 3560           64339          1005973        7954454        196            2995           153   178   154
40.18/40.23	c 3570           64533          1009112        7972881        196            3001           163   177   156
40.28/40.35	c 3580           64718          1012166        7994778        196            3008           95   174   145 
40.38/40.46	c 3590           64913          1015097        8018045        196            3015           144   176   154
40.48/40.56	c 3600           65094          1017764        8036797        196            3023           158   172   151
40.58/40.64	c 3610           65274          1019888        8054372        196            3032           166   171   151
40.69/40.76	c 3620           65467          1022800        8075429        196            3039           145   181   152
40.79/40.86	c 3630           65666          1025893        8094266        196            3044           166   186   163
40.88/40.99	c 3640           65846          1028994        8119457        196            3054           121   171   135
40.98/41.07	c 3650           66026          1031188        8136455        196            3063           152   169   147
41.08/41.18	c 3660           66219          1033962        8156472        196            3066           166   172   153
41.18/41.28	c 3670           66380          1036581        8180563        196            3076           102   152   119
41.28/41.40	c 3680           66568          1039717        8198627        196            3085           163   174   154
41.38/41.49	c 3690           66743          1042165        8217853        196            3095           100   166   126
41.58/41.60	c 3700           66934          1045112        8238217        196            3103           169   176   155
41.68/41.70	c 3710           67123          1047676        8256721        196            3105           162   171   152
41.78/41.80	c 3720           67318          1050481        8276058        196            3114           174   179   159
41.88/41.93	c 3730           67513          1053640        8310219        196            3122           87   174   123 
41.98/42.03	c 3740           67705          1056531        8328797        196            3126           160   179   160
42.08/42.15	c 3750           67851          1059231        8355595        196            3136           99   137   114 
42.18/42.25	c 3760           68028          1061880        8376042        196            3146           89   168   114 
42.28/42.37	c 3770           68219          1064938        8397930        196            3154           105   177   142
42.38/42.48	c 3780           68391          1067603        8425787        196            3164           76   163   109 
42.58/42.60	c 3790           68585          1070776        8446740        196            3170           159   178   156
42.68/42.71	c 3800           68729          1073392        8471993        196            3180           44   135   84  
42.78/42.82	c 3810           68928          1076138        8490823        196            3184           144   181   160
42.78/42.90	c 3820           69113          1078459        8507887        196            3191           164   169   151
42.98/43.01	c 3830           69296          1081245        8531378        196            3197           164   172   153
43.08/43.13	c 3840           69469          1084207        8559545        196            3207           52   163   101 
43.18/43.24	c 3850           69658          1087080        8581168        196            3215           120   174   146
43.27/43.37	c 3860           69836          1090019        8607156        196            3224           44   168   94  
43.37/43.48	c 3870           70030          1092960        8626610        196            3229           170   178   157
43.47/43.58	c 3880           70213          1095644        8647466        196            3238           104   174   134
43.57/43.69	c 3890           70403          1098460        8667137        196            3248           157   180   157
43.77/43.81	c 3900           70564          1101322        8699315        196            3258           68   152   101 
43.87/43.94	c 3910           70748          1104495        8724041        196            3268           103   175   126
43.98/44.03	c 3920           70920          1106978        8743108        196            3278           103   162   123
44.08/44.14	c 3930           71118          1109963        8765270        196            3280           172   176   158
44.17/44.23	c 3940           71297          1112175        8783136        196            3287           119   169   143
44.27/44.33	c 3950           71492          1114958        8803483        196            3293           167   175   154
44.37/44.45	c 3960           71688          1118176        8824691        196            3296           172   178   159
44.47/44.55	c 3970           71875          1120934        8846398        196            3306           95   176   142 
44.57/44.67	c 3980           72058          1123824        8867311        196            3315           89   173   114 
44.67/44.76	c 3990           72257          1126439        8889205        196            3324           165   174   152
44.77/44.89	c 4000           72440          1129721        8914936        196            3333           115   170   135
44.87/44.98	c 4001           72603          1131944        8930132        196            3334           163   163   81 
44.97/45.08	c 4010           72795          1134775        8948641        196            3335           174   177   158
45.08/45.19	c 4020           72981          1137700        8972394        196            3343           151   170   148
45.27/45.30	c 4030           73180          1140520        8991844        196            3349           174   180   160
45.37/45.40	c 4040           73347          1143095        9017128        196            3359           44   158   84  
45.47/45.50	c 4050           73526          1145582        9036106        196            3365           135   170   146
45.47/45.59	c 4060           73719          1148078        9054797        196            3369           163   172   153
45.67/45.70	c 4070           73897          1150794        9075202        196            3379           89   168   114 
45.77/45.81	c 4080           74091          1153916        9093516        196            3388           167   181   159
45.87/45.93	c 4090           74234          1156642        9127669        196            3398           68   134   93  
45.97/46.05	c 4100           74417          1159666        9148978        196            3407           110   174   134
46.07/46.15	c 4110           74603          1162534        9169384        196            3411           168   173   154
46.18/46.25	c 4120           74799          1165312        9189839        196            3415           175   178   159
46.28/46.36	c 4130           74974          1168133        9208260        196            3421           95   166   131 
46.37/46.47	c 4140           75168          1171326        9227404        196            3425           163   174   154
46.47/46.57	c 4150           75350          1173869        9250594        196            3434           104   171   134
46.58/46.68	c 4160           75521          1176446        9271982        196            3442           126   162   132
46.68/46.76	c 4170           75702          1178670        9288326        196            3449           169   172   154
46.78/46.86	c 4180           75888          1181301        9306527        196            3457           163   172   151
46.88/46.96	c 4190           76064          1183976        9330862        196            3461           154   163   144
46.98/47.07	c 4200           76250          1186961        9349802        196            3466           169   173   156
47.08/47.18	c 4210           76389          1189369        9374780        196            3476           44   130   82  
47.18/47.30	c 4220           76582          1192223        9396136        196            3484           144   180   155
47.28/47.40	c 4230           76782          1195140        9418445        196            3490           139   181   154
47.48/47.50	c 4240           76974          1198002        9437099        196            3494           169   174   155
47.58/47.60	c 4250           77150          1200468        9459363        196            3501           98   167   137 
47.68/47.70	c 4260           77333          1202952        9478590        196            3510           166   172   152
47.78/47.81	c 4270           77516          1205700        9506365        196            3519           92   174   129 
47.88/47.91	c 4280           77709          1208601        9526845        196            3526           144   180   156
47.98/48.01	c 4290           77897          1211232        9546824        196            3534           129   176   149
48.08/48.13	c 4300           78087          1214377        9571758        196            3543           126   179   147
48.17/48.25	c 4310           78270          1217227        9596673        196            3552           104   169   133
48.27/48.34	c 4320           78429          1219612        9615053        196            3562           89   150   113 
48.38/48.42	c 4330           78616          1221883        9632171        196            3569           168   173   154
48.48/48.52	c 4340           78772          1224280        9651481        196            3579           89   147   106 
48.57/48.62	c 4350           78953          1226808        9669297        196            3588           165   170   152
48.67/48.71	c 4360           79129          1229154        9687352        196            3598           150   167   147
48.77/48.81	c 4370           79315          1231844        9706696        196            3601           162   170   152
48.87/48.92	c 4380           79515          1235174        9725042        196            3604           174   180   161
48.97/49.03	c 4390           79644          1237477        9746701        196            3614           44   120   75  
49.07/49.13	c 4400           79821          1240384        9764208        196            3621           140   168   145
49.17/49.21	c 4410           79966          1242346        9790948        196            3629           87   129   103 
49.27/49.33	c 4420           80164          1245436        9810983        196            3631           171   179   158
49.37/49.42	c 4430           80346          1247860        9828991        196            3640           166   171   151
49.37/49.50	c 4440           80522          1250226        9845108        196            3649           164   166   149
49.48/49.60	c 4450           80697          1252742        9865470        196            3659           126   166   132
49.58/49.69	c 4460           80874          1254976        9885203        196            3664           165   167   150
49.67/49.78	c 4470           81042          1257329        9903241        196            3674           89   159   116 
49.77/49.89	c 4480           81209          1260048        9928816        196            3684           86   158   113 
49.97/50.01	c 4490           81404          1263315        9947446        196            3686           171   174   157
49.97/50.09	c 4493           81521          1265324        9964901        196            3689           94   115   80  
50.07/50.18	c 4500           81693          1267608        9981687        196            3696           157   166   141
50.17/50.29	c 4510           81876          1270377        9999561        196            3704           169   173   155
50.27/50.39	c 4520           82055          1272894        10021000       196            3711           105   168   141
50.37/50.49	c 4530           82226          1275448        10040677       196            3721           89   162   120 
50.47/50.58	c 4540           82409          1277867        10059694       196            3731           166   171   152
50.58/50.68	c 4550           82585          1280570        10081702       196            3736           160   162   146
50.68/50.77	c 4560           82778          1282925        10099829       196            3739           169   175   156
50.77/50.87	c 4570           82969          1286028        10118140       196            3748           163   174   154
50.87/50.98	c 4580           83157          1288860        10138697       196            3758           142   177   149
50.97/51.08	c 4590           83353          1291631        10158712       196            3766           174   179   159
51.07/51.18	c 4600           83539          1294468        10178259       196            3769           165   170   152
51.17/51.28	c 4610           83723          1297075        10199175       196            3778           138   172   148
51.27/51.38	c 4620           83907          1299737        10218033       196            3784           137   172   147
51.37/51.49	c 4630           84089          1302591        10237168       196            3794           129   173   144
51.47/51.59	c 4640           84284          1305346        10256662       196            3800           144   181   156
51.57/51.70	c 4650           84486          1308413        10275703       196            3802           91   178   153 
51.78/51.81	c 4660           84681          1311334        10296348       196            3808           105   174   138
51.87/51.92	c 4670           84886          1314512        10318469       196            3812           173   181   161
51.97/52.02	c 4680           85079          1317201        10337247       196            3814           172   174   157
52.07/52.13	c 4690           85281          1320286        10356833       196            3820           173   179   160
52.17/52.23	c 4700           85466          1323028        10377828       196            3826           144   174   154
52.27/52.31	c 4710           85638          1325300        10396088       196            3834           156   161   142
52.37/52.41	c 4720           85818          1327926        10416675       196            3843           89   171   126 
52.47/52.51	c 4730           85998          1330360        10441895       196            3850           106   168   133
52.57/52.61	c 4740           86183          1332845        10462078       196            3856           162   175   153
52.67/52.72	c 4750           86366          1335759        10488399       196            3866           87   174   122 
52.78/52.83	c 4760           86554          1338613        10508193       196            3869           167   173   154
52.88/52.93	c 4770           86745          1341451        10529191       196            3876           144   180   154
52.97/53.04	c 4780           86958          1344352        10551235       196            3883           165   179   155
53.07/53.14	c 4790           87151          1347255        10571307       196            3890           152   177   153
53.17/53.25	c 4800           87333          1349925        10594189       196            3896           105   171   136
53.27/53.35	c 4810           87514          1352589        10613745       196            3900           162   170   151
53.37/53.45	c 4820           87704          1355393        10632561       196            3906           173   177   158
53.47/53.55	c 4830           87889          1358015        10652544       196            3915           103   172   132
53.57/53.65	c 4840           88090          1360874        10672053       196            3918           169   177   157
53.67/53.75	c 4850           88287          1363636        10694279       196            3925           144   183   154
53.77/53.88	c 4860           88465          1366613        10724756       196            3935           100   166   130
53.88/53.97	c 4870           88653          1369236        10745342       196            3943           104   175   137
53.98/54.08	c 4880           88805          1371775        10769524       196            3953           99   143   114 
54.07/54.19	c 4890           88998          1374527        10793314       196            3962           130   180   149
54.17/54.29	c 4900           89142          1376853        10816109       196            3972           44   135   84  
54.37/54.40	c 4910           89338          1379899        10836050       196            3978           171   176   157
54.47/54.50	c 4920           89489          1382476        10855539       196            3988           106   142   108
54.57/54.61	c 4930           89648          1385083        10880406       196            3998           44   150   82  
54.67/54.71	c 4940           89824          1387634        10900063       196            4008           124   167   132
54.77/54.81	c 4950           90010          1390286        10923953       196            4017           128   173   146
54.87/54.91	c 4960           90173          1392821        10944768       196            4027           104   154   122
54.98/55.02	c 4970           90349          1395528        10969512       196            4036           104   166   134
55.08/55.12	c 4980           90522          1398224        10989474       196            4046           89   164   128 
55.17/55.24	c 4990           90683          1400998        11017406       196            4056           44   151   81  
55.27/55.36	c 5035           90911          1404460        11043834       196            4081           155   172   162
55.77/55.81	c 5631           92124          1418332        11213582       196            4125           119   175   167
56.18/56.25	c 6286           93586          1436913        11389067       196            4133           145   180   173
56.87/56.96	c 7006           95833          1465241        11670373       196            4143           96   181   173 
57.57/57.62	c 7798           97576          1489072        11969540       196            4188           44   175   164 
58.28/58.37	c 8669           99869          1520606        12294600       196            4212           112   178   170
59.07/59.12	c 9627           102348         1551762        12588566       196            4234           103   181   170
59.97/60.01	c 10680          104776         1583105        12980447       196            4295           44   178   166 
60.48/60.50	c 11838          106879         1605780        13211367       196            4315           104   178   163
61.37/61.47	c 13111          110365         1650859        13559307       196            4325           132   179   172
62.37/62.42	c 14511          113989         1695463        13920531       196            4343           145   184   176
63.37/63.46	c 16051          118052         1739658        14237653       196            4381           95   176   165 
64.67/64.75	c 17745          122683         1797069        14748301       196            4399           148   184   176
65.57/65.60	c 19608          127041         1840883        14995570       196            4416           156   183   173
66.67/66.73	c 21657          130638         1879389        15523476       196            4466           103   173   165
67.66/67.70	c 23910          135026         1924362        15905625       196            4483           120   182   170
70.26/70.35	c 26388          141396         2022941        16975064       196            4507           44   176   167 
71.57/71.67	c 29113          148426         2086367        17550643       196            4528           147   185   178
73.67/73.76	c 32110          154971         2162159        18389632       196            4543           141   176   167
75.76/75.84	c 35406          162390         2250072        19249966       196            4555           147   182   174
78.87/78.95	c 39031          170996         2363811        20293722       196            4570           143   176   167
80.57/80.61	c 43018          179257         2451657        21021470       196            4579           160   184   175
83.17/83.28	c 47403          190317         2575559        21868931       196            4606           106   182   171
85.47/85.59	c 52226          201388         2685857        22850024       196            4618           90   184   174 
88.57/88.63	c 57531          214396         2828974        24122891       196            4643           147   183   175
91.87/91.90	c 63366          226989         2959558        25330946       196            4671           102   178   165
94.36/94.44	c 69784          239950         3077295        26501429       196            4713           124   181   168
98.76/98.89	c 76843          255338         3252628        28233075       196            4749           44   174   163 
101.66/101.73	c 84607          271372         3405944        29118636       196            4801           117   182   172
108.66/108.73	c 93147          293184         3662038        31333343       196            4838           141   177   168
112.06/112.20	c 102541         313675         3836794        33093655       196            4883           89   185   174 
117.77/117.83	c 112874         336951         4100723        35167863       196            4900           165   183   174
124.66/124.71	c 124240         365534         4430579        37889532       196            4918           132   184   174
131.15/131.23	c 136742         391683         4723509        40716244       196            4942           106   181   170
140.25/140.37	c 150494         427240         5110507        43613996       196            4979           70   178   167 
145.95/146.07	c 165621         460672         5418596        45996566       196            4991           133   184   174
156.65/156.79	c 182260         494913         5840549        49766096       196            5021           70   177   164 
165.94/166.07	c 200562         538456         6279861        53179522       196            5057           87   185   174 
180.24/180.34	c 220694         584366         6795548        57986309       196            5100           110   177   167
195.14/195.26	c 242839         640013         7451347        64231005       196            5132           86   181   169 
210.14/210.26	c 267198         704005         8174873        70621225       196            5164           133   182   171
223.13/223.21	c 293992         750546         8631302        74887952       196            5220           44   172   162 
238.23/238.36	c 323465         813407         9320802        80936268       196            5244           141   181   172
253.22/253.37	c 355885         874389         9911696        85166780       196            5312           152   172   162
268.42/268.56	c 391547         946411         10625293       91713683       196            5358           140   182   169
285.71/285.81	c 430775         1017875        11257891       97131313       196            5418           102   175   166
306.11/306.23	c 473925         1109649        12240797       105162159      196            5464           159   180   171
336.30/336.44	c 521390         1209384        13408280       117133675      196            5503           156   177   166
355.09/355.29	c 573601         1310816        14305825       127107632      196            5533           125   182   169
388.19/388.33	c 631033         1452869        15876093       138647405      196            5570           87   184   175 
416.48/416.68	c 694208         1590484        17298031       149018646      196            5631           130   184   173
464.57/464.73	c 763700         1741993        19101634       164186852      196            5672           48   176   166 
501.36/501.58	c 840141         1945207        21249503       174861655      196            5697           162   188   176
541.96/542.11	c 924226         2130527        23192418       191604720      196            5730           157   183   172
608.74/608.92	c 1016719        2345880        25851488       213900359      196            5752           44   176   164 
648.13/648.32	c 1118461        2559634        27789526       233220599      196            5795           89   182   169 
711.42/711.65	c 1230377        2804886        30514661       261542573      196            5842           44   179   166 
773.70/773.96	c 1353484        3088626        33524077       283789149      196            5877           104   182   172
872.48/872.78	c 1488901        3399034        37284913       323386373      196            5931           48   180   164 
925.97/926.23	c 1637859        3757571        40944344       339770049      196            5945           158   184   174
999.44/999.78	c 1801712        4090575        44072978       363698032      196            6008           70   176   166 
1069.53/1069.82	c 1981950        4501608        48188227       386380469      196            6029           161   183   173
1188.50/1188.85	c 2180211        4997046        53607947       433365793      196            6050           156   185   171
1304.47/1304.87	c 2398298        5517096        59510868       475452333      196            6084           131   183   173
1463.63/1464.02	c 2638193        6040602        65972138       538508800      196            6144           100   180   167
1616.80/1617.26	c 2902077        6706068        72965723       596021607      196            6181           99   183   174 
1734.38/1734.84	c 3192349        7314686        78989549       635626745      196            6248           127   180   168
1891.33/1891.86	c 3511648        8066053        86910344       689698967      196            6294           128   184   174
2113.38/2113.94	c 3862876        8842956        95854197       768666767      196            6349           48   178   166 
2230.85/2231.41	c 4249226        9632827        102544129      819885606      196            6381           110   186   172
2387.03/2387.66	c 4674211        10464561       110826507      883347582      196            6402           133   185   173

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-4242521-1500658280/watcher-4242521-1500658280 -o /tmp/evaluation-result-4242521-1500658280/solver-4242521-1500658280 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500648175-2494 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242521-1500658280.xml 

pid=4398
running on 8 cores: 1,3,5,7,9,11,13,15

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.01 2.05 3/242 4401
/proc/meminfo: memFree=32015412/32770624 swapFree=5932/216076
[pid=4401] ppid=4398 vsize=27520 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 1081 0 0 0 1 0 0 0 20 0 1 0 1096362 28180480 898 33554432000 4194304 5970956 140727639294288 140727639290936 5672416 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 6880 898 712 434 0 244 0

[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4401
/proc/meminfo: memFree=32015412/32770624 swapFree=5932/216076
[pid=4401] ppid=4398 vsize=50788 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 5724 0 0 0 8 1 0 0 20 0 1 0 1096362 52006912 6498 33554432000 4194304 5970956 140727639294288 140727639291112 140652940844005 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 12697 6498 756 434 0 6061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50788

[startup+0.200409 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4401
/proc/meminfo: memFree=32015412/32770624 swapFree=5932/216076
[pid=4401] ppid=4398 vsize=108932 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 15299 0 0 0 17 2 0 0 20 0 1 0 1096362 111546368 19120 33554432000 4194304 5970956 140727639294288 140727639291112 140652940844005 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 27233 19120 756 434 0 20597 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 108932

[startup+0.300339 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4401
/proc/meminfo: memFree=32015412/32770624 swapFree=5932/216076
[pid=4401] ppid=4398 vsize=165796 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 24629 0 0 0 25 4 0 0 20 0 1 0 1096362 169775104 34069 33554432000 4194304 5970956 140727639294288 140727639291112 140652940844005 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 41482 34135 756 434 0 34846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 165796

[startup+0.700257 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4401
/proc/meminfo: memFree=32015412/32770624 swapFree=5932/216076
[pid=4401] ppid=4398 vsize=224152 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 30646 0 0 0 64 5 0 0 20 0 1 0 1096362 229531648 44195 33554432000 4194304 5970956 140727639294288 140727639291624 4934375 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56038 44195 777 434 0 49402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 224152

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31840800/32770624 swapFree=5932/216376
[pid=4401] ppid=4398 vsize=224152 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 30678 0 0 0 144 5 0 0 20 0 1 0 1096362 229531648 44261 33554432000 4194304 5970956 140727639294288 140727639291624 4974684 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56038 44261 780 434 0 49402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 224152

[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31840304/32770624 swapFree=5932/216376
[pid=4401] ppid=4398 vsize=224284 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 37895 0 0 0 304 5 0 0 20 0 1 0 1096362 229666816 44285 33554432000 4194304 5970956 140727639294288 140727639291624 4934342 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56071 44285 780 434 0 49435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 224284

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31840560/32770624 swapFree=5932/216376
[pid=4401] ppid=4398 vsize=224284 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 53821 0 0 0 624 5 0 0 20 0 1 0 1096362 229666816 44299 33554432000 4194304 5970956 140727639294288 140727639291624 4934310 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56071 44299 780 434 0 49435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224284

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31840112/32770624 swapFree=5932/216396
[pid=4401] ppid=4398 vsize=224416 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 73479 0 0 0 1262 6 0 0 20 0 1 0 1096362 229801984 44314 33554432000 4194304 5970956 140727639294288 140727639291624 5272668 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56104 44314 780 434 0 49468 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 224416

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31837692/32770624 swapFree=5932/216392
[pid=4401] ppid=4398 vsize=224416 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 108380 0 0 0 2540 8 0 0 20 0 1 0 1096362 229801984 44847 33554432000 4194304 5970956 140727639294288 140727639291624 4934517 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56104 44847 780 434 0 49468 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 224416

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4402
/proc/meminfo: memFree=31837556/32770624 swapFree=5932/216428
[pid=4401] ppid=4398 vsize=224680 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 140803 0 0 0 5097 10 0 0 20 0 1 0 1096362 230072320 44888 33554432000 4194304 5970956 140727639294288 140727639291624 4934357 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56170 44888 780 434 0 49534 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 224680

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4403
/proc/meminfo: memFree=31835988/32770624 swapFree=5932/216516
[pid=4401] ppid=4398 vsize=224680 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 156042 0 0 0 10216 11 0 0 20 0 1 0 1096362 230072320 44925 33554432000 4194304 5970956 140727639294288 140727639291624 4934481 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56170 44925 780 434 0 49534 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 224680

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4404
/proc/meminfo: memFree=31835848/32770624 swapFree=5932/216596
[pid=4401] ppid=4398 vsize=224680 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 159310 0 0 0 16214 11 0 0 20 0 1 0 1096362 230072320 44928 33554432000 4194304 5970956 140727639294288 140727639291624 4974138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56170 44928 780 434 0 49534 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 224680

[startup+222.308 s]
/proc/loadavg: 2.10 2.05 2.05 3/243 4405
/proc/meminfo: memFree=31835412/32770624 swapFree=5932/216648
[pid=4401] ppid=4398 vsize=224680 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 160333 0 0 0 22213 11 0 0 20 0 1 0 1096362 230072320 44929 33554432000 4194304 5970956 140727639294288 140727639291624 4971772 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56170 44929 780 434 0 49534 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 224680

[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4406
/proc/meminfo: memFree=31833184/32770624 swapFree=5932/216704
[pid=4401] ppid=4398 vsize=224680 CPUtime=282.21 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 161386 0 0 0 28210 11 0 0 20 0 1 0 1096362 230072320 45446 33554432000 4194304 5970956 140727639294288 140727639291624 4934315 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56170 45446 780 434 0 49534 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 224680

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4407
/proc/meminfo: memFree=31831444/32770624 swapFree=5932/216732
[pid=4401] ppid=4398 vsize=224812 CPUtime=342.2 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 162426 0 0 0 34209 11 0 0 20 0 1 0 1096362 230207488 45450 33554432000 4194304 5970956 140727639294288 140727639291624 4970584 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45450 780 434 0 49567 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 224812

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4408
/proc/meminfo: memFree=31831924/32770624 swapFree=5932/216792
[pid=4401] ppid=4398 vsize=224812 CPUtime=402.18 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 163443 0 0 0 40207 11 0 0 20 0 1 0 1096362 230207488 45452 33554432000 4194304 5970956 140727639294288 140727639291624 4970944 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45452 780 434 0 49567 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 224812

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4409
/proc/meminfo: memFree=31832208/32770624 swapFree=5932/216828
[pid=4401] ppid=4398 vsize=224812 CPUtime=462.17 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 164456 0 0 0 46206 11 0 0 20 0 1 0 1096362 230207488 45453 33554432000 4194304 5970956 140727639294288 140727639291624 5098910 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45453 780 434 0 49567 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 224812

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4417
/proc/meminfo: memFree=31831092/32770624 swapFree=5932/216896
[pid=4401] ppid=4398 vsize=224812 CPUtime=522.16 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 165503 0 0 0 52204 12 0 0 20 0 1 0 1096362 230207488 45453 33554432000 4194304 5970956 140727639294288 140727639291624 4969805 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45453 780 434 0 49567 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 224812

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4418
/proc/meminfo: memFree=31831600/32770624 swapFree=5932/216940
[pid=4401] ppid=4398 vsize=224812 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 166516 0 0 0 58203 12 0 0 20 0 1 0 1096362 230207488 45454 33554432000 4194304 5970956 140727639294288 140727639291624 4977773 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45454 780 434 0 49567 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 224812


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4443
/proc/meminfo: memFree=31829980/32770624 swapFree=5932/217424
[pid=4401] ppid=4398 vsize=224812 CPUtime=1481.93 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 178573 0 0 0 148181 12 0 0 20 0 1 0 1096362 230207488 45460 33554432000 4194304 5970956 140727639294288 140727639291624 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45460 780 434 0 49567 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 224812

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4444
/proc/meminfo: memFree=31830776/32770624 swapFree=5932/217460
[pid=4401] ppid=4398 vsize=224812 CPUtime=1541.92 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 178890 0 0 0 154180 12 0 0 20 0 1 0 1096362 230207488 45460 33554432000 4194304 5970956 140727639294288 140727639291624 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45460 780 434 0 49567 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 224812

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4446
/proc/meminfo: memFree=31830992/32770624 swapFree=5932/217496
[pid=4401] ppid=4398 vsize=224812 CPUtime=1601.9 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 179199 0 0 0 160178 12 0 0 20 0 1 0 1096362 230207488 45460 33554432000 4194304 5970956 140727639294288 140727639291624 4934556 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45460 780 434 0 49567 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 224812

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4447
/proc/meminfo: memFree=31831776/32770624 swapFree=5932/217536
[pid=4401] ppid=4398 vsize=224812 CPUtime=1661.89 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 180218 0 0 0 166177 12 0 0 20 0 1 0 1096362 230207488 45460 33554432000 4194304 5970956 140727639294288 140727639291624 4971765 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45460 780 434 0 49567 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 224812

[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/243 4455
/proc/meminfo: memFree=31831004/32770624 swapFree=5932/217576
[pid=4401] ppid=4398 vsize=224812 CPUtime=1721.87 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 180550 0 0 0 172175 12 0 0 20 0 1 0 1096362 230207488 45460 33554432000 4194304 5970956 140727639294288 140727639291624 4971649 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45460 780 434 0 49567 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 224812

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 4479
/proc/meminfo: memFree=31828784/32770624 swapFree=5932/217632
[pid=4401] ppid=4398 vsize=224812 CPUtime=1781.86 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 181599 0 0 0 178174 12 0 0 20 0 1 0 1096362 230207488 45461 33554432000 4194304 5970956 140727639294288 140727639291624 4969779 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45461 780 434 0 49567 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 224812

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 4480
/proc/meminfo: memFree=31830500/32770624 swapFree=5932/217672
[pid=4401] ppid=4398 vsize=224812 CPUtime=1841.85 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 181917 0 0 0 184173 12 0 0 20 0 1 0 1096362 230207488 45461 33554432000 4194304 5970956 140727639294288 140727639291624 4933111 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45461 780 434 0 49567 0
Current children cumulated CPU time (s) 1841.85
Current children cumulated vsize (KiB) 224812

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 4481
/proc/meminfo: memFree=31829796/32770624 swapFree=5932/217712
[pid=4401] ppid=4398 vsize=224812 CPUtime=1901.83 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 182937 0 0 0 190171 12 0 0 20 0 1 0 1096362 230207488 45462 33554432000 4194304 5970956 140727639294288 140727639291624 4974141 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45462 780 434 0 49567 0
Current children cumulated CPU time (s) 1901.83
Current children cumulated vsize (KiB) 224812

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4548
/proc/meminfo: memFree=31853176/32770624 swapFree=5932/217824
[pid=4401] ppid=4398 vsize=224812 CPUtime=1961.82 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 183317 0 0 0 196170 12 0 0 20 0 1 0 1096362 230207488 45462 33554432000 4194304 5970956 140727639294288 140727639291624 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45462 780 434 0 49567 0
Current children cumulated CPU time (s) 1961.82
Current children cumulated vsize (KiB) 224812

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4549
/proc/meminfo: memFree=31853572/32770624 swapFree=5932/217892
[pid=4401] ppid=4398 vsize=224812 CPUtime=2021.8 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 183687 0 0 0 202168 12 0 0 20 0 1 0 1096362 230207488 45462 33554432000 4194304 5970956 140727639294288 140727639291624 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45462 780 434 0 49567 0
Current children cumulated CPU time (s) 2021.8
Current children cumulated vsize (KiB) 224812

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4550
/proc/meminfo: memFree=31851960/32770624 swapFree=5932/217936
[pid=4401] ppid=4398 vsize=224812 CPUtime=2081.8 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 184064 0 0 0 208168 12 0 0 20 0 1 0 1096362 230207488 45462 33554432000 4194304 5970956 140727639294288 140727639291624 4978399 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45462 780 434 0 49567 0
Current children cumulated CPU time (s) 2081.8
Current children cumulated vsize (KiB) 224812

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4551
/proc/meminfo: memFree=31852472/32770624 swapFree=5932/217980
[pid=4401] ppid=4398 vsize=224812 CPUtime=2141.77 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 185096 0 0 0 214165 12 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4976725 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2141.77
Current children cumulated vsize (KiB) 224812

[startup+2202.31 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 4552
/proc/meminfo: memFree=31853216/32770624 swapFree=5932/218016
[pid=4401] ppid=4398 vsize=224812 CPUtime=2201.77 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 185425 0 0 0 220165 12 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4974622 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2201.77
Current children cumulated vsize (KiB) 224812

[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4553
/proc/meminfo: memFree=31852336/32770624 swapFree=5932/218060
[pid=4401] ppid=4398 vsize=224812 CPUtime=2261.76 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 186451 0 0 0 226163 13 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4977604 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 224812

[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4561
/proc/meminfo: memFree=31852292/32770624 swapFree=5932/218104
[pid=4401] ppid=4398 vsize=224812 CPUtime=2321.74 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 186772 0 0 0 232161 13 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4934354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2321.74
Current children cumulated vsize (KiB) 224812

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4562
/proc/meminfo: memFree=31852780/32770624 swapFree=5932/218140
[pid=4401] ppid=4398 vsize=224812 CPUtime=2381.73 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 187099 0 0 0 238160 13 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4970973 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2381.73
Current children cumulated vsize (KiB) 224812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4562
/proc/meminfo: memFree=31852608/32770624 swapFree=5932/218148
[pid=4401] ppid=4398 vsize=224812 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/4401/stat : 4401 (cosoco) R 4398 4401 2461 0 -1 4202496 188102 0 0 0 239989 13 0 0 20 0 1 0 1096362 230207488 45463 33554432000 4194304 5970956 140727639294288 140727639291624 4969972 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 36921344 140727639299260 140727639299395 140727639299395 140727639302094 0
/proc/4401/statm: 56203 45463 780 434 0 49567 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 224812

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.03
CPU user time (s): 2399.9
CPU system time (s): 0.132968
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 224812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.9
system time used= 0.132968
maximum resident set size= 181896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188131
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= 18
involuntary context switches= 120697

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97953 second user time and 12.056 second system time

The end

Begin job on node121 at 2017-07-21 19:31:20
IDJOB=4242521
IDBENCH=134610
IDSOLVER=2621
FILE ID=node121/4242521-1500658280
RUNJOBID= node121-1500648175-2494
PBS_JOBID= 20623298
Free space on /tmp= 61984 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-14-ext03.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242521-1500658280/watcher-4242521-1500658280 -o /tmp/evaluation-result-4242521-1500658280/solver-4242521-1500658280 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500648175-2494 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242521-1500658280.xml

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

MD5SUM BENCH= 223310c4b2c0f482c3233db9dc344582
RANDOM SEED=269775908

node121.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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32015600 kB
MemAvailable:   32005980 kB
Buffers:           33920 kB
Cached:           268472 kB
SwapCached:            0 kB
Active:           162844 kB
Inactive:         224784 kB
Active(anon):      87860 kB
Inactive(anon):     8708 kB
Active(file):      74984 kB
Inactive(file):   216076 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2432 kB
Writeback:             0 kB
AnonPages:         90768 kB
Mapped:            30380 kB
Shmem:              8840 kB
Slab:              61744 kB
SReclaimable:      30308 kB
SUnreclaim:        31436 kB
KernelStack:        4256 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359984 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61980 MiB
End job on node121 at 2017-07-21 20:11:21