Trace number 4107562

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.22 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb
MD5SUMadf46ce7116b29ea4c4d11a598f075d4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18540641211
Best CPU time to get the best result obtained on this benchmark2.77458
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7092
Total number of constraints29983
Number of constraints which are clauses29682
Number of constraints which are cardinality constraints (but not clauses)301
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3326
Biggest coefficient in the objective function 4615754625
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2547891009662
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4615754625
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2547891009662
Number of bits of the biggest sum of numbers42
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-18T23:59:24+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-4107562-1466287164.opb"]
0.00/0.01	c use --random-gen="2725291945 3463356538 1459584589 2941027606 1346797735 2431599296 626204809 1209639121 346120448 2655154833 2688567356 3326142766 2456738166 1831427457 1283813075 1285698384 415642779 3790796984 1263650713 1779284524 1763966654 676808084 1214730731 1536676882 71442137 1028944975 3104415922 460817039 1879306286 1723357166 2309384792 962786809 3261161756 570838757 3603424844 1350158682 3761004081 3090998072 1612659529 1779713881 3385084562 3827929066 3473055274 2536492455 3189460935 3333442862 3839948849 76892346 3663195964 2345659784 3365504435 2590207906 642047456 604470676 2464939002 1834999751 3404331038 379987532 3192101806 3124285790 917782553 3685246067 2726104567 283424029 1683760782 1259608899 2169657294 2952488035 279843989 2676102106 870159309 1880076243 2372537117 3443581519 315310629 3307301856 1007623544 2520083580 1766998661 1094606265 2026148275 2794446089 793911007 1241777779 3331085009 3940277991 3005898117 2937907970 2083651225 4220181031 1628835078 818901662 79621729 2404875175 2621536747 1597489247 2988386447 1342239126 1360037422 4016354909 407368758 3421465372 3893995130 676474348 1401910447 483898034 4018600968 1042318757 1036460882 1411037144 1867080258 3652617352 2349562761 3164466429 2472656201 2465860441 3801161060 3699510357 1684488891 81036173 2957951891 1334602878 2327670791 2299301443 1685798964 2986289412 4202730293 2425615467 1429210640 2331591016 2431244905 3081631601 934635208 3119679146 3447058411 2171361822 3247395294 1798266691 2913460821 2733177299 2272759719 403649632 3831249228 1589114556 2214926453 54394165 2084398128 3104509676 3286121287 2045237696 3486457774 2529381880 2637140247 49907575 4236053125 538811182 1474130044 23099980 58369999 1912863767 4137357987 431384195 3323641087 15272255 4285641561 3187283839 1375699929 1487027045 1396674764 3343417864 1178259867 3192092396 532051402 3404807863 236532557 3373996939 3468710504 4119203528 877338458 591592505 1800059368 3388904270 2801412163 2485929170 423435311 4121712798 2163080107 23727952 976012355 986315469 4009371675 1522910949 2954850669 1670171869 824708995 3147113372 3712943371 3145852981 4108559933 1167693951 1545442885 1531195931 257956989 1732014248 2757229252 765141811 2991061984 4049949484 3559092205 1369599273 3290611285 2155040436 323762352 1625750484 2488525397 2872817169 3119498077 4111716006 247049731 1256970227 1532827963 3277741939 1450437946 2451579868 2491778686 1124335125 2598419268 3979831189 1882874605 3491107836 3530701602 2608272210 140195778 1735099478 3608419619 2816101881 3306679895 1111939380 150681014 4248784021 1055902584 3574908725 570992673 2454408485 4158745293 3154573783 4086095357 1864957742 2094145806 2596739105 3308037402 1801043443 2642038115 3588386955 883427179 2823363708 255 362436" option to reproduce the execution
0.19/0.22	c #vars 7092
0.19/0.22	c #constraints 29983
0.59/0.62	c BCD2: Hardening is enabled.
0.59/0.62	c BCD2: BiasedSearch is enabled.
0.59/0.62	c Solving starts ...
0.59/0.62	c ============================[ Search Statistics ]============================
0.59/0.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.62	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.62	c =============================================================================
0.69/0.70	c  0.0s |       0 |        0 |        0 |    12019      0 |      778 |        0
0.89/0.90	c  0.2s |       0 |    24539 |       84 |    12019      0 |      915 |     5283
0.89/0.90	c #cpu_time = 0.197s
0.89/0.90	c #wall_clock_time = 0.197s
0.89/0.90	c #decision = 24539
0.89/0.90	c #random_decision = 63
0.89/0.90	c #conflict = 84
0.89/0.90	c #restart = 0
0.89/0.90	o 399061789744
1131.60/1131.90	c BCD2: updating upper bound: 2547891009662 -> 399061789743
1663.40/1663.71	c BCD2: 0 <= obj <= 399061789743
1663.40/1663.71	c BCD2: #cores=0, #unrelaxed=3326, #relaxed=0, #hardened=0
1663.40/1663.71	c BCD2: #sat=1 #unsat=1 bias=1/2
1663.40/1663.71	c Solving starts ...
1663.40/1663.71	c ============================[ Search Statistics ]============================
1663.40/1663.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1663.40/1663.71	c       |         |          |          |    Limit     GC | Var      | Constra 
1663.40/1663.71	c =============================================================================
1663.40/1663.71	c  0.0s |       0 |        0 |        0 |    12019      0 |      915 |     5283
1663.40/1663.74	c  0.0s |       0 |       19 |        1 |    12019      0 |      916 |     5285
1663.40/1663.74	c #cpu_time = 0.020s
1663.40/1663.74	c #wall_clock_time = 0.020s
1663.40/1663.74	c #decision = 19
1663.40/1663.74	c #random_decision = 0
1663.40/1663.74	c #conflict = 1
1663.40/1663.74	c #restart = 0
1663.40/1663.74	c BCD2: found a new core of size 1: cost of the new core is >=1
1663.40/1663.74	c lower bound updated to 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-4107562-1466287164/watcher-4107562-1466287164 -o /tmp/evaluation-result-4107562-1466287164/solver-4107562-1466287164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107562-1466287164.opb 

