Trace number 4118070

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.01 1800.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb
MD5SUM40411e6a4c46189c3f6e7fff54e66dde
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46719
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 19897
Biggest coefficient in the objective function 12740
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 3485664
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 12740
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 3485664
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)19842
Sum of products size (including duplicates)64529
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:06:04+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-4118070-1467219964.opb"]
0.00/0.01	c use --random-gen="1714070280 1008605969 3106818135 2404636805 294548134 1754909072 856641192 3867119526 1920539224 4089012414 1368237096 341260320 3000501202 1143268629 3150643319 1603512793 2403697057 1750629999 1413057477 2717883581 3887070710 3170799508 3688219248 176809965 1320474599 1706975306 304984039 4279290037 1745215991 541710827 27813956 1098124547 1444732027 2668702251 1045108201 2614482736 2392680980 1769518884 3642053210 413699664 751421178 2011135659 1390062529 956711146 2541881716 98137962 3567650420 3803046050 3217213259 1633252670 2506313872 3111508483 1456634941 2436163564 3931936154 3442200737 1090384134 3550658557 1925482792 227308325 2918470986 2184611499 3980820851 918828148 3398173698 223790831 2345022133 1755628971 792914963 1285209423 3607843387 208940326 1754990943 3162019634 1182967081 2824136014 4136689331 1512884633 3780526796 3955094174 3645317172 1608113806 3438175735 2125680016 2948221544 2898622564 2944429210 3866108093 2316579883 2926429941 564971151 195287496 2677623937 2093448150 1672528534 434757203 101342394 2975746436 1882822468 3309458006 2126071758 1261189525 4103293047 3437524716 463716076 732923354 4089646948 2585051613 157841162 2142517807 492998313 4276700603 1498179325 3590925090 404304147 4059233359 2750149484 2510397186 1130275484 2932725939 3321918031 2018903643 796408112 465042045 1474447309 2757242535 821355083 3326930805 1528389870 4272838797 3650333487 3183144617 3613102212 2074484221 4205595185 2240582708 1984401155 678068859 3446963452 2814487292 1421040835 3382388844 1885436754 4049062276 1562517892 953815440 2963706583 1995066849 101989258 4093938623 4184244706 3856908102 1570456989 1101514982 1916964171 3156716884 7658006 4061308981 1901619765 1201832852 2650251696 1735278691 2979795206 1010306315 3972661752 2883081677 3981581922 2279509698 1866238261 1666965734 3963761855 3640158285 2644092879 867512313 1608926523 816233199 2348977148 4211690889 2613077503 433696122 1598255168 3635062833 2062440544 819882118 2110929753 212471567 3902715741 1743945225 284323725 1128166684 572716664 587446467 3694273524 2172986932 3908007146 3007008941 2132265145 3053789033 3271912718 2343259904 3125317882 4267610976 2216542477 1509703962 1898667969 3899056702 396239466 4074453018 2846151519 2799631866 593952957 4109207102 2264863348 985655548 3419356003 1788569409 3527856785 4144744417 807329253 4153022434 2061226196 3262547217 3273695094 3723054561 3550520599 4267666223 2438487472 152945846 1197984923 2650840726 3791019365 1227475056 1577511235 22837200 2443954476 3718276551 2115426840 1779288300 3615863301 3792791223 2978249832 751987789 453856176 3267380789 4119856209 283700224 350595227 1608617216 4259543323 1000621576 2996264987 562228401 427995196 3078742224 1188737416 2749744958 255 362436" option to reproduce the execution
0.00/0.08	c #vars 55
0.00/0.08	c #constraints 0
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    21663      0 |        0 |        0
0.59/0.60	c  0.1s |       0 |    13706 |        0 |    21663      0 |        0 |        0
0.59/0.60	c #cpu_time = 0.099s
0.59/0.60	c #wall_clock_time = 0.099s
0.59/0.60	c #decision = 13706
0.59/0.60	c #random_decision = 44
0.59/0.60	c #conflict = 0
0.59/0.60	c #restart = 0
0.59/0.60	o 0
816.76/816.95	c BCD2: updating upper bound: 3485664 -> 1742831
1642.52/1642.81	c BCD2: 0 <= obj <= 1742831
1642.52/1642.81	c BCD2: #cores=0, #unrelaxed=19897, #relaxed=0, #hardened=0
1642.52/1642.82	c BCD2: #sat=1 #unsat=1 bias=1/2
1642.52/1642.82	c Solving starts ...
1642.52/1642.82	c ============================[ Search Statistics ]============================
1642.52/1642.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1642.52/1642.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1642.52/1642.82	c =============================================================================
1642.52/1642.82	c  0.0s |       0 |        0 |        0 |    21663      0 |        0 |        0
1642.52/1642.86	c  0.0s |       0 |     7218 |        0 |    21663      0 |        0 |        0
1642.52/1642.86	c #cpu_time = 0.036s
1642.52/1642.86	c #wall_clock_time = 0.036s
1642.52/1642.86	c #decision = 7218
1642.52/1642.86	c #random_decision = 0
1642.52/1642.86	c #conflict = 0
1642.52/1642.86	c #restart = 0
1642.52/1642.86	c BCD2: found a new core of size 3: cost of the new core is >=100
1642.52/1642.86	c lower bound updated to -1742732

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

