Trace number 4119718

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
toysat 2016-05-02? (TO) 1800.17 1800.46

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.opb
MD5SUM56530829c0cd190bc4cb189a719078a2
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
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
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables693504
Total number of constraints5930
Number of constraints which are clauses2708
Number of constraints which are cardinality constraints (but not clauses)2708
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2709
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 975035
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2190070
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T10:40:06+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119718-1467276005.opb"]
0.00/0.01	c use --random-gen="2945899281 3784387958 1876804647 979371053 2000900044 3006272936 589860877 3319430383 1626406100 442911196 540702609 3094627687 767501494 1388434728 925107513 517059892 469252256 1475955465 1902874202 2702363649 3028065781 2555666305 3347999424 4157949938 1631098088 2578799852 2852561873 1699540051 3971635170 848820538 3616471175 82214560 1613930378 2484290270 1565095989 1243568657 1298272751 232595288 2523449852 200646598 4288140026 284168920 1919137857 3072150480 3515752483 3814057985 3851096171 175318927 389144437 1617818173 3391346025 1027452301 2246855886 3869989045 3151270883 339764962 645971767 1427978647 3201042847 2587564243 3859946458 222142388 2999345188 2291347773 1117500885 3443928657 616737037 1475025157 2291852401 2123806304 1331441234 3763718197 2578896428 1891029222 2699224443 1733262613 4175405063 3115698539 471798779 3120186594 2656507855 1824851008 1501912655 662022332 3646170710 3986373631 3059482282 3254830062 1264019386 2058833144 1007456792 1009565728 2271945829 2537046278 495537914 3666120493 1748603322 3536547893 2309980427 3309870886 1335191132 320870759 1705952257 553823258 835855275 716268539 1405442145 396707398 1868523021 905386869 374643909 2565986740 664451819 666626576 1485794025 2511853344 1378618978 1993528099 1742082889 3847993248 1909446450 1883037610 999567886 366387578 2492187246 3753438775 258639893 1398556443 3989720140 563170449 2281414206 1763826078 1185592161 4209078275 408851208 374866845 3963279578 2576365943 3197237501 3296270845 617967180 3509618053 3494765347 4215506996 194065035 1211656936 1160390468 285387860 3098317306 1333165671 626137659 1007366540 3826374574 2339130157 64170381 2776859049 4038498730 3419328957 833113225 716312084 3209074341 4076572056 1547787 2485486110 2393344568 3542121489 1494186048 981841730 4030167004 2899114609 1218271301 223082481 4019878615 2905989879 3499293504 2775229580 627761414 895093364 2548079026 252361180 2905951059 2190978905 848280016 959681007 592021258 4277631676 3065348183 1817216631 178034693 4139676693 1887595012 2992460460 777755851 278168717 3993158066 608160793 1600016356 2230049913 454810326 1805937503 1787994484 971184482 3900042549 3321852163 468560909 2273177103 4000763595 1006875738 3198560491 3622370270 1803692260 3966894899 99087813 1891473473 1234168315 2257369246 1165403526 2989851801 3543084891 2994147430 1819646787 1471280613 2016521970 325302416 2953033933 258612705 3188057465 3478923101 4085478482 2318007901 774645789 3062034964 2173349934 1736818236 1175014155 1944372397 1386682916 977270462 1835144110 587603401 2965986883 1773274979 1828736589 1488593386 73089757 1286937690 4012501300 704115044 4294118319 3944464963 265391116 186556767 3678137467 1876139480 3988034437 1513269191 255 362436" option to reproduce the execution
4.79/4.86	c #vars 693504
4.79/4.86	c #constraints 5930
15.19/15.20	c Solving starts ...
15.19/15.20	c ============================[ Search Statistics ]============================
15.19/15.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.19/15.20	c       |         |          |          |    Limit     GC | Var      | Constra 
15.19/15.20	c =============================================================================
15.19/15.20	c  0.0s |       0 |        0 |        0 |   233144      0 |     1827 |        0
19.48/19.54	c  4.3s |       0 |     2522 |      100 |   233144      0 |     1827 |        1
19.89/19.97	c  4.8s |       1 |     2522 |      100 |   233144      0 |     1827 |        1
32.58/32.60	c 17.4s |       1 |    13884 |      200 |   256459      0 |     1827 |        1
38.78/38.83	c 23.6s |       2 |    13939 |      250 |   256459      0 |     1827 |        1
44.48/44.58	c 29.4s |       2 |    58884 |      350 |   282105      0 |     1827 |        1
50.69/50.79	c 35.6s |       2 |    58987 |      450 |   282105      0 |     1827 |        1
52.69/52.78	c 37.6s |       3 |    59016 |      475 |   282105      0 |     1827 |        1
66.18/66.26	c 51.1s |       3 |   122039 |      575 |   310316      0 |     1827 |        1
76.88/76.97	c 61.8s |       3 |   122148 |      675 |   310316      0 |     1827 |        1
87.18/87.29	c 72.1s |       3 |   122269 |      775 |   310316      0 |     1827 |        1
91.68/91.73	c 76.5s |       4 |   122305 |      813 |   310316      0 |     1827 |        1
104.78/104.89	c 89.7s |       4 |   234302 |      913 |   341348      0 |     1827 |        1
116.77/116.87	c  101s |       4 |   234417 |     1013 |   341348      0 |     1827 |        1
134.37/134.43	c  119s |       4 |   234528 |     1113 |   341348      0 |     1827 |        1
151.17/151.22	c  136s |       4 |   234638 |     1213 |   341348      0 |     1827 |        1
167.46/167.57	c  152s |       4 |   234749 |     1313 |   341348      0 |     1827 |        1
169.37/169.43	c  154s |       5 |   234752 |     1320 |   341348      0 |     1827 |        1
177.76/177.85	c  162s |       5 |   383049 |     1420 |   375483      0 |     1827 |        1
190.76/190.85	c  175s |       5 |   383161 |     1520 |   375483      0 |     1827 |        1
204.26/204.31	c  189s |       5 |   383271 |     1620 |   375483      0 |     1827 |        1
219.05/219.13	c  203s |       5 |   383377 |     1720 |   375483      0 |     1827 |        1
233.36/233.43	c  218s |       5 |   383494 |     1820 |   375483      0 |     1827 |        1
251.15/251.20	c  236s |       5 |   383609 |     1920 |   375483      0 |     1827 |        1
276.95/277.04	c  261s |       5 |   383711 |     2020 |   375483      0 |     1827 |        1
287.05/287.20	c  271s |       6 |   383797 |     2081 |   413032      0 |     1827 |        1
301.95/302.03	c  286s |       6 |   576139 |     2181 |   413032      0 |     1827 |        1
317.04/317.10	c  301s |       6 |   576255 |     2281 |   413032      0 |     1827 |        1
333.44/333.58	c  318s |       6 |   576360 |     2381 |   413032      0 |     1827 |        1
352.74/352.82	c  337s |       6 |   576492 |     2481 |   413032      0 |     1827 |        1
376.43/376.52	c  361s |       6 |   576600 |     2581 |   413032      0 |     1827 |        1
393.63/393.72	c  378s |       6 |   576719 |     2681 |   413032      0 |     1827 |        1
410.62/410.72	c  395s |       6 |   576828 |     2781 |   413032      0 |     1827 |        1
423.53/423.63	c  408s |       6 |   576970 |     2881 |   413032      0 |     1827 |        1
443.53/443.61	c  428s |       6 |   577075 |     2981 |   413032      0 |     1827 |        1
459.62/459.77	c  444s |       6 |   577194 |     3081 |   413032      0 |     1827 |        1
473.91/474.04	c  458s |       6 |   577314 |     3181 |   413032      0 |     1827 |        1
483.92/484.03	c  468s |       7 |   577357 |     3223 |   454336      0 |     1827 |        1
498.22/498.39	c  483s |       7 |   781893 |     3323 |   454336      0 |     1827 |        1
518.51/518.63	c  503s |       7 |   782010 |     3423 |   454336      0 |     1827 |        1
535.21/535.30	c  520s |       7 |   782144 |     3523 |   454336      0 |     1827 |        1
551.91/552.01	c  536s |       7 |   782272 |     3623 |   454336      0 |     1827 |        1
571.41/571.58	c  556s |       7 |   782391 |     3723 |   454336      0 |     1827 |        1
589.10/589.24	c  574s |       7 |   782524 |     3823 |   454336      0 |     1827 |        1
608.31/608.45	c  593s |       7 |   782645 |     3923 |   454336      0 |     1827 |        1
625.29/625.41	c  610s |       7 |   782765 |     4023 |   454336      0 |     1827 |        1
648.29/648.46	c  633s |       7 |   782875 |     4123 |   454336      0 |     1827 |        1
668.29/668.42	c  653s |       7 |   782985 |     4223 |   454336      0 |     1827 |        1
685.89/686.09	c  670s |       7 |   783096 |     4323 |   454336      0 |     1827 |        1
707.19/707.35	c  692s |       7 |   783220 |     4423 |   454336      0 |     1827 |        1
729.28/729.41	c  714s |       7 |   783321 |     4523 |   454336      0 |     1827 |        1
748.98/749.16	c  733s |       7 |   783463 |     4623 |   454336      0 |     1827 |        1
766.97/767.14	c  751s |       7 |   783582 |     4723 |   454336      0 |     1827 |        1
790.06/790.23	c  775s |       7 |   783686 |     4823 |   454336      0 |     1827 |        1
813.77/814.00	c  798s |       7 |   783791 |     4923 |   499770      0 |     1827 |        1
816.67/816.86	c  801s |       8 |   783806 |     4936 |   499770      0 |     1827 |        1
835.47/835.61	c  820s |       8 |   970325 |     5036 |   499770      0 |     1827 |        1
853.36/853.58	c  838s |       8 |   970440 |     5136 |   499770      0 |     1827 |        1
870.26/870.48	c  855s |       8 |   970628 |     5236 |   499770      0 |     1827 |        1
886.75/886.91	c  871s |       8 |   970763 |     5336 |   499770      0 |     1827 |        1
905.35/905.54	c  890s |       8 |   970911 |     5436 |   499770      0 |     1827 |        1
922.44/922.68	c  907s |       8 |   971019 |     5536 |   499770      0 |     1827 |        1
940.35/940.56	c  925s |       8 |   971146 |     5636 |   499770      0 |     1827 |        1
958.84/959.07	c  943s |       8 |   971248 |     5736 |   499770      0 |     1827 |        1
977.14/977.33	c  962s |       8 |   971350 |     5836 |   499770      0 |     1827 |        1
998.64/998.81	c  983s |       8 |   971490 |     5936 |   499770      0 |     1827 |        1
1022.23/1022.44	c 1007s |       8 |   971598 |     6036 |   499770      0 |     1827 |        1
1040.83/1041.05	c 1025s |       8 |   971714 |     6136 |   499770      0 |     1827 |        1
1058.93/1059.12	c 1043s |       8 |   971858 |     6236 |   499770      0 |     1827 |        1
1082.23/1082.48	c 1067s |       8 |   972004 |     6336 |   499770      0 |     1827 |        1
1102.82/1103.10	c 1087s |       8 |   972103 |     6436 |   499770      0 |     1827 |        1
1121.22/1121.49	c 1106s |       8 |   972243 |     6536 |   499770      0 |     1827 |        1
1140.91/1141.18	c 1125s |       8 |   972364 |     6636 |   499770      0 |     1827 |        1
1158.81/1159.09	c 1143s |       8 |   972488 |     6736 |   499770      0 |     1827 |        1
1178.81/1179.07	c 1163s |       8 |   972628 |     6836 |   499770      0 |     1827 |        1
1195.40/1195.65	c 1180s |       8 |   972766 |     6936 |   499770      0 |     1827 |        1
1212.30/1212.51	c 1197s |       8 |   972920 |     7036 |   499770      0 |     1827 |        1
1233.50/1233.74	c 1218s |       8 |   973036 |     7136 |   499770      0 |     1827 |        1
1252.29/1252.56	c 1237s |       8 |   973164 |     7236 |   499770      0 |     1827 |        1
1271.50/1271.78	c 1256s |       8 |   973288 |     7336 |   499770      0 |     1827 |        1
1290.90/1291.10	c 1275s |       8 |   973414 |     7436 |   499770      0 |     1827 |        1
1302.99/1303.27	c 1288s |       9 |   973503 |     7506 |   549747      0 |     1827 |        1
1326.08/1326.35	c 1311s |       9 |  1148521 |     7606 |   549747      0 |     1827 |        1
1349.98/1350.21	c 1335s |       9 |  1148627 |     7706 |   549747      0 |     1827 |        1
1370.18/1370.45	c 1355s |       9 |  1148746 |     7806 |   549747      0 |     1827 |        1
1390.28/1390.52	c 1375s |       9 |  1148883 |     7906 |   549747      0 |     1827 |        1
1416.87/1417.13	c 1401s |       9 |  1149000 |     8006 |   549747      0 |     1827 |        1
1442.77/1443.03	c 1427s |       9 |  1149107 |     8106 |   549747      0 |     1827 |        1
1469.76/1470.08	c 1454s |       9 |  1149218 |     8206 |   549747      0 |     1827 |        1
1496.66/1496.90	c 1481s |       9 |  1149325 |     8306 |   549747      0 |     1827 |        1
1527.25/1527.55	c 1512s |       9 |  1149457 |     8406 |   549747      0 |     1827 |        1
1555.35/1555.65	c 1540s |       9 |  1149570 |     8506 |   549747      0 |     1827 |        1
1577.05/1577.31	c 1562s |       9 |  1149691 |     8606 |   549747      0 |     1827 |        1
1599.25/1599.55	c 1584s |       9 |  1149814 |     8706 |   549747      0 |     1827 |        1
1620.64/1620.92	c 1605s |       9 |  1149933 |     8806 |   549747      0 |     1827 |        1
1638.34/1638.69	c 1623s |       9 |  1150062 |     8906 |   549747      0 |     1827 |        1
1656.04/1656.30	c 1641s |       9 |  1150178 |     9006 |   549747      0 |     1827 |        1
1675.63/1675.90	c 1660s |       9 |  1150284 |     9106 |   549747      0 |     1827 |        1
1694.23/1694.55	c 1679s |       9 |  1150407 |     9206 |   549747      0 |     1827 |        1
1715.12/1715.47	c 1700s |       9 |  1150530 |     9306 |   549747      0 |     1827 |        1
1734.02/1734.33	c 1719s |       9 |  1150641 |     9406 |   549747      0 |     1827 |        1
1752.32/1752.61	c 1737s |       9 |  1150753 |     9506 |   549747      0 |     1827 |        1
1771.22/1771.52	c 1756s |       9 |  1150852 |     9606 |   549747      0 |     1827 |        1
1791.11/1791.45	c 1776s |       9 |  1150959 |     9706 |   549747      0 |     1827 |        1

