Trace number 4107618

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.25 1800.53

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb
MD5SUMa8d2ef8c52f50247a319d5b58583dcf2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28002816255
Best CPU time to get the best result obtained on this benchmark8.48271
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8017
Total number of constraints34178
Number of constraints which are clauses33841
Number of constraints which are cardinality constraints (but not clauses)337
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 3816
Biggest coefficient in the objective function 6967871000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 3846257497157
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 6967871000
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 3846257497157
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-19T00:10:02+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-4107618-1466287802.opb"]
0.00/0.01	c use --random-gen="2890652948 3132784224 3232602765 2951274586 3574745646 1296319067 343543551 365944898 3760096836 3745098530 3592710592 628266629 3872132589 3289465946 397753877 1713636131 1286239827 1762733703 1629326627 1529403450 106716164 3484021200 1394424635 941400643 2085058413 2659122246 2667058947 2776901289 2345224373 2026728120 1943440636 4249177255 1825098131 1006803514 298803166 1574761472 544640560 3039714947 1106938841 420132701 2831932113 1021396986 3008396637 2194269496 3424967919 1599883322 1635824081 178159884 2816909061 2374160856 2014016272 4097521009 1069792375 1751370251 2637949422 2950807861 946313885 2554045323 3584410911 4020242286 73768933 3307869577 4092137547 2003002345 2527936389 261905883 3283706348 2540920834 4175990423 3432769808 2534343070 109913459 560040347 1001073153 3996385913 1293380147 4003199077 140013083 2402126335 204338621 2227664639 3789595461 1735386610 1147187663 4231140480 18777084 156826108 1544330190 4211862317 2411453147 785490992 3057466774 332545770 4105136874 214325644 2080275076 4234663829 631562421 1025649108 525875154 4254407296 1780589052 83436117 2302521930 2624230230 416129196 3507952167 3447039324 3943632631 1088446115 183839763 668439825 4148102110 3956844737 3395164653 2845343655 3529741045 3601466423 353955221 4294524098 163417169 732787205 2498683554 1580448663 1754059047 3240199564 1245697281 579641646 3547338788 3545197793 2559835828 1222755404 1362544802 220934000 276734345 4177109833 2389891102 973934895 2495811702 3994707947 2342311338 2785387364 377052208 4242236531 1522332398 1614929940 1989911816 1972792794 3526199649 1965868846 1996653093 1982055264 610185454 795296503 2624559480 655082601 70810557 1864099392 958930810 3141774313 431924323 1520837738 1517323585 4182294679 3653420584 783861802 3768186433 3960427106 1103091656 4047268378 506908338 379612970 3366388493 1384980002 3036839837 288154849 3351903641 944755086 2514305197 1677750276 2153174467 2976734344 2181091906 4063940597 2926331183 1362010838 724681280 569187648 3788248302 215362201 2346814434 2228690586 2435176122 144012298 3372743311 1489531786 3964699488 1794076789 1278692215 3787922957 1966688509 3234517629 368983609 3580609694 706869594 32018068 779816497 3656771121 2144937658 2541274248 3036660972 1210509559 1013171034 4014046685 2609973821 1799963338 1388607883 1681690482 154680687 2510894492 2996273329 3462741962 38352950 1484427657 1526378841 2910054897 2777876442 2709814802 660150461 3493984861 3766625761 2326736030 3083158319 724269440 375871618 3184170608 2914008351 177668105 4088022011 3130958705 3105316323 2709840764 723945803 1889178499 605749390 3774922476 239344396 2560624024 2598636552 3122442953 3889341834 937148163 2538226293 1623309426 4213602110 1744987847 255 362436" option to reproduce the execution
0.19/0.23	c #vars 8017
0.19/0.23	c #constraints 34178
0.58/0.69	c BCD2: Hardening is enabled.
0.58/0.69	c BCD2: BiasedSearch is enabled.
0.58/0.69	c Solving starts ...
0.58/0.69	c ============================[ Search Statistics ]============================
0.58/0.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.58/0.69	c       |         |          |          |    Limit     GC | Var      | Constra 
0.58/0.69	c =============================================================================
0.58/0.69	c  0.0s |       0 |        0 |        0 |    13570      0 |     1144 |        0
0.99/1.03	c  0.3s |       0 |    31914 |       88 |    13570      0 |     1313 |     7632
0.99/1.03	c #cpu_time = 0.335s
0.99/1.03	c #wall_clock_time = 0.335s
0.99/1.03	c #decision = 31914
0.99/1.03	c #random_decision = 78
0.99/1.03	c #conflict = 88
0.99/1.03	c #restart = 0
0.99/1.03	o 490837263843
994.44/994.61	c BCD2: updating upper bound: 3846257497157 -> 490837263842
1461.36/1461.64	c BCD2: 0 <= obj <= 490837263842
1461.36/1461.64	c BCD2: #cores=0, #unrelaxed=3816, #relaxed=0, #hardened=0
1461.36/1461.64	c BCD2: #sat=1 #unsat=1 bias=1/2
1461.36/1461.64	c Solving starts ...
1461.36/1461.64	c ============================[ Search Statistics ]============================
1461.36/1461.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1461.36/1461.64	c       |         |          |          |    Limit     GC | Var      | Constra 
1461.36/1461.64	c =============================================================================
1461.36/1461.64	c  0.0s |       0 |        0 |        0 |    13570      0 |     1313 |     7632
1461.36/1461.65	c  0.0s |       0 |        3 |        2 |    13570      0 |     1313 |     7632
1461.36/1461.65	c #cpu_time = 0.012s
1461.36/1461.65	c #wall_clock_time = 0.012s
1461.36/1461.65	c #decision = 3
1461.36/1461.65	c #random_decision = 0
1461.36/1461.65	c #conflict = 2
1461.36/1461.65	c #restart = 0
1461.36/1461.65	c BCD2: found a new core of size 2: cost of the new core is >=1
1461.36/1461.65	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-4107618-1466287802/watcher-4107618-1466287802 -o /tmp/evaluation-result-4107618-1466287802/solver-4107618-1466287802 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107618-1466287802.opb 

