Trace number 4241897

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.0701 2400.6001

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml
MD5SUM184e4a42ac40b5c8b3b859f3d89928ae
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark228.916
Satisfiable
(Un)Satisfiability was proved
Number of variables1680
Number of constraints768
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":1008},{"size":12,"count":672}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":672},{"degree":9,"count":1008}]
Minimum constraint arity8
Maximum constraint arity84
Distribution of constraint arities[{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}]
Optimization problemNO
Type of objective

Solver Data 

0.01/0.16	c SAT : Variables: 16128 -- Clauses: 74256
0.01/0.17	c root propagations     : 0           
0.01/0.17	c restarts enabled, print stats at every restarts
0.01/0.17	c
0.01/0.17	c
0.01/0.17	c
0.01/0.17	c This is cosoco 1.0 --  
0.01/0.17	c
0.01/0.17	c ========================================[ Problem Statistics ]===========================================
0.01/0.17	c |                                                                                                       
0.01/0.17	c |  Parse time        :         0.07 s 
0.01/0.17	c |
0.01/0.17	c |               Variables: 1680
0.01/0.17	c |            Domain Sizes: 8..12
0.01/0.17	c |
0.01/0.17	c |             Constraints: 768
0.01/0.17	c |                   Arity: 8..84
0.01/0.17	c | 
0.01/0.17	c |                   Types: 
0.01/0.17	c |                          All Different: 84
0.01/0.17	c |                          Element Constant: 672
0.01/0.17	c |                          Extension: 12  (nb tuples: 512..512) -- (shared: 11)
0.01/0.17	c |                          
0.01/0.17	c =========================================================================================================
0.01/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.01/0.19	c 10             656            28092          17427          0              6              636   639   579
0.10/0.20	c 20             818            43262          33868          0              8              45   125   73  
0.10/0.22	c 30             1135           61978          46091          0              11             296   302   272
0.10/0.24	c 40             1488           80741          68390          0              13             291   302   269
0.10/0.26	c 50             1795           99331          86463          0              17             291   295   266
0.10/0.28	c 60             2113           119140         106518         0              24             295   298   269
0.10/0.29	c 70             2438           138099         122992         0              29             292   302   271
0.20/0.31	c 80             2781           157665         142431         0              33             297   307   273
0.20/0.33	c 90             2989           176503         156822         0              41             169   172   155
0.20/0.35	c 100            3112           193769         182404         0              45             74   81   70   
0.20/0.36	c 101            3199           205544         193150         0              46             87   87   43   
0.20/0.37	c 110            3300           221213         211913         0              50             66   78   67   
0.20/0.39	c 120            3406           236820         230453         0              54             62   83   65   
0.30/0.40	c 130            3492           254104         244432         0              56             64   66   59   
0.30/0.41	c 140            3596           268300         262099         0              60             67   87   73   
0.30/0.43	c 150            3737           286520         288444         0              64             92   99   87   
0.30/0.44	c 160            3864           303001         304537         0              66             74   89   76   
0.30/0.45	c 170            3971           317312         318221         0              75             68   93   80   
0.30/0.47	c 180            4131           334608         336540         0              77             81   95   81   
0.30/0.49	c 190            4276           351062         357111         0              81             86   96   83   
0.40/0.50	c 200            4394           366253         374729         0              84             82   93   76   
0.40/0.51	c 210            4495           382283         387354         0              85             79   82   72   
0.40/0.52	c 211            4560           391130         394224         0              86             65   65   32   
0.40/0.53	c 220            4654           405323         406285         0              90             71   79   69   
0.40/0.54	c 230            4747           418650         416944         0              91             72   76   66   
0.40/0.55	c 240            4839           432264         429082         0              93             67   75   64   
0.40/0.56	c 250            4948           448264         449616         0              96             69   82   69   
0.40/0.58	c 260            5057           466208         473812         0              99             75   83   73   
0.40/0.59	c 270            5149           480486         491632         0              101            72   74   65   
0.50/0.61	c 280            5259           496702         510425         0              105            73   85   72   
0.50/0.62	c 290            5352           510218         521812         0              110            68   76   66   
0.50/0.63	c 300            5448           527676         536609         0              117            68   73   64   
0.50/0.64	c 310            5535           541649         547979         0              120            60   73   63   
0.50/0.65	c 320            5628           557160         561655         0              123            66   74   63   
0.50/0.67	c 330            5730           574705         582593         0              130            67   76   64   
0.50/0.67	c 332            5800           585099         591256         0              132            65   69   44   
0.50/0.69	c 340            5887           603781         617392         0              137            65   70   60   
0.60/0.71	c 350            5987           621063         640318         0              142            67   74   65   
0.60/0.72	c 360            6082           637509         664325         0              150            70   76   65   
0.60/0.74	c 370            6190           654517         688533         0              152            72   76   67   
0.60/0.76	c 380            6290           671041         710951         0              155            72   81   67   
0.60/0.77	c 390            6411           685947         729418         0              162            74   90   75   
0.60/0.79	c 400            6513           701375         749115         0              166            72   80   67   
0.70/0.80	c 410            6604           715344         765879         0              173            71   77   68   
0.70/0.81	c 420            6703           729987         783359         0              176            75   79   69   
0.70/0.82	c 430            6802           745670         800695         0              180            71   76   67   
0.70/0.84	c 440            6894           760302         813493         0              185            70   75   66   
0.70/0.85	c 450            6978           775591         829821         0              190            65   69   60   
0.70/0.86	c 460            7072           790095         842039         0              193            72   78   69   
0.70/0.87	c 465            7151           802661         852685         0              196            65   70   56   
0.70/0.88	c 470            7232           814032         861636         0              198            71   77   62   
0.70/0.89	c 480            7327           828805         873804         0              201            71   75   66   
0.80/0.90	c 490            7436           845832         894093         0              206            66   88   72   
0.80/0.91	c 500            7539           860773         907740         0              209            70   78   68   
0.80/0.93	c 510            7643           876641         926177         0              212            78   82   71   
0.80/0.95	c 520            7750           897944         958634         0              213            70   72   64   
0.80/0.97	c 530            7850           916020         985479         0              216            73   76   67   
0.80/0.98	c 540            7941           930237         997349         0              220            70   74   65   
0.80/0.99	c 550            8049           946436         1019314        0              225            67   84   72   
0.90/1.00	c 560            8148           961542         1032127        0              227            73   78   68   
0.90/1.03	c 570            8246           981166         1060468        0              231            69   73   65   
0.90/1.04	c 580            8336           999053         1088130        0              238            64   67   59   
0.90/1.06	c 590            8430           1016284        1114934        0              244            58   65   56   
0.90/1.08	c 600            8529           1032282        1139108        0              250            69   73   64   
1.01/1.10	c 610            8632           1053513        1174123        0              255            69   75   66   
1.01/1.11	c 611            8703           1063954        1182157        0              256            71   71   35   
1.01/1.13	c 620            8795           1079320        1204022        0              261            65   72   62   
1.01/1.14	c 630            8899           1094212        1226996        0              266            70   81   68   
1.01/1.16	c 640            8999           1111687        1250777        0              270            68   76   65   
1.01/1.17	c 650            9090           1125951        1262683        0              274            70   74   65   
1.01/1.18	c 660            9186           1141167        1275515        0              278            65   76   66   
1.01/1.20	c 670            9287           1158128        1300233        0              281            71   76   66   
1.11/1.22	c 680            9387           1175698        1325499        0              283            72   77   67   
1.11/1.23	c 690            9485           1193926        1350945        0              287            72   77   67   
1.11/1.25	c 700            9588           1212054        1375286        0              288            75   81   69   
1.11/1.26	c 710            9682           1227272        1396721        0              290            67   74   64   
1.11/1.28	c 720            9781           1246526        1428227        0              294            74   76   68   
1.20/1.30	c 730            9888           1264595        1450457        0              298            77   83   72   
1.20/1.31	c 740            9998           1280153        1463975        0              301            81   86   75   
1.20/1.32	c 750            10095          1295329        1476710        0              305            75   79   70   
1.20/1.34	c 760            10212          1312992        1500402        0              310            80   90   76   
1.20/1.36	c 770            10304          1332600        1531082        0              314            67   69   61   
1.20/1.37	c 771            10386          1342877        1539322        0              315            82   82   41   
1.20/1.38	c 780            10488          1358470        1559644        0              317            79   83   72   
1.30/1.40	c 790            10584          1374698        1582193        0              320            69   74   65   
1.30/1.41	c 800            10688          1390328        1603081        0              322            75   84   72   
1.30/1.42	c 810            10792          1405872        1621950        0              328            73   82   70   
1.30/1.44	c 820            10898          1422276        1642862        0              330            81   86   75   
1.30/1.46	c 830            11009          1440385        1672365        0              334            77   90   75   
1.30/1.48	c 840            11109          1458300        1697295        0              337            73   77   68   
1.40/1.50	c 850            11218          1478507        1730363        0              340            79   80   72   
1.40/1.51	c 860            11334          1494748        1745868        0              341            76   85   72   
1.40/1.52	c 870            11440          1510224        1759081        0              345            79   84   74   
1.40/1.53	c 880            11545          1524891        1771936        0              349            77   83   73   
1.40/1.55	c 890            11656          1539347        1789611        0              353            73   92   77   
1.40/1.56	c 900            11763          1554571        1802805        0              356            78   85   75   
1.40/1.58	c 910            11870          1573748        1832966        0              359            81   83   74   
1.40/1.59	c 920            11977          1590358        1847064        0              363            73   80   70   
1.50/1.60	c 930            12083          1604133        1864172        0              368            72   88   76   
1.50/1.61	c 940            12189          1619348        1877365        0              371            77   84   74   
1.50/1.63	c 947            12297          1635869        1898596        0              375            77   86   73   
1.50/1.64	c 950            12379          1646987        1907400        0              378            76   80   58   
1.50/1.65	c 960            12480          1662338        1926913        0              388            80   83   73   
1.50/1.67	c 970            12577          1678198        1947107        0              390            74   79   68   
1.50/1.69	c 980            12687          1696761        1973597        0              396            78   83   73   
1.60/1.70	c 990            12798          1715210        1998187        0              404            74   83   70   
1.60/1.72	c 1000           12918          1733746        2024642        0              408            78   85   74   
1.60/1.74	c 1010           13044          1750200        2046590        0              411            83   89   78   
1.60/1.75	c 1020           13150          1765507        2059319        0              414            78   82   73   
1.60/1.77	c 1030           13285          1785129        2087559        0              418            72   94   79   
1.60/1.78	c 1040           13408          1801224        2101315        0              420            81   87   76   
1.60/1.79	c 1050           13513          1817978        2120394        0              429            78   89   76   
1.70/1.81	c 1060           13610          1833898        2143840        0              432            72   75   67   
1.70/1.82	c 1070           13708          1849405        2163700        0              441            77   82   71   
1.70/1.84	c 1080           13803          1864490        2183328        0              444            72   75   67   
1.70/1.85	c 1090           13916          1881318        2206133        0              450            82   89   77   
1.70/1.86	c 1100           14019          1896171        2218274        0              453            78   83   73   
1.70/1.88	c 1110           14140          1912372        2239389        0              459            79   90   77   
1.70/1.89	c 1120           14246          1927580        2252596        0              462            77   85   73   
1.80/1.91	c 1130           14357          1944357        2275381        0              468            80   87   75   
1.80/1.92	c 1140           14457          1960106        2288864        0              471            74   79   69   
1.80/1.93	c 1141           14527          1969084        2295807        0              472            70   70   35   
1.80/1.94	c 1150           14619          1982556        2306907        0              476            68   78   67   
1.80/1.95	c 1160           14711          1997757        2328439        0              485            75   78   69   
1.80/1.96	c 1170           14811          2011759        2345985        0              490            72   80   69   
1.80/1.98	c 1180           14897          2026844        2365275        0              491            72   76   66   
1.80/1.99	c 1190           14999          2040724        2383219        0              496            73   82   71   
1.90/2.00	c 1200           15099          2053950        2400651        0              501            76   80   70   
1.90/2.02	c 1210           15198          2069975        2422240        0              503            71   78   67   
1.90/2.04	c 1220           15321          2090391        2448115        0              510            78   89   76   
1.90/2.06	c 1230           15427          2111490        2478684        0              515            74   81   70   
1.90/2.07	c 1240           15535          2127840        2499482        0              517            85   88   77   
1.90/2.09	c 1250           15632          2143300        2518860        0              518            80   83   73   
2.00/2.11	c 1260           15730          2163445        2547375        0              523            75   77   68   
2.00/2.12	c 1270           15824          2176689        2563947        0              526            77   83   72   
2.00/2.14	c 1280           15936          2196627        2591629        0              529            79   85   74   
2.00/2.15	c 1290           16043          2212057        2611509        0              532            81   90   78   
2.00/2.16	c 1300           16146          2225750        2627892        0              535            81   89   77   
2.00/2.18	c 1310           16243          2240929        2649116        0              536            78   81   71   
2.00/2.19	c 1320           16358          2256749        2668798        0              538            87   91   80   
2.11/2.21	c 1330           16465          2270983        2687647        0              541            83   87   76   
2.11/2.22	c 1340           16591          2288479        2710218        0              545            80   90   79   
2.11/2.24	c 1350           16713          2305949        2733668        0              548            83   88   77   
2.11/2.25	c 1352           16798          2316738        2743675        0              550            81   84   55   
2.11/2.26	c 1360           16897          2329383        2755942        0              558            88   92   78   
2.11/2.28	c 1370           17019          2343932        2777096        0              559            79   91   75   
2.11/2.30	c 1380           17123          2359831        2799986        0              563            77   81   72   
2.21/2.31	c 1390           17233          2374340        2818157        0              573            84   90   77   
2.21/2.32	c 1400           17351          2389682        2836645        0              574            83   90   77   
2.21/2.34	c 1410           17454          2404543        2848841        0              577            79   83   74   
2.21/2.35	c 1420           17577          2419184        2866667        0              580            76   101   85  
2.21/2.36	c 1430           17685          2434365        2879232        0              584            82   86   77   
2.21/2.38	c 1440           17814          2451918        2901956        0              590            82   92   81   
2.21/2.39	c 1450           17931          2468182        2922544        0              596            82   86   77   
2.30/2.41	c 1460           18033          2483582        2938118        0              599            75   81   70   
2.30/2.42	c 1470           18141          2498758        2950718        0              603            80   85   75   
2.30/2.43	c 1480           18252          2512433        2966092        0              613            76   98   84   
2.30/2.44	c 1490           18364          2527680        2979307        0              616            81   90   78   
2.30/2.46	c 1500           18491          2544417        3001555        0              621            84   93   81   
2.30/2.47	c 1510           18603          2559350        3021354        0              628            80   87   75   
2.30/2.49	c 1520           18733          2578752        3049937        0              630            78   89   77   
2.40/2.51	c 1530           18833          2594641        3069611        0              638            76   84   71   
2.40/2.53	c 1540           18948          2614719        3099884        0              641            85   86   77   
2.40/2.54	c 1550           19058          2629469        3112288        0              642            83   86   77   
2.40/2.55	c 1560           19164          2643636        3125173        0              645            79   86   75   
2.40/2.57	c 1570           19269          2659765        3147096        0              652            77   86   72   
2.40/2.59	c 1580           19383          2680356        3180500        0              657            82   86   76   
2.50/2.60	c 1585           19472          2693106        3194545        0              662            82   84   68   
2.50/2.61	c 1590           19562          2706800        3210849        0              665            79   81   66   
2.50/2.63	c 1600           19661          2722467        3229939        0              673            77   83   71   
2.50/2.64	c 1610           19769          2738251        3243021        0              678            79   83   74   
2.50/2.65	c 1620           19886          2753868        3261968        0              681            76   93   80   
2.50/2.67	c 1630           19998          2769538        3275911        0              684            80   88   76   
2.50/2.68	c 1640           20102          2785535        3296772        0              686            80   88   77   
2.60/2.70	c 1650           20209          2806139        3328127        0              693            82   84   75   
2.60/2.72	c 1660           20333          2824876        3353455        0              699            77   89   74   
2.60/2.74	c 1670           20431          2841421        3375875        0              700            76   79   70   
2.60/2.76	c 1680           20539          2859359        3406090        0              702            76   81   71   
2.60/2.78	c 1690           20647          2878823        3437282        0              708            74   83   71   
2.70/2.80	c 1700           20759          2897519        3466512        0              713            74   85   72   
2.70/2.82	c 1710           20866          2915356        3493190        0              715            75   83   71   
2.70/2.84	c 1720           20983          2934674        3525305        0              717            80   85   73   
2.70/2.86	c 1730           21096          2956659        3558597        0              721            79   82   72   
2.70/2.88	c 1740           21217          2975629        3586449        0              725            83   88   76   
2.70/2.89	c 1750           21346          2993424        3602086        0              729            82   94   80   
2.80/2.90	c 1760           21477          3009629        3615626        0              732            86   91   81   
2.80/2.92	c 1770           21600          3024401        3634157        0              742            89   97   83   
2.80/2.93	c 1780           21702          3039898        3651292        0              743            82   84   75   
2.80/2.94	c 1790           21823          3055366        3665029        0              746            82   91   79   
2.80/2.95	c 1800           21920          3070342        3677714        0              751            72   80   70   
2.80/2.97	c 1810           22030          3087353        3701818        0              753            80   85   75   
2.80/2.98	c 1820           22135          3101965        3714276        0              756            76   82   73   
2.90/3.00	c 1830           22252          3117840        3733126        0              765            75   94   81   
2.90/3.01	c 1840           22369          3133273        3746877        0              772            81   89   77   
2.90/3.02	c 1841           22452          3143527        3755450        0              773            83   83   41   
2.90/3.03	c 1850           22561          3159705        3778598        0              776            79   84   74   
2.90/3.05	c 1860           22675          3178081        3805892        0              778            85   89   79   
2.90/3.07	c 1870           22788          3194922        3829841        0              781            78   83   73   
2.90/3.08	c 1880           22888          3209837        3842357        0              785            72   77   68   
2.90/3.09	c 1890           23005          3225934        3861383        0              794            74   93   80   
3.00/3.11	c 1900           23118          3241723        3874839        0              795            82   90   78   
3.00/3.12	c 1910           23215          3258350        3898676        0              797            77   81   72   
3.00/3.14	c 1920           23327          3277231        3928001        0              801            80   83   73   
3.00/3.16	c 1930           23431          3295209        3951815        0              804            73   79   69   
3.00/3.18	c 1940           23538          3311372        3973043        0              814            82   86   76   
3.00/3.19	c 1950           23634          3325928        3985120        0              817            73   77   68   
3.10/3.20	c 1960           23737          3341276        3998430        0              821            80   86   75   
3.10/3.21	c 1970           23831          3356137        4019395        0              825            72   77   67   
3.10/3.23	c 1980           24052          3372040        4040049        0              827            79   201   83  
3.10/3.25	c 1990           24170          3390026        4066729        0              830            85   89   79   
3.10/3.26	c 2000           24270          3405546        4085822        0              832            73   78   68   
3.10/3.28	c 2010           24371          3421975        4109403        0              837            76   79   69   
3.21/3.30	c 2020           24478          3441687        4140172        0              841            75   82   69   
3.21/3.32	c 2030           24574          3457979        4159465        0              845            72   76   67   
3.21/3.33	c 2040           24677          3472942        4177829        0              847            73   81   70   
3.21/3.34	c 2050           24793          3488654        4191438        0              853            81   91   77   
3.21/3.35	c 2060           24899          3503864        4204051        0              857            78   83   73   
3.21/3.37	c 2070           25014          3519491        4217634        0              863            81   91   77   
3.21/3.38	c 2080           25112          3533573        4229370        0              867            70   79   69   
3.21/3.39	c 2090           25226          3549466        4248307        0              876            73   92   79   
3.31/3.40	c 2100           25340          3565193        4261925        0              882            81   90   77   
3.31/3.42	c 2110           25447          3580754        4283109        0              884            77   85   73   
3.31/3.43	c 2120           25544          3595045        4299400        0              886            77   81   71   
3.31/3.44	c 2122           25621          3604943        4307615        0              888            72   76   49   
3.31/3.45	c 2130           25711          3618650        4324316        0              896            78   81   69   
3.31/3.47	c 2140           25819          3636132        4350545        0              900            76   81   70   
3.31/3.49	c 2150           25918          3650565        4369630        0              901            80   85   73   
3.40/3.50	c 2160           26036          3666590        4390208        0              904            78   93   77   
3.40/3.51	c 2170           26145          3681009        4409153        0              909            81   85   74   
3.40/3.53	c 2180           26261          3700283        4435890        0              912            76   81   71   
3.40/3.55	c 2190           26491          3715125        4451853        0              914            201   201   182
3.40/3.56	c 2200           26591          3731851        4473603        0              915            76   81   70   
3.40/3.58	c 2210           26694          3748799        4498024        0              920            76   80   70   
3.50/3.60	c 2220           26802          3767339        4524492        0              923            81   82   74   
3.50/3.61	c 2230           26927          3784515        4550144        0              929            77   89   75   
3.50/3.63	c 2240           27052          3801329        4576641        0              931            82   100   83  
3.50/3.65	c 2250           27156          3816346        4595933        0              934            77   82   71   
3.50/3.66	c 2260           27280          3833088        4620494        0              937            82   100   80  
3.50/3.68	c 2270           27390          3851867        4642123        0              940            80   81   73   
3.50/3.69	c 2280           27497          3865609        4654168        0              946            79   92   76   
3.60/3.70	c 2290           27595          3880011        4666340        0              951            74   78   69   
3.60/3.72	c 2300           27722          3896657        4680880        0              955            81   91   79   
3.60/3.73	c 2310           27846          3914117        4703902        0              960            73   92   75   
3.60/3.74	c 2320           27962          3931149        4718986        0              965            80   90   77   
3.60/3.76	c 2330           28072          3946347        4731556        0              969            80   85   75   
3.60/3.77	c 2340           28177          3962493        4752006        0              971            82   88   77   
3.60/3.79	c 2350           28298          3980223        4778212        0              974            79   88   75   
3.70/3.81	c 2360           28402          3997695        4802702        0              976            73   82   70   
3.70/3.82	c 2370           28504          4013463        4822910        0              986            80   84   73   
3.70/3.83	c 2380           28603          4028852        4841739        0              996            76   81   70   
3.70/3.85	c 2390           28709          4044740        4862573        0              1006           83   88   76   
3.70/3.87	c 2400           28811          4060194        4882780        0              1016           76   82   70   
3.70/3.88	c 2410           28925          4075930        4904368        0              1025           80   87   75   
3.80/3.90	c 2420           29030          4090733        4922827        0              1035           82   87   75   
3.80/3.91	c 2430           29153          4106981        4941188        0              1038           85   90   77   
3.80/3.92	c 2431           29240          4118573        4952045        0              1039           87   87   43   
3.80/3.93	c 2440           29344          4133457        4971798        0              1048           82   87   75   
3.80/3.95	c 2450           29462          4151390        4997292        0              1053           77   83   72   
3.80/3.97	c 2460           29569          4169922        5025673        0              1055           76   81   70   
3.80/3.99	c 2470           29682          4189075        5056562        0              1057           76   83   72   
3.90/4.01	c 2480           29781          4204640        5076722        0              1063           76   78   70   
3.90/4.02	c 2490           29891          4220156        5090014        0              1066           74   84   71   
3.90/4.04	c 2500           29993          4238965        5113734        0              1073           73   81   71   
3.90/4.05	c 2510           30101          4254052        5126986        0              1078           69   84   69   
3.90/4.06	c 2520           30228          4271501        5149698        0              1081           78   88   77   
3.90/4.08	c 2530           30341          4286757        5170664        0              1086           77   83   71   
3.90/4.09	c 2540           30443          4303643        5185086        0              1089           75   77   69   
4.00/4.11	c 2550           30547          4317803        5196369        0              1092           77   80   71   
4.00/4.12	c 2560           30656          4334690        5222185        0              1096           73   82   70   
4.00/4.14	c 2570           30762          4352937        5246655        0              1099           76   77   69   
4.00/4.15	c 2580           30864          4366371        5257695        0              1103           72   81   69   
4.00/4.16	c 2590           30981          4382256        5271130        0              1106           81   88   77   
4.00/4.18	c 2600           31103          4401704        5297471        0              1113           73   89   75   
4.10/4.20	c 2610           31200          4419210        5323626        0              1116           71   73   65   
4.10/4.21	c 2620           31300          4432742        5334658        0              1120           70   79   67   
4.10/4.23	c 2630           31422          4451672        5363910        0              1122           81   86   76   
4.10/4.24	c 2640           31520          4469300        5379296        0              1126           73   75   67   
4.10/4.26	c 2650           31622          4488688        5411126        0              1129           72   80   71   
4.10/4.27	c 2660           31738          4505982        5435156        0              1131           80   84   74   
4.10/4.29	c 2670           31827          4520263        5457290        0              1135           67   72   63   
4.20/4.31	c 2680           31949          4536522        5479685        0              1141           80   93   79   
4.20/4.32	c 2690           32060          4551880        5493168        0              1143           81   89   77   
4.20/4.34	c 2700           32169          4569670        5520650        0              1149           75   84   72   
4.20/4.36	c 2710           32298          4588234        5546169        0              1151           83   87   77   
4.20/4.37	c 2720           32410          4604315        5567195        0              1156           72   81   70   
4.20/4.39	c 2730           32532          4620295        5587797        0              1158           86   95   80   
4.20/4.40	c 2740           32642          4635648        5601283        0              1160           80   88   76   
4.30/4.42	c 2750           32765          4652727        5626249        0              1162           81   86   76   
4.30/4.43	c 2760           32885          4670429        5641488        0              1166           80   88   77   
4.30/4.44	c 2770           32979          4685376        5654168        0              1171           69   77   67   
4.30/4.45	c 2771           33065          4696516        5664249        0              1172           86   86   43   
4.30/4.47	c 2780           33163          4716855        5693074        0              1175           75   78   68   
4.30/4.49	c 2790           33275          4735152        5721807        0              1178           76   82   71   
4.30/4.50	c 2800           33377          4750073        5734251        0              1182           74   79   70   
4.40/4.52	c 2810           33500          4768616        5760285        0              1188           73   91   76   
4.40/4.53	c 2820           33597          4783827        5780298        0              1194           68   76   65   
4.40/4.55	c 2830           33711          4800359        5801465        0              1200           80   90   77   
4.40/4.56	c 2840           33799          4814646        5823589        0              1204           66   71   62   
4.40/4.57	c 2850           33914          4829913        5843624        0              1207           80   94   81   
4.40/4.59	c 2860           34002          4844185        5865757        0              1211           66   71   62   
4.50/4.60	c 2870           34128          4860446        5888173        0              1217           81   96   81   
4.50/4.62	c 2880           34239          4875803        5901657        0              1219           80   89   76   
4.50/4.63	c 2890           34342          4892812        5925616        0              1227           82   86   75   
4.50/4.65	c 2900           34442          4907924        5944539        0              1230           72   79   68   
4.50/4.66	c 2910           34565          4925769        5969456        0              1233           88   94   82   
4.50/4.68	c 2920           34676          4941462        5983204        0              1235           80   89   76   
4.50/4.69	c 2930           34779          4957423        6005475        0              1243           82   86   75   
4.60/4.70	c 2940           34887          4973018        6019045        0              1246           79   86   75   
4.60/4.72	c 2950           35012          4991922        6046635        0              1251           73   91   77   
4.60/4.74	c 2960           35117          5009643        6072357        0              1257           71   83   72   
4.60/4.75	c 2970           35216          5024740        6090436        0              1261           72   76   67   
4.60/4.77	c 2980           35331          5041822        6115268        0              1262           84   91   78   
4.60/4.79	c 2990           35457          5060593        6141252        0              1264           77   103   75  
4.70/4.80	c 3000           35593          5081025        6171656        0              1267           79   104   77  
4.70/4.82	c 3010           35700          5097830        6192853        0              1270           75   86   73   
4.70/4.84	c 3020           35819          5115224        6215498        0              1273           71   89   76   
4.70/4.86	c 3030           35943          5134270        6240182        0              1276           78   87   74   
4.70/4.87	c 3040           36071          5152180        6264827        0              1280           79   89   78   
4.70/4.89	c 3050           36184          5167486        6285526        0              1281           85   90   79   
4.80/4.91	c 3060           36306          5184849        6308649        0              1289           80   85   74   
4.80/4.92	c 3070           36400          5197964        6324839        0              1290           76   80   69   
4.80/4.94	c 3080           36525          5215886        6348438        0              1294           85   97   82   
4.80/4.96	c 3090           36631          5236398        6383331        0              1297           76   77   69   
4.80/4.97	c 3100           36723          5249736        6400441        0              1303           72   78   67   
4.80/4.98	c 3110           36817          5262935        6415675        0              1311           75   84   70   
4.90/5.00	c 3120           36923          5281018        6439623        0              1314           76   77   69   
4.90/5.02	c 3130           37034          5297986        6456769        0              1319           77   87   73   
4.90/5.04	c 3140           37143          5315675        6484257        0              1322           73   77   68   
4.90/5.04	c 3142           37221          5326691        6494857        0              1324           74   76   50   
4.90/5.06	c 3150           37327          5346124        6524990        0              1326           77   77   68   
4.90/5.09	c 3160           37440          5365475        6555414        0              1330           76   81   69   
5.00/5.10	c 3170           37544          5381152        6578592        0              1332           72   80   68   
5.00/5.12	c 3180           37647          5400168        6610556        0              1336           72   80   68   
5.00/5.14	c 3190           37763          5418216        6636216        0              1341           71   89   71   
5.00/5.16	c 3200           37864          5438318        6670546        0              1344           74   76   68   
5.00/5.18	c 3210           37972          5455071        6694164        0              1346           75   81   70   
5.10/5.20	c 3220           38074          5471488        6718159        0              1349           72   81   70   
5.10/5.22	c 3230           38190          5490936        6751718        0              1352           77   82   72   
5.10/5.23	c 3240           38297          5507106        6772359        0              1356           72   81   71   
5.10/5.25	c 3250           38402          5526142        6796001        0              1359           75   76   68   
5.10/5.26	c 3260           38520          5544112        6812778        0              1361           72   80   70   
5.10/5.27	c 3270           38625          5559814        6828080        0              1370           79   86   74   
5.10/5.28	c 3280           38737          5574107        6840384        0              1375           72   86   71   
5.10/5.30	c 3290           38857          5589696        6853942        0              1381           81   94   78   
5.20/5.31	c 3300           38967          5605185        6867372        0              1384           71   83   71   
5.20/5.32	c 3310           39084          5621665        6881952        0              1390           80   90   77   
5.20/5.33	c 3320           39192          5636334        6894397        0              1393           79   85   75   
5.20/5.34	c 3330           39308          5652822        6908976        0              1399           79   89   76   
5.20/5.35	c 3340           39412          5667507        6921141        0              1402           74   81   71   
5.20/5.36	c 3350           39522          5682847        6934624        0              1404           78   88   75   
5.20/5.38	c 3360           39627          5699245        6958036        0              1407           72   80   69   
5.30/5.40	c 3370           39717          5715382        6979556        0              1411           65   69   61   
5.30/5.41	c 3380           39827          5731044        6993295        0              1413           78   88   75   
5.30/5.42	c 3390           39933          5745698        7005744        0              1416           77   83   73   
5.30/5.43	c 3400           40029          5760922        7025770        0              1422           66   74   64   
5.30/5.45	c 3410           40138          5777491        7040063        0              1426           75   79   70   
5.30/5.46	c 3420           40234          5792698        7060092        0              1432           66   74   64   
5.30/5.47	c 3430           40338          5808689        7083786        0              1436           69   78   66   
5.30/5.49	c 3440           40436          5826089        7099215        0              1439           68   69   62   
5.40/5.51	c 3450           40536          5844069        7126690        0              1443           70   78   69   
5.40/5.52	c 3460           40642          5861074        7151233        0              1446           79   82   73   
5.40/5.54	c 3470           40748          5880888        7181020        0              1451           70   79   70   
5.40/5.56	c 3480           40853          5898388        7206944        0              1456           75   82   71   
5.40/5.58	c 3490           40977          5917720        7232073        0              1462           70   87   74   
5.40/5.60	c 3500           41082          5933339        7255254        0              1465           71   81   70   
5.50/5.62	c 3510           41203          5950042        7279469        0              1468           70   78   67   
5.50/5.63	c 3520           41308          5966940        7293920        0              1471           74   75   67   
5.50/5.65	c 3530           41412          5986217        7323277        0              1474           72   81   72   
5.50/5.66	c 3540           41529          6004866        7348369        0              1477           81   85   75   
5.50/5.68	c 3550           41643          6020133        7368733        0              1478           88   92   81   
5.50/5.69	c 3551           41725          6030080        7376734        0              1479           82   82   41   
5.60/5.70	c 3560           41815          6047666        7401318        0              1483           66   70   61   
5.60/5.71	c 3570           41911          6062358        7415442        0              1491           71   79   69   
5.60/5.73	c 3580           42002          6078609        7436738        0              1496           65   69   61   
5.60/5.74	c 3590           42098          6094273        7456355        0              1502           66   74   64   
5.60/5.76	c 3600           42343          6112864        7482867        0              1505           70   210   103 
5.60/5.78	c 3610           42445          6132662        7516864        0              1507           72   78   67   
5.70/5.80	c 3620           42739          6150730        7538244        0              1511           73   210   142 
5.70/5.82	c 3630           42844          6169444        7570446        0              1513           70   79   68   
5.70/5.83	c 3640           42941          6185888        7590629        0              1515           72   75   66   
5.70/5.85	c 3650           43046          6204184        7618794        0              1518           71   80   71   
5.70/5.87	c 3660           43152          6221203        7633186        0              1519           79   83   73   
5.70/5.88	c 3670           43280          6240253        7659933        0              1525           72   93   77   
5.80/5.90	c 3680           43385          6257787        7675426        0              1528           79   84   73   
5.80/5.91	c 3690           43488          6273079        7694794        0              1530           72   88   77   
5.80/5.93	c 3700           43588          6289941        7719430        0              1533           73   76   67   
5.80/5.94	c 3710           43686          6304503        7731530        0              1536           70   76   67   
5.80/5.96	c 3720           43793          6322444        7756254        0              1543           73   87   75   
5.80/5.97	c 3730           43901          6338832        7777878        0              1546           78   88   76   
5.80/5.98	c 3740           44013          6354176        7791602        0              1549           78   87   76   
5.90/6.00	c 3750           44139          6372064        7814409        0              1552           77   87   75   
5.90/6.01	c 3760           44242          6387082        7827544        0              1554           76   79   70   
5.90/6.03	c 3770           44370          6406191        7855310        0              1559           72   92   77   
5.90/6.05	c 3780           44483          6423931        7880493        0              1563           70   89   75   
5.90/6.06	c 3790           44587          6439111        7893698        0              1565           81   84   74   
5.90/6.07	c 3800           44686          6453178        7910571        0              1572           70   86   69   
5.90/6.09	c 3810           44823          6474389        7938476        0              1575           79   86   75   
6.00/6.11	c 3820           44951          6494412        7969909        0              1577           90   92   82   
6.00/6.13	c 3830           45069          6513849        7998994        0              1581           72   84   69   
6.00/6.14	c 3840           45168          6528130        8010827        0              1585           77   82   72   
6.00/6.16	c 3850           45295          6547013        8037942        0              1590           71   91   76   
6.00/6.17	c 3860           45410          6564683        8062578        0              1594           70   90   75   
6.00/6.18	c 3870           45510          6579333        8075213        0              1604           81   83   74   
6.00/6.19	c 3880           45609          6593614        8087046        0              1608           77   82   72   
6.10/6.21	c 3890           45710          6614063        8119328        0              1612           74   79   70   
6.10/6.23	c 3900           45814          6627946        8138567        0              1614           79   91   79   
6.10/6.24	c 3910           45913          6642236        8150414        0              1618           77   82   72   
6.10/6.25	c 3920           46018          6657860        8171711        0              1625           76   83   72   
6.10/6.28	c 3930           46118          6676871        8202664        0              1628           72   74   66   
6.10/6.29	c 3940           46251          6696657        8231132        0              1631           78   101   78  
6.20/6.31	c 3950           46344          6713554        8252052        0              1633           74   76   67   
6.20/6.33	c 3960           46440          6730151        8272399        0              1634           76   79   70   
6.20/6.34	c 3970           46552          6748724        8299557        0              1640           72   88   73   
6.20/6.36	c 3980           46650          6764692        8321206        0              1642           74   83   73   
6.20/6.38	c 3990           46747          6782251        8343888        0              1644           73   81   71   
6.20/6.39	c 4000           46840          6795022        8358720        0              1652           75   82   70   
6.20/6.39	c 4001           46913          6805134        8367032        0              1653           73   73   36   
6.30/6.41	c 4010           47034          6820729        8386917        0              1658           84   100   82  
6.30/6.43	c 4020           47145          6837668        8409355        0              1664           71   85   71   
6.30/6.44	c 4030           47255          6853863        8431487        0              1670           70   87   71   
6.30/6.46	c 4040           47357          6870465        8451921        0              1672           78   85   75   
6.30/6.48	c 4050           47480          6890634        8481650        0              1677           78   91   75   
6.30/6.49	c 4060           47577          6906225        8502297        0              1684           70   77   66   
6.40/6.51	c 4070           47683          6925731        8533165        0              1686           72   79   68   
6.40/6.53	c 4080           47796          6943733        8559635        0              1691           74   83   70   
6.40/6.55	c 4090           47909          6961653        8587183        0              1696           70   79   68   
6.40/6.57	c 4100           48039          6983739        8620209        0              1699           73   85   71   
6.40/6.59	c 4110           48161          7004520        8646860        0              1703           76   86   76   
6.50/6.61	c 4120           48402          7024066        8676106        0              1707           75   199   114 
6.50/6.63	c 4130           48519          7042272        8704369        0              1710           80   88   75   
6.50/6.65	c 4140           48630          7061823        8731707        0              1713           74   83   71   
6.50/6.66	c 4150           48754          7080175        8757512        0              1719           71   85   70   
6.50/6.68	c 4160           48876          7100798        8787713        0              1723           76   86   73   
6.60/6.71	c 4170           49005          7120671        8819381        0              1727           76   87   73   
6.60/6.72	c 4180           49113          7136814        8839580        0              1730           72   78   70   
6.60/6.73	c 4190           49215          7150966        8852927        0              1732           80   86   76   
6.60/6.75	c 4200           49319          7172384        8885341        0              1736           74   75   67   
6.60/6.77	c 4210           49549          7190215        8908040        0              1741           77   198   135 
6.60/6.79	c 4220           49674          7209106        8938625        0              1744           77   93   77   
6.70/6.81	c 4230           49790          7228460        8969504        0              1748           75   82   70   
6.70/6.82	c 4240           49902          7245765        8995575        0              1750           77   83   73   
6.70/6.84	c 4250           50008          7264249        9023355        0              1754           74   82   69   
6.70/6.86	c 4260           50103          7278586        9040795        0              1755           76   79   69   
6.70/6.88	c 4270           50244          7297743        9066366        0              1758           82   95   82   
6.70/6.89	c 4280           50346          7313183        9082737        0              1761           74   80   70   
6.80/6.91	c 4290           50474          7329213        9104311        0              1764           72   96   80   
6.80/6.93	c 4300           50598          7348509        9132129        0              1767           73   85   72   
6.80/6.94	c 4310           50719          7364199        9146794        0              1773           83   88   76   
6.80/6.95	c 4320           50824          7378511        9158414        0              1777           71   80   70   
6.80/6.97	c 4330           50940          7395919        9183391        0              1784           75   86   74   
6.80/6.98	c 4340           51035          7411302        9199003        0              1787           71   75   66   
6.80/6.99	c 4350           51153          7427997        9221915        0              1793           82   90   78   
6.90/7.01	c 4360           51272          7445120        9237371        0              1799           77   88   73   
6.90/7.02	c 4370           51385          7460441        9250940        0              1801           70   88   71   
6.90/7.03	c 4380           51506          7478018        9271805        0              1804           70   84   71   
6.90/7.05	c 4390           51632          7494460        9285944        0              1808           77   88   75   
6.90/7.06	c 4400           51745          7509988        9299398        0              1811           70   85   71   
6.90/7.07	c 4410           51849          7524543        9311742        0              1814           79   85   74   
6.90/7.08	c 4420           51961          7539801        9324960        0              1817           79   90   76   
6.90/7.09	c 4430           52065          7554354        9337276        0              1820           79   85   74   
7.00/7.11	c 4440           52192          7572221        9360649        0              1824           71   93   80   
7.00/7.13	c 4450           52322          7591221        9388017        0              1829           70   92   75   
7.00/7.14	c 4460           52427          7610638        9420180        0              1832           71   80   71   
7.00/7.16	c 4470           52538          7626149        9433865        0              1836           78   84   74   
7.00/7.17	c 4480           52647          7640513        9446621        0              1845           84   87   77   
7.00/7.18	c 4490           52750          7654861        9458603        0              1851           73   83   71   
7.00/7.19	c 4493           52841          7666511        9471446        0              1854           81   85   62   
7.10/7.20	c 4500           52942          7679918        9482279        0              1856           80   85   72   
7.10/7.22	c 4510           53060          7702978        9518966        0              1859           76   85   71   
7.10/7.24	c 4520           53161          7721508        9545400        0              1864           74   77   68   
7.10/7.25	c 4530           53257          7735988        9558203        0              1869           73   78   68   
7.10/7.26	c 4540           53365          7751070        9576956        0              1879           89   93   81   
7.10/7.28	c 4550           53483          7767871        9596355        0              1887           79   89   76   
7.10/7.29	c 4560           53588          7780932        9607606        0              1890           78   86   74   
7.20/7.31	c 4570           53708          7800544        9631732        0              1895           69   86   72   
7.20/7.32	c 4580           53836          7816614        9654240        0              1901           78   86   74   
7.20/7.34	c 4590           53940          7832953        9675334        0              1904           79   82   72   
7.20/7.36	c 4600           54069          7850226        9699062        0              1907           76   99   76   
7.20/7.37	c 4610           54158          7864592        9717565        0              1909           72   78   68   
7.20/7.38	c 4620           54258          7879520        9730139        0              1913           72   77   68   
7.30/7.40	c 4630           54380          7898572        9759625        0              1916           80   90   78   
7.30/7.42	c 4640           54493          7913933        9780431        0              1918           85   89   78   
7.30/7.43	c 4650           54598          7926994        9791682        0              1921           78   86   74   
7.30/7.45	c 4660           54703          7948257        9827782        0              1923           75   77   69   
7.30/7.47	c 4670           54813          7964891        9851315        0              1925           81   86   75   
7.30/7.49	c 4680           54929          7985927        9885914        0              1927           77   86   73   
7.40/7.51	c 4690           55033          8002396        9909963        0              1932           74   80   69   
7.40/7.53	c 4700           55152          8020064        9935421        0              1933           76   83   72   
7.40/7.55	c 4710           55250          8035950        9958004        0              1935           71   77   68   
7.40/7.56	c 4720           55354          8052688        9981271        0              1939           70   75   66   
7.40/7.58	c 4730           55474          8070101        10005653       0              1941           74   92   70   
7.40/7.59	c 4740           55575          8082811        10020644       0              1945           74   84   72   
7.50/7.61	c 4750           55681          8100448        10037464       0              1951           69   76   66   
7.50/7.62	c 4760           55774          8115692        10050734       0              1955           65   73   64   
7.50/7.64	c 4770           55891          8132948        10075966       0              1959           79   88   77   
7.50/7.65	c 4780           55987          8150451        10098120       0              1962           70   72   64   
7.50/7.67	c 4790           56084          8166176        10111715       0              1966           65   77   67   
7.50/7.68	c 4800           56194          8180581        10123925       0              1967           81   85   75   
7.50/7.69	c 4810           56326          8198282        10148911       0              1971           88   94   82   
7.60/7.70	c 4820           56411          8211347        10160559       0              1973           68   72   64   
7.60/7.72	c 4830           56513          8226788        10173774       0              1977           74   79   70   
7.60/7.73	c 4840           56653          8246614        10203002       0              1982           70   91   79   
7.60/7.75	c 4850           56766          8261766        10216543       0              1988           78   88   75   
7.60/7.76	c 4860           56878          8278741        10239065       0              1993           77   85   73   
7.60/7.78	c 4870           56984          8294607        10260161       0              1995           78   86   74   
7.70/7.80	c 4880           57094          8313992        10292349       0              1997           74   78   67   
7.70/7.82	c 4890           57196          8334634        10326215       0              2001           72   73   66   
7.70/7.84	c 4900           57319          8353760        10353502       0              2007           73   82   70   
7.70/7.86	c 4910           57433          8369960        10376202       0              2011           83   89   77   
7.70/7.87	c 4920           57546          8385120        10389749       0              2017           78   88   75   
7.70/7.89	c 4930           57659          8401387        10410386       0              2019           80   92   79   
7.80/7.90	c 4940           57759          8416361        10430294       0              2020           79   85   72   
7.80/7.92	c 4950           57868          8434084        10456357       0              2022           78   83   73   
7.80/7.93	c 4960           57982          8449497        10469509       0              2025           73   81   70   
7.80/7.95	c 4970           58123          8469292        10498700       0              2030           70   92   79   
7.80/7.97	c 4980           58244          8487111        10525576       0              2033           83   88   78   
7.80/7.99	c 4990           58384          8506868        10554716       0              2038           69   91   78   
7.90/8.03	c 5035           58620          8545708        10622411       0              2048           79   91   82   
8.40/8.57	c 5631           60970          9052063        11626649       0              2055           68   93   79   
8.99/9.17	c 6286           63987          9532295        12554274       0              2066           70   97   85   
9.49/9.66	c 7006           66121          10124519       13482980       0              2079           67   87   73   
10.29/10.43	c 7798           70444          10745838       14798969       0              2082           65   98   85   
10.79/10.95	c 8669           74596          11246901       15767019       0              2088           78   198   123 
11.69/11.82	c 9627           79355          11981574       17246242       0              2101           69   99   84   
12.79/12.91	c 10680          83226          12913361       19178566       0              2109           64   97   74   
13.59/13.74	c 11838          87363          13759137       20776577       0              2123           62   93   77   
14.79/14.93	c 13111          93504          14774259       22778312       0              2134           60   96   82   
15.79/15.93	c 14511          98992          15768079       24691473       0              2155           67   94   81   
17.69/17.81	c 16051          103878         17513925       28110816       0              2161           59   88   68   
18.79/18.98	c 17745          110453         18766109       30269140       0              2171           63   102   82  
20.39/20.55	c 19608          118027         20295658       33200718       0              2179           64   98   84   
22.39/22.53	c 21657          124283         22339350       37534125       0              2188           62   99   72   
25.19/25.31	c 23910          131499         24578113       42675953       0              2201           65   85   75   
26.79/26.92	c 26388          142878         26229388       45917531       0              2210           70   181   110 
29.39/29.52	c 29113          154088         28556795       50464898       0              2220           65   102   83  
31.98/32.14	c 32110          167530         31035072       55616942       0              2233           66   105   83  
33.38/33.51	c 35406          198051         32372758       58083592       0              2243           72   182   156 
36.98/37.10	c 39031          214983         35755921       65348655       0              2260           74   111   92  
39.98/40.17	c 43018          227925         39231589       70468098       0              2266           84   120   97  
43.58/43.78	c 47403          249730         42761746       77351538       0              2274           65   105   84  
47.48/47.65	c 52226          317414         45976925       83883404       0              2280           68   162   128 
52.08/52.22	c 57531          343373         50515656       92612083       0              2294           80   119   99  
57.48/57.65	c 63366          374410         55148186       103180547      0              2305           88   125   107 
63.28/63.41	c 69784          428436         60175850       113211965      0              2319           82   173   112 
68.68/68.89	c 76843          461484         65957187       123494975      0              2337           81   125   103 
75.78/75.90	c 84607          493096         72583139       135573463      0              2350           83   125   100 
82.67/82.86	c 93147          530282         79811891       148792530      0              2361           64   106   84  
90.18/90.36	c 102541         623637         86157659       160935443      0              2367           73   177   113 
98.67/98.89	c 112874         675887         94334835       176816696      0              2386           64   107   87  
107.77/107.92	c 124240         732564         102799071      194556086      0              2397           66   105   88  
118.77/118.94	c 136742         794859         112681688      214098010      0              2405           65   108   86  
129.96/130.13	c 150494         868866         123715358      235254013      0              2422           65   109   89  
142.26/142.40	c 165621         940652         135457857      256107909      0              2440           64   106   86  
156.06/156.23	c 182260         1019349        148943364      282441049      0              2457           76   117   94  
173.45/173.61	c 200562         1095830        164569762      313539542      0              2470           62   104   79  
189.05/189.25	c 220694         1210074        180191307      341881070      0              2487           63   107   86  
202.74/202.96	c 242839         1317678        193036597      369034929      0              2501           62   176   109 
224.04/224.27	c 267198         1443435        212314032      406943648      0              2513           63   183   90  
237.04/237.21	c 293992         1652070        224856000      432111542      0              2519           74   178   141 
261.14/261.39	c 323465         1783856        249104640      480247284      0              2528           74   116   93  
285.33/285.54	c 355885         1950225        273105930      521221586      0              2556           65   111   89  
314.23/314.40	c 391547         2096781        303400384      578449412      0              2571           74   116   92  
346.52/346.72	c 430775         2312805        333269146      636522058      0              2592           64   109   87  
385.21/385.40	c 473925         2533499        367921067      704340984      0              2609           65   112   90  
431.10/431.37	c 521390         2776515        410088455      795193623      0              2642           72   117   93  
479.19/479.46	c 573601         3063920        452969178      879356687      0              2669           64   114   90  
521.38/521.60	c 631033         3353111        495811875      960812655      0              2678           66   174   96  
564.37/564.63	c 694208         3866799        534412260      1038916532     0              2699           67   175   124 
629.05/629.39	c 763700         4240505        593804105      1154208041     0              2717           70   120   96  
693.73/694.09	c 840141         4694459        653016523      1276797513     0              2733           75   125   103 
759.42/759.78	c 924226         5132424        717740593      1403222543     0              2751           71   117   95  
825.10/825.47	c 1016719        5570343        783836378      1514006445     0              2774           69   117   94  
899.68/900.05	c 1118461        6101893        860482567      1651084922     0              2787           65   115   90  
983.46/983.82	c 1230377        6621053        940555401      1798375486     0              2800           63   113   90  
1081.65/1082.04	c 1353484        7282655        1032475964     1980581783     0              2814           72   121   97  
1144.23/1144.65	c 1488901        8630234        1092485065     2088695651     0              2831           73   188   151 
1271.31/1271.72	c 1637859        9418003        1210475966     2308795427     0              2859           65   115   91  
1371.88/1372.36	c 1801712        11643929       1296984428     2475319768     0              2873           69   168   135 
1527.35/1527.87	c 1981950        12483276       1450636654     2788705669     0              2900           76   128   103 
1694.31/1694.85	c 2180211        13447792       1600235617     3081992868     0              2917           68   123   98  
1868.99/1869.53	c 2398298        14565741       1771258769     3418100402     0              2935           74   126   100 
2015.48/2016.06	c 2638193        17057010       1902232823     3663762389     0              2955           75   180   134 
2169.47/2170.05	c 2902077        19064329       2038439355     3954240022     0              2998           67   213   134