Verifier Data 

ERROR: no interpretation found !

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-4119718-1467276005/watcher-4119718-1467276005 -o /tmp/evaluation-result-4119718-1467276005/solver-4119718-1467276005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119718-1467276005.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.21 2.18 3/180 13501
/proc/meminfo: memFree=27096720/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=739908 CPUtime=0 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 2764 0 0 0 0 0 0 0 20 0 4 0 8561475 757665792 3124 33554432000 4194304 16246674 140735035459248 140735035458672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 185489 3135 442 2943 0 182383 0
[pid=13501/tid=13502] ppid=13498 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 776540160 3199 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=762436 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 780734464 3215 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=767556 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8561475 785977344 3233 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.15 2.21 2.18 3/180 13501
/proc/meminfo: memFree=27096720/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 29944 0 0 0 6 3 0 0 20 0 4 0 8561475 1332285440 30243 33554432000 4194304 16246674 140735035459248 140735035458560 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 325265 30259 802 2943 0 322159 0
[pid=13501/tid=13502] ppid=13498 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1332285440 30270 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1332285440 30282 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1332285440 30294 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200541 s]
/proc/loadavg: 2.15 2.21 2.18 3/180 13501
/proc/meminfo: memFree=27096720/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 43797 0 0 0 14 5 0 0 20 0 4 0 8561475 1343819776 44606 33554432000 4194304 16246674 140735035459248 140735035458560 7376592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 328081 44609 802 2943 0 324975 0
[pid=13501/tid=13502] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 44621 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 44632 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 44642 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300508 s]
/proc/loadavg: 2.15 2.21 2.18 3/180 13501
/proc/meminfo: memFree=27096720/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 49731 0 0 0 24 5 0 0 20 0 4 0 8561475 1343819776 50540 33554432000 4194304 16246674 140735035459248 140735035458560 7439550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 328081 50540 802 2943 0 324975 0
[pid=13501/tid=13502] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 50540 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 50540 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 50540 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700428 s]
/proc/loadavg: 2.15 2.21 2.18 3/180 13501
/proc/meminfo: memFree=27096720/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 62936 0 0 0 62 7 0 0 20 0 4 0 8561475 1343819776 63745 33554432000 4194304 16246674 140735035459248 140735035458560 7369376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 328081 63745 803 2943 0 324975 0
[pid=13501/tid=13502] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 63745 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 63745 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 63745 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.15 2.21 2.18 3/184 13505
/proc/meminfo: memFree=26829196/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 79311 0 0 0 139 10 0 0 20 0 4 0 8561475 1343819776 80120 33554432000 4194304 16246674 140735035459248 140735035457152 7440536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 328081 80120 803 2943 0 324975 0
[pid=13501/tid=13502] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 80120 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 80120 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1343819776 80120 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.15 2.21 2.18 3/184 13505
/proc/meminfo: memFree=26633740/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 159409 0 0 0 287 22 0 0 20 0 4 0 8561475 1368985600 165328 33554432000 4194304 16246674 140735035459248 140735035457088 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 334225 165328 803 2943 0 331119 0
[pid=13501/tid=13502] ppid=13498 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1368985600 165328 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8561475 1368985600 165328 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1368985600 165328 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30043 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 13505
/proc/meminfo: memFree=25994900/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1637956 CPUtime=6.29 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 292188 0 0 0 587 42 0 0 20 0 4 0 8561475 1677266944 307305 33554432000 4194304 16246674 140735035459248 140735035458560 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 409489 307305 825 2943 0 406383 0
[pid=13501/tid=13502] ppid=13498 vsize=1637956 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1677266944 307305 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1637956 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1677266944 307305 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1637956 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1677266944 307305 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1637956