pid=6469
running on 4 cores: 0,2,4,6

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.02 2.09 2.03 3/179 6472
/proc/meminfo: memFree=29308012/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=665020 CPUtime=0 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 2465 0 0 0 0 0 0 0 20 0 4 0 2892509 680980480 3337 33554432000 4194304 16246674 140736123576080 140736123575504 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 166767 3348 441 2943 0 163661 0
[pid=6472/tid=6473] ppid=6469 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 698806272 3409 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 704049152 3429 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 709292032 3446 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.02 2.09 2.03 3/179 6472
/proc/meminfo: memFree=29308012/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 26339 0 0 0 5 4 0 0 20 0 4 0 2892509 1333334016 27150 33554432000 4194304 16246674 140736123576080 140736123575392 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 325521 27161 827 2943 0 322415 0
[pid=6472/tid=6473] ppid=6469 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1333334016 27169 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1333334016 27178 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1333334016 27185 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200476 s]
/proc/loadavg: 2.02 2.09 2.03 3/179 6472
/proc/meminfo: memFree=29308012/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 45828 0 0 0 13 6 0 0 20 0 4 0 2892509 1343819776 46638 33554432000 4194304 16246674 140736123576080 140736123575392 5589086 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 328081 46638 827 2943 0 324975 0
[pid=6472/tid=6473] ppid=6469 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1343819776 46638 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1343819776 46638 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1343819776 46638 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300484 s]
/proc/loadavg: 2.02 2.09 2.03 3/179 6472
/proc/meminfo: memFree=29308012/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1315396 CPUtime=0.29 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 46543 0 0 0 23 6 0 0 20 0 4 0 2892509 1346965504 47354 33554432000 4194304 16246674 140736123576080 140736123575392 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 328849 47358 827 2943 0 325743 0
[pid=6472/tid=6473] ppid=6469 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1346965504 47360 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1346965504 47363 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1346965504 47364 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700412 s]
/proc/loadavg: 2.02 2.09 2.03 3/179 6472
/proc/meminfo: memFree=29308012/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 54897 0 0 0 61 8 0 0 20 0 4 0 2892509 1349062656 55707 33554432000 4194304 16246674 140736123576080 140736123557952 12654241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 55707 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 55707 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 55707 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 55707 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.5004 s]
/proc/loadavg: 2.02 2.09 2.03 3/183 6476
/proc/meminfo: memFree=28627440/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=1.49 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 112 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 12414114 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.10041 s]
/proc/loadavg: 2.02 2.09 2.03 3/183 6476
/proc/meminfo: memFree=28223200/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=3.09 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 272 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 12414053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30042 s]
/proc/loadavg: 2.02 2.09 2.03 3/183 6476
/proc/meminfo: memFree=28223080/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=6.29 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 592 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.02 2.08 2.03 3/183 6476
/proc/meminfo: memFree=28223056/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 1232 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.02 2.08 2.03 3/183 6476
/proc/meminfo: memFree=28222216/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 2512 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 6955472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.08 2.09 2.03 3/183 6476
/proc/meminfo: memFree=28219920/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 5071 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 12654409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/183 6477
/proc/meminfo: memFree=28220848/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 270523 0 0 0 10191 37 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140736123557952 6955397 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 329361 271333 875 2943 0 326255 0
[pid=6472/tid=6473] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1349062656 271333 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281581 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1358404

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6509
/proc/meminfo: memFree=28162496/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1362.07 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280801 0 0 0 136168 39 0 0 20 0 4 0 2892509 1391005696 281581 33554432000 4194304 16246674 140736123576080 140736123557952 6955218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281581 880 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281581 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281581 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281581 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1358404

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6511
/proc/meminfo: memFree=28162252/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1422.06 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280805 0 0 0 142167 39 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140736123557952 12413881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281589 880 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1358404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6515
/proc/meminfo: memFree=28161312/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1482.04 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280805 0 0 0 148165 39 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140736123573952 12653069 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281589 880 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1358404

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6516
/proc/meminfo: memFree=28161652/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1542.04 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280805 0 0 0 154165 39 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140736123557952 6955544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281589 880 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1358404

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6517
/proc/meminfo: memFree=28161520/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1602.02 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280805 0 0 0 160163 39 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140736123557952 12414100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281589 880 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281589 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1358404

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6518
/proc/meminfo: memFree=28161396/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1662.02 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280824 0 0 0 166163 39 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140736123557952 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281608 899 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1358404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6520
/proc/meminfo: memFree=28161396/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1722.01 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280824 0 0 0 172162 39 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140736123557952 4225195 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281608 899 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1358404

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=26057000/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1782 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280824 0 0 0 178160 40 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140736123557952 6955584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281608 899 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1358404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=24065440/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1800 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280824 0 0 0 179960 40 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140736123557952 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281608 899 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1358404

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=24065440/32872528 swapFree=7620/7620
[pid=6472] ppid=6469 vsize=1358404 CPUtime=1800 cores=0,2,4,6
/proc/6472/stat : 6472 (toysat) R 6469 6472 5453 0 -1 4202496 280824 0 0 0 179960 40 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140736123557952 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6472/statm: 339601 281608 899 2943 0 336495 0
[pid=6472/tid=6473] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (toysat) S 6469 6472 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087494946032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6472/tid=6474] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (toysat) S 6469 6472 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087484456176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6472/tid=6475] ppid=6469 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (toysat) S 6469 6472 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2892509 1391005696 281608 33554432000 4194304 16246674 140736123576080 140087404784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1358404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.61
CPU system time (s): 0.399939
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1358404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.399939
maximum resident set size= 1126432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280824
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= 52
involuntary context switches= 2344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45632 second user time and 7.01293 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 19:06:04
IDJOB=4118070
IDBENCH=111443
IDSOLVER=2542
FILE ID=node106/4118070-1467219964
RUNJOBID= node106-1467209087-5469
PBS_JOBID= 19997588
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118070-1467219964/watcher-4118070-1467219964 -o /tmp/evaluation-result-4118070-1467219964/solver-4118070-1467219964 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118070-1467219964.opb

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

MD5SUM BENCH= 40411e6a4c46189c3f6e7fff54e66dde
RANDOM SEED=1283619513

node106.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.495
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.99
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.495
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.56
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.495
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.495
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.495
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.56
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.495
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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.495
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:        29308284 kB
Buffers:          107592 kB
Cached:          1598928 kB
SwapCached:            0 kB
Active:          2223480 kB
Inactive:         576068 kB
Active(anon):    1095628 kB
Inactive(anon):        0 kB
Active(file):    1127852 kB
Inactive(file):   576068 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16772 kB
Writeback:             0 kB
AnonPages:       1100540 kB
Mapped:            18620 kB
Shmem:               204 kB
Slab:             626228 kB
SReclaimable:      69444 kB
SUnreclaim:       556784 kB
KernelStack:        1472 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1231512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71716 MiB
End job on node106 at 2016-06-29 19:36:04