Trace number 4242057

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.08 2400.41

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-23-sum.xml
MD5SUMd4be5d2e2f36b13e59ce195ffddd0d7a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables529
Number of constraints49
Number of domains1
Minimum domain size529
Maximum domain size529
Distribution of domain sizes[{"size":529,"count":529}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":484},{"degree":4,"count":44},{"degree":5,"count":1}]
Minimum constraint arity23
Maximum constraint arity529
Distribution of constraint arities[{"arity":23,"count":48},{"arity":529,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":48}]
Optimization problemNO
Type of objective

Solver Data 

4.89/4.99	c SAT : Variables: 279841 -- Clauses: 73878553
4.99/5.01	c root propagations     : 0           
4.99/5.01	c restarts enabled, print stats at every restarts
4.99/5.01	c
4.99/5.01	c
4.99/5.01	c
4.99/5.01	c This is cosoco 1.0 --  
4.99/5.01	c
4.99/5.01	c ========================================[ Problem Statistics ]===========================================
4.99/5.01	c |                                                                                                       
4.99/5.01	c |  Parse time        :         4.27 s 
4.99/5.01	c |
4.99/5.01	c |               Variables: 529
4.99/5.01	c |            Domain Sizes: 529..529
4.99/5.01	c |
4.99/5.01	c |             Constraints: 49
4.99/5.01	c |                   Arity: 23..529
4.99/5.01	c | 
4.99/5.01	c |                   Types: 
4.99/5.01	c |                          All Different: 1
4.99/5.01	c |                          Sum: 48
4.99/5.01	c |                          
4.99/5.01	c =========================================================================================================
4.99/5.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
4.99/5.06	c 10             22             708            44349          0              10             13   13   11   
5.09/5.11	c 20             43             1318           87114          0              20             12   12   10   
5.09/5.16	c 30             64             1928           129879         0              30             12   12   10   
5.19/5.21	c 40             85             2538           172644         0              40             12   12   10   
5.19/5.26	c 50             106            3148           215409         0              50             12   12   10   
5.28/5.31	c 60             127            3758           258174         0              60             12   12   10   
5.28/5.35	c 70             148            4368           300939         0              70             12   12   10   
5.38/5.40	c 80             169            4978           343704         0              80             12   12   10   
5.38/5.45	c 90             190            5588           386469         0              90             12   12   10   
5.38/5.50	c 100            211            6198           429234         0              100            12   12   10   
5.49/5.55	c 101            223            6747           440886         0              101            12   12   6    
5.49/5.60	c 110            243            7350           480238         0              110            12   12   10   
5.59/5.65	c 120            264            7960           523003         0              120            12   12   10   
5.59/5.69	c 130            285            8570           565768         0              130            12   12   10   
5.68/5.75	c 140            307            9238           583570         0              131            13   13   11   
5.78/5.80	c 150            329            9897           627821         0              141            13   13   11   
5.78/5.86	c 160            351            10556          671974         0              151            13   13   11   
5.88/5.91	c 170            373            11215          716029         0              161            13   13   11   
5.88/5.96	c 180            395            11874          759986         0              171            13   13   11   
5.98/6.01	c 190            417            12533          803845         0              181            13   13   11   
5.98/6.07	c 200            439            13192          847606         0              191            13   13   11   
6.08/6.12	c 210            461            13851          891269         0              201            13   13   11   
6.08/6.17	c 211            474            14447          903424         0              202            13   13   6    
6.18/6.22	c 220            495            15099          943456         0              211            13   13   11   
6.18/6.28	c 230            517            15778          986825         0              221            13   13   11   
6.28/6.32	c 240            538            16408          1029590        0              231            12   12   10   
6.28/6.38	c 250            560            17087          1073841        0              241            13   13   11   
6.38/6.43	c 260            582            17746          1117994        0              251            13   13   11   
6.38/6.48	c 270            604            18405          1162049        0              261            13   13   11   
6.48/6.54	c 280            626            19064          1206006        0              271            13   13   11   
6.48/6.59	c 290            648            19723          1249865        0              281            13   13   11   
6.59/6.64	c 300            670            20382          1293626        0              291            13   13   11   
6.59/6.70	c 310            692            21041          1337289        0              301            13   13   11   
6.69/6.75	c 320            714            21700          1380854        0              311            13   13   11   
6.78/6.80	c 330            736            22359          1424321        0              321            13   13   11   
6.78/6.85	c 332            750            22962          1439990        0              323            13   13   8    
6.88/6.90	c 340            769            23558          1475918        0              331            12   12   10   
6.88/6.95	c 350            791            24217          1520169        0              341            13   13   11   
6.98/7.01	c 360            813            24876          1564322        0              351            13   13   11   
6.98/7.06	c 370            835            25555          1608377        0              361            13   13   11   
7.08/7.11	c 380            857            26234          1652334        0              371            13   13   11   
7.08/7.17	c 390            879            26893          1696193        0              381            13   13   11   
7.18/7.22	c 400            901            27552          1739954        0              391            13   13   11   
7.18/7.27	c 410            923            28211          1783617        0              401            13   13   11   
7.28/7.32	c 420            945            28870          1827182        0              411            13   13   11   
7.28/7.38	c 430            967            29529          1870649        0              421            13   13   11   
7.38/7.43	c 440            989            30188          1914018        0              431            13   13   11   
7.38/7.48	c 450            1010           30798          1956783        0              441            12   12   10   
7.48/7.53	c 460            1032           31457          2001034        0              451            13   13   11   
7.48/7.58	c 465            1049           32081          2027517        0              456            13   13   10   
7.58/7.64	c 470            1066           32705          2053957        0              461            13   13   10   
7.58/7.69	c 480            1088           33364          2097914        0              471            13   13   11   
7.69/7.74	c 490            1110           34023          2141773        0              481            13   13   11   
7.69/7.79	c 500            1132           34702          2185534        0              491            13   13   11   
7.79/7.85	c 510            1154           35381          2229197        0              501            13   13   11   
7.88/7.90	c 520            1176           36040          2272762        0              511            13   13   11   
7.88/7.95	c 530            1198           36699          2316229        0              521            13   13   11   
7.98/8.01	c 540            1220           37358          2359598        0              531            13   13   11   
7.98/8.06	c 550            1241           37968          2402363        0              541            12   12   10   
8.08/8.11	c 560            1263           38627          2446614        0              551            13   13   11   
8.08/8.16	c 570            1285           39286          2490767        0              561            13   13   11   
8.18/8.21	c 580            1307           39945          2534822        0              571            13   13   11   
8.18/8.27	c 590            1329           40604          2578779        0              581            13   13   11   
8.28/8.32	c 600            1351           41263          2622638        0              591            13   13   11   
8.28/8.37	c 610            1373           41922          2666399        0              601            13   13   11   
8.38/8.42	c 611            1386           42518          2678553        0              602            13   13   6    
8.38/8.47	c 620            1407           43170          2718672        0              611            13   13   11   
8.48/8.53	c 630            1429           43849          2762139        0              621            13   13   11   
8.48/8.58	c 640            1451           44528          2805508        0              631            13   13   11   
8.58/8.63	c 650            1472           45138          2848273        0              641            12   12   10   
8.58/8.68	c 660            1494           45817          2892524        0              651            13   13   11   
8.68/8.74	c 670            1516           46476          2936677        0              661            13   13   11   
8.68/8.79	c 680            1538           47135          2980732        0              671            13   13   11   
8.79/8.84	c 690            1560           47794          3024689        0              681            13   13   11   
8.79/8.90	c 700            1582           48453          3068548        0              691            13   13   11   
8.89/8.95	c 710            1604           49112          3112309        0              701            13   13   11   
8.98/9.00	c 720            1626           49771          3155972        0              711            13   13   11   
8.98/9.05	c 730            1648           50430          3199537        0              721            13   13   11   
9.08/9.11	c 740            1670           51089          3243004        0              731            13   13   11   
9.08/9.16	c 750            1692           51748          3286373        0              741            13   13   11   
9.18/9.21	c 760            1713           52358          3329138        0              751            12   12   10   
9.18/9.26	c 770            1735           53017          3373389        0              761            13   13   11   
9.28/9.31	c 771            1748           53615          3385538        0              762            13   13   6    
9.28/9.36	c 780            1769           54267          3426092        0              771            13   13   11   
9.38/9.42	c 790            1791           54946          3470049        0              781            13   13   11   
9.38/9.47	c 800            1813           55605          3513908        0              791            13   13   11   
9.48/9.52	c 810            1835           56264          3557669        0              801            13   13   11   
9.48/9.58	c 820            1857           56923          3601332        0              811            13   13   11   
9.58/9.63	c 830            1879           57582          3644897        0              821            13   13   11   
9.58/9.68	c 840            1901           58241          3688364        0              831            13   13   11   
9.68/9.73	c 850            1923           58900          3731733        0              841            13   13   11   
9.68/9.78	c 860            1944           59510          3774498        0              851            12   12   10   
9.78/9.84	c 870            1966           60169          3818749        0              861            13   13   11   
9.78/9.89	c 880            1988           60828          3862902        0              871            13   13   11   
9.89/9.94	c 890            2010           61487          3906957        0              881            13   13   11   
9.89/9.99	c 900            2032           62146          3950914        0              891            13   13   11   
9.99/10.05	c 910            2054           62825          3994773        0              901            13   13   11   
10.08/10.10	c 920            2076           63484          4038534        0              911            13   13   11   
10.08/10.15	c 930            2098           64163          4082197        0              921            13   13   11   
10.18/10.21	c 940            2120           64822          4125762        0              931            13   13   11   
10.18/10.26	c 947            2139           65460          4158891        0              938            13   13   11   
10.28/10.31	c 950            2154           66070          4178061        0              941            13   13   9    
10.28/10.36	c 960            2175           66680          4220826        0              951            12   12   10   
10.38/10.41	c 970            2197           67339          4265077        0              961            13   13   11   
10.38/10.46	c 980            2219           67998          4309230        0              971            13   13   11   
10.48/10.52	c 990            2241           68657          4353285        0              981            13   13   11   
10.48/10.57	c 1000           2263           69316          4397242        0              991            13   13   11   
10.58/10.62	c 1010           2285           69975          4441101        0              1001           13   13   11   
10.58/10.67	c 1020           2307           70634          4484862        0              1011           13   13   11   
10.68/10.73	c 1030           2329           71293          4528525        0              1021           13   13   11   
10.68/10.78	c 1040           2351           71972          4572090        0              1031           13   13   11   
10.78/10.83	c 1050           2373           72631          4615557        0              1041           13   13   11   
10.78/10.89	c 1060           2395           73310          4658926        0              1051           13   13   11   
10.88/10.93	c 1070           2416           73920          4701691        0              1061           12   12   10   
10.88/10.99	c 1080           2438           74599          4745942        0              1071           13   13   11   
10.99/11.04	c 1090           2460           75258          4790095        0              1081           13   13   11   
10.99/11.09	c 1100           2482           75917          4834150        0              1091           13   13   11   
11.09/11.15	c 1110           2504           76576          4878107        0              1101           13   13   11   
11.18/11.20	c 1120           2526           77235          4921966        0              1111           13   13   11   
11.18/11.25	c 1130           2548           77894          4965727        0              1121           13   13   11   
11.28/11.31	c 1140           2570           78553          5009390        0              1131           13   13   11   
11.28/11.36	c 1141           2583           79149          5021545        0              1132           13   13   6    
11.38/11.41	c 1150           2604           79801          5061577        0              1141           13   13   11   
11.38/11.46	c 1160           2626           80460          5104946        0              1151           13   13   11   
11.48/11.51	c 1170           2647           81070          5147711        0              1161           12   12   10   
11.48/11.56	c 1180           2669           81729          5191962        0              1171           13   13   11   
11.58/11.62	c 1190           2691           82388          5236115        0              1181           13   13   11   
11.58/11.67	c 1200           2713           83047          5280170        0              1191           13   13   11   
11.68/11.72	c 1210           2735           83726          5324127        0              1201           13   13   11   
11.68/11.78	c 1220           2757           84385          5367986        0              1211           13   13   11   
11.78/11.83	c 1230           2779           85044          5411747        0              1221           13   13   11   
11.78/11.88	c 1240           2801           85703          5455410        0              1231           13   13   11   
11.88/11.93	c 1250           2823           86362          5498975        0              1241           13   13   11   
11.88/11.99	c 1260           2845           87021          5542442        0              1251           13   13   11   
11.98/12.04	c 1270           2867           87680          5585811        0              1261           13   13   11   
11.98/12.09	c 1280           2888           88310          5628576        0              1271           12   12   10   
12.09/12.14	c 1290           2910           88969          5672827        0              1281           13   13   11   
12.09/12.19	c 1300           2932           89628          5716980        0              1291           13   13   11   
12.19/12.25	c 1310           2954           90287          5761035        0              1301           13   13   11   
12.28/12.30	c 1320           2976           90946          5804992        0              1311           13   13   11   
12.28/12.35	c 1330           2998           91605          5848851        0              1321           13   13   11   
12.38/12.41	c 1340           3020           92264          5892612        0              1331           13   13   11   
12.38/12.46	c 1350           3042           92943          5936275        0              1341           13   13   11   
12.48/12.51	c 1352           3056           93546          5951964        0              1343           13   13   8    
12.48/12.56	c 1360           3076           94191          5988550        0              1351           13   13   11   
12.58/12.62	c 1370           3098           94850          6031919        0              1361           13   13   11   
12.58/12.66	c 1380           3119           95460          6074684        0              1371           12   12   10   
12.68/12.72	c 1390           3141           96119          6118935        0              1381           13   13   11   
12.68/12.77	c 1400           3163           96778          6163088        0              1391           13   13   11   
12.78/12.82	c 1410           3185           97457          6207143        0              1401           13   13   11   
12.78/12.88	c 1420           3207           98116          6251100        0              1411           13   13   11   
12.88/12.93	c 1430           3229           98775          6294959        0              1421           13   13   11   
12.88/12.98	c 1440           3251           99434          6338720        0              1431           13   13   11   
12.98/13.03	c 1450           3273           100093         6382383        0              1441           13   13   11   
12.98/13.09	c 1460           3295           100752         6425948        0              1451           13   13   11   
13.08/13.14	c 1470           3317           101411         6469415        0              1461           13   13   11   
13.08/13.19	c 1480           3339           102090         6512784        0              1471           13   13   11   
13.19/13.24	c 1490           3360           102700         6555549        0              1481           12   12   10   
13.19/13.30	c 1500           3382           103379         6599800        0              1491           13   13   11   
13.29/13.35	c 1510           3404           104038         6643953        0              1501           13   13   11   
13.38/13.40	c 1520           3426           104697         6688008        0              1511           13   13   11   
13.38/13.45	c 1530           3448           105356         6731965        0              1521           13   13   11   
13.48/13.51	c 1540           3470           106015         6775824        0              1531           13   13   11   
13.48/13.56	c 1550           3492           106694         6819585        0              1541           13   13   11   
13.58/13.61	c 1560           3514           107353         6863248        0              1551           13   13   11   
13.58/13.67	c 1570           3536           108012         6906813        0              1561           13   13   11   
13.68/13.72	c 1580           3558           108671         6950280        0              1571           13   13   11   
13.68/13.77	c 1585           3575           109295         6976419        0              1576           13   13   10   
13.78/13.82	c 1590           3591           109870         7002009        0              1581           12   12   10   
13.78/13.87	c 1600           3613           110529         7046260        0              1591           13   13   11   
13.88/13.92	c 1610           3635           111188         7090413        0              1601           13   13   11   
13.88/13.98	c 1620           3657           111847         7134468        0              1611           13   13   11   
13.98/14.03	c 1630           3679           112526         7178425        0              1621           13   13   11   
13.98/14.08	c 1640           3701           113185         7222284        0              1631           13   13   11   
14.08/14.13	c 1650           3723           113844         7266045        0              1641           13   13   11   
14.08/14.19	c 1660           3745           114503         7309708        0              1651           13   13   11   
14.18/14.24	c 1670           3767           115162         7353273        0              1661           13   13   11   
14.18/14.29	c 1680           3789           115841         7396740        0              1671           13   13   11   
14.29/14.35	c 1690           3811           116500         7440109        0              1681           13   13   11   
14.29/14.39	c 1700           3832           117110         7482874        0              1691           12   12   10   
14.39/14.45	c 1710           3854           117769         7527125        0              1701           13   13   11   
14.48/14.50	c 1720           3876           118428         7571278        0              1711           13   13   11   
14.48/14.55	c 1730           3898           119087         7615333        0              1721           13   13   11   
14.58/14.61	c 1740           3920           119746         7659290        0              1731           13   13   11   
14.58/14.66	c 1750           3942           120405         7703149        0              1741           13   13   11   
14.68/14.71	c 1760           3964           121064         7746910        0              1751           13   13   11   
14.68/14.77	c 1770           3986           121743         7790573        0              1761           13   13   11   
14.78/14.82	c 1780           4008           122402         7834138        0              1771           13   13   11   
14.78/14.87	c 1790           4030           123061         7877605        0              1781           13   13   11   
14.88/14.92	c 1800           4052           123720         7920974        0              1791           13   13   11   
14.88/14.97	c 1810           4073           124330         7963739        0              1801           12   12   10   
14.98/15.03	c 1820           4095           124989         8007990        0              1811           13   13   11   
14.98/15.08	c 1830           4117           125668         8052143        0              1821           13   13   11   
15.08/15.13	c 1840           4139           126327         8096198        0              1831           13   13   11   
15.08/15.18	c 1841           4152           126923         8108349        0              1832           13   13   6    
15.18/15.23	c 1850           4173           127575         8148729        0              1841           13   13   11   
15.18/15.29	c 1860           4195           128234         8192490        0              1851           13   13   11   
15.28/15.34	c 1870           4217           128893         8236153        0              1861           13   13   11   
15.28/15.39	c 1880           4239           129552         8279718        0              1871           13   13   11   
15.39/15.44	c 1890           4261           130211         8323185        0              1881           13   13   11   
15.39/15.50	c 1900           4283           130890         8366554        0              1891           13   13   11   
15.49/15.55	c 1910           4304           131500         8409319        0              1901           12   12   10   
15.58/15.60	c 1920           4326           132179         8453570        0              1911           13   13   11   
15.58/15.65	c 1930           4348           132838         8497723        0              1921           13   13   11   
15.68/15.71	c 1940           4370           133497         8541778        0              1931           13   13   11   
15.68/15.76	c 1950           4392           134156         8585735        0              1941           13   13   11   
15.78/15.81	c 1960           4414           134835         8629594        0              1951           13   13   11   
15.78/15.87	c 1970           4436           135494         8673355        0              1961           13   13   11   
15.88/15.92	c 1980           4458           136153         8717018        0              1971           13   13   11   
15.88/15.97	c 1990           4480           136812         8760583        0              1981           13   13   11   
15.98/16.02	c 2000           4502           137471         8804050        0              1991           13   13   11   
15.98/16.08	c 2010           4524           138130         8847419        0              2001           13   13   11   
16.08/16.13	c 2020           4545           138740         8890184        0              2011           12   12   10   
16.08/16.18	c 2030           4567           139399         8934435        0              2021           13   13   11   
16.18/16.23	c 2040           4589           140058         8978588        0              2031           13   13   11   
16.18/16.28	c 2050           4611           140717         9022643        0              2041           13   13   11   
16.28/16.34	c 2060           4633           141396         9066600        0              2051           13   13   11   
16.28/16.39	c 2070           4655           142055         9110459        0              2061           13   13   11   
16.38/16.44	c 2080           4677           142714         9154220        0              2071           13   13   11   
16.38/16.50	c 2090           4699           143373         9197883        0              2081           13   13   11   
16.49/16.55	c 2100           4721           144052         9241448        0              2091           13   13   11   
16.49/16.60	c 2110           4743           144711         9284915        0              2101           13   13   11   
16.59/16.65	c 2120           4765           145370         9328284        0              2111           13   13   11   
16.68/16.70	c 2122           4778           145924         9343437        0              2113           12   12   8    
16.68/16.75	c 2130           4798           146569         9380631        0              2121           13   13   11   
16.78/16.81	c 2140           4820           147228         9424784        0              2131           13   13   11   
16.78/16.86	c 2150           4842           147887         9468839        0              2141           13   13   11   
16.88/16.91	c 2160           4864           148546         9512796        0              2151           13   13   11   
16.88/16.96	c 2170           4886           149205         9556655        0              2161           13   13   11   
16.98/17.02	c 2180           4908           149864         9600416        0              2171           13   13   11   
16.98/17.07	c 2190           4930           150543         9644079        0              2181           13   13   11   
17.08/17.12	c 2200           4952           151202         9687644        0              2191           13   13   11   
17.08/17.18	c 2210           4974           151861         9731111        0              2201           13   13   11   
17.18/17.23	c 2220           4996           152520         9774480        0              2211           13   13   11   
17.18/17.28	c 2230           5018           153169         9786700        0              2221           13   13   11   
17.28/17.33	c 2240           5040           153828         9830951        0              2231           13   13   11   
17.28/17.38	c 2250           5062           154487         9875104        0              2241           13   13   11   
17.38/17.44	c 2260           5084           155146         9919159        0              2251           13   13   11   
17.38/17.49	c 2270           5106           155805         9963116        0              2261           13   13   11   
17.48/17.54	c 2280           5128           156464         10006975       0              2271           13   13   11   
17.48/17.59	c 2290           5150           157123         10050736       0              2281           13   13   11   
17.59/17.65	c 2300           5172           157782         10094399       0              2291           13   13   11   
17.59/17.70	c 2310           5194           158441         10137964       0              2301           13   13   11   
17.69/17.75	c 2320           5216           159100         10181431       0              2311           13   13   11   
17.78/17.81	c 2330           5238           159779         10224800       0              2321           13   13   11   
17.78/17.86	c 2340           5259           160389         10267565       0              2331           12   12   10   
17.88/17.91	c 2350           5281           161068         10311816       0              2341           13   13   11   
17.88/17.96	c 2360           5303           161727         10355969       0              2351           13   13   11   
17.98/18.02	c 2370           5325           162406         10400024       0              2361           13   13   11   
17.98/18.07	c 2380           5347           163065         10443981       0              2371           13   13   11   
18.08/18.12	c 2390           5369           163724         10487840       0              2381           13   13   11   
18.08/18.17	c 2400           5391           164383         10531601       0              2391           13   13   11   
18.18/18.23	c 2410           5413           165042         10575264       0              2401           13   13   11   
18.18/18.28	c 2420           5435           165701         10618829       0              2411           13   13   11   
18.28/18.33	c 2430           5457           166360         10662296       0              2421           13   13   11   
18.28/18.38	c 2431           5470           166956         10674453       0              2422           13   13   6    
18.38/18.43	c 2440           5490           167559         10713805       0              2431           12   12   10   
18.38/18.48	c 2450           5512           168218         10758056       0              2441           13   13   11   
18.48/18.54	c 2460           5534           168877         10802209       0              2451           13   13   11   
18.48/18.59	c 2470           5556           169536         10846264       0              2461           13   13   11   
18.58/18.64	c 2480           5578           170215         10890221       0              2471           13   13   11   
18.58/18.70	c 2490           5600           170874         10934080       0              2481           13   13   11   
18.69/18.75	c 2500           5622           171553         10977841       0              2491           13   13   11   
18.69/18.80	c 2510           5644           172212         11021504       0              2501           13   13   11   
18.79/18.85	c 2520           5666           172871         11065069       0              2511           13   13   11   
18.88/18.91	c 2530           5688           173530         11108536       0              2521           13   13   11   
18.88/18.96	c 2540           5710           174189         11151905       0              2531           13   13   11   
18.98/19.01	c 2550           5731           174799         11194670       0              2541           12   12   10   
18.98/19.06	c 2560           5753           175458         11238921       0              2551           13   13   11   
19.08/19.11	c 2570           5775           176117         11283074       0              2561           13   13   11   
19.08/19.17	c 2580           5797           176776         11327129       0              2571           13   13   11   
19.18/19.22	c 2590           5819           177435         11371086       0              2581           13   13   11   
19.18/19.27	c 2600           5841           178094         11414945       0              2591           13   13   11   
19.28/19.33	c 2610           5863           178753         11458706       0              2601           13   13   11   
19.28/19.38	c 2620           5885           179432         11502369       0              2611           13   13   11   
19.38/19.43	c 2630           5907           180091         11545934       0              2621           13   13   11   
19.38/19.49	c 2640           5929           180770         11589401       0              2631           13   13   11   
19.48/19.54	c 2650           5951           181429         11632770       0              2641           13   13   11   
19.48/19.59	c 2660           5972           182039         11675535       0              2651           12   12   10   
19.58/19.64	c 2670           5994           182698         11719786       0              2661           13   13   11   
19.58/19.69	c 2680           6016           183357         11763939       0              2671           13   13   11   
19.68/19.75	c 2690           6038           184016         11807994       0              2681           13   13   11   
19.68/19.80	c 2700           6060           184675         11851951       0              2691           13   13   11   
19.79/19.85	c 2710           6082           185334         11895810       0              2701           13   13   11   
19.90/19.90	c 2720           6104           185993         11939571       0              2711           13   13   11   
19.90/19.96	c 2730           6126           186652         11983234       0              2721           13   13   11   
19.99/20.01	c 2740           6148           187311         12026799       0              2731           13   13   11   
19.99/20.06	c 2750           6170           187970         12070266       0              2741           13   13   11   
20.09/20.12	c 2760           6192           188649         12113635       0              2751           13   13   11   
20.09/20.16	c 2770           6213           189259         12156400       0              2761           12   12   10   
20.19/20.21	c 2771           6226           189857         12168548       0              2762           13   13   6    
20.19/20.27	c 2780           6247           190527         12209189       0              2771           13   13   11   
20.29/20.32	c 2790           6269           191186         12253244       0              2781           13   13   11   
20.29/20.37	c 2800           6291           191845         12297201       0              2791           13   13   11   
20.39/20.43	c 2810           6313           192504         12341060       0              2801           13   13   11   
20.39/20.48	c 2820           6335           193163         12384821       0              2811           13   13   11   
20.49/20.53	c 2830           6357           193822         12428484       0              2821           13   13   11   
20.49/20.58	c 2840           6379           194481         12472049       0              2831           13   13   11   
20.59/20.64	c 2850           6401           195140         12515516       0              2841           13   13   11   
20.59/20.69	c 2860           6423           195799         12558885       0              2851           13   13   11   
20.69/20.74	c 2870           6444           196409         12601650       0              2861           12   12   10   
20.69/20.79	c 2880           6466           197068         12645901       0              2871           13   13   11   
20.79/20.84	c 2890           6488           197727         12690054       0              2881           13   13   11   
20.79/20.90	c 2900           6510           198386         12734109       0              2891           13   13   11   
20.90/20.95	c 2910           6532           199065         12778066       0              2901           13   13   11   
21.00/21.00	c 2920           6554           199744         12821925       0              2911           13   13   11   
21.00/21.06	c 2930           6576           200403         12865686       0              2921           13   13   11   
21.09/21.11	c 2940           6598           201062         12909349       0              2931           13   13   11   
21.09/21.16	c 2950           6620           201721         12952914       0              2941           13   13   11   
21.19/21.22	c 2960           6642           202380         12996381       0              2951           13   13   11   
21.19/21.27	c 2970           6664           203039         13039750       0              2961           13   13   11   
21.29/21.32	c 2980           6685           203649         13082515       0              2971           12   12   10   
21.29/21.37	c 2990           6707           204308         13126766       0              2981           13   13   11   
21.39/21.42	c 3000           6729           204967         13170919       0              2991           13   13   11   
21.39/21.48	c 3010           6751           205626         13214974       0              3001           13   13   11   
21.49/21.53	c 3020           6773           206285         13258931       0              3011           13   13   11   
21.49/21.58	c 3030           6795           206944         13302790       0              3021           13   13   11   
21.59/21.63	c 3040           6817           207603         13346551       0              3031           13   13   11   
21.59/21.69	c 3050           6839           208282         13390214       0              3041           13   13   11   
21.69/21.74	c 3060           6861           208961         13433779       0              3051           13   13   11   
21.69/21.79	c 3070           6883           209620         13477246       0              3061           13   13   11   
21.79/21.85	c 3080           6905           210279         13520615       0              3071           13   13   11   
21.89/21.90	c 3090           6926           210889         13563380       0              3081           12   12   10   
21.89/21.95	c 3100           6948           211548         13607631       0              3091           13   13   11   
21.89/22.00	c 3110           6970           212207         13651784       0              3101           13   13   11   
22.00/22.05	c 3120           6992           212866         13695839       0              3111           13   13   11   
22.10/22.11	c 3130           7014           213525         13739796       0              3121           13   13   11   
22.10/22.16	c 3140           7036           214184         13783655       0              3131           13   13   11   
22.19/22.21	c 3142           7050           214787         13799364       0              3133           13   13   8    
22.19/22.26	c 3150           7070           215432         13836102       0              3141           13   13   11   
22.29/22.31	c 3160           7092           216091         13879667       0              3151           13   13   11   
22.29/22.37	c 3170           7114           216750         13923134       0              3161           13   13   11   
22.39/22.42	c 3180           7136           217429         13966503       0              3171           13   13   11   
22.39/22.47	c 3190           7157           218039         14009268       0              3181           12   12   10   
22.49/22.52	c 3200           7179           218718         14053519       0              3191           13   13   11   
22.49/22.58	c 3210           7201           219377         14097672       0              3201           13   13   11   
22.59/22.63	c 3220           7223           220036         14141727       0              3211           13   13   11   
22.59/22.68	c 3230           7245           220695         14185684       0              3221           13   13   11   
22.69/22.73	c 3240           7267           221354         14229543       0              3231           13   13   11   
22.69/22.79	c 3250           7289           222013         14273304       0              3241           13   13   11   
22.79/22.84	c 3260           7311           222672         14316967       0              3251           13   13   11   
22.79/22.89	c 3270           7333           223331         14360532       0              3261           13   13   11   
22.89/22.95	c 3280           7355           223990         14403999       0              3271           13   13   11   
22.99/23.00	c 3290           7377           224649         14447368       0              3281           13   13   11   
22.99/23.05	c 3300           7398           225279         14490133       0              3291           12   12   10   
22.99/23.10	c 3310           7420           225938         14534384       0              3301           13   13   11   
23.10/23.15	c 3320           7442           226597         14578537       0              3311           13   13   11   
23.20/23.21	c 3330           7464           227256         14622592       0              3321           13   13   11   
23.20/23.26	c 3340           7486           227935         14666549       0              3331           13   13   11   
23.29/23.31	c 3350           7508           228594         14710408       0              3341           13   13   11   
23.29/23.37	c 3360           7530           229253         14754169       0              3351           13   13   11   
23.39/23.42	c 3370           7552           229912         14797832       0              3361           13   13   11   
23.39/23.47	c 3380           7574           230571         14841397       0              3371           13   13   11   
23.49/23.52	c 3390           7596           231230         14884864       0              3381           13   13   11   
23.49/23.58	c 3400           7618           231889         14928233       0              3391           13   13   11   
23.59/23.63	c 3410           7639           232499         14970998       0              3401           12   12   10   
23.59/23.68	c 3420           7661           233158         15015249       0              3411           13   13   11   
23.69/23.73	c 3430           7683           233817         15059402       0              3421           13   13   11   
23.69/23.78	c 3440           7705           234496         15103457       0              3431           13   13   11   
23.79/23.84	c 3450           7727           235155         15147414       0              3441           13   13   11   
23.79/23.89	c 3460           7749           235814         15191273       0              3451           13   13   11   
23.89/23.94	c 3470           7771           236473         15235034       0              3461           13   13   11   
23.99/24.00	c 3480           7793           237152         15278697       0              3471           13   13   11   
23.99/24.05	c 3490           7815           237811         15322262       0              3481           13   13   11   
24.09/24.10	c 3500           7837           238470         15365729       0              3491           13   13   11   
24.09/24.15	c 3510           7859           239129         15409098       0              3501           13   13   11   
24.20/24.20	c 3520           7880           239739         15451863       0              3511           12   12   10   
24.20/24.26	c 3530           7902           240398         15496114       0              3521           13   13   11   
24.30/24.31	c 3540           7924           241057         15540267       0              3531           13   13   11   
24.30/24.36	c 3550           7946           241716         15584322       0              3541           13   13   11   
24.39/24.41	c 3551           7959           242312         15596473       0              3542           13   13   6    
24.39/24.46	c 3560           7980           242964         15636853       0              3551           13   13   11   
24.49/24.52	c 3570           8002           243643         15680614       0              3561           13   13   11   
24.49/24.57	c 3580           8024           244302         15724277       0              3571           13   13   11   
24.59/24.62	c 3590           8046           244961         15767842       0              3581           13   13   11   
24.59/24.68	c 3600           8068           245620         15811309       0              3591           13   13   11   
24.69/24.73	c 3610           8090           246299         15854678       0              3601           13   13   11   
24.69/24.78	c 3620           8111           246909         15897443       0              3611           12   12   10   
24.79/24.83	c 3630           8133           247588         15941694       0              3621           13   13   11   
24.79/24.88	c 3640           8155           248247         15985847       0              3631           13   13   11   
24.89/24.94	c 3650           8177           248906         16029902       0              3641           13   13   11   
24.89/24.99	c 3660           8199           249565         16073859       0              3651           13   13   11   
24.99/25.04	c 3670           8221           250224         16117718       0              3661           13   13   11   
24.99/25.10	c 3680           8243           250883         16161479       0              3671           13   13   11   
25.09/25.15	c 3690           8265           251542         16205142       0              3681           13   13   11   
25.19/25.20	c 3700           8287           252201         16248707       0              3691           13   13   11   
25.19/25.25	c 3710           8309           252880         16292174       0              3701           13   13   11   
25.30/25.31	c 3720           8331           253539         16335543       0              3711           13   13   11   
25.30/25.36	c 3730           8352           254149         16378308       0              3721           12   12   10   
25.40/25.41	c 3740           8374           254808         16422559       0              3731           13   13   11   
25.40/25.46	c 3750           8396           255467         16466712       0              3741           13   13   11   
25.49/25.51	c 3760           8418           256126         16510767       0              3751           13   13   11   
25.49/25.57	c 3770           8440           256805         16554724       0              3761           13   13   11   
25.59/25.62	c 3780           8462           257464         16598583       0              3771           13   13   11   
25.59/25.67	c 3790           8484           258123         16642344       0              3781           13   13   11   
25.69/25.73	c 3800           8506           258782         16686007       0              3791           13   13   11   
25.69/25.78	c 3810           8528           259441         16729572       0              3801           13   13   11   
25.79/25.83	c 3820           8550           260100         16773039       0              3811           13   13   11   
25.79/25.88	c 3830           8572           260759         16816408       0              3821           13   13   11   
25.89/25.93	c 3840           8593           261369         16859173       0              3831           12   12   10   
25.89/25.99	c 3850           8615           262028         16903424       0              3841           13   13   11   
25.99/26.04	c 3860           8637           262707         16947577       0              3851           13   13   11   
25.99/26.09	c 3870           8659           263366         16991632       0              3861           13   13   11   
26.09/26.15	c 3880           8681           264025         17035589       0              3871           13   13   11   
26.19/26.20	c 3890           8703           264684         17079448       0              3881           13   13   11   
26.19/26.25	c 3900           8725           265343         17123209       0              3891           13   13   11   
26.29/26.30	c 3910           8747           266022         17166872       0              3901           13   13   11   
26.29/26.36	c 3920           8769           266681         17210437       0              3911           13   13   11   
26.40/26.41	c 3930           8791           267340         17253904       0              3921           13   13   11   
26.40/26.46	c 3940           8813           267999         17297273       0              3931           13   13   11   
26.50/26.51	c 3950           8834           268609         17340038       0              3941           12   12   10   
26.50/26.56	c 3960           8856           269268         17384289       0              3951           13   13   11   
26.59/26.62	c 3970           8878           269927         17428442       0              3961           13   13   11   
26.59/26.67	c 3980           8900           270586         17472497       0              3971           13   13   11   
26.69/26.72	c 3990           8922           271245         17516454       0              3981           13   13   11   
26.69/26.78	c 4000           8944           271924         17560313       0              3991           13   13   11   
26.79/26.83	c 4001           8957           272520         17572466       0              3992           13   13   6    
26.79/26.88	c 4010           8978           273172         17612672       0              4001           13   13   11   
26.89/26.93	c 4020           9000           273831         17656237       0              4011           13   13   11   
26.89/26.98	c 4030           9022           274490         17699704       0              4021           13   13   11   
26.99/27.04	c 4040           9044           275169         17743073       0              4031           13   13   11   
26.99/27.09	c 4050           9065           275779         17785838       0              4041           12   12   10   
27.09/27.14	c 4060           9087           276458         17830089       0              4051           13   13   11   
27.09/27.19	c 4070           9109           277117         17874242       0              4061           13   13   11   
27.19/27.25	c 4080           9131           277776         17918297       0              4071           13   13   11   
27.29/27.30	c 4090           9153           278435         17962254       0              4081           13   13   11   
27.29/27.35	c 4100           9175           279094         18006113       0              4091           13   13   11   
27.39/27.40	c 4110           9197           279753         18049874       0              4101           13   13   11   
27.39/27.46	c 4120           9219           280412         18093537       0              4111           13   13   11   
27.50/27.51	c 4130           9241           281091         18137102       0              4121           13   13   11   
27.50/27.56	c 4140           9263           281750         18180569       0              4131           13   13   11   
27.60/27.61	c 4150           9285           282409         18223938       0              4141           13   13   11   
27.60/27.66	c 4160           9306           283019         18266703       0              4151           12   12   10   
27.69/27.72	c 4170           9328           283678         18310954       0              4161           13   13   11   
27.69/27.77	c 4180           9350           284337         18355107       0              4171           13   13   11   
27.79/27.82	c 4190           9372           284996         18399162       0              4181           13   13   11   
27.79/27.88	c 4200           9394           285675         18443119       0              4191           13   13   11   
27.89/27.93	c 4210           9416           286334         18486978       0              4201           13   13   11   
27.89/27.98	c 4220           9438           286993         18530739       0              4211           13   13   11   
27.99/28.03	c 4230           9460           287652         18574402       0              4221           13   13   11   
27.99/28.09	c 4240           9482           288311         18617967       0              4231           13   13   11   
28.09/28.14	c 4250           9504           288970         18661434       0              4241           13   13   11   
28.09/28.19	c 4260           9526           289629         18704803       0              4251           13   13   11   
28.19/28.24	c 4270           9547           290239         18747568       0              4261           12   12   10   
28.19/28.29	c 4280           9569           290898         18791819       0              4271           13   13   11   
28.29/28.35	c 4290           9591           291557         18835972       0              4281           13   13   11   
28.39/28.40	c 4300           9613           292216         18880027       0              4291           13   13   11   
28.39/28.45	c 4310           9635           292875         18923984       0              4301           13   13   11   
28.49/28.51	c 4320           9657           293534         18967843       0              4311           13   13   11   
28.49/28.56	c 4330           9679           294193         19011604       0              4321           13   13   11   
28.59/28.61	c 4340           9701           294872         19055267       0              4331           13   13   11   
28.59/28.66	c 4350           9723           295531         19098832       0              4341           13   13   11   
28.70/28.72	c 4360           9745           296190         19142299       0              4351           13   13   11   
28.70/28.77	c 4370           9767           296849         19185668       0              4361           13   13   11   
28.79/28.82	c 4380           9788           297479         19228433       0              4371           12   12   10   
28.79/28.88	c 4390           9811           298196         19246720       0              4372           14   14   12   
28.89/28.93	c 4400           9833           298855         19290873       0              4382           13   13   11   
28.89/28.98	c 4410           9855           299514         19334928       0              4392           13   13   11   
28.99/29.04	c 4420           9877           300173         19378885       0              4402           13   13   11   
28.99/29.09	c 4430           9899           300832         19422744       0              4412           13   13   11   
29.09/29.14	c 4440           9921           301491         19466505       0              4422           13   13   11   
29.09/29.19	c 4450           9943           302150         19510168       0              4432           13   13   11   
29.19/29.25	c 4460           9965           302809         19553733       0              4442           13   13   11   
29.29/29.30	c 4470           9987           303468         19597200       0              4452           13   13   11   
29.29/29.35	c 4480           10009          304147         19640569       0              4462           13   13   11   
29.39/29.40	c 4490           10030          304757         19683334       0              4472           12   12   10   
29.39/29.45	c 4493           10045          305373         19702693       0              4475           13   13   9    
29.49/29.51	c 4500           10065          306065         19720811       0              4482           14   14   12   
29.49/29.56	c 4510           10087          306744         19764866       0              4492           13   13   11   
29.58/29.61	c 4520           10109          307403         19808823       0              4502           13   13   11   
29.58/29.67	c 4530           10131          308062         19852682       0              4512           13   13   11   
29.69/29.72	c 4540           10153          308721         19896443       0              4522           13   13   11   
29.69/29.77	c 4550           10175          309380         19940106       0              4532           13   13   11   
29.79/29.83	c 4560           10197          310039         19983671       0              4542           13   13   11   
29.79/29.88	c 4570           10219          310698         20027138       0              4552           13   13   11   
29.88/29.93	c 4580           10241          311357         20070507       0              4562           13   13   11   
29.88/29.98	c 4590           10262          311967         20113272       0              4572           12   12   10   
29.98/30.03	c 4600           10284          312626         20157523       0              4582           13   13   11   
29.98/30.09	c 4610           10306          313285         20201676       0              4592           13   13   11   
30.08/30.14	c 4620           10328          313944         20245731       0              4602           13   13   11   
30.08/30.19	c 4630           10350          314603         20289688       0              4612           13   13   11   
30.18/30.25	c 4640           10372          315262         20333547       0              4622           13   13   11   
30.28/30.30	c 4650           10394          315941         20377308       0              4632           13   13   11   
30.28/30.35	c 4660           10416          316600         20420971       0              4642           13   13   11   
30.38/30.40	c 4670           10438          317259         20464536       0              4652           13   13   11   
30.38/30.46	c 4680           10460          317918         20508003       0              4662           13   13   11   
30.48/30.51	c 4690           10482          318577         20551372       0              4672           13   13   11   
30.48/30.56	c 4700           10503          319187         20594137       0              4682           12   12   10   
30.58/30.61	c 4710           10525          319846         20638388       0              4692           13   13   11   
30.58/30.66	c 4720           10547          320505         20682541       0              4702           13   13   11   
30.68/30.72	c 4730           10569          321164         20726596       0              4712           13   13   11   
30.68/30.77	c 4740           10591          321823         20770553       0              4722           13   13   11   
30.79/30.82	c 4750           10613          322482         20814412       0              4732           13   13   11   
30.79/30.88	c 4760           10635          323141         20858173       0              4742           13   13   11   
30.89/30.93	c 4770           10657          323800         20901836       0              4752           13   13   11   
30.89/30.98	c 4780           10679          324459         20945401       0              4762           13   13   11   
30.98/31.03	c 4790           10701          325138         20988868       0              4772           13   13   11   
30.98/31.09	c 4800           10723          325797         21032237       0              4782           13   13   11   
31.08/31.14	c 4810           10744          326407         21075002       0              4792           12   12   10   
31.08/31.19	c 4820           10766          327066         21119253       0              4802           13   13   11   
31.18/31.24	c 4830           10788          327725         21163406       0              4812           13   13   11   
31.28/31.30	c 4840           10810          328384         21207461       0              4822           13   13   11   
31.28/31.35	c 4850           10832          329043         21251418       0              4832           13   13   11   
31.38/31.40	c 4860           10854          329702         21295277       0              4842           13   13   11   
31.38/31.45	c 4870           10876          330361         21339038       0              4852           13   13   11   
31.48/31.51	c 4880           10898          331020         21382701       0              4862           13   13   11   
31.48/31.56	c 4890           10920          331679         21426266       0              4872           13   13   11   
31.58/31.61	c 4900           10942          332338         21469733       0              4882           13   13   11   
31.58/31.67	c 4910           10964          332997         21513102       0              4892           13   13   11   
31.68/31.71	c 4920           10985          333607         21555867       0              4902           12   12   10   
31.68/31.77	c 4930           11008          334340         21605665       0              4912           13   14   11   
31.78/31.83	c 4940           11030          335019         21649818       0              4922           13   13   11   
31.78/31.88	c 4950           11052          335678         21693873       0              4932           13   13   11   
31.89/31.93	c 4960           11074          336337         21737830       0              4942           13   13   11   
31.89/31.98	c 4970           11096          336996         21781689       0              4952           13   13   11   
31.99/32.04	c 4980           11118          337655         21825450       0              4962           13   13   11   
31.99/32.09	c 4990           11140          338314         21869113       0              4972           13   13   11   
32.08/32.17	c 5035           11201          339360         21937163       0              4990           13   15   13   
32.58/32.64	c 5631           11874          346211         22236635       0              5035           12   16   14   
33.09/33.16	c 6286           12614          353723         22560642       0              5067           12   16   14   
33.68/33.72	c 7006           13426          361874         22906935       0              5112           12   16   14   
34.28/34.33	c 7798           14318          370734         23276833       0              5155           12   16   14   
34.98/35.00	c 8669           15299          380452         23682670       0              5176           12   16   14   
35.68/35.75	c 9627           16377          391602         24124859       0              5228           12   16   14   
36.48/36.57	c 10680          17561          403692         24598409       0              5270           12   16   14   
37.39/37.50	c 11838          18863          417624         25114672       0              5319           12   16   14   
38.38/38.49	c 13111          20293          432473         25668348       0              5372           12   16   14   
39.48/39.60	c 14511          21865          448997         26281128       0              5407           12   16   14   
40.69/40.78	c 16051          23594          466481         26948591       0              5467           12   16   14   
42.08/42.10	c 17745          25496          486136         27673607       0              5517           12   16   14   
43.48/43.53	c 19608          27586          507136         28458988       0              5575           12   16   14   
44.98/45.09	c 21657          29884          530108         29310576       0              5642           12   16   14   
46.68/46.78	c 23910          32407          554779         30289897       0              5701           12   16   14   
48.58/48.69	c 26388          35180          583662         31358310       0              5753           12   16   14   
50.68/50.78	c 29113          38229          614803         32532949       0              5819           12   16   14   
53.08/53.10	c 32110          41582          649659         33818070       0              5880           12   16   14   
55.48/55.58	c 35406          45269          686329         35206982       0              5965           12   16   14   
58.18/58.23	c 39031          49324          725409         36736238       0              6019           12   16   14   
61.18/61.25	c 43018          53784          771642         38396067       0              6081           12   16   14   
64.28/64.40	c 47403          58685          817817         40257073       0              6153           12   16   14   
67.88/67.94	c 52226          64075          871074         42298246       0              6229           12   16   14   
71.68/71.79	c 57531          70004          928176         44523965       0              6315           12   16   14   
75.88/75.98	c 63366          76526          989576         46956954       0              6404           12   16   14   
80.48/80.56	c 69784          83696          1056911        49652398       0              6504           12   16   14   
85.58/85.60	c 76843          91581          1130991        52604833       0              6613           12   16   14   
91.07/91.14	c 84607          100254         1212451        55837553       0              6733           12   16   14   
97.17/97.24	c 93147          109795         1301914        59362798       0              6842           12   16   14   
103.97/104.01	c 102541         120306         1400882        63270140       0              6975           12   17   15   
111.37/111.49	c 112874         131874         1509857        67562751       0              7100           12   17   15   
119.77/119.87	c 124240         144616         1632905        72306324       0              7208           12   17   15   
129.16/129.22	c 136742         158644         1770946        77529117       0              7326           12   17   15   
139.46/139.57	c 150494         174104         1922704        83309643       0              7457           12   17   15   
150.77/150.84	c 165621         191097         2086711        89682065       0              7559           12   17   15   
163.46/163.55	c 182260         209787         2276551        96662681       0              7708           12   17   15   
177.25/177.32	c 200562         230365         2477589        104361136      0              7871           12   17   15   
192.46/192.54	c 220694         253015         2699857        112835173      0              8026           12   17   15   
209.25/209.31	c 242839         277954         2942928        122193949      0              8185           12   17   15   
227.85/227.93	c 267198         305404         3213736        132506449      0              8329           12   17   15   
247.95/248.08	c 293992         335627         3500352        143880411      0              8458           12   17   15   
270.25/270.31	c 323465         368885         3816056        156400422      0              8630           12   17   15   
294.75/294.84	c 355885         405492         4163719        170199279      0              8781           12   17   15   
321.74/321.87	c 391547         445770         4546615        185388636      0              8944           12   17   15   
351.63/351.72	c 430775         490104         4968276        202112147      0              9109           12   17   15   
384.42/384.51	c 473925         538870         5431362        220483391      0              9284           12   17   15   
421.12/421.22	c 521390         592536         5957133        240647004      0              9458           12   17   15   
460.93/461.05	c 573601         651597         6517552        262794227      0              9635           12   17   15   
505.71/505.85	c 631033         716603         7158198        287142108      0              9821           12   17   15   
554.90/555.01	c 694208         788128         7858164        313895460      0              10003          12   17   15   
610.09/610.25	c 763700         866851         8656764        343361903      0              10202          12   17   15   
669.69/669.87	c 840141         953436         9504131        375751861      0              10424          12   18   15   
736.68/736.82	c 924226         1048777        10465284       411771294      0              10650          12   18   15   
810.87/811.06	c 1016719        1153814        11525663       451724399      0              10878          12   18   15   
892.45/892.67	c 1118461        1269476        12680207       495930523      0              11119          12   18   15   
983.45/983.60	c 1230377        1396802        13974306       544792547      0              11331          12   18   16   
1080.84/1081.03	c 1353484        1536956        15316756       598858788      0              11580          12   18   16   
1189.52/1189.70	c 1488901        1691248        16824910       658607171      0              11821          12   18   16   
1309.80/1310.01	c 1637859        1861105        18495088       724601715      0              12040          12   18   16   
1442.38/1442.60	c 1801712        2047901        20344360       796812540      0              12259          12   18   16   
1587.18/1587.45	c 1981950        2253360        22352188       875990343      0              12508          12   18   16   
1748.15/1748.45	c 2180211        2479651        24584113       963582000      0              12756          12   18   16   
1923.22/1923.50	c 2398298        2728690        26971995       1060372369     0              13030          12   18   16   
2118.80/2119.12	c 2638193        3002750        29675557       1167185437     0              13253          12   18   16   
2333.98/2334.33	c 2902077        3304349        32637162       1285140331     0              13522          12   18   16

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-4242057-1500653843/watcher-4242057-1500653843 -o /tmp/evaluation-result-4242057-1500653843/solver-4242057-1500653843 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242057-1500653843.xml 

pid=11732
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.09 2.06 2.04 3/242 11735
/proc/meminfo: memFree=32019552/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=29628 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 1627 0 0 0 0 0 0 0 20 0 1 0 653489 30339072 1465 33554432000 4194304 5970956 140733982871104 140733982867752 140625618738149 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 7407 1465 736 434 0 771 0

[startup+0.100155 s]
/proc/loadavg: 2.09 2.06 2.04 3/242 11735
/proc/meminfo: memFree=32019552/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=73264 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 9711 0 0 0 8 1 0 0 20 0 1 0 653489 75022336 11587 33554432000 4194304 5970956 140733982871104 140733982867928 140625618738149 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 18316 11587 769 434 0 11680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 73264

[startup+0.200378 s]
/proc/loadavg: 2.09 2.06 2.04 3/242 11735
/proc/meminfo: memFree=32019552/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=139488 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 19197 0 0 0 16 3 0 0 20 0 1 0 653489 142835712 26142 33554432000 4194304 5970956 140733982871104 140733982867928 140625618738149 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 34872 26142 769 434 0 28236 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 139488

[startup+0.300349 s]
/proc/loadavg: 2.09 2.06 2.04 3/242 11735
/proc/meminfo: memFree=32019552/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=205436 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 27534 0 0 0 24 4 0 0 20 0 1 0 653489 210366464 40645 33554432000 4194304 5970956 140733982871104 140733982867928 140625618738149 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 51359 40645 769 434 0 44723 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 205436

[startup+0.70028 s]
/proc/loadavg: 2.09 2.06 2.04 3/242 11735
/proc/meminfo: memFree=32019552/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=477228 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 58565 0 0 0 58 11 0 0 20 0 1 0 653489 488681472 99240 33554432000 4194304 5970956 140733982871104 140733982867928 140625618807339 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 119307 99240 769 434 0 112671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 477228

[startup+1.5003 s]
/proc/loadavg: 2.09 2.06 2.04 3/243 11736
/proc/meminfo: memFree=31393808/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=892388 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 117479 0 0 0 126 23 0 0 20 0 1 0 653489 913805312 214867 33554432000 4194304 5970956 140733982871104 140733982867928 5279748 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 223097 214867 769 434 0 216461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 892388

[startup+3.1003 s]
/proc/loadavg: 2.00 2.04 2.03 3/243 11736
/proc/meminfo: memFree=30754492/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=2029676 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 235025 0 0 0 262 47 0 0 20 0 1 0 653489 2078388224 444706 33554432000 4194304 5970956 140733982871104 140733982867928 140625618738149 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 507419 444706 769 434 0 500783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2029676

[startup+6.30022 s]
/proc/loadavg: 2.00 2.04 2.03 3/243 11736
/proc/meminfo: memFree=29142508/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=3249236 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 374298 0 0 0 555 73 0 0 20 0 1 0 653489 3327217664 718533 33554432000 4194304 5970956 140733982871104 140733982868440 5039186 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718533 792 434 0 805673 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3249236

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.03 3/243 11736
/proc/meminfo: memFree=29141772/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=3249236 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 377397 0 0 0 1195 73 0 0 20 0 1 0 653489 3327217664 718533 33554432000 4194304 5970956 140733982871104 140733982868440 4977328 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718533 792 434 0 805673 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3249236

[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.03 3/243 11736
/proc/meminfo: memFree=29141772/32770624 swapFree=5664/190972
[pid=11735] ppid=11732 vsize=3249236 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 380660 0 0 0 2475 74 0 0 20 0 1 0 653489 3327217664 718533 33554432000 4194304 5970956 140733982871104 140733982868440 5327859 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718533 792 434 0 805673 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3249236

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.03 3/243 11736
/proc/meminfo: memFree=29142420/32770624 swapFree=5664/191052
[pid=11735] ppid=11732 vsize=3249236 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 384927 0 0 0 5034 74 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4978416 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3249236

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/243 11737
/proc/meminfo: memFree=29141944/32770624 swapFree=5664/191128
[pid=11735] ppid=11732 vsize=3249236 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 390865 0 0 0 10153 75 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974816 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3249236

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/244 11746
/proc/meminfo: memFree=29142004/32770624 swapFree=5664/191236
[pid=11735] ppid=11732 vsize=3249236 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 394140 0 0 0 16151 75 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974237 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3249236

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.03 3/244 11747
/proc/meminfo: memFree=29141804/32770624 swapFree=5664/191236
[pid=11735] ppid=11732 vsize=3249236 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 397431 0 0 0 22150 75 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974228 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3249236

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/244 11748
/proc/meminfo: memFree=29139068/32770624 swapFree=5664/191368
[pid=11735] ppid=11732 vsize=3249236 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 402986 0 0 0 28148 76 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5039162 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3249236

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/244 11749
/proc/meminfo: memFree=29138892/32770624 swapFree=5664/191368
[pid=11735] ppid=11732 vsize=3249236 CPUtime=342.23 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 406022 0 0 0 34147 76 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3249236

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/244 11750
/proc/meminfo: memFree=29138900/32770624 swapFree=5664/191468
[pid=11735] ppid=11732 vsize=3249236 CPUtime=402.22 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 411080 0 0 0 40146 76 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974128 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3249236

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/244 11752
/proc/meminfo: memFree=29138436/32770624 swapFree=5664/191468
[pid=11735] ppid=11732 vsize=3249236 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 414659 0 0 0 46145 77 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3249236

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 11753
/proc/meminfo: memFree=29138792/32770624 swapFree=5664/191564
[pid=11735] ppid=11732 vsize=3249236 CPUtime=522.21 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 417811 0 0 0 52144 77 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974439 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3249236

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11754
/proc/meminfo: memFree=29139112/32770624 swapFree=5664/191564
[pid=11735] ppid=11732 vsize=3249236 CPUtime=582.2 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 423055 0 0 0 58143 77 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5039204 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3249236


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


[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11785
/proc/meminfo: memFree=29138168/32770624 swapFree=5664/192180
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1482.09 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 474860 0 0 0 148128 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5327850 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 3249236

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11786
/proc/meminfo: memFree=29138368/32770624 swapFree=5664/192180
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1542.09 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 477314 0 0 0 154128 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974266 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 3249236

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11787
/proc/meminfo: memFree=29138492/32770624 swapFree=5664/192236
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1602.07 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 482213 0 0 0 160126 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5322288 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 3249236

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11788
/proc/meminfo: memFree=29138444/32770624 swapFree=5664/192236
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1662.06 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 484647 0 0 0 166125 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974138 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 3249236

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11789
/proc/meminfo: memFree=29138608/32770624 swapFree=5664/192300
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1722.05 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 488947 0 0 0 172124 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4974808 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 3249236

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11790
/proc/meminfo: memFree=29138808/32770624 swapFree=5664/192300
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1782.04 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 491979 0 0 0 178123 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5039204 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 3249236

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11791
/proc/meminfo: memFree=29137988/32770624 swapFree=5664/192368
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1842.04 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 494409 0 0 0 184123 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1842.04
Current children cumulated vsize (KiB) 3249236

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11792
/proc/meminfo: memFree=29137572/32770624 swapFree=5664/192404
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1902.03 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 496825 0 0 0 190122 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4978392 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 3249236

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11800
/proc/meminfo: memFree=29136912/32770624 swapFree=5664/192404
[pid=11735] ppid=11732 vsize=3249236 CPUtime=1962.02 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 501297 0 0 0 196121 81 0 0 20 0 1 0 653489 3327217664 718534 33554432000 4194304 5970956 140733982871104 140733982868440 4976819 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718534 792 434 0 805673 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 3249236

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11801
/proc/meminfo: memFree=29134796/32770624 swapFree=5664/192452
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2022.01 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 503617 0 0 0 202120 81 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 5039186 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 3249236

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11802
/proc/meminfo: memFree=29134700/32770624 swapFree=5664/192452
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2082.01 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 505836 0 0 0 208120 81 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 5322311 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 3249236

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11803
/proc/meminfo: memFree=29135432/32770624 swapFree=5664/192516
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2141.99 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 507772 0 0 0 214118 81 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 4974138 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 3249236

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11804
/proc/meminfo: memFree=29135508/32770624 swapFree=5664/192572
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2201.99 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 509173 0 0 0 220118 81 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 4974671 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 3249236

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11937
/proc/meminfo: memFree=25559780/32770624 swapFree=5664/192660
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2261.99 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 511777 0 0 0 226117 82 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 5306272 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 3249236

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11938
/proc/meminfo: memFree=25557576/32770624 swapFree=5664/192660
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2321.98 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 513142 0 0 0 232116 82 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 4974808 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 3249236

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11939
/proc/meminfo: memFree=25557260/32770624 swapFree=5664/192788
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2381.97 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 514671 0 0 0 238115 82 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 4974141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 3249236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11939
/proc/meminfo: memFree=25556968/32770624 swapFree=5664/192788
[pid=11735] ppid=11732 vsize=3249236 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/11735/stat : 11735 (cosoco) R 11732 11735 9838 0 -1 4202496 515946 0 0 0 239925 82 0 0 20 0 1 0 653489 3327217664 718857 33554432000 4194304 5970956 140733982871104 140733982868440 5322311 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10805248 140733982872764 140733982872899 140733982872899 140733982875598 0
/proc/11735/statm: 812309 718857 792 434 0 805673 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 3249236

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

Child status: 1
Real time (s): 2400.41
CPU time (s): 2400.08
CPU user time (s): 2399.25
CPU system time (s): 0.83389
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 3249236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.25
system time used= 0.83389
maximum resident set size= 2875476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515977
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= 33
involuntary context switches= 120626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04213 second user time and 9.81789 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-21 18:17:23
IDJOB=4242057
IDBENCH=133226
IDSOLVER=2621
FILE ID=node114/4242057-1500653843
RUNJOBID= node114-1500648178-9871
PBS_JOBID= 20623304
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-23-sum.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242057-1500653843/watcher-4242057-1500653843 -o /tmp/evaluation-result-4242057-1500653843/solver-4242057-1500653843 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242057-1500653843.xml

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

MD5SUM BENCH= d4be5d2e2f36b13e59ce195ffddd0d7a
RANDOM SEED=832853789

node114.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.60
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.60
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.60
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.60
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.60
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.60
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		: 1867.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.60
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		: 2267.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.60
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:        32019940 kB
MemAvailable:   32009808 kB
Buffers:           34044 kB
Cached:           265764 kB
SwapCached:            0 kB
Active:           173752 kB
Inactive:         199808 kB
Active(anon):      76300 kB
Inactive(anon):     8836 kB
Active(file):      97452 kB
Inactive(file):   190972 kB
Unevictable:        5664 kB
Mlocked:            5664 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2444 kB
Writeback:             0 kB
AnonPages:         63488 kB
Mapped:            30328 kB
Shmem:              8848 kB
Slab:              66744 kB
SReclaimable:      34556 kB
SUnreclaim:        32188 kB
KernelStack:        4256 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62008 MiB
End job on node114 at 2017-07-21 18:57:24