pid=29638
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.36 2.30 2.23 3/179 29641
/proc/meminfo: memFree=25164380/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 2596 0 0 0 0 0 0 0 20 0 4 0 30762140 714534912 3468 33554432000 4194304 16246674 140736487782000 140736487781424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 174959 3476 441 2943 0 171853 0
[pid=29641/tid=29642] ppid=29638 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 732360704 3537 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 736555008 3554 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 740749312 3571 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.36 2.30 2.23 3/179 29641
/proc/meminfo: memFree=25164380/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 26406 0 0 0 5 4 0 0 20 0 4 0 30762140 1332285440 27216 33554432000 4194304 16246674 140736487782000 140736487781312 8057278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 325265 27233 799 2943 0 322159 0
[pid=29641/tid=29642] ppid=29638 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1332285440 27243 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1332285440 27255 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1332285440 27266 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200535 s]
/proc/loadavg: 2.36 2.30 2.23 3/179 29641
/proc/meminfo: memFree=25164380/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 48315 0 0 0 12 7 0 0 20 0 4 0 30762140 1344868352 49635 33554432000 4194304 16246674 140736487782000 140736487781312 7383424 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 328337 49635 801 2943 0 325231 0
[pid=29641/tid=29642] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 49635 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 49635 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 49635 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300488 s]
/proc/loadavg: 2.36 2.30 2.23 3/179 29641
/proc/meminfo: memFree=25164380/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 54923 0 0 0 21 8 0 0 20 0 4 0 30762140 1344868352 56244 33554432000 4194304 16246674 140736487782000 140736487763904 6760796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 328337 56252 838 2943 0 325231 0
[pid=29641/tid=29642] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 56259 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 56264 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1344868352 56269 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700419 s]
/proc/loadavg: 2.36 2.30 2.23 3/179 29641
/proc/meminfo: memFree=25164380/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=0.69 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 117993 0 0 0 51 18 0 0 20 0 4 0 30762140 1358499840 119314 33554432000 4194304 16246674 140736487782000 140736487763904 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 119318 856 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 119320 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 119322 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 119324 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50042 s]
/proc/loadavg: 2.33 2.30 2.23 4/183 29645
/proc/meminfo: memFree=24538916/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 264570 0 0 0 112 37 0 0 20 0 4 0 30762140 1358499840 265891 33554432000 4194304 16246674 140736487782000 140736487763904 12414001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 265911 895 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 265923 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 265933 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 265944 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10043 s]
/proc/loadavg: 2.33 2.30 2.23 4/183 29645
/proc/meminfo: memFree=24070552/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=3.09 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 272349 0 0 0 271 38 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 140736487763904 13008980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 273669 897 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30039 s]
/proc/loadavg: 2.39 2.31 2.23 4/183 29645
/proc/meminfo: memFree=23953760/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 272349 0 0 0 591 38 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 140736487763904 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 273669 897 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7005 s]
/proc/loadavg: 2.43 2.32 2.24 3/183 29645
/proc/meminfo: memFree=23953524/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=12.69 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 272349 0 0 0 1231 38 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 140736487763904 12654556 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 273669 897 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.34 2.30 2.23 3/183 29645
/proc/meminfo: memFree=24838948/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1326660 CPUtime=25.49 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 272349 0 0 0 2511 38 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 140736487763904 12655060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 331665 273669 897 2943 0 328559 0
[pid=29641/tid=29642] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1358499840 273669 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.44 2.33 2.24 4/184 29648
/proc/meminfo: memFree=24468860/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1661508 CPUtime=51.08 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 356062 0 0 0 5059 49 0 0 20 0 4 0 30762140 1701384192 357382 33554432000 4194304 16246674 140736487782000 140736487763904 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 415377 357382 897 2943 0 412271 0
[pid=29641/tid=29642] ppid=29638 vsize=1661508 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 1701384192 357382 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1661508 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 1701384192 357382 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1661508 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 1701384192 357382 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1661508