pid=26231
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.25 2.26 2.25 3/180 26234
/proc/meminfo: memFree=27532960/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=772676 CPUtime=0 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 2892 0 0 0 0 0 0 0 20 0 4 0 30826671 791220224 3252 33554432000 4194304 16246674 140733639355776 140733639355200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 193681 3260 442 2943 0 190575 0
[pid=26234/tid=26235] ppid=26231 vsize=790084 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 809046016 3320 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=794180 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 813240320 3338 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=798276 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 817434624 3353 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.25 2.26 2.25 3/180 26234
/proc/meminfo: memFree=27532960/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 26675 0 0 0 5 4 0 0 20 0 4 0 30826671 1333334016 26974 33554432000 4194304 16246674 140733639355776 140733639355088 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 325521 26989 800 2943 0 322415 0
[pid=26234/tid=26235] ppid=26231 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1333334016 27000 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1333334016 27011 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1333334016 27021 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.25 2.26 2.25 3/180 26234
/proc/meminfo: memFree=27532960/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 47337 0 0 0 12 7 0 0 20 0 4 0 30826671 1344868352 48146 33554432000 4194304 16246674 140733639355776 140733639355088 8058524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 48146 801 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48146 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48146 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48146 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+0.300514 s]
/proc/loadavg: 2.25 2.26 2.25 3/180 26234
/proc/meminfo: memFree=27532960/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 47463 0 0 0 22 7 0 0 20 0 4 0 30826671 1344868352 48272 33554432000 4194304 16246674 140733639355776 140733639355088 13759520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 48272 835 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48272 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48272 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 48272 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+0.700423 s]
/proc/loadavg: 2.25 2.26 2.25 3/180 26234
/proc/meminfo: memFree=27532960/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 107574 0 0 0 51 18 0 0 20 0 4 0 30826671 1344868352 108383 33554432000 4194304 16246674 140733639355776 140733639355088 5589988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 108390 870 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 108394 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 108399 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 108403 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+1.50046 s]
/proc/loadavg: 2.25 2.26 2.25 3/184 26238
/proc/meminfo: memFree=26824264/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 269019 0 0 0 110 39 0 0 20 0 4 0 30826671 1344868352 269828 33554432000 4194304 16246674 140733639355776 140733639355088 6955126 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 269828 897 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269828 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269828 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269828 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.25 2.26 2.25 3/184 26238
/proc/meminfo: memFree=26432052/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 269022 0 0 0 270 39 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140733639337664 12654836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 269831 897 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.31 2.27 2.25 3/184 26238
/proc/meminfo: memFree=26431936/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 269022 0 0 0 590 39 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140733639337664 6955592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 269831 897 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.28 2.26 2.25 3/184 26238
/proc/meminfo: memFree=26131388/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 269022 0 0 0 1230 39 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140733639337664 12654426 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 269831 897 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.22 2.25 2.25 3/184 26238
/proc/meminfo: memFree=26132024/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 269022 0 0 0 2509 39 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140733639337664 13927320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 328337 269831 897 2943 0 325231 0
[pid=26234/tid=26235] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1344868352 269831 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.35 2.28 2.26 3/183 26238
/proc/meminfo: memFree=25703148/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=1589828 CPUtime=51.09 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 338142 0 0 0 5060 49 0 0 20 0 4 0 30826671 1627983872 338951 33554432000 4194304 16246674 140733639355776 140733639353664 4207010 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 397457 338951 897 2943 0 394351 0
[pid=26234/tid=26235] ppid=26231 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 1627983872 338951 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 1627983872 338951 33554432000 4194304 16246674 140733639355776 140664126807056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 1627983872 338951 33554432000 4194304 16246674 140733639355776 140664004144304 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) 1589828

