Trace number 4241893

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.03 2400.3101

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-10-2-12.xml
MD5SUM616f71b8e0d8bc577b21aa831e8a99b8
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 benchmark255.478
Satisfiable
(Un)Satisfiability was proved
Number of variables2400
Number of constraints1092
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":1440},{"size":12,"count":960}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":960},{"degree":9,"count":1440}]
Minimum constraint arity8
Maximum constraint arity120
Distribution of constraint arities[{"arity":8,"count":120},{"arity":13,"count":960},{"arity":120,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":120},{"type":"element","count":960}]
Optimization problemNO
Type of objective

Solver Data 

0.13/0.21	c SAT : Variables: 23040 -- Clauses: 106080
0.13/0.23	c root propagations     : 0           
0.13/0.23	c restarts enabled, print stats at every restarts
0.13/0.23	c
0.13/0.23	c
0.13/0.23	c
0.13/0.23	c This is cosoco 1.0 --  
0.13/0.23	c
0.13/0.23	c ========================================[ Problem Statistics ]===========================================
0.13/0.23	c |                                                                                                       
0.13/0.23	c |  Parse time        :         0.14 s 
0.13/0.23	c |
0.13/0.23	c |               Variables: 2400
0.13/0.23	c |            Domain Sizes: 8..12
0.13/0.23	c |
0.13/0.23	c |             Constraints: 1092
0.13/0.23	c |                   Arity: 8..120
0.13/0.23	c | 
0.13/0.23	c |                   Types: 
0.13/0.23	c |                          All Different: 120
0.13/0.23	c |                          Element Constant: 960
0.13/0.23	c |                          Extension: 12  (nb tuples: 1024..1024) -- (shared: 11)
0.13/0.23	c |                          
0.13/0.23	c =========================================================================================================
0.13/0.23	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.13/0.28	c 10             948            44310          26165          0              4              808   933   835
0.23/0.32	c 20             1623           76326          50625          0              7              640   650   585
0.23/0.35	c 30             1682           94543          71180          0              8              40   43   37   
0.23/0.36	c 40             1734           109669         84249          0              13             34   38   33   
0.23/0.39	c 50             1776           130036         113176         0              17             20   23   19   
0.33/0.40	c 60             1811           143841         130147         0              18             18   21   17   
0.33/0.42	c 70             1849           157946         146090         0              21             21   23   19   
0.33/0.44	c 80             1913           174683         170201         0              23             7   26   13    
0.33/0.48	c 90             1999           197377         214694         0              26             23   24   21   
0.43/0.52	c 100            2145           220158         257655         0              29             46   46   41   
0.43/0.53	c 101            2200           231329         266650         0              30             55   55   27   
0.43/0.54	c 110            2270           246859         279693         0              36             51   59   50   
0.43/0.56	c 120            2345           263304         296211         0              42             48   54   47   
0.43/0.59	c 130            2456           282302         326463         0              45             51   62   51   
0.53/0.61	c 140            2527           301283         353324         0              50             52   56   49   
0.53/0.64	c 150            2615           321297         383732         0              51             61   64   57   
0.53/0.66	c 160            2698           340448         408561         0              54             59   65   57   
0.53/0.68	c 170            2791           359334         431309         0              61             67   71   62   
0.63/0.70	c 180            2873           375729         448294         0              63             59   67   57   
0.63/0.72	c 190            2956           392649         473119         0              64             60   64   56   
0.63/0.75	c 200            3065           414450         507972         0              67             65   77   66   
0.63/0.77	c 210            3154           431571         525856         0              72             58   70   60   
0.63/0.78	c 211            3222           443823         536256         0              73             68   68   34   
0.73/0.80	c 220            3316           462360         564232         0              75             64   70   59   
0.73/0.82	c 230            3399           480058         587651         0              80             52   64   54   
0.73/0.84	c 240            3485           497134         603272         0              83             43   53   43   
0.73/0.86	c 250            3606           514631         626586         0              86             54   69   61   
0.73/0.88	c 260            3681           531318         649323         0              87             50   55   47   
0.83/0.90	c 270            3755           547829         664169         0              89             42   48   40   
0.83/0.92	c 280            3823           563811         683719         0              90             41   48   40   
0.83/0.93	c 290            3892           580082         697902         0              92             40   46   38   
0.83/0.95	c 300            3948           594868         710721         0              93             33   37   31   
0.83/0.96	c 310            4005           610367         729812         0              97             30   38   31   
0.83/0.98	c 320            4064           626701         750154         0              99             34   39   32   
0.93/1.00	c 330            4122           642553         764152         0              101            33   37   31   
0.93/1.01	c 332            4157           653913         773995         0              103            32   34   22   
0.93/1.02	c 340            4213           670915         789947         0              105            32   36   30   
0.93/1.04	c 350            4265           686904         812364         0              110            29   36   30   
0.93/1.06	c 360            4320           704819         837017         0              112            33   35   31   
0.93/1.08	c 370            4373           720958         858873         0              117            29   36   30   
0.93/1.10	c 380            4432           737815         874200         0              123            32   35   30   
1.03/1.12	c 390            4483           752949         894972         0              124            33   35   30   
1.03/1.13	c 400            4536           768695         909708         0              129            28   35   30   
1.03/1.16	c 410            4589           786055         935362         0              131            32   34   30   
1.03/1.17	c 420            4639           801698         949866         0              136            28   34   29   
1.03/1.19	c 430            4696           819836         979762         0              137            33   35   30   
1.13/1.21	c 440            4742           835465         999435         0              138            29   32   27   
1.13/1.23	c 450            4794           850998         1021104        0              143            28   32   27   
1.13/1.25	c 460            4840           866129         1040945        0              144            30   32   28   
1.13/1.26	c 465            4881           878632         1051783        0              145            34   36   29   
1.13/1.27	c 470            4921           891135         1062621        0              146            33   35   28   
1.13/1.29	c 480            4973           908367         1077554        0              149            31   34   29   
1.23/1.31	c 490            5030           925140         1101635        0              151            31   34   29   
1.23/1.33	c 500            5168           942330         1121382        0              154            33   79   51   
1.23/1.35	c 510            5217           957394         1142445        0              158            33   35   30   
1.23/1.37	c 520            5273           973948         1165641        0              160            30   33   28   
1.23/1.38	c 530            5326           989473         1180384        0              163            27   31   26   
1.33/1.40	c 540            5382           1004857        1201948        0              166            28   31   27   
1.33/1.42	c 550            5423           1019297        1222041        0              168            21   25   20   
1.33/1.43	c 560            5461           1032950        1241303        0              170            21   23   19   
1.33/1.45	c 570            5491           1045461        1253237        0              175            12   16   13   
1.33/1.46	c 580            5528           1059238        1266916        0              178            13   16   13   
1.33/1.48	c 590            5570           1073403        1283737        0              180            17   22   18   
1.33/1.49	c 600            5611           1088346        1306454        0              184            18   22   17   
1.43/1.51	c 610            5656           1102196        1320666        0              190            15   18   15   
1.43/1.52	c 611            5673           1110145        1328554        0              191            17   17   8    
1.43/1.53	c 620            5711           1123399        1346796        0              194            19   24   20   
1.43/1.55	c 630            5739           1135912        1358732        0              199            10   14   11   
1.43/1.56	c 640            5783           1149996        1378488        0              203            16   19   16   
1.43/1.58	c 650            5824           1165112        1394686        0              206            15   19   16   
1.43/1.59	c 660            5861           1178741        1407759        0              210            12   16   12   
1.53/1.61	c 670            5902           1193207        1421883        0              213            15   19   16   
1.53/1.62	c 680            5946           1208366        1442312        0              218            14   17   14   
1.53/1.64	c 690            5976           1221498        1461164        0              219            14   16   13   
1.53/1.65	c 700            6004           1234011        1473112        0              224            10   14   11   
1.53/1.67	c 710            6048           1248077        1492816        0              228            15   18   15   
1.53/1.68	c 720            6079           1260847        1505262        0              229            15   17   14   
1.63/1.70	c 730            6110           1274123        1524320        0              231            14   16   13   
1.63/1.72	c 740            6150           1289492        1540585        0              236            13   14   12   
1.63/1.74	c 750            6185           1303461        1561448        0              239            13   18   13   
1.63/1.75	c 760            6218           1317105        1578596        0              241            14   17   13   
1.63/1.77	c 770            6259           1332066        1592748        0              244            11   16   13   
1.63/1.77	c 771            6273           1341049        1601292        0              245            14   14   7    
1.63/1.79	c 780            6301           1354165        1620129        0              249            13   15   12   
1.73/1.81	c 790            6338           1368070        1633340        0              251            12   16   12   
1.73/1.82	c 800            6368           1380833        1645762        0              252            14   16   13   
1.73/1.83	c 810            6396           1393154        1657174        0              253            12   14   11   
1.73/1.85	c 820            6430           1407224        1677056        0              255            14   18   14   
1.73/1.86	c 830            6459           1421107        1690030        0              258            10   14   11   
1.73/1.88	c 840            6496           1436833        1713180        0              262            14   18   14   
1.83/1.90	c 850            6545           1456032        1731680        0              264            12   16   13   
1.83/1.91	c 860            6584           1471102        1748266        0              267            13   17   14   
1.83/1.93	c 870            6623           1484393        1761948        0              271            13   17   13   
1.83/1.94	c 880            6662           1498844        1776086        0              274            13   17   14   
1.83/1.96	c 890            6710           1513998        1796476        0              279            14   18   15   
1.83/1.97	c 900            6739           1527131        1815309        0              280            13   15   12   
1.83/1.99	c 910            6779           1542501        1831596        0              285            13   14   12   
1.93/2.01	c 920            6823           1557825        1852662        0              288            14   19   14   
1.93/2.03	c 930            6863           1572918        1869293        0              291            14   18   15   
1.93/2.05	c 940            6907           1587436        1893344        0              293            13   18   14   
1.93/2.06	c 947            6935           1599594        1906743        0              296            14   17   13   
1.93/2.07	c 950            6953           1610265        1916955        0              299            12   14   10   
1.93/2.08	c 960            6981           1622596        1928369        0              300            12   14   11   
2.04/2.10	c 970            7016           1636068        1945199        0              304            13   18   14   
2.04/2.11	c 980            7050           1650334        1962722        0              306            15   18   14   
2.04/2.13	c 990            7080           1664552        1976137        0              308            12   14   11   
2.04/2.15	c 1000           7127           1679969        1991363        0              313            13   17   14   
2.04/2.17	c 1010           7243           1697002        2011508        0              316            15   80   37   
2.04/2.18	c 1020           7275           1710866        2030904        0              318            15   17   14   
2.04/2.20	c 1030           7303           1723199        2042317        0              319            12   14   11   
2.14/2.21	c 1040           7334           1737714        2055658        0              322            11   14   11   
2.14/2.23	c 1050           7367           1753369        2074214        0              323            14   15   12   
2.14/2.25	c 1060           7401           1766710        2093663        0              326            14   16   13   
2.14/2.26	c 1070           7431           1780173        2110351        0              327            14   16   13   
2.14/2.27	c 1080           7469           1794826        2124688        0              331            12   16   12   
2.14/2.29	c 1090           7504           1808298        2141518        0              335            13   18   14   
2.24/2.31	c 1100           7534           1821645        2158110        0              336            14   16   13   
2.24/2.32	c 1110           7570           1836544        2172598        0              339            12   15   12   
2.24/2.34	c 1120           7607           1851730        2194787        0              343            15   18   15   
2.24/2.36	c 1130           7639           1866906        2208482        0              345            13   14   11   
2.24/2.37	c 1140           7670           1880191        2227525        0              347            14   16   13   
2.24/2.38	c 1141           7685           1888138        2235433        0              348            15   15   7    
2.34/2.40	c 1150           7714           1901579        2251353        0              352            14   16   13   
2.34/2.41	c 1160           7749           1917209        2265615        0              354            13   15   12   
2.34/2.43	c 1170           7780           1930485        2284673        0              356            14   16   13   
2.34/2.45	c 1180           7814           1943824        2304122        0              359            14   16   13   
2.34/2.46	c 1190           7845           1957014        2323099        0              361            14   16   13   
2.34/2.48	c 1200           7881           1972919        2337838        0              364            12   16   13   
2.34/2.49	c 1210           7919           1989062        2353072        0              369            11   14   11   
2.44/2.51	c 1220           7951           2003069        2369158        0              372            12   16   12   
2.44/2.53	c 1230           7986           2016943        2389128        0              376            13   18   14   
2.44/2.54	c 1240           8016           2030382        2405786        0              377            14   16   13   
2.44/2.55	c 1250           8044           2042707        2417200        0              378            12   14   11   
2.44/2.57	c 1260           8074           2056608        2436809        0              380            12   15   12   
2.44/2.58	c 1270           8109           2069956        2456525        0              383            11   16   12   
2.54/2.60	c 1280           8141           2085850        2476174        0              386            12   15   12   
2.54/2.62	c 1290           8179           2101105        2491015        0              390            11   14   11   
2.54/2.64	c 1300           8303           2118573        2511689        0              393            15   86   38   
2.54/2.66	c 1310           8343           2134156        2527443        0              395            13   17   13   
2.54/2.67	c 1320           8373           2146919        2539883        0              396            14   16   13   
2.54/2.69	c 1330           8416           2162072        2560244        0              401            13   16   13   
2.64/2.71	c 1340           8446           2175961        2579854        0              403            12   15   12   
2.64/2.73	c 1350           8485           2192362        2601653        0              408            15   17   14   
2.64/2.73	c 1352           8500           2201341        2610101        0              410            12   14   8    
2.64/2.75	c 1360           8526           2214024        2622741        0              413            12   14   11   
2.64/2.76	c 1370           8555           2227160        2641593        0              414            13   15   12   
2.64/2.78	c 1380           8595           2244538        2658228        0              419            12   15   11   
2.73/2.80	c 1390           8626           2257823        2677271        0              421            14   16   13   
2.73/2.81	c 1400           8658           2273113        2691393        0              423            12   14   11   
2.73/2.83	c 1410           8696           2287425        2710284        0              425            14   19   14   
2.73/2.84	c 1420           8725           2300571        2729118        0              426            13   15   12   
2.73/2.86	c 1430           8758           2316345        2744047        0              433            12   14   12   
2.73/2.88	c 1440           8791           2330423        2763724        0              435            14   17   13   
2.83/2.90	c 1450           8825           2346148        2782268        0              437            14   15   12   
2.83/2.91	c 1460           8854           2359282        2801101        0              438            13   15   12   
2.83/2.93	c 1470           8887           2374438        2814737        0              440            13   14   12   
2.83/2.95	c 1480           8920           2388516        2834414        0              442            14   17   13   
2.83/2.96	c 1490           8954           2404242        2852948        0              444            14   15   12   
2.83/2.98	c 1500           8983           2417366        2871799        0              445            13   15   12   
2.93/3.00	c 1510           9021           2432937        2888595        0              449            12   15   12   
2.93/3.02	c 1520           9053           2448264        2909332        0              451            13   15   12   
2.93/3.03	c 1530           9091           2462107        2922469        0              454            7   17   13    
2.93/3.05	c 1540           9124           2477737        2942938        0              457            13   16   13   
2.93/3.06	c 1550           9162           2490902        2955317        0              459            13   17   14   
2.93/3.08	c 1560           9194           2506214        2975414        0              461            13   16   13   
3.03/3.10	c 1570           9232           2519388        2987793        0              463            13   17   14   
3.03/3.12	c 1580           9272           2533677        3005642        0              467            13   15   13   
3.03/3.13	c 1585           9296           2544519        3017847        0              468            13   16   12   
3.03/3.14	c 1590           9319           2556474        3032778        0              472            14   15   12   
3.03/3.16	c 1600           9360           2570554        3052463        0              476            13   16   13   
3.03/3.18	c 1610           9390           2583313        3064903        0              477            14   16   13   
3.03/3.19	c 1620           9427           2598561        3084981        0              483            13   16   13   
3.13/3.21	c 1630           9456           2611697        3103815        0              484            13   15   12   
3.13/3.23	c 1640           9488           2627605        3118317        0              493            12   13   11   
3.13/3.24	c 1650           9517           2640743        3137152        0              494            13   15   12   
3.13/3.26	c 1660           9557           2655360        3150892        0              497            13   17   14   
3.13/3.28	c 1670           9590           2671200        3170274        0              506            13   15   12   
3.13/3.29	c 1680           9629           2687026        3186952        0              511            13   15   13   
3.24/3.32	c 1690           9670           2703933        3207515        0              519            14   15   13   
3.24/3.33	c 1700           9699           2717069        3226349        0              520            13   15   12   
3.24/3.35	c 1710           9740           2731128        3246050        0              524            13   16   13   
3.24/3.36	c 1720           9770           2743889        3258495        0              525            14   16   13   
3.24/3.38	c 1730           9811           2758884        3279367        0              530            13   16   13   
3.24/3.40	c 1740           9844           2774855        3298167        0              539            13   15   12   
3.34/3.42	c 1750           9877           2790531        3316756        0              540            14   15   12   
3.34/3.44	c 1760           9906           2803678        3335572        0              541            13   15   12   
3.34/3.45	c 1770           9940           2821083        3353113        0              545            12   14   12   
3.34/3.47	c 1780           9973           2836287        3373922        0              550            13   15   12   
3.34/3.49	c 1790           10003          2848704        3385332        0              554            14   16   13   
3.43/3.51	c 1800           10039          2864450        3408254        0              558            14   17   14   
3.43/3.52	c 1810           10069          2876908        3419894        0              559            14   17   13   
3.43/3.53	c 1820           10099          2889669        3432334        0              560            14   16   13   
3.43/3.55	c 1830           10137          2905074        3448937        0              564            12   15   12   
3.43/3.57	c 1840           10175          2920756        3463589        0              569            13   15   12   
3.43/3.58	c 1841           10188          2928685        3471475        0              570            13   13   6    
3.43/3.59	c 1850           10226          2945227        3493456        0              574            15   17   14   
3.53/3.61	c 1860           10261          2960158        3507417        0              578            12   15   12   
3.53/3.63	c 1870           10291          2972888        3519232        0              582            14   16   13   
3.53/3.64	c 1880           10322          2987570        3532893        0              584            12   15   12   
3.53/3.66	c 1890           10352          2999987        3544303        0              588            14   16   13   
3.53/3.67	c 1900           10385          3016066        3565821        0              590            13   15   12   
3.53/3.69	c 1910           10423          3031546        3581396        0              595            12   17   14   
3.63/3.71	c 1920           10462          3047179        3597889        0              598            11   16   12   
3.63/3.73	c 1930           10500          3062690        3612555        0              602            14   17   14   
3.63/3.74	c 1940           10537          3076993        3626203        0              609            11   16   12   
3.63/3.76	c 1950           10571          3092658        3644724        0              611            14   15   12   
3.63/3.78	c 1960           10603          3105441        3659137        0              615            11   16   12   
3.73/3.80	c 1970           10644          3121524        3681843        0              619            13   16   13   
3.73/3.82	c 1980           10683          3138079        3703832        0              624            15   17   14   
3.73/3.84	c 1990           10719          3155854        3724051        0              628            12   15   12   
3.73/3.86	c 2000           10752          3171499        3742579        0              629            14   15   12   
3.73/3.88	c 2010           10793          3186503        3763453        0              634            13   16   13   
3.73/3.89	c 2020           10826          3202598        3782548        0              635            14   15   12   
3.83/3.91	c 2030           10867          3217858        3797772        0              640            12   15   12   
3.83/3.93	c 2040           10900          3233502        3816301        0              641            14   15   12   
3.83/3.95	c 2050           10932          3248783        3836651        0              643            13   15   12   
3.83/3.96	c 2060           10966          3260705        3849260        0              645            14   16   13   
3.83/3.97	c 2070           10996          3273468        3861705        0              646            14   16   13   
3.83/3.99	c 2080           11034          3288979        3876371        0              650            14   17   14   
3.93/4.01	c 2090           11062          3301327        3888043        0              652            12   15   12   
3.93/4.03	c 2100           11099          3316585        3908123        0              658            13   16   13   
3.93/4.05	c 2110           11133          3332313        3926681        0              660            14   15   12   
3.93/4.06	c 2120           11166          3346918        3941660        0              662            11   17   12   
3.93/4.07	c 2122           11183          3356263        3950702        0              664            14   16   10   
3.93/4.09	c 2130           11213          3368487        3962304        0              667            15   17   14   
4.03/4.11	c 2140           11248          3385136        3985353        0              670            14   16   13   
4.03/4.12	c 2150           11281          3398500        3998139        0              674            15   17   14   
4.03/4.14	c 2160           11316          3415028        4021545        0              676            13   16   13   
4.03/4.16	c 2170           11348          3427811        4035958        0              680            11   16   12   
4.03/4.17	c 2180           11377          3441816        4053597        0              682            12   15   12   
4.03/4.19	c 2190           11407          3454611        4065426        0              687            14   16   13   
4.13/4.21	c 2200           11440          3470744        4086986        0              689            13   15   12   
4.13/4.22	c 2210           11469          3482851        4098299        0              693            14   16   13   
4.13/4.24	c 2220           11513          3499520        4114040        0              696            11   17   12   
4.13/4.25	c 2230           11553          3514129        4127780        0              699            13   17   14   
4.13/4.27	c 2240           11593          3530380        4143176        0              704            13   16   13   
4.13/4.29	c 2250           11626          3545843        4161708        0              705            14   15   12   
4.23/4.31	c 2260           11661          3562361        4181080        0              714            14   15   13   
4.23/4.33	c 2270           11702          3577621        4196318        0              719            12   15   12   
4.23/4.34	c 2280           11739          3592481        4210873        0              724            13   16   13   
4.23/4.36	c 2290           11770          3607252        4224701        0              728            12   15   12   
4.23/4.38	c 2300           11802          3621104        4237543        0              730            13   15   12   
4.23/4.40	c 2310           11928          3639389        4258857        0              735            14   97   41   
4.34/4.41	c 2320           11961          3652004        4270982        0              737            13   18   14   
4.34/4.43	c 2330           11991          3664777        4283420        0              738            14   16   13   
4.34/4.45	c 2340           12036          3681057        4303685        0              742            13   16   13   
4.34/4.47	c 2350           12071          3697796        4323164        0              744            14   15   12   
4.34/4.49	c 2360           12115          3714035        4350865        0              748            13   16   14   
4.34/4.50	c 2370           12145          3726796        4363305        0              749            14   16   13   
4.44/4.52	c 2380           12179          3740145        4382739        0              752            14   16   13   
4.44/4.53	c 2390           12209          3753592        4399410        0              753            14   16   13   
4.44/4.55	c 2400           12243          3767616        4415516        0              756            13   16   13   
4.44/4.56	c 2410           12273          3780949        4432133        0              757            14   16   13   
4.44/4.58	c 2420           12307          3794964        4448242        0              760            13   16   13   
4.44/4.59	c 2430           12337          3808307        4464855        0              761            14   16   13   
4.53/4.60	c 2431           12350          3816311        4472784        0              762            13   13   6    
4.53/4.62	c 2440           12383          3830450        4489526        0              764            13   16   13   
4.53/4.64	c 2450           12416          3845141        4503322        0              766            13   15   12   
4.53/4.66	c 2460           12447          3858446        4522361        0              768            14   16   13   
4.53/4.68	c 2470           12488          3873460        4543219        0              773            13   16   13   
4.53/4.69	c 2480           12517          3886593        4562053        0              774            13   15   12   
4.63/4.71	c 2490           12550          3898919        4574499        0              775            11   16   12   
4.63/4.72	c 2500           12580          3912254        4591117        0              776            14   16   13   
4.63/4.74	c 2510           12609          3925834        4607891        0              780            12   15   12   
4.63/4.75	c 2520           12639          3938562        4619706        0              784            14   16   13   
4.63/4.77	c 2530           12668          3952154        4636910        0              787            12   15   12   
4.63/4.79	c 2540           12703          3966882        4650900        0              791            13   17   13   
4.73/4.80	c 2550           12734          3980170        4669944        0              793            14   16   13   
4.73/4.82	c 2560           12765          3994941        4683772        0              797            12   15   12   
4.73/4.84	c 2570           12798          4010535        4697997        0              798            14   15   12   
4.73/4.85	c 2580           12829          4023831        4717025        0              800            14   16   13   
4.73/4.87	c 2590           12862          4038338        4730467        0              801            14   15   12   
4.73/4.89	c 2600           12895          4052427        4750120        0              803            14   17   13   
4.83/4.90	c 2610           12927          4064861        4762245        0              805            12   17   13   
4.83/4.91	c 2620           12957          4077626        4774690        0              806            14   16   13   
4.83/4.93	c 2630           12995          4093162        4790280        0              811            12   17   14   
4.83/4.95	c 2640           13034          4109048        4806733        0              814            13   16   12   
4.83/4.97	c 2650           13068          4125391        4833386        0              815            15   16   13   
4.83/4.99	c 2660           13105          4140148        4849223        0              820            13   16   12   
4.93/5.01	c 2670           13139          4155876        4867781        0              822            14   15   12   
4.93/5.03	c 2680           13173          4171611        4886348        0              824            14   15   12   
4.93/5.04	c 2690           13204          4185638        4904065        0              827            11   15   11   
4.93/5.06	c 2700           13234          4199130        4920738        0              828            14   16   13   
4.93/5.08	c 2710           13263          4212277        4939554        0              829            13   15   12   
4.93/5.09	c 2720           13290          4224740        4951467        0              831            12   15   11   
5.03/5.11	c 2730           13319          4237890        4970284        0              832            13   15   12   
5.03/5.13	c 2740           13360          4253473        4985041        0              834            11   15   12   
5.03/5.14	c 2750           13390          4266946        5001737        0              835            14   16   13   
5.03/5.16	c 2760           13424          4280004        5021277        0              841            13   16   13   
5.03/5.18	c 2770           13458          4295722        5039836        0              843            14   15   12   
5.03/5.19	c 2771           13471          4303685        5048126        0              844            13   13   6    
5.13/5.21	c 2780           13499          4316815        5066928        0              848            13   15   12   
5.13/5.22	c 2790           13526          4327295        5079723        0              849            12   16   12   
5.13/5.23	c 2800           13556          4340056        5092163        0              850            14   16   13   
5.13/5.25	c 2810           13593          4354049        5106108        0              855            13   15   12   
5.13/5.27	c 2820           13724          4372852        5127745        0              858            14   97   41   
5.13/5.29	c 2830           13759          4389160        5146662        0              860            15   16   13   
5.23/5.31	c 2840           13789          4401890        5158477        0              864            14   16   13   
5.23/5.32	c 2850           13818          4415036        5177311        0              865            13   15   12   
5.23/5.34	c 2860           13847          4428171        5196162        0              866            13   15   12   
5.23/5.36	c 2870           13876          4441310        5214997        0              867            13   15   12   
5.23/5.37	c 2880           13905          4454446        5233850        0              868            13   15   12   
5.23/5.39	c 2890           13939          4470166        5252419        0              870            14   15   12   
5.33/5.41	c 2900           13973          4485880        5270985        0              872            14   15   12   
5.33/5.43	c 2910           14003          4499071        5289935        0              873            13   16   13   
5.33/5.44	c 2920           14033          4511834        5302375        0              874            14   16   13   
5.33/5.45	c 2930           14072          4526983        5319160        0              878            13   15   13   
5.33/5.47	c 2940           14105          4541064        5338838        0              880            14   17   13   
5.33/5.49	c 2950           14138          4556340        5357606        0              881            13   15   12   
5.44/5.51	c 2960           14167          4569477        5376440        0              882            13   15   12   
5.44/5.53	c 2970           14200          4584748        5395722        0              886            13   15   12   
5.44/5.54	c 2980           14234          4600925        5410316        0              888            13   14   12   
5.44/5.56	c 2990           14264          4614824        5429908        0              890            12   15   12   
5.44/5.57	c 3000           14294          4628159        5446508        0              891            14   16   13   
5.44/5.59	c 3010           14326          4643881        5461204        0              894            11   14   11   
5.54/5.60	c 3020           14356          4656364        5472635        0              895            14   16   13   
5.54/5.62	c 3030           14392          4672514        5491982        0              897            14   15   13   
5.54/5.64	c 3040           14426          4688463        5512204        0              898            15   16   13   
5.54/5.66	c 3050           14460          4704340        5530805        0              900            14   15   12   
5.54/5.68	c 3060           14494          4720076        5549372        0              902            14   15   12   
5.63/5.70	c 3070           14523          4733220        5568205        0              903            13   15   12   
5.63/5.72	c 3080           14555          4748576        5588996        0              906            12   15   12   
5.63/5.73	c 3090           14586          4763671        5602635        0              908            11   14   11   
5.63/5.75	c 3100           14617          4778217        5616232        0              910            13   15   12   
5.63/5.77	c 3110           14651          4793931        5634798        0              912            14   15   12   
5.63/5.78	c 3120           14688          4808077        5653360        0              916            13   16   13   
5.73/5.80	c 3130           14719          4823106        5668823        0              920            12   15   11   
5.73/5.82	c 3140           14752          4839227        5683598        0              927            13   15   12   
5.73/5.83	c 3142           14768          4848817        5692676        0              929            13   15   9    
5.73/5.84	c 3150           14805          4861902        5705277        0              933            14   17   14   
5.73/5.86	c 3160           14839          4876618        5726325        0              938            13   16   13   
5.73/5.88	c 3170           14871          4891848        5740423        0              944            13   15   12   
5.83/5.90	c 3180           14911          4908080        5759315        0              950            13   15   13   
5.83/5.91	c 3190           14948          4923890        5774887        0              955            12   15   12   
5.83/5.94	c 3200           15080          4942671        5796435        0              957            14   99   42   
5.83/5.96	c 3210           15114          4958649        5815607        0              958            14   16   13   
5.83/5.97	c 3220           15143          4971785        5834440        0              959            13   15   12   
5.83/5.99	c 3230           15176          4987195        5853270        0              960            13   15   12   
5.93/6.01	c 3240           15207          5000483        5872314        0              962            14   16   13   
5.93/6.03	c 3250           15238          5014463        5889989        0              965            11   15   11   
5.93/6.04	c 3260           15268          5027912        5906655        0              966            14   16   13   
5.93/6.07	c 3270           15304          5044870        5926639        0              972            12   15   12   
5.93/6.08	c 3280           15338          5060599        5945197        0              974            14   15   12   
6.03/6.10	c 3290           15371          5076724        5959957        0              981            13   15   12   
6.03/6.12	c 3300           15404          5092369        5978486        0              982            14   15   12   
6.03/6.14	c 3310           15433          5105561        5997381        0              983            13   15   12   
6.03/6.15	c 3320           15462          5118698        6016216        0              984            13   15   12   
6.03/6.17	c 3330           15491          5131836        6035050        0              985            13   15   12   
6.03/6.19	c 3340           15532          5147419        6052543        0              990            13   15   13   
6.13/6.20	c 3350           15561          5160795        6067925        0              992            12   15   12   
6.13/6.22	c 3360           15590          5173935        6086761        0              993            13   15   12   
6.13/6.24	c 3370           15626          5189429        6105348        0              995            14   15   12   
6.13/6.26	c 3380           15660          5206242        6132607        0              996            15   16   13   
6.13/6.28	c 3390           15694          5221983        6151171        0              998            14   15   12   
6.23/6.30	c 3400           15725          5236674        6164834        0              1000           12   15   12   
6.23/6.32	c 3410           15758          5252769        6183930        0              1001           14   15   12   
6.23/6.34	c 3420           15791          5268436        6202515        0              1002           14   15   12   
6.23/6.35	c 3430           15824          5283907        6221045        0              1003           14   15   12   
6.23/6.37	c 3440           15857          5300024        6240201        0              1004           14   15   12   
6.23/6.39	c 3450           15890          5314856        6258538        0              1005           14   15   12   
6.33/6.41	c 3460           15923          5330365        6277168        0              1006           14   15   12   
6.33/6.43	c 3470           15952          5343501        6296002        0              1007           13   15   12   
6.33/6.44	c 3480           15985          5356920        6311936        0              1009           14   17   13   
6.33/6.45	c 3490           16015          5369683        6324376        0              1010           14   16   13   
6.33/6.47	c 3500           16048          5385722        6343226        0              1011           13   15   12   
6.33/6.49	c 3510           16077          5398853        6362080        0              1012           13   15   12   
6.43/6.51	c 3520           16111          5414401        6380631        0              1014           14   15   12   
6.43/6.52	c 3530           16144          5427725        6393195        0              1018           15   17   14   
6.43/6.54	c 3540           16180          5444301        6413146        0              1025           13   15   12   
6.43/6.56	c 3550           16209          5457432        6431998        0              1026           13   15   12   
6.43/6.57	c 3551           16222          5465862        6440003        0              1027           13   13   6    
6.43/6.59	c 3560           16254          5480129        6454767        0              1032           11   17   12   
6.54/6.61	c 3570           16288          5495709        6474715        0              1036           13   15   12   
6.54/6.63	c 3580           16323          5512457        6494194        0              1038           14   15   12   
6.54/6.64	c 3590           16355          5528040        6511968        0              1042           12   15   12   
6.54/6.66	c 3600           16388          5541806        6526166        0              1046           11   17   12   
6.54/6.68	c 3610           16423          5557726        6545453        0              1048           12   15   12   
6.54/6.69	c 3620           16453          5571061        6562071        0              1049           14   16   13   
6.64/6.71	c 3630           16487          5587795        6577601        0              1052           12   15   12   
6.64/6.72	c 3640           16521          5602366        6591113        0              1055           13   16   13   
6.64/6.74	c 3650           16550          5615492        6609966        0              1056           13   15   12   
6.64/6.76	c 3660           16582          5631171        6628548        0              1057           13   15   12   
6.64/6.77	c 3670           16611          5644545        6643926        0              1059           12   15   12   
6.64/6.79	c 3680           16643          5660202        6662488        0              1060           12   15   12   
6.73/6.81	c 3690           16676          5675877        6681086        0              1061           14   15   12   
6.73/6.83	c 3700           16707          5690423        6694685        0              1063           13   15   12   
6.73/6.85	c 3710           16741          5706161        6713253        0              1065           14   15   12   
6.73/6.86	c 3720           16772          5720708        6726852        0              1067           13   15   12   
6.73/6.88	c 3730           16804          5736596        6743038        0              1070           12   15   12   
6.83/6.90	c 3740           16842          5754194        6763368        0              1078           14   15   13   
6.83/6.92	c 3750           16873          5767765        6779436        0              1080           13   16   13   
6.83/6.93	c 3760           16903          5780540        6791879        0              1081           14   16   13   
6.83/6.95	c 3770           16939          5795350        6814034        0              1085           14   17   13   
6.83/6.97	c 3780           16973          5810340        6828925        0              1090           12   16   13   
6.83/6.99	c 3790           17007          5826052        6847488        0              1092           14   15   12   
6.93/7.01	c 3800           17044          5841942        6871266        0              1095           13   16   13   
6.93/7.03	c 3810           17082          5860053        6888025        0              1102           11   15   12   
6.93/7.05	c 3820           17115          5876163        6907189        0              1103           14   15   12   
6.93/7.06	c 3830           17144          5889299        6926023        0              1104           13   15   12   
6.93/7.08	c 3840           17180          5904233        6945756        0              1109           13   16   13   
7.03/7.10	c 3850           17209          5917372        6964601        0              1110           13   15   12   
7.03/7.11	c 3860           17240          5932693        6981339        0              1114           12   15   11   
7.03/7.13	c 3870           17271          5945558        6995429        0              1118           11   17   12   
7.03/7.15	c 3880           17305          5960821        7016289        0              1123           13   15   12   
7.03/7.17	c 3890           17339          5977397        7035638        0              1130           11   15   12   
7.03/7.19	c 3900           17378          5995342        7052396        0              1137           13   15   12   
7.13/7.21	c 3910           17412          6010050        7073461        0              1142           13   16   13   
7.13/7.22	c 3920           17448          6024768        7087177        0              1145           13   17   13   
7.13/7.25	c 3930           17489          6043628        7110960        0              1150           14   15   12   
7.13/7.26	c 3940           17523          6060831        7129041        0              1154           12   14   12   
7.13/7.28	c 3950           17555          6074756        7149879        0              1160           11   15   11   
7.23/7.30	c 3960           17586          6088718        7167552        0              1163           11   15   11   
7.23/7.32	c 3970           17620          6105086        7194213        0              1164           15   16   13   
7.23/7.34	c 3980           17649          6118233        7213029        0              1165           13   15   12   
7.23/7.35	c 3990           17680          6131806        7229107        0              1167           13   16   13   
7.23/7.37	c 4000           17714          6147726        7250258        0              1168           15   16   13   
7.23/7.38	c 4001           17727          6155656        7258145        0              1169           13   13   6    
7.33/7.40	c 4010           17759          6171642        7283033        0              1177           15   16   13   
7.33/7.42	c 4020           17788          6184782        7301868        0              1178           13   15   12   
7.33/7.44	c 4030           17820          6200063        7322224        0              1180           13   15   12   
7.33/7.46	c 4040           17863          6217957        7339516        0              1183           12   15   12   
7.33/7.47	c 4050           17892          6231106        7358351        0              1184           13   15   12   
7.43/7.50	c 4060           17927          6247199        7380760        0              1192           11   15   12   
7.43/7.51	c 4070           17956          6260338        7399596        0              1193           13   15   12   
7.43/7.53	c 4080           17986          6275419        7413205        0              1202           11   14   11   
7.43/7.55	c 4090           18020          6291139        7431763        0              1204           14   15   12   
7.43/7.56	c 4100           18059          6305330        7444843        0              1206           13   15   13   
7.43/7.58	c 4110           18093          6321111        7463406        0              1208           14   15   12   
7.53/7.60	c 4120           18128          6336018        7481196        0              1209           14   15   13   
7.53/7.62	c 4130           18161          6351716        7499739        0              1210           14   15   12   
7.53/7.64	c 4140           18196          6366616        7517555        0              1211           14   15   13   
7.53/7.66	c 4150           18229          6382714        7536659        0              1212           14   15   12   
7.53/7.68	c 4160           18264          6398064        7555039        0              1213           14   15   13   
7.53/7.69	c 4170           18297          6413701        7573579        0              1214           14   15   12   
7.64/7.71	c 4180           18332          6428524        7595015        0              1216           13   16   13   
7.64/7.73	c 4190           18365          6443980        7613558        0              1217           14   15   12   
7.64/7.75	c 4200           18403          6460945        7632282        0              1220           12   15   12   
7.64/7.76	c 4210           18436          6474362        7645647        0              1224           13   16   13   
7.64/7.78	c 4220           18469          6490482        7664792        0              1225           14   15   12   
7.64/7.80	c 4230           18500          6505024        7678383        0              1227           13   15   12   
7.74/7.82	c 4240           18533          6520677        7696900        0              1228           14   15   12   
7.74/7.84	c 4250           18567          6536407        7715459        0              1230           14   15   12   
7.74/7.85	c 4260           18600          6551749        7733809        0              1231           14   15   12   
7.74/7.87	c 4270           18644          6567388        7749063        0              1233           11   15   12   
7.74/7.89	c 4280           18691          6584815        7776473        0              1236           12   16   13   
7.83/7.91	c 4290           18729          6599747        7791477        0              1239           14   17   13   
7.83/7.93	c 4300           18763          6615118        7812927        0              1245           13   15   12   
7.83/7.95	c 4310           18801          6633229        7829686        0              1252           11   15   12   
7.83/7.97	c 4320           18833          6647977        7850100        0              1257           13   15   12   
7.83/7.98	c 4330           18865          6659789        7862305        0              1259           12   16   13   
7.93/8.00	c 4340           18896          6675088        7876702        0              1263           11   15   12   
7.93/8.02	c 4350           18930          6689858        7890429        0              1266           13   16   13   
7.93/8.04	c 4360           18966          6707112        7911027        0              1275           13   15   12   
7.93/8.05	c 4370           18995          6720249        7929862        0              1276           13   15   12   
7.93/8.07	c 4380           19030          6736669        7949172        0              1285           14   15   12   
7.93/8.09	c 4390           19059          6749805        7968006        0              1286           13   15   12   
8.03/8.11	c 4400           19094          6765017        7990550        0              1291           14   16   13   
8.03/8.12	c 4410           19128          6778686        8004224        0              1294           14   16   13   
8.03/8.14	c 4420           19157          6791823        8023059        0              1295           13   15   12   
8.03/8.16	c 4430           19186          6805014        8041954        0              1296           13   15   12   
8.03/8.17	c 4440           19215          6818163        8060790        0              1297           13   15   12   
8.03/8.19	c 4450           19253          6833900        8075791        0              1302           11   15   12   
8.13/8.21	c 4460           19287          6849568        8094324        0              1304           14   15   12   
8.13/8.23	c 4470           19327          6866162        8110462        0              1307           14   17   14   
8.13/8.25	c 4480           19361          6881902        8129024        0              1309           14   15   12   
8.13/8.27	c 4490           19395          6897630        8147572        0              1311           14   15   12   
8.13/8.28	c 4493           19413          6907847        8160139        0              1313           13   15   10   
8.13/8.29	c 4500           19441          6922602        8173883        0              1316           12   15   11   
8.23/8.31	c 4510           19472          6936574        8191559        0              1319           11   15   11   
8.23/8.33	c 4520           19502          6950031        8208224        0              1320           14   16   13   
8.23/8.34	c 4530           19533          6964499        8222010        0              1323           12   14   11   
8.23/8.36	c 4540           19567          6980247        8240595        0              1325           14   15   12   
8.23/8.38	c 4550           19596          6993587        8252891        0              1329           11   15   12   
8.23/8.39	c 4560           19629          7009308        8271435        0              1330           14   15   12   
8.33/8.41	c 4570           19664          7026051        8290932        0              1332           14   15   12   
8.33/8.43	c 4580           19697          7039468        8304297        0              1336           13   16   13   
8.33/8.45	c 4590           19726          7052663        8323193        0              1337           13   15   12   
8.33/8.46	c 4600           19755          7066039        8338571        0              1339           12   15   12   
8.33/8.48	c 4610           19786          7080057        8356274        0              1342           11   15   11   
8.43/8.50	c 4620           19822          7096016        8378989        0              1347           12   16   13   
8.43/8.52	c 4630           19852          7109361        8395597        0              1348           14   16   13   
8.43/8.53	c 4640           19885          7124720        8416479        0              1351           13   15   12   
8.43/8.55	c 4650           19914          7136112        8429294        0              1360           11   15   11   
8.43/8.56	c 4660           19943          7149383        8448339        0              1361           13   15   12   
8.43/8.58	c 4670           19977          7164664        8468673        0              1364           12   15   12   
8.53/8.60	c 4680           20010          7180593        8487576        0              1371           13   15   12   
8.53/8.62	c 4690           20039          7193722        8506429        0              1372           13   15   12   
8.53/8.64	c 4700           20072          7209861        8527992        0              1374           13   15   12   
8.53/8.65	c 4710           20108          7224323        8542145        0              1376           11   16   13   
8.53/8.67	c 4720           20138          7237668        8558737        0              1377           14   16   13   
8.53/8.68	c 4730           20167          7250817        8577573        0              1378           13   15   12   
8.63/8.70	c 4740           20200          7266214        8595920        0              1379           14   15   12   
8.63/8.72	c 4750           20234          7281882        8614458        0              1381           14   15   12   
8.63/8.74	c 4760           20271          7296812        8629461        0              1384           14   16   13   
8.63/8.76	c 4770           20305          7312883        8647051        0              1386           14   15   12   
8.63/8.77	c 4780           20334          7326232        8659348        0              1390           11   15   12   
8.63/8.79	c 4790           20370          7343140        8679213        0              1395           11   15   12   
8.74/8.81	c 4800           20415          7359510        8695184        0              1397           11   15   12   
8.74/8.82	c 4810           20445          7372983        8711880        0              1398           14   16   13   
8.74/8.84	c 4820           20480          7388694        8726469        0              1402           13   15   12   
8.74/8.86	c 4830           20513          7404393        8745014        0              1403           14   15   12   
8.74/8.88	c 4840           20551          7421963        8765563        0              1406           14   15   12   
8.83/8.90	c 4850           20584          7438061        8784667        0              1407           14   15   12   
8.83/8.92	c 4860           20621          7454797        8803044        0              1410           14   15   13   
8.83/8.94	c 4870           20651          7467221        8814455        0              1414           14   16   13   
8.83/8.95	c 4880           20682          7481825        8828850        0              1417           12   15   12   
8.83/8.97	c 4890           20730          7499134        8848129        0              1419           11   15   13   
8.83/8.99	c 4900           20764          7514801        8866662        0              1421           14   15   12   
8.93/9.01	c 4910           20799          7531393        8889455        0              1429           14   15   13   
8.93/9.03	c 4920           20834          7548134        8908948        0              1431           14   15   12   
8.93/9.05	c 4930           20865          7562826        8922603        0              1433           12   15   12   
8.93/9.07	c 4940           20899          7578319        8941137        0              1435           14   15   12   
8.93/9.09	c 4950           20942          7596102        8957633        0              1437           12   15   12   
9.03/9.10	c 4960           20977          7612021        8976930        0              1439           12   15   12   
9.03/9.13	c 4970           21011          7628373        9003598        0              1440           15   16   13   
9.03/9.14	c 4980           21047          7643318        9017572        0              1444           13   15   12   
9.03/9.16	c 4990           21082          7660059        9037050        0              1446           14   15   12   
9.13/9.22	c 5035           21187          7702878        9094157        0              1461           12   15   13   
9.63/9.70	c 5631           22324          8092682        9541508        0              1475           10   15   12   
10.23/10.31	c 6286           23811          8626200        10103581       0              1491           10   15   12   
10.83/10.99	c 7006           31468          8929408        10624601       0              1504           13   96   44   
11.83/11.91	c 7798           46621          9535433        11308641       0              1515           13   527   109 
12.63/12.74	c 8669           48481          10157506       12128734       0              1526           11   17   13   
13.53/13.63	c 9627           50679          10817797       12993278       0              1536           10   16   12   
14.53/14.67	c 10680          60294          11574422       13919022       0              1551           13   56   44   
15.63/15.74	c 11838          63007          12423946       15002470       0              1557           11   16   13   
17.03/17.15	c 13111          75536          13370924       16332265       0              1567           13   63   40   
18.23/18.38	c 14511          84119          14255398       17592783       0              1576           13   46   32   
19.43/19.58	c 16051          87384          15334942       18786124       0              1586           8   16   13    
21.12/21.26	c 17745          105407         16461155       20212958       0              1598           12   62   44   
22.82/22.97	c 19608          109853         17937978       21948528       0              1607           10   16   13   
25.02/25.11	c 21657          124906         19412257       24163416       0              1621           12   52   33   
27.02/27.19	c 23910          138737         20698745       26511056       0              1634           26   60   42   
30.52/30.64	c 26388          149076         22633241       30982660       0              1645           32   61   42   
32.52/32.62	c 29113          154820         24540754       32692228       0              1660           44   51   46   
36.12/36.24	c 32110          169138         26808264       36521971       0              1671           33   65   43   
39.52/39.68	c 35406          192342         28745795       39871662       0              1681           11   65   30   
43.12/43.23	c 39031          200257         31450705       43864206       0              1690           45   53   49   
47.42/47.53	c 43018          221934         34063685       48531537       0              1699           37   72   50   
52.11/52.21	c 47403          232160         37676988       54263108       0              1713           45   55   49   
57.21/57.37	c 52226          289066         40499843       58497102       0              1733           14   72   48   
62.71/62.85	c 57531          300822         44591551       65189627       0              1757           47   56   51   
69.32/69.47	c 63366          333223         48718935       72899551       0              1767           40   72   53   
76.12/76.22	c 69784          348062         53693118       81875044       0              1789           42   54   47   
81.82/81.98	c 76843          364220         58704226       88423926       0              1797           8   18   12    
88.52/88.62	c 84607          381064         64160881       96008191       0              1819           8   17   11    
98.51/98.67	c 93147          491573         69251180       103058984      0              1838           9   71   43    
106.62/106.78	c 102541         513575         76742382       112669580      0              1856           10   18   14   
118.41/118.55	c 112874         640643         82535486       122051936      0              1876           12   68   42   
130.51/130.65	c 124240         667294         92115206       137263999      0              1888           37   44   41   
144.81/144.93	c 136742         820499         99163579       148529862      0              1903           22   63   48   
159.01/159.13	c 150494         850297         109579244      166517959      0              1915           34   46   39   
174.41/174.58	c 165621         999691         118719867      177970396      0              1938           7   63   39    
186.81/186.97	c 182260         1067581        129402597      190075745      0              1956           9   72   23    
205.50/205.68	c 200562         1250788        140137665      204104234      0              1985           12   77   35   
229.40/229.54	c 220694         1557262        151555466      219688057      0              2004           13   72   52   
248.10/248.22	c 242839         1642421        164846819      239133616      0              2016           38   72   46   
271.80/271.99	c 267198         1892567        179151347      257821958      0              2029           8   77   44    
296.80/296.91	c 293992         2005493        197709728      285192516      0              2049           37   72   48   
341.39/341.58	c 323465         2710445        221692829      320843861      0              2068           22   151   100 
369.19/369.30	c 355885         2781423        246199755      356000566      0              2087           42   54   47   
411.79/411.92	c 391547         3339381        264984754      384431868      0              2100           12   72   54   
443.99/444.19	c 430775         3418477        290600263      421362774      0              2123           42   61   48   
486.38/486.50	c 473925         3633582        318220264      467161604      0              2146           36   72   49   
534.18/534.34	c 521390         4181370        342436289      502033560      0              2162           7   72   47    
573.97/574.14	c 573601         4287599        376771312      546109501      0              2177           42   59   49   
637.77/637.93	c 631033         4823216        417340827      606316090      0              2188           10   68   37   
699.16/699.30	c 694208         4965283        465036153      681096352      0              2198           42   55   48   
763.75/763.93	c 763700         5531654        502921418      738218274      0              2225           8   72   36    
836.75/836.99	c 840141         5915621        552353707      818604857      0              2256           37   72   51   
919.14/919.32	c 924226         6300605        613235270      910421311      0              2274           37   72   50   
1009.33/1009.51	c 1016719        7287288        658801285      985056947      0              2295           13   72   48   
1103.73/1103.97	c 1118461        7505981        732792883      1098295566     0              2306           40   57   48   
1204.92/1205.10	c 1230377        7740629        811587008      1216074808     0              2327           42   56   49   
1321.11/1321.37	c 1353484        8739318        881394466      1329897889     0              2345           13   68   42   
1475.69/1475.94	c 1488901        9447057        989817108      1503877469     0              2371           32   72   43   
1664.28/1664.50	c 1637859        10428593       1121957113     1715586643     0              2388           17   72   34   
1850.76/1851.04	c 1801712        11397862       1230061493     1936999460     0              2416           18   62   38   
2034.34/2034.69	c 1981950        12064264       1372669799     2153081071     0              2443           18   72   28   
2218.53/2218.89	c 2180211        13110768       1500220715     2353769615     0              2468           17   67   34

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

pid=31293
running on 4 cores: 0,2,4,6

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.06 2.04 2.05 3/180 31296
/proc/meminfo: memFree=31649196/32770624 swapFree=0/364224
[pid=31296] ppid=31293 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31296/stat : 31296 (runsolver) D 31293 31296 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8006998 24240128 106 18446744073709551615 4194304 4338465 140720613899328 140720613896968 139733351170775 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 15179776 140720613900442 140720613900874 140720613900874 140720613904330 0
/proc/31296/statm: 5918 106 53 36 0 2156 0

[startup+0.100096 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 31296
/proc/meminfo: memFree=31649196/32770624 swapFree=0/364224
[pid=31296] ppid=31293 vsize=39536 CPUtime=0.03 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 4084 0 0 0 3 0 0 0 20 0 1 0 8006998 40484864 3872 18446744073709551615 4194304 5970956 140724819024128 140724819020776 5418629 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 9884 3872 726 434 0 3248 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 39536

[startup+0.200296 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 31296
/proc/meminfo: memFree=31649196/32770624 swapFree=0/364224
[pid=31296] ppid=31293 vsize=40996 CPUtime=0.13 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 4480 0 0 0 12 1 0 0 20 0 1 0 8006998 41979904 4268 18446744073709551615 4194304 5970956 140724819024128 140724819020776 139866733938178 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 10249 4268 729 434 0 3613 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 40996

[startup+0.300208 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 31296
/proc/meminfo: memFree=31649196/32770624 swapFree=0/364224
[pid=31296] ppid=31293 vsize=61672 CPUtime=0.23 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 8811 0 0 0 22 1 0 0 20 0 1 0 8006998 63152128 9162 18446744073709551615 4194304 5970956 140724819024128 140724819020776 4934545 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15418 9162 784 434 0 8782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 61672

[startup+0.700189 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 31296
/proc/meminfo: memFree=31649196/32770624 swapFree=0/364224
[pid=31296] ppid=31293 vsize=62380 CPUtime=0.63 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 8989 0 0 0 62 1 0 0 20 0 1 0 8006998 63877120 9294 18446744073709551615 4194304 5970956 140724819024128 140724819020776 4976807 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9294 787 434 0 8959 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 62380

[startup+1.50018 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 31297
/proc/meminfo: memFree=31615248/32770624 swapFree=0/364444
[pid=31296] ppid=31293 vsize=62380 CPUtime=1.43 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 8989 0 0 0 142 1 0 0 20 0 1 0 8006998 63877120 9294 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934320 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9294 787 434 0 8959 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 62380

[startup+3.10018 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 31297
/proc/meminfo: memFree=31614536/32770624 swapFree=0/364228
[pid=31296] ppid=31293 vsize=62380 CPUtime=3.03 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 14257 0 0 0 301 2 0 0 20 0 1 0 8006998 63877120 9347 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934460 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9347 787 434 0 8959 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 62380

[startup+6.30018 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 31297
/proc/meminfo: memFree=31614232/32770624 swapFree=0/364236
[pid=31296] ppid=31293 vsize=62380 CPUtime=6.23 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 19572 0 0 0 621 2 0 0 20 0 1 0 8006998 63877120 9348 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934527 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9348 787 434 0 8959 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 62380

[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 31298
/proc/meminfo: memFree=31613612/32770624 swapFree=0/364248
[pid=31296] ppid=31293 vsize=62380 CPUtime=12.63 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 25874 0 0 0 1261 2 0 0 20 0 1 0 8006998 63877120 9349 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5098896 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9349 787 434 0 8959 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 62380

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 31298
/proc/meminfo: memFree=31613488/32770624 swapFree=0/364268
[pid=31296] ppid=31293 vsize=62380 CPUtime=25.42 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 36387 0 0 0 2540 2 0 0 20 0 1 0 8006998 63877120 9349 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934460 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9349 787 434 0 8959 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 62380

[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31299
/proc/meminfo: memFree=31612164/32770624 swapFree=0/364296
[pid=31296] ppid=31293 vsize=62380 CPUtime=51.01 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 40325 0 0 0 5099 2 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934469 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 62380

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31301
/proc/meminfo: memFree=31612556/32770624 swapFree=0/364372
[pid=31296] ppid=31293 vsize=62380 CPUtime=102.22 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 41239 0 0 0 10219 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934457 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 62380

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 31319
/proc/meminfo: memFree=31608596/32770624 swapFree=0/364460
[pid=31296] ppid=31293 vsize=62380 CPUtime=162.21 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 42151 0 0 0 16218 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4994541 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 62380

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 31321
/proc/meminfo: memFree=31609404/32770624 swapFree=0/364516
[pid=31296] ppid=31293 vsize=62380 CPUtime=222.21 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 43055 0 0 0 22218 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934449 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 62380

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31323
/proc/meminfo: memFree=31612992/32770624 swapFree=0/364568
[pid=31296] ppid=31293 vsize=62380 CPUtime=282.2 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 43970 0 0 0 28217 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934357 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 62380

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31325
/proc/meminfo: memFree=31613408/32770624 swapFree=0/364604
[pid=31296] ppid=31293 vsize=62380 CPUtime=342.19 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 44885 0 0 0 34216 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934538 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 62380

[startup+402.3 s]
/proc/loadavg: 1.98 2.01 2.04 2/182 31388
/proc/meminfo: memFree=31635060/32770624 swapFree=0/364648
[pid=31296] ppid=31293 vsize=62380 CPUtime=402.19 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 45789 0 0 0 40216 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934116 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 62380

[startup+462.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 31453
/proc/meminfo: memFree=31577840/32770624 swapFree=0/365348
[pid=31296] ppid=31293 vsize=62380 CPUtime=462.18 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 46698 0 0 0 46215 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5327850 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 62380

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 31519
/proc/meminfo: memFree=31594016/32770624 swapFree=0/366084
[pid=31296] ppid=31293 vsize=62380 CPUtime=522.18 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 47595 0 0 0 52215 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5337501 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 62380

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/180 31521
/proc/meminfo: memFree=31594676/32770624 swapFree=0/366188
[pid=31296] ppid=31293 vsize=62380 CPUtime=582.17 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 48507 0 0 0 58214 3 0 0 20 0 1 0 8006998 63877120 9350 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4976709 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9350 787 434 0 8959 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 62380


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 31585
/proc/meminfo: memFree=31591320/32770624 swapFree=0/367132
[pid=31296] ppid=31293 vsize=62380 CPUtime=1542.09 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 61847 0 0 0 154205 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5272605 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 62380

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 31587
/proc/meminfo: memFree=31591440/32770624 swapFree=0/367168
[pid=31296] ppid=31293 vsize=62380 CPUtime=1602.08 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 62569 0 0 0 160204 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934342 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 62380

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31589
/proc/meminfo: memFree=31591184/32770624 swapFree=0/367208
[pid=31296] ppid=31293 vsize=62380 CPUtime=1662.08 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 63188 0 0 0 166204 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 62380

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31591
/proc/meminfo: memFree=31591152/32770624 swapFree=0/367240
[pid=31296] ppid=31293 vsize=62380 CPUtime=1722.07 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 64260 0 0 0 172203 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934366 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 62380

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31593
/proc/meminfo: memFree=31590756/32770624 swapFree=0/367264
[pid=31296] ppid=31293 vsize=62380 CPUtime=1782.07 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 64934 0 0 0 178203 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4930654 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 62380

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31595
/proc/meminfo: memFree=31591152/32770624 swapFree=0/367292
[pid=31296] ppid=31293 vsize=62380 CPUtime=1842.06 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 65583 0 0 0 184202 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934527 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 62380

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31597
/proc/meminfo: memFree=31591072/32770624 swapFree=0/367336
[pid=31296] ppid=31293 vsize=62380 CPUtime=1902.06 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 66599 0 0 0 190202 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934521 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 62380

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31614
/proc/meminfo: memFree=31587704/32770624 swapFree=0/367400
[pid=31296] ppid=31293 vsize=62380 CPUtime=1962.05 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 67280 0 0 0 196201 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5306541 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 62380

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31616
/proc/meminfo: memFree=31587916/32770624 swapFree=0/367444
[pid=31296] ppid=31293 vsize=62380 CPUtime=2022.05 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 67893 0 0 0 202201 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5327850 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 62380

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31618
/proc/meminfo: memFree=31590296/32770624 swapFree=0/367468
[pid=31296] ppid=31293 vsize=62380 CPUtime=2082.05 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 68901 0 0 0 208201 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5337501 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 62380

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31620
/proc/meminfo: memFree=31590312/32770624 swapFree=0/367508
[pid=31296] ppid=31293 vsize=62380 CPUtime=2142.04 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 69626 0 0 0 214200 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934366 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 62380

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31622
/proc/meminfo: memFree=31590276/32770624 swapFree=0/367532
[pid=31296] ppid=31293 vsize=62380 CPUtime=2202.04 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 70319 0 0 0 220200 4 0 0 20 0 1 0 8006998 63877120 9357 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5098896 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9357 787 434 0 8959 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 62380

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31624
/proc/meminfo: memFree=31590560/32770624 swapFree=0/367576
[pid=31296] ppid=31293 vsize=62380 CPUtime=2262.02 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 71243 0 0 0 226198 4 0 0 20 0 1 0 8006998 63877120 9358 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4994526 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9358 787 434 0 8959 0
Current children cumulated CPU time (s) 2262.02
Current children cumulated vsize (KiB) 62380

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31626
/proc/meminfo: memFree=31590164/32770624 swapFree=0/367600
[pid=31296] ppid=31293 vsize=62380 CPUtime=2322.02 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 71960 0 0 0 232198 4 0 0 20 0 1 0 8006998 63877120 9358 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9358 787 434 0 8959 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 62380

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31628
/proc/meminfo: memFree=31590420/32770624 swapFree=0/367628
[pid=31296] ppid=31293 vsize=62380 CPUtime=2382.01 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 72729 0 0 0 238197 4 0 0 20 0 1 0 8006998 63877120 9358 18446744073709551615 4194304 5970956 140724819024128 140724819021464 4934354 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9358 787 434 0 8959 0
Current children cumulated CPU time (s) 2382.01
Current children cumulated vsize (KiB) 62380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 31628
/proc/meminfo: memFree=31590420/32770624 swapFree=0/367636
[pid=31296] ppid=31293 vsize=62380 CPUtime=2400.02 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 73355 0 0 0 239998 4 0 0 20 0 1 0 8006998 63877120 9358 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5327993 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9358 787 434 0 8959 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 62380

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

[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 31628
/proc/meminfo: memFree=31590420/32770624 swapFree=0/367636
[pid=31296] ppid=31293 vsize=62380 CPUtime=2400.02 cores=0,2,4,6
/proc/31296/stat : 31296 (cosoco) R 31293 31296 21827 0 -1 4202496 73355 0 0 0 239998 4 0 0 20 0 1 0 8006998 63877120 9358 18446744073709551615 4194304 5970956 140724819024128 140724819021464 5327993 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 29118464 140724819026375 140724819026510 140724819026510 140724819029966 0
/proc/31296/statm: 15595 9358 787 434 0 8959 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 62380

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2399.98
CPU system time (s): 0.049995
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 62380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.049995
maximum resident set size= 37476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73377
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= 23
involuntary context switches= 3017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85753 second user time and 8.64249 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-07 00:07:54
IDJOB=4241893
IDBENCH=139773
IDSOLVER=2621
FILE ID=node126/4241893-1502058112
RUNJOBID= node126-1502042680-29186
PBS_JOBID= 
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= 616f71b8e0d8bc577b21aa831e8a99b8
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:        31649768 kB
MemAvailable:   32002304 kB
Buffers:          138128 kB
Cached:           494512 kB
SwapCached:            0 kB
Active:           339344 kB
Inactive:         372748 kB
Active(anon):      79940 kB
Inactive(anon):     8524 kB
Active(file):     259404 kB
Inactive(file):   364224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2652 kB
Writeback:             0 kB
AnonPages:         79600 kB
Mapped:            32036 kB
Shmem:              8868 kB
Slab:             114516 kB
SReclaimable:      89488 kB
SUnreclaim:        25028 kB
KernelStack:        3168 kB
PageTables:         4716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     322108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 62020 MiB
End job on node126 at 2017-08-07 00:47:55