[startup+102.3 s]
/proc/loadavg: 2.32 2.30 2.24 3/184 29672
/proc/meminfo: memFree=22661936/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=2443844 CPUtime=102.28 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 551646 0 0 0 10150 78 0 0 20 0 4 0 30762140 2502496256 552966 33554432000 4194304 16246674 140736487782000 140736487779904 4206577 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 610961 552966 897 2943 0 607855 0
[pid=29641/tid=29642] ppid=29638 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 2502496256 552966 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 2502496256 552966 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 2502496256 552966 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2443844


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

/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 2812874752 628752 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=2746948 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 2812874752 628752 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=2746948 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 2812874752 628752 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2746948

[startup+1362.3 s]
/proc/loadavg: 2.28 2.27 2.24 3/183 29752
/proc/meminfo: memFree=26092268/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=3254852 CPUtime=1362.06 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 7534312 0 0 0 134915 1291 0 0 20 0 4 0 30762140 3332968448 755728 33554432000 4194304 16246674 140736487782000 140736487781176 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 813713 755728 900 2943 0 810607 0
[pid=29641/tid=29642] ppid=29638 vsize=3254852 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 3332968448 755728 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=3254852 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 3332968448 755728 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=3254852 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 3332968448 755728 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 3254852

[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.23 3/183 29753
/proc/meminfo: memFree=25867712/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=3478084 CPUtime=1422.06 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 7590122 0 0 0 140900 1306 0 0 20 0 4 0 30762140 3561558016 811537 33554432000 4194304 16246674 140736487782000 140736487779840 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29641/statm: 869521 811537 900 2943 0 866415 0
[pid=29641/tid=29642] ppid=29638 vsize=3478084 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 3561558016 811537 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=3478084 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 3561558016 811537 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=3478084 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 3561558016 811537 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3478084

[startup+1482.3 s]
/proc/loadavg: 2.30 2.26 2.23 4/182 29754
/proc/meminfo: memFree=25596164/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=3749444 CPUtime=1482.05 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 7657962 0 0 0 146883 1322 0 0 20 0 4 0 30762140 3839430656 879377 33554432000 4194304 16246674 140736487782000 140736487779840 4221031 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 937361 879377 900 2943 0 934255 0
[pid=29641/tid=29642] ppid=29638 vsize=3749444 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 3839430656 879377 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=3749444 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 3839430656 879377 33554432000 4194304 16246674 140736487782000 139843216579600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=3749444 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 3839430656 879377 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3749444

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.23 3/183 29756
/proc/meminfo: memFree=25295740/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=4036164 CPUtime=1542.04 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 7761130 0 0 0 152861 1343 0 0 20 0 4 0 30762140 4133031936 951057 33554432000 4194304 16246674 140736487782000 140736487781096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 1009041 951057 900 2943 0 1005935 0
[pid=29641/tid=29642] ppid=29638 vsize=4036164 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 4133031936 951057 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=4036164 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30762140 4133031936 951057 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=4036164 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 4133031936 951057 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4036164

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.23 3/183 29757
/proc/meminfo: memFree=25042076/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=4289092 CPUtime=1602.03 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 7824362 0 0 0 158844 1359 0 0 20 0 4 0 30762140 4392030208 1014289 33554432000 4194304 16246674 140736487782000 140736487779840 4206688 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 1072273 1014289 900 2943 0 1069167 0
[pid=29641/tid=29642] ppid=29638 vsize=4289092 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 4392030208 1014289 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=4289092 CPUtime=0.01 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30762140 4392030208 1014289 33554432000 4194304 16246674 140736487782000 139843216579600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=4289092 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 4392030208 1014289 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4289092

[startup+1662.3 s]
/proc/loadavg: 2.28 2.26 2.23 3/183 29758
/proc/meminfo: memFree=24830080/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=4500036 CPUtime=1662.01 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 8035306 0 0 0 164808 1393 0 0 20 0 4 0 30762140 4608036864 1067025 33554432000 4194304 16246674 140736487782000 140736487781176 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 1125009 1067025 900 2943 0 1121903 0
[pid=29641/tid=29642] ppid=29638 vsize=4500036 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 4608036864 1067025 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=4500036 CPUtime=0.01 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30762140 4608036864 1067025 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=4500036 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 4608036864 1067025 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 4500036

[startup+1722.3 s]
/proc/loadavg: 2.42 2.30 2.25 3/183 29759
/proc/meminfo: memFree=27366108/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=1968708 CPUtime=1721.99 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 8035321 0 0 0 170792 1407 0 0 20 0 4 0 30762140 2015956992 434208 33554432000 4194304 16246674 140736487782000 140736487779840 4220815 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 492177 434208 915 2943 0 489071 0
[pid=29641/tid=29642] ppid=29638 vsize=1968708 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 2015956992 434208 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=1968708 CPUtime=0.01 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30762140 2015956992 434208 33554432000 4194304 16246674 140736487782000 139843216579824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=1968708 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 2015956992 434208 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1968708

[startup+1782.3 s]
/proc/loadavg: 2.51 2.33 2.26 3/183 29760
/proc/meminfo: memFree=26769456/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=2564676 CPUtime=1781.98 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 8184314 0 0 0 176767 1431 0 0 20 0 4 0 30762140 2626228224 583200 33554432000 4194304 16246674 140736487782000 140736487779904 4221023 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 641169 583200 915 2943 0 638063 0
[pid=29641/tid=29642] ppid=29638 vsize=2564676 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 2626228224 583200 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=2564676 CPUtime=0.01 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30762140 2626228224 583200 33554432000 4194304 16246674 140736487782000 139843216579600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=2564676 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 2626228224 583200 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2564676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.40 2.32 2.26 3/183 29761
/proc/meminfo: memFree=26533952/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=2800196 CPUtime=1800.08 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) R 29638 29641 28125 0 -1 4202496 8243194 0 0 0 178567 1441 0 0 20 0 4 0 30762140 2867400704 642080 33554432000 4194304 16246674 140736487782000 140736487779840 4220894 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 700049 642080 915 2943 0 696943 0
[pid=29641/tid=29642] ppid=29638 vsize=2800196 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (toysat) S 29638 29641 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30762140 2867400704 642080 33554432000 4194304 16246674 140736487782000 139843227069680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29643] ppid=29638 vsize=2800196 CPUtime=0.01 cores=1,3,5,7
/proc/29641/task/29643/stat : 29643 (toysat) S 29638 29641 28125 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30762140 2867400704 642080 33554432000 4194304 16246674 140736487782000 139843216579600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=2800196 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) S 29638 29641 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30762140 2867400704 642080 33554432000 4194304 16246674 140736487782000 139843128519856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2800196

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