[startup+102.301 s]
/proc/loadavg: 2.25 2.26 2.25 3/183 26240
/proc/meminfo: memFree=24819156/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=2244164 CPUtime=102.28 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 501726 0 0 0 10157 71 0 0 20 0 4 0 30826671 2298023936 502535 33554432000 4194304 16246674 140733639355776 140733639355088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 561041 502535 897 2943 0 557935 0
[pid=26234/tid=26235] ppid=26231 vsize=2244164 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 2298023936 502535 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=2244164 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 2298023936 502535 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=2244164 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 2298023936 502535 33554432000 4194304 16246674 140733639355776 140664004144304 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) 2244164


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

[pid=26234] ppid=26231 vsize=3674692 CPUtime=1362.07 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6177256 0 0 0 135147 1060 0 0 20 0 4 0 30826671 3762884608 860177 33554432000 4194304 16246674 140733639355776 140733639355088 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 918673 860177 901 2943 0 915567 0
[pid=26234/tid=26235] ppid=26231 vsize=3674692 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 3762884608 860177 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=3674692 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 3762884608 860177 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=3674692 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 3762884608 860177 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3674692

[startup+1422.3 s]
/proc/loadavg: 2.27 2.28 2.25 3/183 26273
/proc/meminfo: memFree=18004308/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=4106820 CPUtime=1422.07 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6287336 0 0 0 141123 1084 0 0 20 0 4 0 30826671 4205383680 968209 33554432000 4194304 16246674 140733639355776 140733639355088 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 1026705 968209 901 2943 0 1023599 0
[pid=26234/tid=26235] ppid=26231 vsize=4106820 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 4205383680 968209 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=4106820 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 4205383680 968209 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=4106820 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 4205383680 968209 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 4106820

[startup+1482.3 s]
/proc/loadavg: 2.24 2.27 2.25 3/183 26274
/proc/meminfo: memFree=19974548/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=2492996 CPUtime=1482.06 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6361591 0 0 0 147095 1111 0 0 20 0 4 0 30826671 2552827904 564768 33554432000 4194304 16246674 140733639355776 140733639337664 6955142 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 623249 564768 916 2943 0 620143 0
[pid=26234/tid=26235] ppid=26231 vsize=2492996 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 2552827904 564768 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=2492996 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30826671 2552827904 564768 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=2492996 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 2552827904 564768 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2492996

[startup+1542.31 s]
/proc/loadavg: 2.23 2.26 2.25 3/183 26275
/proc/meminfo: memFree=19397068/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=2243140 CPUtime=1542.05 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6361591 0 0 0 153092 1113 0 0 20 0 4 0 30826671 2296975360 502304 33554432000 4194304 16246674 140733639355776 140733639354872 4225056 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 560785 502304 916 2943 0 557679 0
[pid=26234/tid=26235] ppid=26231 vsize=2243140 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 2296975360 502304 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=2243140 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 2296975360 502304 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=2243140 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 2296975360 502304 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2243140

[startup+1602.3 s]
/proc/loadavg: 2.36 2.29 2.26 4/183 26326
/proc/meminfo: memFree=26808804/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=2769476 CPUtime=1602.03 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6493176 0 0 0 159068 1135 0 0 20 0 4 0 30826671 2835943424 633889 33554432000 4194304 16246674 140733639355776 140733639354872 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 692369 633889 916 2943 0 689263 0
[pid=26234/tid=26235] ppid=26231 vsize=2769476 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 2835943424 633889 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=2769476 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 2835943424 633889 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=2769476 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 2835943424 633889 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2769476

[startup+1662.3 s]
/proc/loadavg: 2.30 2.28 2.26 3/183 26327
/proc/meminfo: memFree=26281032/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=3297860 CPUtime=1662.02 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6625272 0 0 0 165044 1158 0 0 20 0 4 0 30826671 3377008640 766241 33554432000 4194304 16246674 140733639355776 140733639355088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 824465 766241 916 2943 0 821359 0
[pid=26234/tid=26235] ppid=26231 vsize=3297860 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 3377008640 766241 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=3297860 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 3377008640 766241 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=3297860 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 3377008640 766241 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3297860

