Trace number 4243014

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.09 2400.31

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os07/
SuperTaillard-os-07-26.xml
MD5SUM94b2333e20121f91e59972a20e586711
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.8511105
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Number of domains38
Minimum domain size332
Maximum domain size428
Distribution of domain sizes[{"size":332,"count":2},{"size":334,"count":6},{"size":335,"count":2},{"size":336,"count":2},{"size":338,"count":2},{"size":340,"count":2},{"size":341,"count":2},{"size":342,"count":4},{"size":349,"count":2},{"size":351,"count":2},{"size":352,"count":2},{"size":353,"count":6},{"size":354,"count":4},{"size":360,"count":2},{"size":363,"count":2},{"size":365,"count":2},{"size":366,"count":2},{"size":368,"count":4},{"size":369,"count":4},{"size":370,"count":4},{"size":372,"count":2},{"size":374,"count":2},{"size":380,"count":2},{"size":383,"count":4},{"size":388,"count":2},{"size":389,"count":2},{"size":390,"count":2},{"size":393,"count":2},{"size":397,"count":2},{"size":402,"count":2},{"size":404,"count":4},{"size":405,"count":2},{"size":409,"count":2},{"size":421,"count":2},{"size":423,"count":2},{"size":424,"count":2},{"size":427,"count":2},{"size":428,"count":2}]
Minimum variable degree13
Maximum variable degree25
Distribution of variable degrees[{"degree":13,"count":49},{"degree":25,"count":49}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":931}]
Number of extensional constraints0
Number of intensional constraints931
Distribution of constraint types[{"type":"intension","count":931}]
Optimization problemNO
Type of objective

Solver Data 

0.99/1.07	c intension x0 != x1  using generic constraint 
0.99/1.07	c intension x2 != x3  using generic constraint 
0.99/1.07	c intension x4 != x5  using generic constraint 
0.99/1.07	c intension x6 != x7  using generic constraint 
0.99/1.07	c intension x8 != x9  using generic constraint 
0.99/1.07	c intension x10 != x11  using generic constraint 
0.99/1.08	c intension x12 != x13  using generic constraint 
0.99/1.08	c intension x14 != x15  using generic constraint 
0.99/1.08	c intension x16 != x17  using generic constraint 
0.99/1.08	c intension x18 != x19  using generic constraint 
0.99/1.08	c intension x20 != x21  using generic constraint 
0.99/1.08	c intension x22 != x23  using generic constraint 
0.99/1.08	c intension x24 != x25  using generic constraint 
0.99/1.08	c intension x26 != x27  using generic constraint 
0.99/1.08	c intension x28 != x29  using generic constraint 
0.99/1.08	c intension x30 != x31  using generic constraint 
0.99/1.08	c intension x32 != x33  using generic constraint 
0.99/1.09	c intension x34 != x35  using generic constraint 
0.99/1.09	c intension x36 != x37  using generic constraint 
0.99/1.09	c intension x38 != x39  using generic constraint 
0.99/1.09	c intension x40 != x41  using generic constraint 
0.99/1.09	c intension x42 != x43  using generic constraint 
0.99/1.09	c intension x44 != x45  using generic constraint 
0.99/1.09	c intension x46 != x47  using generic constraint 
0.99/1.09	c intension x48 != x49  using generic constraint 
0.99/1.09	c intension x50 != x51  using generic constraint 
0.99/1.09	c intension x52 != x53  using generic constraint 
0.99/1.09	c intension x54 != x55  using generic constraint 
0.99/1.10	c intension x56 != x57  using generic constraint 
0.99/1.10	c intension x58 != x59  using generic constraint 
0.99/1.10	c intension x60 != x61  using generic constraint 
0.99/1.10	c intension x62 != x63  using generic constraint 
0.99/1.10	c intension x64 != x65  using generic constraint 
0.99/1.10	c intension x66 != x67  using generic constraint 
0.99/1.10	c intension x68 != x69  using generic constraint 
0.99/1.10	c intension x70 != x71  using generic constraint 
0.99/1.10	c intension x72 != x73  using generic constraint 
0.99/1.10	c intension x74 != x75  using generic constraint 
1.10/1.10	c intension x76 != x77  using generic constraint 
1.10/1.11	c intension x78 != x79  using generic constraint 
1.10/1.11	c intension x80 != x81  using generic constraint 
1.10/1.11	c intension x82 != x83  using generic constraint 
1.10/1.11	c intension x84 != x85  using generic constraint 
1.10/1.11	c intension x86 != x87  using generic constraint 
1.10/1.11	c intension x88 != x89  using generic constraint 
1.10/1.11	c intension x90 != x91  using generic constraint 
1.10/1.11	c intension x92 != x93  using generic constraint 
1.10/1.11	c intension x94 != x95  using generic constraint 
1.10/1.11	c intension x96 != x97  using generic constraint 
1.49/1.57	c SAT : Variables: 36382 -- Clauses: 6773720
1.49/1.57	c root propagations     : 0           
1.49/1.57	c restarts enabled, print stats at every restarts
1.49/1.57	c
1.49/1.57	c
1.49/1.57	c
1.49/1.57	c This is cosoco 1.0 --  
1.49/1.57	c
1.49/1.57	c ========================================[ Problem Statistics ]===========================================
1.49/1.57	c |                                                                                                       
1.49/1.57	c |  Parse time        :         1.49 s 
1.49/1.57	c |
1.49/1.57	c |               Variables: 98
1.49/1.57	c |            Domain Sizes: 332..428
1.49/1.57	c |
1.49/1.57	c |             Constraints: 931
1.49/1.57	c |                   Arity: 2..2  -- Binary: 931
1.49/1.57	c | 
1.49/1.57	c |                   Types: 
1.49/1.57	c |                          (X != Y): 49
1.49/1.57	c |                          Intension: 882
1.49/1.57	c |                          
1.49/1.57	c =========================================================================================================
1.49/1.57	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.49/1.59	c 10             13             3693           27001          0              10             4   4   3      
1.59/1.61	c 20             27             6344           71555          0              20             5   5   4      
1.59/1.63	c 30             41             8425           93419          0              30             5   5   4      
1.59/1.64	c 40             55             10368          121513         0              40             5   5   4      
1.59/1.66	c 50             70             13807          144462         0              50             4   6   5      
1.59/1.68	c 60             84             15635          178234         0              60             5   5   4      
1.69/1.70	c 70             97             17744          203856         0              70             4   4   3      
1.69/1.71	c 80             112            20793          233792         0              80             4   6   5      
1.69/1.73	c 90             126            24188          260594         0              90             5   5   4      
1.69/1.75	c 100            141            27626          284066         0              100            4   6   5      
1.69/1.76	c 101            146            28923          290878         0              101            5   5   2      
1.69/1.77	c 110            160            32291          315871         0              110            6   6   5      
1.69/1.78	c 120            174            34061          349931         0              120            5   5   4      
1.79/1.80	c 130            187            35629          376857         0              130            4   4   3      
1.79/1.81	c 140            202            38701          404788         0              140            4   6   5      
1.79/1.83	c 150            216            40787          450483         0              150            5   5   4      
1.79/1.84	c 160            230            42928          484897         0              160            5   5   4      
1.79/1.87	c 170            244            44932          515335         0              170            5   5   4      
1.79/1.89	c 180            257            46600          552659         0              180            4   4   3      
1.89/1.90	c 190            270            48138          585989         0              190            4   4   3      
1.89/1.92	c 200            283            50083          607313         0              200            4   4   3      
1.89/1.93	c 210            296            51601          643581         0              210            4   4   3      
1.89/1.94	c 211            300            52729          652929         0              211            4   4   2      
1.89/1.96	c 220            314            56270          682627         0              214            5   5   4      
1.89/1.98	c 230            328            59696          705683         0              224            5   5   4      
1.99/2.00	c 240            343            62752          733495         0              234            4   6   5      
1.99/2.02	c 250            360            66063          765224         0              242            6   6   5      
1.99/2.03	c 260            373            67750          792134         0              252            4   4   3      
1.99/2.05	c 270            388            70936          809856         0              262            4   6   5      
1.99/2.06	c 280            402            73218          841030         0              272            5   5   4      
1.99/2.07	c 290            416            75092          873818         0              282            5   5   4      
1.99/2.09	c 300            429            77037          895638         0              292            4   4   3      
2.09/2.11	c 310            442            78895          918273         0              302            4   4   3      
2.09/2.13	c 320            456            83067          940330         0              312            5   5   4      
2.09/2.14	c 330            470            85519          969135         0              322            5   5   4      
2.09/2.14	c 332            476            86975          981078         0              324            5   5   3      
2.09/2.15	c 340            487            88460          1004627        0              332            4   4   3      
2.09/2.17	c 350            501            91567          1022064        0              342            5   5   4      
2.09/2.18	c 360            516            93851          1045848        0              352            4   6   5      
2.09/2.20	c 370            531            96932          1073748        0              362            4   6   5      
2.20/2.21	c 380            545            98960          1108273        0              372            5   5   4      
2.20/2.23	c 390            558            100528         1135085        0              382            4   4   3      
2.20/2.24	c 400            572            102598         1178765        0              392            5   5   4      
2.20/2.26	c 410            585            104543         1200186        0              402            4   4   3      
2.20/2.28	c 420            598            106077         1234447        0              412            4   4   3      
2.20/2.29	c 430            611            107900         1260814        0              422            4   4   3      
2.30/2.31	c 440            627            111824         1292484        0              431            5   6   5      
2.30/2.32	c 450            640            113405         1327272        0              441            4   4   3      
2.30/2.33	c 460            653            114968         1361312        0              451            4   4   3      
2.30/2.35	c 465            661            116439         1375757        0              456            4   4   3      
2.30/2.35	c 470            669            117707         1396807        0              461            4   4   3      
2.30/2.37	c 480            682            119065         1419756        0              471            4   4   3      
2.30/2.38	c 490            695            120593         1454973        0              481            4   4   3      
2.39/2.40	c 500            708            122724         1480313        0              491            4   4   3      
2.39/2.42	c 510            723            126438         1502989        0              501            6   6   5      
2.39/2.43	c 520            736            128043         1538597        0              511            4   4   3      
2.39/2.45	c 530            749            130350         1560947        0              521            4   4   3      
2.39/2.47	c 540            762            131868         1595570        0              531            4   4   3      
2.39/2.48	c 550            775            133968         1621145        0              541            4   4   3      
2.49/2.50	c 560            789            138621         1643210        0              551            5   5   4      
2.49/2.51	c 570            802            139976         1665602        0              561            4   4   3      
2.49/2.53	c 580            815            141857         1689097        0              571            4   4   3      
2.49/2.54	c 590            830            145741         1711088        0              572            6   6   5      
2.49/2.56	c 600            843            147285         1745732        0              582            4   4   3      
2.49/2.57	c 610            856            149600         1764807        0              592            4   4   3      
2.49/2.57	c 611            860            150626         1773310        0              593            4   4   2      
2.49/2.58	c 620            872            152177         1806627        0              602            4   4   3      
2.49/2.59	c 630            886            153993         1830556        0              604            4   4   3      
2.59/2.63	c 640            899            156124         1863420        0              614            4   4   3      
2.59/2.64	c 650            912            157663         1900771        0              624            4   4   3      
2.59/2.66	c 660            925            160463         1925805        0              634            4   4   3      
2.59/2.68	c 670            941            164501         1958375        0              643            5   6   5      
2.59/2.69	c 680            954            166092         1986661        0              653            4   4   3      
2.69/2.71	c 690            968            170923         2008612        0              663            5   5   4      
2.69/2.73	c 700            982            173599         2038440        0              673            4   4   3      
2.69/2.75	c 710            996            176369         2083606        0              683            5   5   4      
2.69/2.78	c 720            1009           178544         2117718        0              693            4   4   3      
2.79/2.80	c 730            1022           180117         2154492        0              703            4   4   3      
2.79/2.81	c 740            1035           181722         2191289        0              713            4   4   3      
2.79/2.82	c 750            1048           183060         2212905        0              723            4   4   3      
2.79/2.84	c 760            1061           185018         2237025        0              733            4   4   3      
2.79/2.86	c 770            1076           188670         2255258        0              743            5   6   4      
2.79/2.86	c 771            1080           189691         2263481        0              744            4   4   2      
2.79/2.87	c 780            1092           191230         2290033        0              753            4   4   3      
2.79/2.89	c 790            1107           196599         2316754        0              762            5   5   4      
2.89/2.91	c 800            1120           199400         2341722        0              772            4   4   3      
2.89/2.93	c 810            1134           202473         2377659        0              782            5   5   4      
2.89/2.94	c 820            1148           204559         2419666        0              792            5   5   4      
2.89/2.97	c 830            1162           206666         2466164        0              802            5   5   4      
2.89/2.99	c 840            1176           208773         2508954        0              812            5   5   4      
2.99/3.01	c 850            1190           210745         2552032        0              822            5   5   4      
2.99/3.03	c 860            1203           212511         2580778        0              832            4   4   3      
2.99/3.04	c 870            1216           214064         2616977        0              842            4   4   3      
2.99/3.05	c 880            1229           215602         2651026        0              852            4   4   3      
2.99/3.06	c 890            1242           216953         2673436        0              862            4   4   3      
2.99/3.07	c 900            1255           218496         2711681        0              872            4   4   3      
2.99/3.09	c 910            1269           221305         2741304        0              881            4   4   3      
3.09/3.11	c 920            1284           225428         2765035        0              891            6   6   5      
3.09/3.12	c 930            1297           226799         2788855        0              901            4   4   3      
3.09/3.13	c 940            1310           228393         2826208        0              911            4   4   3      
3.09/3.14	c 947            1320           230702         2846183        0              918            4   4   3      
3.09/3.15	c 950            1328           233161         2859711        0              921            5   6   4      
3.09/3.16	c 960            1342           234747         2879256        0              931            5   5   4      
3.09/3.17	c 970            1355           236300         2917024        0              941            4   4   3      
3.09/3.19	c 980            1369           239431         2946131        0              947            4   4   3      
3.19/3.21	c 990            1383           244175         2968021        0              957            5   5   4      
3.19/3.21	c 1000           1396           245375         2977380        0              967            4   4   3      
3.19/3.23	c 1010           1409           246928         3013739        0              977            4   4   3      
3.19/3.24	c 1020           1423           248911         3050728        0              987            5   5   4      
3.19/3.26	c 1030           1437           250883         3094038        0              997            5   5   4      
3.19/3.28	c 1040           1450           252284         3116530        0              1007           4   4   3      
3.19/3.29	c 1050           1463           253841         3153371        0              1017           4   4   3      
3.30/3.31	c 1060           1476           255700         3174830        0              1027           4   4   3      
3.30/3.31	c 1070           1489           257178         3209184        0              1037           4   4   3      
3.30/3.32	c 1080           1502           258529         3231346        0              1047           4   4   3      
3.30/3.33	c 1090           1515           260102         3269094        0              1057           4   4   3      
3.30/3.36	c 1100           1528           262140         3295094        0              1067           4   4   3      
3.30/3.37	c 1110           1541           263994         3320606        0              1077           4   4   3      
3.30/3.39	c 1120           1556           267434         3343630        0              1087           4   6   5      
3.40/3.41	c 1130           1571           270684         3369512        0              1097           6   6   5      
3.40/3.42	c 1140           1585           272712         3404050        0              1107           5   5   4      
3.40/3.43	c 1141           1589           274089         3413796        0              1108           4   4   2      
3.40/3.45	c 1150           1602           278419         3434569        0              1117           5   5   4      
3.40/3.46	c 1160           1615           279977         3468037        0              1127           4   4   3      
3.40/3.48	c 1170           1630           284275         3496848        0              1129           5   5   4      
3.40/3.49	c 1180           1643           285622         3519091        0              1139           4   4   3      
3.49/3.50	c 1190           1656           287884         3554847        0              1149           4   4   3      
3.49/3.52	c 1200           1669           290663         3579680        0              1159           4   4   3      
3.49/3.54	c 1210           1685           294627         3612398        0              1168           5   6   5      
3.49/3.55	c 1220           1699           296290         3630969        0              1172           4   4   3      
3.49/3.56	c 1230           1712           297895         3668131        0              1182           4   4   3      
3.49/3.56	c 1240           1725           299243         3687772        0              1192           4   4   3      
3.49/3.57	c 1250           1738           300786         3726312        0              1202           4   4   3      
3.49/3.58	c 1260           1751           302404         3755422        0              1212           4   4   3      
3.59/3.61	c 1270           1766           306949         3788221        0              1219           5   5   4      
3.59/3.64	c 1280           1781           310986         3816318        0              1228           5   5   4      
3.59/3.66	c 1290           1796           315171         3838243        0              1229           6   6   5      
3.59/3.69	c 1300           1811           319146         3866237        0              1236           5   5   4      
3.69/3.70	c 1310           1825           321078         3902298        0              1246           5   5   4      
3.69/3.71	c 1320           1839           322962         3936367        0              1256           5   5   4      
3.69/3.73	c 1330           1852           324530         3970393        0              1266           4   4   3      
3.69/3.75	c 1340           1865           326591         4003783        0              1276           4   4   3      
3.69/3.77	c 1350           1878           329198         4028719        0              1286           4   4   3      
3.69/3.78	c 1352           1884           331360         4040758        0              1288           5   5   3      
3.79/3.80	c 1360           1895           333082         4071932        0              1296           4   4   3      
3.79/3.82	c 1370           1908           334633         4106673        0              1306           4   4   3      
3.79/3.82	c 1380           1921           335964         4126674        0              1316           4   4   3      
3.79/3.83	c 1390           1934           337297         4139868        0              1326           4   4   3      
3.79/3.83	c 1400           1947           338659         4150464        0              1336           4   4   3      
3.79/3.84	c 1410           1961           340464         4173180        0              1342           4   4   3      
3.79/3.86	c 1420           1975           343197         4203030        0              1351           4   4   3      
3.79/3.88	c 1430           1992           347602         4228247        0              1359           6   6   5      
3.89/3.90	c 1440           2008           351769         4250737        0              1362           6   6   5      
3.89/3.91	c 1450           2022           353838         4285825        0              1372           5   5   4      
3.89/3.93	c 1460           2035           356729         4313244        0              1382           4   4   3      
3.89/3.95	c 1470           2049           361354         4335171        0              1392           5   5   4      
3.89/3.96	c 1480           2062           362754         4357903        0              1402           4   4   3      
3.89/3.98	c 1490           2075           364840         4386525        0              1412           4   4   3      
3.99/4.00	c 1500           2093           369350         4418909        0              1419           4   6   5      
3.99/4.01	c 1510           2106           370770         4441710        0              1429           4   4   3      
3.99/4.02	c 1520           2119           373643         4473591        0              1439           4   4   3      
3.99/4.03	c 1530           2132           375285         4508024        0              1449           4   4   3      
3.99/4.06	c 1540           2146           377480         4547050        0              1459           4   5   3      
3.99/4.08	c 1550           2160           382105         4568762        0              1469           5   5   4      
3.99/4.09	c 1560           2173           383701         4602192        0              1479           4   4   3      
4.09/4.11	c 1570           2188           385887         4631415        0              1481           5   5   4      
4.09/4.12	c 1580           2202           387809         4666408        0              1491           5   5   4      
4.09/4.13	c 1585           2210           389034         4679594        0              1496           4   4   3      
4.09/4.13	c 1590           2218           390244         4695074        0              1501           4   4   3      
4.09/4.14	c 1600           2231           391870         4729657        0              1511           4   4   3      
4.09/4.16	c 1610           2246           397025         4757973        0              1516           5   5   4      
4.09/4.17	c 1620           2259           398663         4793420        0              1526           4   4   3      
4.19/4.20	c 1630           2272           400323         4828305        0              1536           4   4   3      
4.19/4.21	c 1640           2286           402173         4862841        0              1546           5   5   4      
4.19/4.22	c 1650           2300           404082         4897520        0              1556           5   5   4      
4.19/4.23	c 1660           2314           405783         4918417        0              1558           4   4   3      
4.19/4.26	c 1670           2331           408799         4964716        0              1565           4   5   4      
4.19/4.28	c 1680           2345           410713         4999822        0              1575           5   5   4      
4.29/4.30	c 1690           2362           415881         5037605        0              1579           5   5   4      
4.29/4.31	c 1700           2375           417247         5057364        0              1589           4   4   3      
4.29/4.31	c 1710           2388           418621         5071568        0              1590           4   4   3      
4.29/4.33	c 1720           2404           422381         5093293        0              1597           6   6   5      
4.29/4.35	c 1730           2418           424426         5128638        0              1607           5   5   4      
4.29/4.36	c 1740           2431           426011         5157970        0              1617           4   4   3      
4.29/4.36	c 1750           2444           427346         5165607        0              1627           4   4   3      
4.29/4.37	c 1760           2457           428746         5187918        0              1637           4   4   3      
4.29/4.38	c 1770           2470           431207         5211293        0              1647           4   4   3      
4.29/4.40	c 1780           2484           435539         5233145        0              1657           5   5   4      
4.40/4.42	c 1790           2498           437991         5261947        0              1667           5   5   4      
4.40/4.43	c 1800           2512           439906         5296757        0              1677           5   5   4      
4.40/4.45	c 1810           2529           443858         5324629        0              1680           4   6   5      
4.40/4.46	c 1820           2543           445877         5357954        0              1690           5   5   4      
4.40/4.49	c 1830           2559           448635         5400820        0              1694           5   5   4      
4.40/4.50	c 1840           2573           450654         5434132        0              1704           5   5   4      
4.50/4.51	c 1841           2577           451710         5442261        0              1705           4   4   2      
4.50/4.52	c 1850           2589           453225         5471206        0              1714           4   4   3      
4.50/4.53	c 1860           2604           455311         5502707        0              1721           5   5   4      
4.50/4.54	c 1870           2618           457210         5537370        0              1731           5   5   4      
4.50/4.57	c 1880           2637           462500         5572307        0              1735           6   6   5      
4.50/4.59	c 1890           2652           466076         5593476        0              1745           6   6   5      
4.59/4.60	c 1900           2666           468121         5628195        0              1755           5   5   4      
4.59/4.62	c 1910           2679           469704         5655477        0              1765           4   4   3      
4.59/4.63	c 1920           2693           471626         5691061        0              1775           5   5   4      
4.59/4.63	c 1930           2706           473078         5705189        0              1785           4   4   3      
4.59/4.65	c 1940           2720           475015         5740134        0              1795           4   4   3      
4.59/4.66	c 1950           2734           476911         5765451        0              1800           4   4   3      
4.59/4.68	c 1960           2750           479266         5799711        0              1803           5   5   4      
4.59/4.69	c 1970           2764           481165         5834894        0              1813           5   5   4      
4.69/4.71	c 1980           2781           484493         5862339        0              1818           5   6   5      
4.69/4.72	c 1990           2795           486536         5896174        0              1828           5   5   4      
4.69/4.73	c 2000           2808           487857         5915854        0              1838           4   4   3      
4.69/4.74	c 2010           2821           489375         5950275        0              1848           4   4   3      
4.69/4.76	c 2020           2834           491017         5984819        0              1858           4   4   3      
4.69/4.77	c 2030           2848           492936         6012801        0              1859           5   5   4      
4.69/4.79	c 2040           2861           495574         6037703        0              1869           4   4   3      
4.78/4.81	c 2050           2875           499772         6059671        0              1870           5   5   4      
4.78/4.81	c 2060           2888           501002         6067148        0              1880           4   4   3      
4.78/4.82	c 2070           2901           502280         6073743        0              1890           4   4   3      
4.78/4.82	c 2080           2915           503948         6088872        0              1893           4   4   3      
4.78/4.84	c 2090           2930           506109         6122299        0              1896           5   5   4      
4.78/4.86	c 2100           2944           508048         6159155        0              1906           5   5   4      
4.78/4.87	c 2110           2962           511417         6187370        0              1911           5   6   5      
4.78/4.88	c 2120           2976           513364         6221524        0              1921           5   5   4      
4.78/4.89	c 2122           2981           514571         6231261        0              1923           4   4   2      
4.88/4.90	c 2130           2992           516004         6260944        0              1931           4   4   3      
4.88/4.91	c 2140           3005           517592         6294345        0              1941           4   4   3      
4.88/4.93	c 2150           3020           519753         6327793        0              1944           5   5   4      
4.88/4.94	c 2160           3034           521682         6362706        0              1954           5   5   4      
4.88/4.96	c 2170           3047           523337         6396490        0              1964           4   4   3      
4.88/4.97	c 2180           3060           524955         6432017        0              1974           4   4   3      
4.88/4.97	c 2190           3073           526527         6464032        0              1984           4   4   3      
4.88/4.99	c 2200           3088           528688         6497504        0              1986           5   5   4      
4.98/5.00	c 2210           3102           530489         6519289        0              1996           5   5   4      
4.98/5.02	c 2220           3116           532356         6548251        0              2006           5   5   4      
4.98/5.02	c 2230           3130           534065         6560014        0              2016           5   5   4      
4.98/5.03	c 2240           3144           536803         6588164        0              2026           5   5   4      
4.98/5.04	c 2250           3158           538779         6622729        0              2036           5   5   4      
4.98/5.06	c 2260           3171           540434         6657423        0              2046           4   4   3      
4.98/5.07	c 2270           3186           542595         6690857        0              2056           5   5   4      
4.98/5.08	c 2280           3200           544304         6702645        0              2066           5   5   4      
4.98/5.09	c 2290           3214           546178         6736373        0              2076           5   5   4      
5.08/5.10	c 2300           3227           547759         6770825        0              2086           4   4   3      
5.08/5.11	c 2310           3241           549658         6805163        0              2096           5   5   4      
5.08/5.12	c 2320           3254           551221         6839644        0              2106           4   4   3      
5.08/5.13	c 2330           3267           552837         6875853        0              2116           4   4   3      
5.08/5.14	c 2340           3280           554482         6910337        0              2126           4   4   3      
5.08/5.15	c 2350           3294           556256         6932181        0              2136           5   5   4      
5.08/5.16	c 2360           3307           557839         6966559        0              2146           4   4   3      
5.08/5.17	c 2370           3321           560168         6998480        0              2156           5   5   4      
5.08/5.19	c 2380           3335           562091         7033784        0              2166           5   5   4      
5.08/5.20	c 2390           3348           563709         7070551        0              2176           4   4   3      
5.18/5.20	c 2400           3361           565210         7102168        0              2186           4   4   3      
5.18/5.22	c 2410           3375           567771         7144208        0              2196           5   5   4      
5.18/5.24	c 2420           3388           569338         7176903        0              2206           4   4   3      
5.18/5.26	c 2430           3406           573860         7208897        0              2210           4   6   5      
5.18/5.27	c 2431           3411           575716         7219368        0              2211           5   5   2      
5.18/5.29	c 2440           3424           578243         7260296        0              2220           5   5   4      
5.28/5.31	c 2450           3438           580217         7299003        0              2227           4   5   4      
5.28/5.32	c 2460           3452           582092         7333949        0              2237           5   5   4      
5.28/5.34	c 2470           3466           584478         7372387        0              2247           5   5   4      
5.28/5.36	c 2480           3480           586377         7407222        0              2257           5   5   4      
5.28/5.39	c 2490           3495           589716         7448753        0              2266           4   5   3      
5.38/5.41	c 2500           3509           592634         7478228        0              2276           5   5   4      
5.38/5.42	c 2510           3523           594441         7503313        0              2286           5   5   4      
5.38/5.43	c 2520           3537           596354         7537739        0              2296           5   5   4      
5.38/5.44	c 2530           3550           597917         7572840        0              2306           4   4   3      
5.38/5.47	c 2540           3564           600329         7611969        0              2316           5   5   4      
5.38/5.48	c 2550           3578           602405         7658430        0              2326           5   5   4      
5.38/5.49	c 2560           3591           604068         7693966        0              2336           4   4   3      
5.38/5.50	c 2570           3604           605686         7731098        0              2346           4   4   3      
5.49/5.52	c 2580           3617           607330         7770125        0              2356           4   4   3      
5.49/5.54	c 2590           3631           609300         7805867        0              2366           5   5   4      
5.49/5.56	c 2600           3645           613229         7837920        0              2376           5   5   4      
5.49/5.58	c 2610           3660           615504         7872652        0              2386           5   5   4      
5.49/5.59	c 2620           3673           617156         7907650        0              2396           4   4   3      
5.59/5.61	c 2630           3687           619447         7940253        0              2406           5   5   4      
5.59/5.63	c 2640           3701           621346         7975608        0              2416           5   5   4      
5.59/5.64	c 2650           3714           622727         7998498        0              2426           4   4   3      
5.59/5.65	c 2660           3727           625246         8030234        0              2436           4   4   3      
5.59/5.67	c 2670           3740           627580         8055845        0              2446           4   4   3      
5.59/5.69	c 2680           3756           631582         8087667        0              2455           5   6   5      
5.68/5.71	c 2690           3769           633190         8115729        0              2465           4   4   3      
5.68/5.72	c 2700           3784           636934         8137303        0              2466           6   6   5      
5.68/5.74	c 2710           3798           639174         8178924        0              2476           5   5   4      
5.68/5.75	c 2720           3811           640744         8203873        0              2486           4   4   3      
5.68/5.75	c 2730           3824           642092         8211480        0              2496           4   4   3      
5.68/5.75	c 2740           3837           643567         8225639        0              2506           4   4   3      
5.68/5.76	c 2750           3850           645175         8254275        0              2516           4   4   3      
5.68/5.78	c 2760           3865           648413         8281910        0              2526           6   6   5      
5.68/5.79	c 2770           3878           649770         8303910        0              2536           4   4   3      
5.68/5.79	c 2771           3882           650789         8311659        0              2537           4   4   2      
5.78/5.80	c 2780           3895           652773         8343625        0              2546           5   5   4      
5.78/5.82	c 2790           3908           655027         8372041        0              2556           4   4   3      
5.78/5.84	c 2800           3923           658465         8395449        0              2566           4   6   5      
5.78/5.86	c 2810           3937           660548         8442294        0              2576           5   5   4      
5.78/5.87	c 2820           3950           662033         8470779        0              2586           4   4   3      
5.78/5.89	c 2830           3965           666118         8491909        0              2589           5   6   5      
5.88/5.91	c 2840           3979           667984         8526016        0              2599           5   5   4      
5.88/5.92	c 2850           3992           669553         8560470        0              2609           4   4   3      
5.88/5.92	c 2860           4005           670930         8568729        0              2610           4   4   3      
5.88/5.93	c 2870           4019           672973         8602577        0              2620           5   5   4      
5.88/5.95	c 2880           4032           675419         8631262        0              2630           4   4   3      
5.88/5.97	c 2890           4046           679594         8652957        0              2640           5   5   4      
5.88/5.98	c 2900           4059           681139         8689065        0              2650           4   4   3      
5.98/6.00	c 2910           4072           682767         8727788        0              2660           4   4   3      
5.98/6.02	c 2920           4087           687546         8753992        0              2669           5   5   4      
5.98/6.06	c 2930           4100           689517         8795094        0              2679           4   4   3      
5.98/6.08	c 2940           4114           692839         8820534        0              2689           5   5   4      
5.98/6.09	c 2950           4128           694752         8846680        0              2699           5   5   4      
6.08/6.11	c 2960           4141           696295         8883333        0              2709           4   4   3      
6.08/6.12	c 2970           4154           697950         8918909        0              2719           4   4   3      
6.08/6.13	c 2980           4167           699543         8953717        0              2729           4   4   3      
6.08/6.15	c 2990           4181           701847         8976527        0              2736           4   4   3      
6.08/6.16	c 3000           4194           703325         9009846        0              2746           4   4   3      
6.08/6.17	c 3010           4207           704890         9034635        0              2756           4   4   3      
6.08/6.18	c 3020           4220           706508         9070253        0              2766           4   4   3      
6.18/6.20	c 3030           4233           708542         9094711        0              2776           4   4   3      
6.18/6.20	c 3040           4246           709806         9114165        0              2786           4   4   3      
6.18/6.22	c 3050           4259           711379         9150868        0              2796           4   4   3      
6.18/6.24	c 3060           4274           713524         9180120        0              2805           5   5   4      
6.18/6.26	c 3070           4290           717530         9212338        0              2814           5   6   5      
6.18/6.29	c 3080           4303           719596         9244999        0              2824           4   4   3      
6.28/6.30	c 3090           4316           721088         9264900        0              2834           4   4   3      
6.28/6.31	c 3100           4329           722666         9301188        0              2844           4   4   3      
6.28/6.33	c 3110           4344           724811         9330490        0              2850           5   5   4      
6.28/6.34	c 3120           4358           726700         9364629        0              2860           5   5   4      
6.28/6.36	c 3130           4371           730558         9390768        0              2870           4   4   3      
6.28/6.38	c 3140           4386           735800         9417234        0              2879           5   5   4      
6.28/6.38	c 3142           4391           736979         9427321        0              2881           4   4   2      
6.38/6.40	c 3150           4402           739505         9451425        0              2889           4   4   3      
6.38/6.41	c 3160           4416           742148         9484379        0              2899           5   5   4      
6.38/6.42	c 3170           4429           743623         9498278        0              2909           4   4   3      
6.38/6.44	c 3180           4443           745784         9536101        0              2919           4   4   3      
6.38/6.45	c 3190           4456           747600         9558793        0              2929           4   4   3      
6.38/6.47	c 3200           4469           750324         9585532        0              2939           4   4   3      
6.38/6.49	c 3210           4484           755512         9611712        0              2946           5   5   4      
6.48/6.50	c 3220           4498           757390         9632306        0              2949           4   4   3      
6.48/6.51	c 3230           4511           759028         9668487        0              2959           4   4   3      
6.48/6.52	c 3240           4525           762267         9692217        0              2969           4   4   3      
6.48/6.54	c 3250           4538           763845         9728810        0              2979           4   4   3      
6.48/6.55	c 3260           4551           765477         9763919        0              2989           4   4   3      
6.48/6.57	c 3270           4565           768516         9793164        0              2996           4   4   3      
6.48/6.59	c 3280           4580           771893         9822738        0              3006           6   6   5      
6.48/6.60	c 3290           4594           773850         9852067        0              3013           4   4   3      
6.59/6.61	c 3300           4607           775492         9888865        0              3023           4   4   3      
6.59/6.62	c 3310           4620           776934         9909722        0              3033           4   4   3      
6.59/6.63	c 3320           4633           778477         9946967        0              3043           4   4   3      
6.59/6.64	c 3330           4646           780136         9981443        0              3053           4   4   3      
6.59/6.66	c 3340           4661           782281         10010843       0              3055           5   5   4      
6.59/6.68	c 3350           4676           786376         10034221       0              3065           6   6   5      
6.59/6.69	c 3360           4689           788028         10062647       0              3075           4   4   3      
6.69/6.70	c 3370           4702           789571         10100106       0              3085           4   4   3      
6.69/6.71	c 3380           4715           791218         10134781       0              3095           4   4   3      
6.69/6.73	c 3390           4731           795675         10159293       0              3098           5   5   4      
6.69/6.75	c 3400           4744           797223         10195693       0              3108           4   4   3      
6.69/6.76	c 3410           4757           798855         10231592       0              3118           4   4   3      
6.69/6.77	c 3420           4770           800520         10267253       0              3128           4   4   3      
6.69/6.78	c 3430           4784           802352         10292419       0              3138           5   5   4      
6.69/6.79	c 3440           4798           804241         10327078       0              3148           5   5   4      
6.78/6.81	c 3450           4812           806094         10353533       0              3158           4   5   4      
6.78/6.82	c 3460           4826           808043         10390260       0              3168           5   5   4      
6.78/6.83	c 3470           4839           809606         10425013       0              3178           4   4   3      
6.78/6.84	c 3480           4852           811238         10461496       0              3188           4   4   3      
6.78/6.84	c 3490           4865           812751         10479894       0              3198           4   4   3      
6.78/6.85	c 3500           4878           814339         10511112       0              3208           4   4   3      
6.78/6.87	c 3510           4891           817254         10538469       0              3218           4   4   3      
6.78/6.89	c 3520           4906           822446         10564528       0              3224           5   5   4      
6.88/6.90	c 3530           4919           824101         10598332       0              3234           4   4   3      
6.88/6.91	c 3540           4932           825473         10605940       0              3244           4   4   3      
6.88/6.91	c 3550           4945           826986         10621119       0              3245           4   4   3      
6.88/6.92	c 3551           4950           828450         10631049       0              3246           5   5   2      
6.88/6.93	c 3560           4962           829847         10652387       0              3255           4   4   3      
6.88/6.95	c 3570           4975           833345         10677039       0              3265           4   4   3      
6.88/6.97	c 3580           4990           838542         10703003       0              3271           5   5   4      
6.88/6.98	c 3590           5003           840707         10734099       0              3281           4   4   3      
6.98/7.01	c 3600           5018           845006         10768813       0              3286           5   5   4      
6.98/7.04	c 3610           5032           848913         10794111       0              3296           5   5   4      
6.98/7.05	c 3620           5046           850867         10829567       0              3306           5   5   4      
6.98/7.07	c 3630           5059           853737         10859590       0              3316           4   4   3      
6.98/7.09	c 3640           5074           857009         10893763       0              3319           5   5   4      
7.08/7.10	c 3650           5088           858713         10908587       0              3322           4   4   3      
7.08/7.11	c 3660           5101           860345         10945441       0              3332           4   4   3      
7.08/7.12	c 3670           5114           861999         10980074       0              3342           4   4   3      
7.08/7.12	c 3680           5127           863553         11008200       0              3352           4   4   3      
7.08/7.13	c 3690           5140           864968         11029799       0              3362           4   4   3      
7.08/7.15	c 3700           5154           868718         11064652       0              3371           4   4   3      
7.08/7.16	c 3710           5167           870137         11086769       0              3381           4   4   3      
7.08/7.18	c 3720           5180           873341         11113758       0              3391           4   4   3      
7.08/7.19	c 3730           5194           875123         11136264       0              3401           5   5   4      
7.18/7.21	c 3740           5207           878639         11162794       0              3411           4   4   3      
7.18/7.23	c 3750           5224           882353         11198176       0              3420           5   6   4      
7.18/7.25	c 3760           5237           886235         11224253       0              3430           4   4   3      
7.18/7.27	c 3770           5252           891436         11250106       0              3437           5   5   4      
7.18/7.28	c 3780           5265           893088         11285097       0              3447           4   4   3      
7.18/7.28	c 3790           5278           894460         11292436       0              3457           4   4   3      
7.18/7.29	c 3800           5291           896115         11328002       0              3467           4   4   3      
7.28/7.30	c 3810           5305           898021         11341410       0              3470           4   4   3      
7.28/7.32	c 3820           5318           899613         11377686       0              3480           4   4   3      
7.28/7.34	c 3830           5331           902668         11401994       0              3490           4   4   3      
7.28/7.36	c 3840           5346           906271         11437757       0              3492           5   5   4      
7.28/7.39	c 3850           5359           908221         11460191       0              3502           4   4   3      
7.38/7.40	c 3860           5372           909843         11497889       0              3512           4   4   3      
7.38/7.43	c 3870           5385           911977         11528889       0              3522           4   4   3      
7.38/7.44	c 3880           5398           913694         11564307       0              3532           4   4   3      
7.38/7.46	c 3890           5411           915509         11591979       0              3542           4   4   3      
7.38/7.49	c 3900           5425           918416         11621374       0              3550           4   4   3      
7.48/7.51	c 3910           5441           922175         11643168       0              3560           6   6   5      
7.48/7.53	c 3920           5456           926047         11665168       0              3561           6   6   5      
7.48/7.54	c 3930           5469           927581         11698877       0              3571           4   4   3      
7.48/7.56	c 3940           5482           929188         11733454       0              3581           4   4   3      
7.48/7.58	c 3950           5496           932266         11762778       0              3590           4   4   3      
7.58/7.60	c 3960           5510           936571         11784477       0              3600           5   5   4      
7.58/7.60	c 3970           5523           937892         11804507       0              3610           4   4   3      
7.58/7.62	c 3980           5536           939542         11839794       0              3620           4   4   3      
7.58/7.63	c 3990           5549           940992         11862261       0              3630           4   4   3      
7.58/7.65	c 4000           5562           943839         11886750       0              3640           4   4   3      
7.58/7.66	c 4001           5567           945969         11897317       0              3641           5   5   2      
7.58/7.67	c 4010           5579           947600         11924111       0              3650           4   4   3      
7.58/7.70	c 4020           5593           950495         11953453       0              3658           4   4   3      
7.69/7.72	c 4030           5608           955276         11979514       0              3667           5   5   4      
7.69/7.74	c 4040           5623           957525         12015174       0              3677           4   5   3      
7.69/7.76	c 4050           5637           959590         12050211       0              3687           5   5   4      
7.69/7.79	c 4060           5654           962252         12084482       0              3692           5   5   4      
7.69/7.80	c 4070           5668           964211         12121985       0              3702           5   5   4      
7.79/7.82	c 4080           5683           967504         12148722       0              3708           5   5   4      
7.79/7.84	c 4090           5698           971589         12176840       0              3710           5   5   4      
7.79/7.84	c 4100           5711           972994         12197394       0              3720           4   4   3      
7.79/7.86	c 4110           5724           974610         12234636       0              3730           4   4   3      
7.79/7.86	c 4120           5737           975863         12242380       0              3740           4   4   3      
7.79/7.86	c 4130           5750           977245         12255563       0              3750           4   4   3      
7.79/7.88	c 4140           5766           979624         12286474       0              3753           5   5   4      
7.88/7.90	c 4150           5780           981669         12321784       0              3763           5   5   4      
7.88/7.92	c 4160           5794           985155         12350197       0              3765           4   4   3      
7.88/7.94	c 4170           5809           989483         12371488       0              3768           5   6   5      
7.88/7.96	c 4180           5823           991374         12406361       0              3778           5   5   4      
7.88/7.97	c 4190           5836           992967         12434083       0              3788           4   4   3      
7.88/7.98	c 4200           5850           994943         12468752       0              3798           5   5   4      
7.88/7.99	c 4210           5864           996878         12500877       0              3807           4   4   3      
7.98/8.01	c 4220           5879           999013         12529269       0              3812           5   5   4      
7.98/8.02	c 4230           5893           1000822        12551387       0              3822           5   5   4      
7.98/8.03	c 4240           5906           1002429        12586773       0              3832           4   4   3      
7.98/8.05	c 4250           5919           1005288        12611121       0              3842           4   4   3      
7.98/8.07	c 4260           5933           1010050        12632836       0              3852           5   5   4      
7.98/8.08	c 4270           5946           1011643        12668930       0              3862           4   4   3      
7.98/8.09	c 4280           5959           1013242        12704704       0              3872           4   4   3      
8.08/8.11	c 4290           5973           1016684        12733330       0              3878           4   4   3      
8.08/8.13	c 4300           5987           1019555        12777859       0              3888           5   5   4      
8.08/8.16	c 4310           6002           1021690        12806318       0              3895           5   5   4      
8.08/8.16	c 4320           6016           1023399        12818198       0              3905           5   5   4      
8.08/8.18	c 4330           6030           1025864        12844495       0              3915           5   5   4      
8.08/8.18	c 4340           6044           1027573        12856385       0              3925           5   5   4      
8.08/8.19	c 4350           6057           1028948        12879830       0              3935           4   4   3      
8.18/8.21	c 4360           6072           1032514        12910158       0              3937           5   5   4      
8.18/8.23	c 4370           6086           1035365        12948834       0              3945           4   4   3      
8.18/8.24	c 4380           6099           1037016        12983144       0              3955           4   4   3      
8.18/8.25	c 4390           6112           1038397        13006999       0              3965           4   4   3      
8.18/8.26	c 4400           6125           1040478        13033515       0              3975           4   4   3      
8.18/8.29	c 4410           6141           1046032        13064002       0              3978           5   5   4      
8.28/8.30	c 4420           6154           1047615        13099748       0              3988           4   4   3      
8.28/8.31	c 4430           6167           1049046        13126027       0              3998           4   4   3      
8.28/8.32	c 4440           6180           1050560        13160419       0              4008           4   4   3      
8.28/8.33	c 4450           6193           1052211        13195319       0              4018           4   4   3      
8.28/8.33	c 4460           6206           1053432        13203804       0              4028           4   4   3      
8.28/8.36	c 4470           6223           1058086        13239108       0              4032           5   5   4      
8.28/8.37	c 4480           6236           1059782        13276410       0              4042           4   4   3      
8.28/8.38	c 4490           6249           1061409        13307738       0              4052           4   4   3      
8.28/8.38	c 4493           6255           1062562        13323140       0              4055           4   4   3      
8.38/8.40	c 4500           6267           1066885        13345369       0              4058           5   5   4      
8.38/8.41	c 4510           6281           1070528        13367758       0              4068           4   4   3      
8.38/8.42	c 4520           6294           1072147        13405148       0              4078           4   4   3      
8.38/8.44	c 4530           6307           1075264        13429809       0              4079           4   4   3      
8.38/8.47	c 4540           6322           1077399        13458308       0              4087           5   5   4      
8.38/8.49	c 4550           6336           1080491        13490534       0              4097           5   5   4      
8.48/8.50	c 4560           6350           1083511        13515742       0              4107           5   5   4      
8.48/8.53	c 4570           6365           1085861        13546231       0              4117           5   5   4      
8.48/8.55	c 4580           6379           1088575        13574636       0              4126           4   4   3      
8.48/8.58	c 4590           6394           1092205        13614384       0              4130           5   5   4      
8.48/8.60	c 4600           6409           1094340        13642911       0              4138           5   5   4      
8.58/8.61	c 4610           6423           1096082        13664963       0              4148           5   5   4      
8.58/8.63	c 4620           6436           1097630        13701477       0              4158           4   4   3      
8.58/8.66	c 4630           6451           1100798        13749171       0              4165           5   5   4      
8.58/8.67	c 4640           6465           1102764        13784748       0              4175           5   5   4      
8.58/8.68	c 4650           6478           1104347        13820676       0              4185           4   4   3      
8.58/8.68	c 4660           6491           1105568        13829171       0              4195           4   4   3      
8.58/8.69	c 4670           6504           1106879        13850495       0              4205           4   4   3      
8.68/8.71	c 4680           6517           1109616        13876679       0              4215           4   4   3      
8.68/8.73	c 4690           6531           1111570        13912755       0              4225           5   5   4      
8.68/8.73	c 4700           6544           1113045        13926817       0              4235           4   4   3      
8.68/8.75	c 4710           6559           1115180        13955373       0              4242           5   5   4      
8.68/8.76	c 4720           6573           1117270        13990966       0              4252           5   5   4      
8.68/8.77	c 4730           6586           1118849        14018764       0              4262           4   4   3      
8.68/8.78	c 4740           6600           1120825        14054466       0              4272           5   5   4      
8.68/8.80	c 4750           6613           1123810        14078345       0              4282           4   4   3      
8.79/8.82	c 4760           6629           1127983        14110839       0              4292           5   6   5      
8.79/8.85	c 4770           6643           1131585        14139193       0              4299           4   4   3      
8.79/8.87	c 4780           6657           1134541        14182441       0              4309           5   5   4      
8.79/8.89	c 4790           6671           1136709        14225342       0              4319           5   5   4      
8.89/8.91	c 4800           6685           1138739        14268134       0              4329           5   5   4      
8.89/8.94	c 4810           6699           1140783        14308404       0              4339           5   5   4      
8.89/8.95	c 4820           6713           1142737        14344895       0              4349           5   5   4      
8.89/8.97	c 4830           6726           1145856        14371770       0              4359           4   4   3      
8.89/8.99	c 4840           6742           1151200        14402431       0              4362           5   5   4      
8.98/9.00	c 4850           6756           1153514        14433552       0              4372           5   5   4      
8.98/9.01	c 4860           6770           1155468        14470308       0              4382           5   5   4      
8.98/9.02	c 4870           6783           1157041        14498405       0              4392           4   4   3      
8.98/9.04	c 4880           6797           1159134        14545356       0              4402           5   5   4      
8.98/9.06	c 4890           6812           1161269        14573959       0              4407           5   5   4      
8.98/9.08	c 4900           6826           1163387        14620995       0              4417           5   5   4      
9.08/9.10	c 4910           6840           1165809        14659407       0              4427           5   5   4      
9.08/9.12	c 4920           6854           1167551        14681855       0              4437           5   5   4      
9.08/9.14	c 4930           6867           1170037        14705193       0              4447           4   4   3      
9.08/9.15	c 4940           6883           1174298        14728017       0              4450           6   6   5      
9.08/9.16	c 4950           6896           1175815        14755393       0              4460           4   4   3      
9.08/9.17	c 4960           6909           1177130        14770966       0              4470           4   4   3      
9.08/9.19	c 4970           6923           1179827        14812916       0              4480           5   5   4      
9.18/9.21	c 4980           6938           1183777        14840895       0              4482           5   5   4      
9.18/9.22	c 4990           6952           1185610        14862703       0              4488           4   4   3      
9.18/9.27	c 5035           7001           1190559        15011374       0              4521           4   4   3      
10.09/10.12	c 5631           7642           1302208        16211046       0              4535           3   4   3      
11.00/11.00	c 6286           8346           1434922        17475213       0              4563           4   6   5      
12.39/12.46	c 7006           9076           1504753        19803388       0              4653           4   4   3      
13.59/13.61	c 7798           9888           1567524        22325003       0              4696           5   5   4      
14.59/14.65	c 8669           10823          1700594        24068630       0              4772           4   5   4      
15.79/15.80	c 9627           11847          1860889        26071788       0              4797           4   6   5      
17.49/17.50	c 10680          13036          2125938        28122931       0              4872           4   6   5      
18.49/18.54	c 11838          14220          2180586        30210546       0              4927           4   5   4      
20.89/20.94	c 13111          15510          2294324        34299764       0              5003           4   4   3      
22.39/22.47	c 14511          16988          2505238        37343380       0              5094           5   6   5      
23.99/24.09	c 16051          18633          2737737        39655486       0              5139           4   7   5      
25.78/25.88	c 17745          20412          2977366        43123469       0              5189           4   6   5      
28.88/28.93	c 19608          22354          3198086        47543987       0              5263           4   5   4      
31.18/31.26	c 21657          24531          3472708        52356179       0              5284           4   6   4      
33.78/33.85	c 23910          27011          3822200        56930338       0              5385           4   6   5      
36.18/36.29	c 26388          29610          4123877        61475172       0              5440           4   6   5      
38.97/39.04	c 29113          32438          4337871        68135376       0              5671           3   4   3      
43.98/44.04	c 32110          35523          4715424        76329730       0              5761           4   4   3      
46.97/47.09	c 35406          38939          4955306        84126034       0              5970           4   5   4      
50.37/50.49	c 39031          42729          5381807        90446296       0              6134           3   4   3      
54.27/54.38	c 43018          46971          5920665        98974839       0              6149           4   6   5      
59.37/59.46	c 47403          51632          6506079        109274163      0              6242           4   6   5      
64.36/64.41	c 52226          56724          7175687        120327827      0              6515           3   6   4      
70.76/70.82	c 57531          62448          8127227        130152011      0              6541           4   7   5      
77.46/77.55	c 63366          68581          9019722        142296163      0              6571           4   6   5      
82.46/82.60	c 69784          75245          9563982        155855402      0              6698           3   6   4      
89.16/89.27	c 76843          82530          10060453       173198940      0              6897           3   4   3      
110.35/110.46	c 84607          92855          12006478       191298696      0              7077           5   35   32    
120.95/121.06	c 93147          102064         13630582       201073865      0              7100           4   9   8      
131.54/131.64	c 102541         111913         14826304       222988845      0              7404           4   7   5      
144.14/144.24	c 112874         122941         16717416       242410598      0              7444           4   7   6      
158.34/158.43	c 124240         134614         17727330       271378907      0              7490           3   19   7     
174.84/174.98	c 136742         147851         19704948       297321427      0              7527           5   7   6      
191.13/191.28	c 150494         162356         21037827       327904986      0              7684           6   27   20    
208.23/208.39	c 165621         178608         23711131       356236058      0              7845           5   8   6      
222.43/222.55	c 182260         195969         25421283       391782451      0              7863           4   8   5      
257.33/257.48	c 200562         215320         28468824       439665232      0              7880           6   20   17    
285.22/285.35	c 220694         237442         32930370       471405965      0              7963           5   8   7      
304.42/304.54	c 242839         260459         35145888       517412806      0              7990           4   8   5      
339.83/339.98	c 267198         286707         39441161       564794914      0              8042           4   6   5      
397.62/397.70	c 293992         315313         43900712       640693163      0              8184           4   19   16    
436.52/436.66	c 323465         346694         49325382       696865984      0              8216           5   7   6      
484.72/484.89	c 355885         381671         55127461       763290963      0              8400           4   6   5      
527.21/527.38	c 391547         419179         60161916       842667150      0              8623           4   6   5      
603.01/603.17	c 430775         460501         65826999       957318546      0              8653           6   18   16    
660.11/660.22	c 473925         506952         74633656       1025589942     0              8694           5   8   6      
777.71/777.87	c 521390         557976         83265975       1145416144     0              8872           4   17   16    
841.09/841.27	c 573601         613642         91553796       1247237868     0              9004           4   8   6      
967.68/967.89	c 631033         674618         100513505      1415349649     0              9155           6   18   17    
1045.17/1045.39	c 694208         742262         110844400      1537054870     0              9261           4   8   6      
1149.87/1150.08	c 763700         815933         120256987      1717415713     0              9430           3   18   11    
1254.16/1254.33	c 840141         898571         136056083      1857672440     0              9467           5   8   7      
1415.95/1416.13	c 924226         987330         147998691      2094971384     0              9507           4   18   15    
1540.74/1540.93	c 1016719        1088002        166137942      2208651747     0              9589           4   8   7      
1648.33/1648.59	c 1118461        1194214        177177848      2437175832     0              9646           4   6   5      
1865.31/1865.59	c 1230377        1311901        191952477      2765203867     0              9749           5   19   17    
2098.79/2099.05	c 1353484        1442171        212967877      3103012791     0              9889           3   7   4      
2352.08/2352.36	c 1488901        1585935        235244337      3485709859     0              9972           3   7   5

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-4243014-1500666571/watcher-4243014-1500666571 -o /tmp/evaluation-result-4243014-1500666571/solver-4243014-1500666571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243014-1500666571.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 12024
/proc/meminfo: memFree=32124332/32770624 swapFree=5780/17016
[pid=12024] ppid=12021 vsize=27384 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 1922247 28041216 898 33554432000 4194304 5970956 140735531347312 140735531346504 139835226938341 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 6846 898 728 434 0 210 0

[startup+0.10015 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 12024
/proc/meminfo: memFree=32124332/32770624 swapFree=5780/17016
[pid=12024] ppid=12021 vsize=27768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 1233 0 0 0 9 0 0 0 20 0 1 0 1922247 28434432 1044 33554432000 4194304 5970956 140735531347312 140735531342040 139835226938341 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 6942 1044 776 434 0 306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27768

[startup+0.200296 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 12024
/proc/meminfo: memFree=32124332/32770624 swapFree=5780/17016
[pid=12024] ppid=12021 vsize=28920 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 1500 0 0 0 19 0 0 0 20 0 1 0 1922247 29614080 1332 33554432000 4194304 5970956 140735531347312 140735531341144 139835226938341 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 7230 1332 776 434 0 594 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28920

[startup+0.300243 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 12024
/proc/meminfo: memFree=32124332/32770624 swapFree=5780/17016
[pid=12024] ppid=12021 vsize=30204 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 1823 0 0 0 29 0 0 0 20 0 1 0 1922247 30928896 1620 33554432000 4194304 5970956 140735531347312 140735531341144 139835226938341 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 7551 1620 776 434 0 915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30204

[startup+0.70021 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 12024
/proc/meminfo: memFree=32124332/32770624 swapFree=5780/17016
[pid=12024] ppid=12021 vsize=35296 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 3108 0 0 0 68 0 0 0 20 0 1 0 1922247 36143104 2925 33554432000 4194304 5970956 140735531347312 140735531340904 139835236579489 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 8824 2925 776 434 0 2188 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35296

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12025
/proc/meminfo: memFree=32110772/32770624 swapFree=5780/17044
[pid=12024] ppid=12021 vsize=309144 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 39438 0 0 0 142 7 0 0 20 0 1 0 1922247 316563456 59674 33554432000 4194304 5970956 140735531347312 140735531344136 139835226938341 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 77286 59674 808 434 0 70650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 309144

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12025
/proc/meminfo: memFree=31842088/32770624 swapFree=5780/17044
[pid=12024] ppid=12021 vsize=333200 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 49528 0 0 0 301 8 0 0 20 0 1 0 1922247 341196800 71268 33554432000 4194304 5970956 140735531347312 140735531344648 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 83300 71268 828 434 0 76664 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 333200

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12025
/proc/meminfo: memFree=31842364/32770624 swapFree=5780/17056
[pid=12024] ppid=12021 vsize=333596 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 53612 0 0 0 620 8 0 0 20 0 1 0 1922247 341602304 71361 33554432000 4194304 5970956 140735531347312 140735531344648 5319709 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 83399 71361 828 434 0 76763 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 333596

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12025
/proc/meminfo: memFree=31842172/32770624 swapFree=5780/17064
[pid=12024] ppid=12021 vsize=333860 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 58454 0 0 0 1260 9 0 0 20 0 1 0 1922247 341872640 71439 33554432000 4194304 5970956 140735531347312 140735531344648 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 83465 71439 828 434 0 76829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 333860

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12025
/proc/meminfo: memFree=31841812/32770624 swapFree=5780/17088
[pid=12024] ppid=12021 vsize=334520 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 64371 0 0 0 2539 9 0 0 20 0 1 0 1922247 342548480 71619 33554432000 4194304 5970956 140735531347312 140735531344648 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 83630 71619 828 434 0 76994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 334520

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12032
/proc/meminfo: memFree=31841216/32770624 swapFree=5780/17120
[pid=12024] ppid=12021 vsize=334652 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 69091 0 0 0 5097 10 0 0 20 0 1 0 1922247 342683648 71654 33554432000 4194304 5970956 140735531347312 140735531344648 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 83663 71654 828 434 0 77027 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 334652

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12033
/proc/meminfo: memFree=31834352/32770624 swapFree=5780/17188
[pid=12024] ppid=12021 vsize=341452 CPUtime=102.26 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 77697 0 0 0 10216 10 0 0 20 0 1 0 1922247 349646848 73288 33554432000 4194304 5970956 140735531347312 140735531344376 5071000 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 85363 73288 828 434 0 78727 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 341452

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12034
/proc/meminfo: memFree=31833164/32770624 swapFree=5780/17240
[pid=12024] ppid=12021 vsize=342508 CPUtime=162.24 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 80987 0 0 0 16214 10 0 0 20 0 1 0 1922247 350728192 73588 33554432000 4194304 5970956 140735531347312 140735531344648 5052062 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 85627 73588 828 434 0 78991 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 342508

[startup+222.308 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 12035
/proc/meminfo: memFree=31831380/32770624 swapFree=5780/17296
[pid=12024] ppid=12021 vsize=344620 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 82743 0 0 0 22214 10 0 0 20 0 1 0 1922247 352890880 74120 33554432000 4194304 5970956 140735531347312 140735531344648 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86155 74120 828 434 0 79519 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 344620

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 12036
/proc/meminfo: memFree=31830528/32770624 swapFree=5780/17332
[pid=12024] ppid=12021 vsize=345280 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 84678 0 0 0 28212 10 0 0 20 0 1 0 1922247 353566720 74283 33554432000 4194304 5970956 140735531347312 140735531344168 4909007 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86320 74283 828 434 0 79684 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 345280

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12038
/proc/meminfo: memFree=31831528/32770624 swapFree=5780/17384
[pid=12024] ppid=12021 vsize=345280 CPUtime=342.22 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 85797 0 0 0 34212 10 0 0 20 0 1 0 1922247 353566720 74289 33554432000 4194304 5970956 140735531347312 140735531344648 4968237 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86320 74289 828 434 0 79684 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 345280

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12039
/proc/meminfo: memFree=31830168/32770624 swapFree=5780/17420
[pid=12024] ppid=12021 vsize=346204 CPUtime=402.22 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 88394 0 0 0 40211 11 0 0 20 0 1 0 1922247 354512896 74523 33554432000 4194304 5970956 140735531347312 140735531344376 5070141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86551 74523 828 434 0 79915 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 346204

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12040
/proc/meminfo: memFree=31830496/32770624 swapFree=5780/17456
[pid=12024] ppid=12021 vsize=346204 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 89355 0 0 0 46211 11 0 0 20 0 1 0 1922247 354512896 74526 33554432000 4194304 5970956 140735531347312 140735531344648 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86551 74526 828 434 0 79915 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 346204

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12042
/proc/meminfo: memFree=31830416/32770624 swapFree=5780/17488
[pid=12024] ppid=12021 vsize=346204 CPUtime=522.21 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 90349 0 0 0 52210 11 0 0 20 0 1 0 1922247 354512896 74529 33554432000 4194304 5970956 140735531347312 140735531344648 4964406 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86551 74529 828 434 0 79915 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 346204

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12043
/proc/meminfo: memFree=31829700/32770624 swapFree=5780/17520
[pid=12024] ppid=12021 vsize=346468 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 91754 0 0 0 58210 11 0 0 20 0 1 0 1922247 354783232 74586 33554432000 4194304 5970956 140735531347312 140735531344376 5070112 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 86617 74586 828 434 0 79981 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 346468


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12756
/proc/meminfo: memFree=30429296/32770624 swapFree=5780/19172
[pid=12024] ppid=12021 vsize=348184 CPUtime=1542.15 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 110418 0 0 0 154203 12 0 0 20 0 1 0 1922247 356540416 75016 33554432000 4194304 5970956 140735531347312 140735531344648 4968168 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87046 75016 828 434 0 80410 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 348184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12757
/proc/meminfo: memFree=30429224/32770624 swapFree=5780/19228
[pid=12024] ppid=12021 vsize=348184 CPUtime=1602.13 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 111230 0 0 0 160201 12 0 0 20 0 1 0 1922247 356540416 75017 33554432000 4194304 5970956 140735531347312 140735531344648 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87046 75017 828 434 0 80410 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 348184

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 12758
/proc/meminfo: memFree=30429780/32770624 swapFree=5780/19248
[pid=12024] ppid=12021 vsize=348184 CPUtime=1662.13 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 112538 0 0 0 166201 12 0 0 20 0 1 0 1922247 356540416 75033 33554432000 4194304 5970956 140735531347312 140735531344648 4909022 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87046 75033 828 434 0 80410 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 348184

[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 12759
/proc/meminfo: memFree=30429708/32770624 swapFree=5780/19280
[pid=12024] ppid=12021 vsize=348316 CPUtime=1722.12 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 113621 0 0 0 172200 12 0 0 20 0 1 0 1922247 356675584 75049 33554432000 4194304 5970956 140735531347312 140735531344376 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87079 75049 828 434 0 80443 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 348316

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 12760
/proc/meminfo: memFree=30429364/32770624 swapFree=5780/19316
[pid=12024] ppid=12021 vsize=348316 CPUtime=1782.12 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 114601 0 0 0 178200 12 0 0 20 0 1 0 1922247 356675584 75056 33554432000 4194304 5970956 140735531347312 140735531344376 4908944 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87079 75056 828 434 0 80443 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 348316

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12767
/proc/meminfo: memFree=30428436/32770624 swapFree=5780/19360
[pid=12024] ppid=12021 vsize=348316 CPUtime=1842.11 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 115802 0 0 0 184199 12 0 0 20 0 1 0 1922247 356675584 75066 33554432000 4194304 5970956 140735531347312 140735531344376 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87079 75066 828 434 0 80443 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 348316

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12769
/proc/meminfo: memFree=30427640/32770624 swapFree=5780/19400
[pid=12024] ppid=12021 vsize=348448 CPUtime=1902.11 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 116945 0 0 0 190199 12 0 0 20 0 1 0 1922247 356810752 75092 33554432000 4194304 5970956 140735531347312 140735531344376 4908944 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75092 828 434 0 80476 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 348448

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12769
/proc/meminfo: memFree=30428252/32770624 swapFree=5780/19432
[pid=12024] ppid=12021 vsize=348448 CPUtime=1962.1 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 118048 0 0 0 196198 12 0 0 20 0 1 0 1922247 356810752 75099 33554432000 4194304 5970956 140735531347312 140735531344376 5052093 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75099 828 434 0 80476 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 348448

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12771
/proc/meminfo: memFree=30427908/32770624 swapFree=5780/19468
[pid=12024] ppid=12021 vsize=348448 CPUtime=2022.1 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 118930 0 0 0 202198 12 0 0 20 0 1 0 1922247 356810752 75101 33554432000 4194304 5970956 140735531347312 140735531344376 4968233 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75101 828 434 0 80476 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 348448

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12772
/proc/meminfo: memFree=30427488/32770624 swapFree=5780/19500
[pid=12024] ppid=12021 vsize=348448 CPUtime=2082.1 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 119867 0 0 0 208198 12 0 0 20 0 1 0 1922247 356810752 75101 33554432000 4194304 5970956 140735531347312 140735531344376 5071026 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75101 828 434 0 80476 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 348448

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12773
/proc/meminfo: memFree=30427560/32770624 swapFree=5780/19564
[pid=12024] ppid=12021 vsize=348448 CPUtime=2142.09 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 120943 0 0 0 214197 12 0 0 20 0 1 0 1922247 356810752 75109 33554432000 4194304 5970956 140735531347312 140735531344648 4967758 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75109 828 434 0 80476 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 348448

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 12775
/proc/meminfo: memFree=30427884/32770624 swapFree=5780/19596
[pid=12024] ppid=12021 vsize=348448 CPUtime=2202.09 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 121854 0 0 0 220197 12 0 0 20 0 1 0 1922247 356810752 75110 33554432000 4194304 5970956 140735531347312 140735531344648 5052093 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87112 75110 828 434 0 80476 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 348448

[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 12775
/proc/meminfo: memFree=30427616/32770624 swapFree=5780/19628
[pid=12024] ppid=12021 vsize=348580 CPUtime=2262.08 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 122872 0 0 0 226196 12 0 0 20 0 1 0 1922247 356945920 75111 33554432000 4194304 5970956 140735531347312 140735531344376 5070141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87145 75111 828 434 0 80509 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 348580

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12778
/proc/meminfo: memFree=30428040/32770624 swapFree=5780/19668
[pid=12024] ppid=12021 vsize=348580 CPUtime=2322.07 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 123798 0 0 0 232195 12 0 0 20 0 1 0 1922247 356945920 75111 33554432000 4194304 5970956 140735531347312 140735531344376 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87145 75111 828 434 0 80509 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 348580

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12778
/proc/meminfo: memFree=30427816/32770624 swapFree=5780/19712
[pid=12024] ppid=12021 vsize=348580 CPUtime=2382.07 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 124887 0 0 0 238194 13 0 0 20 0 1 0 1922247 356945920 75114 33554432000 4194304 5970956 140735531347312 140735531344648 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87145 75114 828 434 0 80509 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 348580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12779
/proc/meminfo: memFree=30428040/32770624 swapFree=5780/19748
[pid=12024] ppid=12021 vsize=348580 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 125444 0 0 0 239995 13 0 0 20 0 1 0 1922247 356945920 75115 33554432000 4194304 5970956 140735531347312 140735531344648 5069715 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87145 75115 828 434 0 80509 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 348580

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

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12779
/proc/meminfo: memFree=30428040/32770624 swapFree=5780/19748
[pid=12024] ppid=12021 vsize=348580 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/12024/stat : 12024 (cosoco) R 12021 12024 9811 0 -1 4202496 125444 0 0 0 239995 13 0 0 20 0 1 0 1922247 356945920 75115 33554432000 4194304 5970956 140735531347312 140735531344648 5069715 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19578880 140735531349180 140735531349315 140735531349315 140735531352014 0
/proc/12024/statm: 87145 75115 828 434 0 80509 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 348580

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2399.96
CPU system time (s): 0.133989
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 348580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.133989
maximum resident set size= 300508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125467
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= 69
involuntary context switches= 120915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52316 second user time and 10.9925 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-21 21:49:31
IDJOB=4243014
IDBENCH=138603
IDSOLVER=2621
FILE ID=node145/4243014-1500666571
RUNJOBID= node145-1500648174-9844
PBS_JOBID= 20623276
Free space on /tmp= 61860 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243014-1500666571/watcher-4243014-1500666571 -o /tmp/evaluation-result-4243014-1500666571/solver-4243014-1500666571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4243014-1500666571.xml

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

MD5SUM BENCH= 94b2333e20121f91e59972a20e586711
RANDOM SEED=356032924

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32125088 kB
MemAvailable:   32030432 kB
Buffers:           43072 kB
Cached:           128052 kB
SwapCached:            0 kB
Active:           159284 kB
Inactive:          86676 kB
Active(anon):      16724 kB
Inactive(anon):    69660 kB
Active(file):     142560 kB
Inactive(file):    17016 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2420 kB
Writeback:             0 kB
AnonPages:         93584 kB
Mapped:            32232 kB
Shmem:              8852 kB
Slab:              90644 kB
SReclaimable:      57532 kB
SUnreclaim:        33112 kB
KernelStack:        4256 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61856 MiB
End job on node145 at 2017-07-21 22:29:32