Trace number 4107630

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.15 1800.44

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-libpoe-perl.cudf.trendy.opb
MD5SUMe1c0f6518e04975c82d938344ab8e78f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3260908559096
Best CPU time to get the best result obtained on this benchmark58.2991
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21108
Total number of constraints100050
Number of constraints which are clauses98485
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8590
Biggest coefficient in the objective function 79340706073
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234927793755070
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79340706073
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234927793755070
Number of bits of the biggest sum of numbers48
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:34+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-4107630-1466287834.opb"]
0.00/0.01	c use --random-gen="30761408 1493760102 2602711599 3533208643 2014391415 627347679 3172180705 2044020954 2755502933 3991579240 3978961433 3313625581 3438647905 368746769 1307412209 3598503213 3603626793 1765833313 530135716 2634520343 1841636394 3087397946 3854156666 18640344 3501037837 3610339589 2471798343 2706558638 3279110978 541729156 2946730551 1673194268 2459983127 3009084833 206852396 2119539521 2276397364 859634486 2988070104 747748376 672728409 1766430665 2948646997 3850276899 2087241135 2645840095 2705074759 700558889 2836390170 1151050681 4135433769 2747596877 828177795 228451204 3678847707 121454013 4094378656 2307877587 2229636500 710618462 910813569 3246270309 1861329286 3550343173 2826865673 2685412661 2330029273 1038567642 1639065808 4255575498 2468174801 824775296 1873213060 1216806093 4185256001 3763209894 1104253027 2671281977 3584255329 3532021699 399572892 1154051636 1736216921 1571529519 753192859 3581494718 709883137 1415696057 4101663247 3230666702 710903674 2094352056 882732819 1143258394 851894638 2521199137 3442374120 2776157437 1589466465 3736706168 1297117594 3382656680 3541365452 2940228764 741996776 875942154 1505186933 1753788575 2154487461 2786850276 422457894 246764277 3726578626 104838242 800065790 3506953010 1218769542 3758844914 3872672483 671660009 2267450738 2847660635 3304260729 1883166095 2785162545 2495117321 751305919 187409241 2547073839 31445847 747038464 3355267973 2087183652 1812999051 1539549338 1399095487 1606803527 1261573834 1207753278 2070100283 788681106 2366062493 41597102 1272664939 3922264293 419676693 1918500017 3540985250 3942542395 3961008478 1309980622 2252646973 1939874272 3793963630 2020728848 1806875641 855352156 774787359 3682542988 2024085745 2077204150 3664268519 4279133577 1175371658 445893048 4112581382 1506405157 731491047 4018690075 2200792348 270444878 1660682067 1716607074 1885090345 690239351 331235188 3198789811 2099213817 1251894246 102653287 323979489 3629148275 3002007189 2208290543 1995209079 1661208683 2249380165 3856703668 3303173361 682668467 1016410302 3203226659 800167211 2456578497 3378257108 2933485511 1752526584 1954619931 761303579 2551216077 1600174964 3501790274 2172120400 3629255780 1770814579 3760415876 4007176329 3223944178 2942746478 3844745246 1133818267 114869366 3124885095 1719026853 2287834856 3882138342 3556896422 2537598943 3119674415 3777178414 1741563419 4014510376 3546600604 45709182 1976004374 274174232 745933738 2086974427 362451515 1180604247 437473205 167835266 3707915075 1168986 1063996898 369262859 856232090 1554412956 529699098 411354483 375256613 1888296315 1255748416 317090739 1367684006 854275468 2290981229 3736532945 2271951552 2152359021 1702089512 2682357309 729926984 3535837800 3071150573 811534758 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21108
0.69/0.72	c #constraints 100050
2.19/2.29	c BCD2: Hardening is enabled.
2.19/2.29	c BCD2: BiasedSearch is enabled.
2.19/2.29	c Solving starts ...
2.19/2.29	c ============================[ Search Statistics ]============================
2.19/2.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.29	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.29	c =============================================================================
2.19/2.30	c  0.0s |       0 |        0 |        0 |    39943      0 |     1203 |        0
3.09/3.14	c  0.9s |       1 |    87476 |      100 |    39943      0 |     1205 |     1296
5.09/5.13	c  2.8s |       2 |   297187 |      250 |    43938      0 |     1205 |     1296
6.09/6.11	c  3.8s |       2 |   417748 |      349 |    48332      0 |     1205 |     1296
6.09/6.11	c #cpu_time = 3.790s
6.09/6.11	c #wall_clock_time = 3.800s
6.09/6.11	c #decision = 417748
6.09/6.11	c #random_decision = 1188
6.09/6.11	c #conflict = 349
6.09/6.11	c #restart = 2
6.09/6.11	o 51058892506793

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