[startup+1800.5 s]
/proc/loadavg: 2.40 2.32 2.26 3/183 29761
/proc/meminfo: memFree=26533952/32872528 swapFree=1402776/1580604
[pid=29641] ppid=29638 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/29641/stat : 29641 (toysat) Z 29638 29641 28125 0 -1 4203532 8243194 0 0 0 178569 1451 0 0 20 0 2 0 30762140 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 0 0 0 0 0 0 0
[pid=29641/tid=29644] ppid=29638 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (toysat) R 29638 29641 28125 0 -1 4203588 1 0 0 0 0 8 0 0 20 0 2 0 30762140 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.22
CPU user time (s): 1785.7
CPU system time (s): 14.5268
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 8115780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.7
system time used= 14.5268
maximum resident set size= 7883824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8243194
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= 1544
involuntary context switches= 2826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71428 second user time and 6.74697 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 23:59:24
IDJOB=4107562
IDBENCH=72314
IDSOLVER=2542
FILE ID=node139/4107562-1466287164
RUNJOBID= node139-1466274546-28142
PBS_JOBID= 19918239
Free space on /tmp= 71576 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107562-1466287164/watcher-4107562-1466287164 -o /tmp/evaluation-result-4107562-1466287164/solver-4107562-1466287164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107562-1466287164.opb

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

MD5SUM BENCH= adf46ce7116b29ea4c4d11a598f075d4
RANDOM SEED=390864188

node139.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.500
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	: 5333.00
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.500
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.500
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.55
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.500
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.56
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.500
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.500
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.56
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.500
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.500
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:        25164272 kB
Buffers:          144228 kB
Cached:           173648 kB
SwapCached:         1832 kB
Active:          5148872 kB
Inactive:         223104 kB
Active(anon):    5053920 kB
Inactive(anon):     2540 kB
Active(file):      94952 kB
Inactive(file):   220564 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       6756992 kB
Mapped:            10916 kB
Shmem:                 0 kB
Slab:             609736 kB
SReclaimable:      53908 kB
SUnreclaim:       555828 kB
KernelStack:        1520 kB
PageTables:        17152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6777108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 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= 71560 MiB
End job on node139 at 2016-06-19 00:29:25