Verifier Data 

One s line expected

Watcher Data 

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-4241897-1502056111/watcher-4241897-1502056111 -o /tmp/evaluation-result-4241897-1502056111/solver-4241897-1502056111 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241897-1502056111.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.07 3/180 31086
/proc/meminfo: memFree=31666676/32770624 swapFree=0/362044
[pid=31086] ppid=31083 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31086/stat : 31086 (runsolver) D 31083 31086 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7806939 24240128 108 18446744073709551615 4194304 4338465 140720906558816 140720906556456 139851667391191 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 6733824 140720906567834 140720906568266 140720906568266 140720906571722 0
/proc/31086/statm: 5918 108 54 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 2.03 2.03 2.07 3/180 31086
/proc/meminfo: memFree=31666676/32770624 swapFree=0/362044
[pid=31086] ppid=31083 vsize=28852 CPUtime=0.01 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 1433 0 0 0 1 0 0 0 20 0 1 0 7806939 29544448 1235 18446744073709551615 4194304 5970956 140730260956624 140730260953272 139687185659808 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 7213 1235 725 434 0 577 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28852

[startup+0.200273 s]
/proc/loadavg: 2.03 2.03 2.07 3/180 31086
/proc/meminfo: memFree=31666676/32770624 swapFree=0/362044
[pid=31086] ppid=31083 vsize=48040 CPUtime=0.1 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 5449 0 0 0 10 0 0 0 20 0 1 0 7806939 49192960 5287 18446744073709551615 4194304 5970956 140730260956624 140730260953272 5337492 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5287 784 434 0 5374 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 48040