pid=24950
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.32 2.27 2.25 2/182 24953
/proc/meminfo: memFree=24825732/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=841284 CPUtime=0 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 3163 0 0 0 0 0 0 0 20 0 4 0 30829347 861474816 3012 33554432000 4194304 16246674 140734561346096 140734561345520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 210833 3022 442 2943 0 207727 0
[pid=24953/tid=24954] ppid=24950 vsize=858692 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 879300608 3083 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=863812 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 884543488 3100 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=867908 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30829347 888737792 3118 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.32 2.27 2.25 2/182 24953
/proc/meminfo: memFree=24825732/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 31789 0 0 0 5 3 0 0 20 0 4 0 30829347 1334382592 31576 33554432000 4194304 16246674 140734561346096 140734561345408 7889302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 325777 31590 800 2943 0 322671 0
[pid=24953/tid=24954] ppid=24950 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1334382592 31601 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1334382592 31612 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1334382592 31623 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.20052 s]
/proc/loadavg: 2.32 2.27 2.25 2/182 24953
/proc/meminfo: memFree=24825732/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 48476 0 0 0 13 6 0 0 20 0 4 0 30829347 1344868352 48774 33554432000 4194304 16246674 140734561346096 140734561345408 8058916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 328337 48774 800 2943 0 325231 0
[pid=24953/tid=24954] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 48774 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 48774 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 48774 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.32 2.27 2.25 2/182 24953
/proc/meminfo: memFree=24825732/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 67210 0 0 0 21 8 0 0 20 0 4 0 30829347 1344868352 67508 33554432000 4194304 16246674 140734561346096 140734561328000 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 328337 67508 801 2943 0 325231 0
[pid=24953/tid=24954] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 67508 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 67508 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 67508 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1313348

[startup+0.700404 s]
/proc/loadavg: 2.32 2.27 2.25 2/182 24953
/proc/meminfo: memFree=24825732/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 75394 0 0 0 59 10 0 0 20 0 4 0 30829347 1344868352 75692 33554432000 4194304 16246674 140734561346096 140734561328000 4220566 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 328337 75692 802 2943 0 325231 0
[pid=24953/tid=24954] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 75692 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 75692 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1344868352 75692 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.32 2.27 2.25 3/186 24957
/proc/meminfo: memFree=24368936/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1319492 CPUtime=1.48 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 194547 0 0 0 121 27 0 0 20 0 4 0 30829347 1351159808 194845 33554432000 4194304 16246674 140734561346096 140734561328000 6938547 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 329873 194854 839 2943 0 326767 0
[pid=24953/tid=24954] ppid=24950 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1351159808 194859 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1351159808 194864 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1351159808 194869 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1319492

[startup+3.10039 s]
/proc/loadavg: 2.32 2.27 2.25 3/186 24957
/proc/meminfo: memFree=23725992/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275088 0 0 0 269 40 0 0 20 0 4 0 30829347 1370034176 275386 33554432000 4194304 16246674 140734561346096 140734561328000 5824059 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275386 890 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275386 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275386 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275386 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.45 2.30 2.26 4/186 24957
/proc/meminfo: memFree=23646756/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275176 0 0 0 589 40 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 140734561328000 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275474 904 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.42 2.29 2.25 3/186 24957
/proc/meminfo: memFree=23529132/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=12.69 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275176 0 0 0 1229 40 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 140734561328000 12413857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275474 904 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.32 2.28 2.25 3/186 24957
/proc/meminfo: memFree=23238708/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=25.48 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275176 0 0 0 2508 40 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 140734561328000 13008960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275474 904 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.33 2.28 2.25 3/185 24957
/proc/meminfo: memFree=22164956/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275176 0 0 0 5068 40 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 140734561328000 12654426 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275474 904 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275474 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1337924