[startup+1722.3 s]
/proc/loadavg: 2.29 2.28 2.26 3/183 26328
/proc/meminfo: memFree=25909340/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=3668548 CPUtime=1722.02 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 6778106 0 0 0 171017 1185 0 0 20 0 4 0 30826671 3756593152 858913 33554432000 4194304 16246674 140733639355776 140733639353600 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 917137 858913 916 2943 0 914031 0
[pid=26234/tid=26235] ppid=26231 vsize=3668548 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 3756593152 858913 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=3668548 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 3756593152 858913 33554432000 4194304 16246674 140733639355776 140664126807056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=3668548 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 3756593152 858913 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3668548

[startup+1782.3 s]
/proc/loadavg: 2.31 2.29 2.26 3/183 26329
/proc/meminfo: memFree=25306204/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=4270660 CPUtime=1782.01 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 7034874 0 0 0 176969 1232 0 0 20 0 4 0 30826671 4373155840 1009441 33554432000 4194304 16246674 140733639355776 140733639354872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 1067665 1009441 916 2943 0 1064559 0
[pid=26234/tid=26235] ppid=26231 vsize=4270660 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 4373155840 1009441 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=4270660 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 4373155840 1009441 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=4270660 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 4373155840 1009441 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4270660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 26332
/proc/meminfo: memFree=25135636/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=4440644 CPUtime=1800 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) R 26231 26234 24737 0 -1 4202496 7107067 0 0 0 178756 1244 0 0 20 0 4 0 30826671 4547219456 1051937 33554432000 4194304 16246674 140733639355776 140733639354952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 1110161 1051937 916 2943 0 1107055 0
[pid=26234/tid=26235] ppid=26231 vsize=4440644 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) S 26231 26234 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30826671 4547219456 1051937 33554432000 4194304 16246674 140733639355776 140664137297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26234/tid=26236] ppid=26231 vsize=4440644 CPUtime=0.01 cores=1,3,5,7
/proc/26234/task/26236/stat : 26236 (toysat) S 26231 26234 24737 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30826671 4547219456 1051937 33554432000 4194304 16246674 140733639355776 140664126807280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26234/tid=26237] ppid=26231 vsize=4440644 CPUtime=0 cores=1,3,5,7
/proc/26234/task/26237/stat : 26237 (toysat) S 26231 26234 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30826671 4547219456 1051937 33554432000 4194304 16246674 140733639355776 140664004144304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 4440644

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

[startup+1800.4 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 26332
/proc/meminfo: memFree=25135636/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) Z 26231 26234 24737 0 -1 4203532 7107067 0 0 0 178759 1253 0 0 20 0 2 0 30826671 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 0 0 0 0 0 0 0
[pid=26234/tid=26235] ppid=26231 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) R 26231 26234 24737 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 30826671 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.12
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 26332
/proc/meminfo: memFree=25135636/32872528 swapFree=1370848/1518016
[pid=26234] ppid=26231 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/26234/stat : 26234 (toysat) Z 26231 26234 24737 0 -1 4203532 7107067 0 0 0 178759 1263 0 0 20 0 2 0 30826671 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26234/statm: 0 0 0 0 0 0 0
[pid=26234/tid=26235] ppid=26231 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/26234/task/26235/stat : 26235 (toysat) R 26231 26234 24737 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 30826671 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.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.25
CPU user time (s): 1787.59
CPU system time (s): 12.6581
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 7683652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.59
system time used= 12.6581
maximum resident set size= 7449668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7107067
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= 1670
involuntary context switches= 1805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5832 second user time and 17.1784 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 00:10:02
IDJOB=4107618
IDBENCH=72366
IDSOLVER=2542
FILE ID=node129/4107618-1466287802
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand6d579e.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-4107618-1466287802/watcher-4107618-1466287802 -o /tmp/evaluation-result-4107618-1466287802/solver-4107618-1466287802 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107618-1466287802.opb

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

MD5SUM BENCH= a8d2ef8c52f50247a319d5b58583dcf2
RANDOM SEED=1629938743

node129.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.143
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.28
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.143
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.143
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.143
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.143
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.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27533280 kB
Buffers:           56384 kB
Cached:           126224 kB
SwapCached:         1832 kB
Active:          2979724 kB
Inactive:         101416 kB
Active(anon):    2897428 kB
Inactive(anon):     3464 kB
Active(file):      82296 kB
Inactive(file):    97952 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             17492 kB
Writeback:            32 kB
AnonPages:       4416128 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             600160 kB
SReclaimable:      44152 kB
SUnreclaim:       556008 kB
KernelStack:        1496 kB
PageTables:        12860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4559196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node129 at 2016-06-19 00:40:02