[startup+0.300312 s]
/proc/loadavg: 2.03 2.03 2.07 3/180 31086
/proc/meminfo: memFree=31666676/32770624 swapFree=0/362044
[pid=31086] ppid=31083 vsize=48040 CPUtime=0.2 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 5456 0 0 0 20 0 0 0 20 0 1 0 7806939 49192960 5287 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327993 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5287 784 434 0 5374 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 48040

[startup+0.70023 s]
/proc/loadavg: 2.03 2.03 2.07 3/180 31086
/proc/meminfo: memFree=31666676/32770624 swapFree=0/362044
[pid=31086] ppid=31083 vsize=48040 CPUtime=0.6 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 5466 0 0 0 60 0 0 0 20 0 1 0 7806939 49192960 5287 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4994549 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5287 784 434 0 5374 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 48040

[startup+1.50023 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 31087
/proc/meminfo: memFree=31648780/32770624 swapFree=0/362184
[pid=31086] ppid=31083 vsize=48040 CPUtime=1.4 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 5480 0 0 0 140 0 0 0 20 0 1 0 7806939 49192960 5287 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5287 784 434 0 5374 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 48040

[startup+3.10021 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 31087
/proc/meminfo: memFree=31648220/32770624 swapFree=0/362072
[pid=31086] ppid=31083 vsize=48040 CPUtime=3 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 9009 0 0 0 300 0 0 0 20 0 1 0 7806939 49192960 5361 18446744073709551615 4194304 5970956 140730260956624 140730260953960 139687186050144 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5361 787 434 0 5374 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 48040

[startup+6.30023 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 31087
/proc/meminfo: memFree=31647980/32770624 swapFree=0/362080
[pid=31086] ppid=31083 vsize=48040 CPUtime=6.2 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 12748 0 0 0 620 0 0 0 20 0 1 0 7806939 49192960 5422 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327850 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5422 787 434 0 5374 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 48040

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.06 3/181 31087
/proc/meminfo: memFree=31647164/32770624 swapFree=0/362088
[pid=31086] ppid=31083 vsize=48040 CPUtime=12.59 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 16401 0 0 0 1259 0 0 0 20 0 1 0 7806939 49192960 5479 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327847 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 5479 787 434 0 5374 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 48040

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.06 3/181 31087
/proc/meminfo: memFree=31647556/32770624 swapFree=0/362104
[pid=31086] ppid=31083 vsize=48040 CPUtime=25.39 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 18004 0 0 0 2539 0 0 0 20 0 1 0 7806939 49192960 6001 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327850 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6001 787 434 0 5374 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 48040

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.06 3/181 31088
/proc/meminfo: memFree=31645512/32770624 swapFree=0/362128
[pid=31086] ppid=31083 vsize=48040 CPUtime=50.98 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 18890 0 0 0 5098 0 0 0 20 0 1 0 7806939 49192960 6001 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934342 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6001 787 434 0 5374 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 48040

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/181 31089
/proc/meminfo: memFree=31645484/32770624 swapFree=0/362196
[pid=31086] ppid=31083 vsize=48040 CPUtime=102.17 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 19755 0 0 0 10217 0 0 0 20 0 1 0 7806939 49192960 6002 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5337472 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6002 787 434 0 5374 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 48040

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31091
/proc/meminfo: memFree=31645628/32770624 swapFree=0/362248
[pid=31086] ppid=31083 vsize=48040 CPUtime=162.15 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 20597 0 0 0 16215 0 0 0 20 0 1 0 7806939 49192960 6002 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6002 787 434 0 5374 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 48040

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31093
/proc/meminfo: memFree=31645588/32770624 swapFree=0/362320
[pid=31086] ppid=31083 vsize=48040 CPUtime=222.14 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 21420 0 0 0 22214 0 0 0 20 0 1 0 7806939 49192960 6002 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4994554 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6002 787 434 0 5374 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 48040

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31095
/proc/meminfo: memFree=31645460/32770624 swapFree=0/362364
[pid=31086] ppid=31083 vsize=48040 CPUtime=282.13 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 22263 0 0 0 28212 1 0 0 20 0 1 0 7806939 49192960 6002 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6002 787 434 0 5374 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 48040

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31111
/proc/meminfo: memFree=31640780/32770624 swapFree=0/362440
[pid=31086] ppid=31083 vsize=48040 CPUtime=342.12 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 23032 0 0 0 34211 1 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4978592 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 48040

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31113
/proc/meminfo: memFree=31641088/32770624 swapFree=0/362480
[pid=31086] ppid=31083 vsize=48040 CPUtime=402.11 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 23822 0 0 0 40210 1 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327985 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 48040

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 31115
/proc/meminfo: memFree=31643532/32770624 swapFree=0/362536
[pid=31086] ppid=31083 vsize=48040 CPUtime=462.09 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 24577 0 0 0 46208 1 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934357 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 48040

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 31117
/proc/meminfo: memFree=31643648/32770624 swapFree=0/362560
[pid=31086] ppid=31083 vsize=48040 CPUtime=522.08 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 25389 0 0 0 52207 1 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5098928 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 48040

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31119
/proc/meminfo: memFree=31644396/32770624 swapFree=0/362608
[pid=31086] ppid=31083 vsize=48040 CPUtime=582.06 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 26141 0 0 0 58205 1 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4976696 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 48040


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


[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 31177
/proc/meminfo: memFree=31642444/32770624 swapFree=0/363804
[pid=31086] ppid=31083 vsize=48040 CPUtime=1481.86 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 36823 0 0 0 148184 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4994541 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 48040

[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 31193
/proc/meminfo: memFree=31638052/32770624 swapFree=0/363856
[pid=31086] ppid=31083 vsize=48040 CPUtime=1541.85 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 37598 0 0 0 154183 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327859 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 48040

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 31222
/proc/meminfo: memFree=31636280/32770624 swapFree=0/363936
[pid=31086] ppid=31083 vsize=48040 CPUtime=1601.83 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 38187 0 0 0 160181 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934517 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 48040

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 31224
/proc/meminfo: memFree=31636912/32770624 swapFree=0/363972
[pid=31086] ppid=31083 vsize=48040 CPUtime=1661.82 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 38784 0 0 0 166180 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934868 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 48040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 31226
/proc/meminfo: memFree=31641140/32770624 swapFree=0/364012
[pid=31086] ppid=31083 vsize=48040 CPUtime=1721.8 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 39561 0 0 0 172178 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5327850 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 48040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31228
/proc/meminfo: memFree=31641100/32770624 swapFree=0/364048
[pid=31086] ppid=31083 vsize=48040 CPUtime=1781.79 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 40163 0 0 0 178177 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934116 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 48040

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31230
/proc/meminfo: memFree=31641180/32770624 swapFree=0/364088
[pid=31086] ppid=31083 vsize=48040 CPUtime=1841.79 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 40734 0 0 0 184177 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4977761 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1841.79
Current children cumulated vsize (KiB) 48040

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31232
/proc/meminfo: memFree=31641280/32770624 swapFree=0/364128
[pid=31086] ppid=31083 vsize=48040 CPUtime=1901.79 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 41546 0 0 0 190177 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 48040

[startup+1962.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 31234
/proc/meminfo: memFree=31641220/32770624 swapFree=0/364164
[pid=31086] ppid=31083 vsize=48040 CPUtime=1961.78 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 42003 0 0 0 196176 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 48040

[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 31298
/proc/meminfo: memFree=31613488/32770624 swapFree=0/364260
[pid=31086] ppid=31083 vsize=48040 CPUtime=2021.78 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 42828 0 0 0 202176 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5337524 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 2021.78
Current children cumulated vsize (KiB) 48040

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31300
/proc/meminfo: memFree=31612432/32770624 swapFree=0/364348
[pid=31086] ppid=31083 vsize=48040 CPUtime=2081.78 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 43447 0 0 0 208176 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5337501 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 2081.78
Current children cumulated vsize (KiB) 48040

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31318
/proc/meminfo: memFree=31608720/32770624 swapFree=0/364452
[pid=31086] ppid=31083 vsize=48040 CPUtime=2141.78 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 44078 0 0 0 214176 2 0 0 20 0 1 0 7806939 49192960 6003 18446744073709551615 4194304 5970956 140730260956624 140730260953960 5325173 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6003 787 434 0 5374 0
Current children cumulated CPU time (s) 2141.78
Current children cumulated vsize (KiB) 48040

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 31320
/proc/meminfo: memFree=31609092/32770624 swapFree=0/364508
[pid=31086] ppid=31083 vsize=48040 CPUtime=2201.78 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 44806 0 0 0 220176 2 0 0 20 0 1 0 7806939 49192960 6004 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6004 787 434 0 5374 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 48040

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31322
/proc/meminfo: memFree=31612740/32770624 swapFree=0/364552
[pid=31086] ppid=31083 vsize=48040 CPUtime=2261.77 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 45384 0 0 0 226175 2 0 0 20 0 1 0 7806939 49192960 6004 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6004 787 434 0 5374 0
Current children cumulated CPU time (s) 2261.77
Current children cumulated vsize (KiB) 48040

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31324
/proc/meminfo: memFree=31613472/32770624 swapFree=0/364588
[pid=31086] ppid=31083 vsize=48040 CPUtime=2321.77 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 45951 0 0 0 232175 2 0 0 20 0 1 0 7806939 49192960 6004 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6004 787 434 0 5374 0
Current children cumulated CPU time (s) 2321.77
Current children cumulated vsize (KiB) 48040

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31326
/proc/meminfo: memFree=31613236/32770624 swapFree=0/364628
[pid=31086] ppid=31083 vsize=48040 CPUtime=2381.76 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 46544 0 0 0 238174 2 0 0 20 0 1 0 7806939 49192960 6004 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934350 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6004 787 434 0 5374 0
Current children cumulated CPU time (s) 2381.76
Current children cumulated vsize (KiB) 48040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 31327
/proc/meminfo: memFree=31613236/32770624 swapFree=0/364636
[pid=31086] ppid=31083 vsize=48040 CPUtime=2400.06 cores=1,3,5,7
/proc/31086/stat : 31086 (cosoco) R 31083 31086 21827 0 -1 4202496 47083 0 0 0 240004 2 0 0 20 0 1 0 7806939 49192960 6004 18446744073709551615 4194304 5970956 140730260956624 140730260953960 4934357 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 35618816 140730260963783 140730260963918 140730260963918 140730260967374 0
/proc/31086/statm: 12010 6004 787 434 0 5374 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 48040

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 31086 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.07
CPU user time (s): 2400.05
CPU system time (s): 0.026995
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 48040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.026995
maximum resident set size= 24060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47109
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= 17
involuntary context switches= 1566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35873 second user time and 8.23989 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-06 23:34:34
IDJOB=4241897
IDBENCH=139771
IDSOLVER=2621
FILE ID=node126/4241897-1502056111
RUNJOBID= node126-1502042680-29187
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-09-2-12.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241897-1502056111/watcher-4241897-1502056111 -o /tmp/evaluation-result-4241897-1502056111/solver-4241897-1502056111 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241897-1502056111.xml

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

MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae
RANDOM SEED=409508905

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31666676 kB
MemAvailable:   32016800 kB
Buffers:          137036 kB
Cached:           492620 kB
SwapCached:            0 kB
Active:           324636 kB
Inactive:         370568 kB
Active(anon):      65500 kB
Inactive(anon):     8524 kB
Active(file):     259136 kB
Inactive(file):   362044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2376 kB
Writeback:             8 kB
AnonPages:         65532 kB
Mapped:            32000 kB
Shmem:              8868 kB
Slab:             114716 kB
SReclaimable:      89560 kB
SUnreclaim:        25156 kB
KernelStack:        3216 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2017-08-07 00:14:34