[startup+102.3 s]
/proc/loadavg: 2.33 2.29 2.25 3/185 24958
/proc/meminfo: memFree=21017888/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 275177 0 0 0 10188 40 0 0 20 0 4 0 30829347 1370034176 275475 33554432000 4194304 16246674 140734561346096 140734561328000 4226078 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 334481 275475 904 2943 0 331375 0
[pid=24953/tid=24954] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275475 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275475 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1370034176 275475 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1337924


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

/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1473843200 300819 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1439300

[startup+1302.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/185 25037
/proc/meminfo: memFree=27571256/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1528388 CPUtime=1302.08 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 322793 0 0 0 130159 49 0 0 20 0 4 0 30829347 1565069312 323091 33554432000 4194304 16246674 140734561346096 140734561344000 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 382097 323091 904 2943 0 378991 0
[pid=24953/tid=24954] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323091 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323091 33554432000 4194304 16246674 140734561346096 139908130774032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323091 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1528388

[startup+1362.3 s]
/proc/loadavg: 2.35 2.29 2.27 3/185 25038
/proc/meminfo: memFree=27570876/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1528388 CPUtime=1362.08 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 322794 0 0 0 136158 50 0 0 20 0 4 0 30829347 1565069312 323347 33554432000 4194304 16246674 140734561346096 140734561328000 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 382097 323347 904 2943 0 378991 0
[pid=24953/tid=24954] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323347 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323347 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1528388 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1565069312 323347 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1528388

[startup+1422.3 s]
/proc/loadavg: 2.28 2.28 2.27 3/185 25039
/proc/meminfo: memFree=27556148/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1542724 CPUtime=1422.07 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 326379 0 0 0 142157 50 0 0 20 0 4 0 30829347 1579749376 326931 33554432000 4194304 16246674 140734561346096 140734561344000 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 385681 326931 904 2943 0 382575 0
[pid=24953/tid=24954] ppid=24950 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1579749376 326931 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1579749376 326931 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1579749376 326931 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1542724

[startup+1482.3 s]
/proc/loadavg: 2.36 2.30 2.28 3/185 25040
/proc/meminfo: memFree=27554192/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1544772 CPUtime=1482.06 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 326892 0 0 0 148155 51 0 0 20 0 4 0 30829347 1581846528 327443 33554432000 4194304 16246674 140734561346096 140734561344000 4206964 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 386193 327443 904 2943 0 383087 0
[pid=24953/tid=24954] ppid=24950 vsize=1544772 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1581846528 327443 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1544772 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1581846528 327443 33554432000 4194304 16246674 140734561346096 139908130774032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1544772 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1581846528 327443 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1544772

[startup+1542.31 s]
/proc/loadavg: 2.19 2.26 2.26 3/185 25042
/proc/meminfo: memFree=27531576/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1553988 CPUtime=1542.05 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 329198 0 0 0 154154 51 0 0 20 0 4 0 30829347 1591283712 329747 33554432000 4194304 16246674 140734561346096 140734561343936 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 388497 329747 904 2943 0 385391 0
[pid=24953/tid=24954] ppid=24950 vsize=1553988 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1591283712 329747 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1553988 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1591283712 329747 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1553988 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1591283712 329747 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1553988

[startup+1602.3 s]
/proc/loadavg: 2.25 2.27 2.27 3/185 25043
/proc/meminfo: memFree=27523344/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1562180 CPUtime=1602.02 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 331251 0 0 0 160151 51 0 0 20 0 4 0 30829347 1599672320 331795 33554432000 4194304 16246674 140734561346096 140734561345408 12449391 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 390545 331795 904 2943 0 387439 0
[pid=24953/tid=24954] ppid=24950 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1599672320 331795 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30829347 1599672320 331795 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1599672320 331795 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1562180

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.26 3/185 25044
/proc/meminfo: memFree=27516784/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1568324 CPUtime=1662.02 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 332788 0 0 0 166150 52 0 0 20 0 4 0 30829347 1605963776 333331 33554432000 4194304 16246674 140734561346096 140734561343936 4225171 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 392081 333331 904 2943 0 388975 0
[pid=24953/tid=24954] ppid=24950 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1605963776 333331 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1568324 CPUtime=0.01 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30829347 1605963776 333331 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1605963776 333331 33554432000 4194304 16246674 140734561346096 139908120300720 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) 1568324

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.26 3/185 25045
/proc/meminfo: memFree=27513724/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1571396 CPUtime=1722 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 333556 0 0 0 172148 52 0 0 20 0 4 0 30829347 1609109504 334099 33554432000 4194304 16246674 140734561346096 140734561343936 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 392849 334099 904 2943 0 389743 0
[pid=24953/tid=24954] ppid=24950 vsize=1571396 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1609109504 334099 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1571396 CPUtime=0.01 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30829347 1609109504 334099 33554432000 4194304 16246674 140734561346096 139908130774032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1571396 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1609109504 334099 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1571396