[startup+12.7004 s]
/proc/loadavg: 2.12 2.20 2.18 4/184 13505
/proc/meminfo: memFree=25482712/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1667652 CPUtime=12.69 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 339665 0 0 0 1221 48 0 0 20 0 4 0 8561475 1707675648 358359 33554432000 4194304 16246674 140735035459248 140735035458424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 416913 358359 848 2943 0 413807 0
[pid=13501/tid=13502] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358359 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358359 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358359 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1667652

[startup+25.5005 s]
/proc/loadavg: 2.24 2.22 2.18 3/184 13505
/proc/meminfo: memFree=25482100/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=1667652 CPUtime=25.49 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 339707 0 0 0 2499 50 0 0 20 0 4 0 8561475 1707675648 358401 33554432000 4194304 16246674 140735035459248 140735035458344 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 416913 358401 890 2943 0 413807 0
[pid=13501/tid=13502] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358401 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358401 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=1667652 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 1707675648 358401 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1667652

[startup+51.1005 s]
/proc/loadavg: 2.16 2.20 2.18 3/184 13505
/proc/meminfo: memFree=24803824/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=2344516 CPUtime=51.09 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 508928 0 0 0 5035 74 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 140735035441152 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 586129 527622 894 2943 0 583023 0
[pid=13501/tid=13502] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2344516

[startup+102.301 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 13506
/proc/meminfo: memFree=24803356/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=2344516 CPUtime=102.28 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 508928 0 0 0 10154 74 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 140735035441152 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 586129 527622 894 2943 0 583023 0
[pid=13501/tid=13502] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=2344516 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 2400784384 527622 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2344516


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

/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3148419072 710151 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3074628 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3148419072 710151 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3074628 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3148419072 710151 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3074628

[startup+1362.3 s]
/proc/loadavg: 2.15 2.17 2.17 4/183 13560
/proc/meminfo: memFree=23431408/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3096132 CPUtime=1362.08 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 696833 0 0 0 136024 184 0 0 20 0 4 0 8561475 3170439168 715527 33554432000 4194304 16246674 140735035459248 140735035458344 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 774033 715527 895 2943 0 770927 0
[pid=13501/tid=13502] ppid=13498 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3170439168 715527 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3170439168 715527 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3170439168 715527 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3096132

[startup+1422.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 13561
/proc/meminfo: memFree=23381460/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3117636 CPUtime=1422.08 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 702209 0 0 0 142018 190 0 0 20 0 4 0 8561475 3192459264 720903 33554432000 4194304 16246674 140735035459248 140735035458424 13780568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 779409 720903 895 2943 0 776303 0
[pid=13501/tid=13502] ppid=13498 vsize=3117636 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3192459264 720903 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3117636 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3192459264 720903 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3117636 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3192459264 720903 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3117636

[startup+1482.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 13563
/proc/meminfo: memFree=23330908/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3149380 CPUtime=1482.07 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 710145 0 0 0 148010 197 0 0 20 0 4 0 8561475 3224965120 728839 33554432000 4194304 16246674 140735035459248 140735035458424 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 787345 728839 895 2943 0 784239 0
[pid=13501/tid=13502] ppid=13498 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3224965120 728839 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3224965120 728839 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3224965120 728839 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3149380

[startup+1542.31 s]
/proc/loadavg: 2.08 2.13 2.16 4/183 13564
/proc/meminfo: memFree=23283552/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3169860 CPUtime=1542.06 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 715071 0 0 0 154003 203 0 0 20 0 4 0 8561475 3245936640 733765 33554432000 4194304 16246674 140735035459248 140735035458424 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 792465 733765 895 2943 0 789359 0
[pid=13501/tid=13502] ppid=13498 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3245936640 733765 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3245936640 733765 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3245936640 733765 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3169860

[startup+1602.3 s]
/proc/loadavg: 2.13 2.14 2.16 3/183 13565
/proc/meminfo: memFree=23241544/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3189316 CPUtime=1602.05 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 720129 0 0 0 159995 210 0 0 20 0 4 0 8561475 3265859584 738823 33554432000 4194304 16246674 140735035459248 140735035441152 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 797329 738823 895 2943 0 794223 0
[pid=13501/tid=13502] ppid=13498 vsize=3189316 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3265859584 738823 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3189316 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3265859584 738823 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3189316 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3265859584 738823 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3189316

[startup+1662.3 s]
/proc/loadavg: 2.18 2.14 2.16 3/183 13566
/proc/meminfo: memFree=23191608/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3209796 CPUtime=1662.03 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 725090 0 0 0 165987 216 0 0 20 0 4 0 8561475 3286831104 743784 33554432000 4194304 16246674 140735035459248 140735035458424 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 802449 743784 895 2943 0 799343 0
[pid=13501/tid=13502] ppid=13498 vsize=3209796 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3286831104 743784 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3209796 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3286831104 743784 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3209796 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3286831104 743784 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3209796

[startup+1722.3 s]
/proc/loadavg: 2.20 2.16 2.16 3/183 13616
/proc/meminfo: memFree=25057716/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3231300 CPUtime=1722.03 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 730400 0 0 0 171981 222 0 0 20 0 4 0 8561475 3308851200 749094 33554432000 4194304 16246674 140735035459248 140735035458424 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 807825 749094 895 2943 0 804719 0
[pid=13501/tid=13502] ppid=13498 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3308851200 749094 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3308851200 749094 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3308851200 749094 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3231300

[startup+1782.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 13618
/proc/meminfo: memFree=24969940/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3264068 CPUtime=1782.02 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 738771 0 0 0 177974 228 0 0 20 0 4 0 8561475 3342405632 757467 33554432000 4194304 16246674 140735035459248 140735035458424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 816017 757467 895 2943 0 812911 0
[pid=13501/tid=13502] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757467 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757467 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757467 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3264068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.19 2.17 3/184 13621
/proc/meminfo: memFree=24969616/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=3264068 CPUtime=1800.01 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) R 13498 13501 12742 0 -1 4202496 738820 0 0 0 179771 230 0 0 20 0 4 0 8561475 3342405632 757514 33554432000 4194304 16246674 140735035459248 140735035458344 5712550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 816017 757514 895 2943 0 812911 0
[pid=13501/tid=13502] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757514 33554432000 4194304 16246674 140735035459248 139990140955888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13501/tid=13503] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13503/stat : 13503 (toysat) S 13498 13501 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757514 33554432000 4194304 16246674 140735035459248 139990130466032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13501/tid=13504] ppid=13498 vsize=3264068 CPUtime=0 cores=1,3,5,7
/proc/13501/task/13504/stat : 13504 (toysat) S 13498 13501 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8561475 3342405632 757514 33554432000 4194304 16246674 140735035459248 139990119992496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3264068

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

[startup+1800.4 s]
/proc/loadavg: 2.29 2.19 2.17 3/184 13621
/proc/meminfo: memFree=24969616/32872528 swapFree=1254912/1391860
[pid=13501] ppid=13498 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/13501/stat : 13501 (toysat) Z 13498 13501 12742 0 -1 4203532 738820 0 0 0 179772 240 0 0 20 0 2 0 8561475 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 0 0 0 0 0 0 0
[pid=13501/tid=13502] ppid=13498 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13501/task/13502/stat : 13502 (toysat) R 13498 13501 12742 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 8561475 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.17
CPU user time (s): 1797.72
CPU system time (s): 2.45063
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3264068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.72
system time used= 2.45063
maximum resident set size= 3030056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 738820
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= 190
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63599 second user time and 9.56055 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 10:40:06
IDJOB=4119718
IDBENCH=111795
IDSOLVER=2542
FILE ID=node119/4119718-1467276005
RUNJOBID= node119-1467272299-13059
PBS_JOBID= 20004499
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119718-1467276005/watcher-4119718-1467276005 -o /tmp/evaluation-result-4119718-1467276005/solver-4119718-1467276005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119718-1467276005.opb

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

MD5SUM BENCH= 56530829c0cd190bc4cb189a719078a2
RANDOM SEED=1700330396

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
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
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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:       32872528 kB
MemFree:        27096844 kB
Buffers:          182912 kB
Cached:          1389644 kB
SwapCached:            0 kB
Active:          2278856 kB
Inactive:        1354668 kB
Active(anon):    2057536 kB
Inactive(anon):     5992 kB
Active(file):     221320 kB
Inactive(file):  1348676 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             48348 kB
Writeback:             0 kB
AnonPages:       3452884 kB
Mapped:            17468 kB
Shmem:               204 kB
Slab:             613868 kB
SReclaimable:      57528 kB
SUnreclaim:       556340 kB
KernelStack:        1472 kB
PageTables:        10896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3586592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node119 at 2016-06-30 11:10:07