[startup+1782.3 s]
/proc/loadavg: 2.30 2.26 2.26 3/186 25049
/proc/meminfo: memFree=27508252/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1576516 CPUtime=1781.99 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 334839 0 0 0 178146 53 0 0 20 0 4 0 30829347 1614352384 335379 33554432000 4194304 16246674 140734561346096 140734561328000 12429784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 394129 335379 904 2943 0 391023 0
[pid=24953/tid=24954] ppid=24950 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1614352384 335379 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1576516 CPUtime=0.01 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30829347 1614352384 335379 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1614352384 335379 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1576516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.26 2.26 3/186 25049
/proc/meminfo: memFree=27492856/32872528 swapFree=1505436/1685308
[pid=24953] ppid=24950 vsize=1591876 CPUtime=1800.08 cores=0,2,4,6
/proc/24953/stat : 24953 (toysat) R 24950 24953 21389 0 -1 4202496 338682 0 0 0 179955 53 0 0 20 0 4 0 30829347 1630081024 339219 33554432000 4194304 16246674 140734561346096 140734561343872 4221031 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24953/statm: 397969 339219 904 2943 0 394863 0
[pid=24953/tid=24954] ppid=24950 vsize=1591876 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24954/stat : 24954 (toysat) S 24950 24953 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30829347 1630081024 339219 33554432000 4194304 16246674 140734561346096 139908141264112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24953/tid=24955] ppid=24950 vsize=1591876 CPUtime=0.01 cores=0,2,4,6
/proc/24953/task/24955/stat : 24955 (toysat) S 24950 24953 21389 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30829347 1630081024 339219 33554432000 4194304 16246674 140734561346096 139908130774256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24953/tid=24956] ppid=24950 vsize=1591876 CPUtime=0 cores=0,2,4,6
/proc/24953/task/24956/stat : 24956 (toysat) S 24950 24953 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30829347 1630081024 339219 33554432000 4194304 16246674 140734561346096 139908120300720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1591876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.15
CPU user time (s): 1799.57
CPU system time (s): 0.582911
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1591876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.582911
maximum resident set size= 1356876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338682
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= 1798
involuntary context switches= 1830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05293 second user time and 9.75952 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-19 00:10:34
IDJOB=4107630
IDBENCH=72376
IDSOLVER=2542
FILE ID=node135/4107630-1466287834
RUNJOBID= node135-1466266561-21405
PBS_JOBID= 19918237
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libpoe-perl.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-4107630-1466287834/watcher-4107630-1466287834 -o /tmp/evaluation-result-4107630-1466287834/solver-4107630-1466287834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107630-1466287834.opb

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

MD5SUM BENCH= e1c0f6518e04975c82d938344ab8e78f
RANDOM SEED=442470611

node135.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		: 2667.004
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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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		: 2667.004
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.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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:        24826360 kB
Buffers:          172192 kB
Cached:           300008 kB
SwapCached:          716 kB
Active:          5287076 kB
Inactive:         321460 kB
Active(anon):    5137248 kB
Inactive(anon):     1308 kB
Active(file):     149828 kB
Inactive(file):   320152 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             19836 kB
Writeback:             0 kB
AnonPages:       6827156 kB
Mapped:            10924 kB
Shmem:                 0 kB
Slab:             607104 kB
SReclaimable:      50592 kB
SUnreclaim:       556512 kB
KernelStack:        1544 kB
PageTables:        17752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6961372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    774144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node135 at 2016-06-19 00:40:35