Trace number 4107646

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.09 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-lirc.cudf.trendy.opb
MD5SUM7c5d6b201be2ac433371a2eee1efc62b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2626197245777
Best CPU time to get the best result obtained on this benchmark375.169
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21104
Total number of constraints100042
Number of constraints which are clauses98477
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 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
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:27:09+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-4107646-1466288829.opb"]
0.00/0.01	c use --random-gen="305841019 1939078290 3739599887 3809871198 3664548218 3756844356 569685019 422411671 4053931124 1193946768 3325781385 1579282202 129794336 1572378010 2354786222 2003096846 675438990 3013273336 3190223994 1798320310 1201921202 1206766618 949375831 3651974128 1457739270 2226934877 2307546680 1878536429 1968684406 1843580823 1796032882 2308154841 2274296925 663994481 3944655357 841978641 1365553148 499515059 2095746259 3965097265 1181103064 2848243157 3942854720 606249533 4074656771 3182276972 111977297 972535494 3820537029 662505702 3022593402 3128300704 4216399909 2046238471 1727898553 2667312195 3115194503 288163519 1939923633 2208342876 2382843700 2896715346 3980597884 4008487678 1078117730 3725224857 2398462709 857360352 919634569 243290023 3045619687 1458998709 1766161235 2708688294 2474729267 896536983 3271923650 350593157 450003447 2139454806 1491629321 3828075462 1150501712 284725431 1128393730 1076066011 3614690171 2609898042 2585207262 361144916 887360984 3047576278 2739684919 361281164 1615842546 353237446 4195586956 1590998496 2818639047 1668956543 2445019294 1323061059 1741014021 3867490266 1875172590 881291984 1877795817 510756675 2884173282 2154710912 1375808819 2417754245 2096450374 1246615354 4016393559 3895355178 2206614902 1862197417 59010783 3542401868 4198398909 2678781601 3528564000 510055211 498907422 2624754739 4216810804 4038283067 1075824985 417110690 3614890402 3222918144 2871827142 2646194672 460070001 1161824789 3292903307 1267753682 38685799 1844994615 2129437170 2855671697 550647612 3319137232 1892740215 2249997641 3877342268 2497379866 1107401112 2241202491 1123422857 3401092692 1944302857 2529017508 2560174948 2886455799 4225126946 815024443 819190289 2789892340 3892059640 2528961506 3108703264 2200397459 260017937 378746338 719101355 3074526352 1884602337 1176103107 1453191401 358270131 770981060 275117387 2880804444 4131801081 2595111079 2424817299 1267785794 3552477163 1000616582 3552140726 3458440455 3418412827 384984895 1683824154 3536728906 2216362551 3005285413 3056464144 333832935 93549522 3300102326 1616900530 348139975 1700298134 2306573692 3144824945 571601499 1943555178 587428496 378597008 2825268696 469339906 2329587993 516096367 4012369327 3374702736 1071165375 2971997923 3561319919 3781586918 1523048687 1592671470 3267300252 307237229 114720126 4029686758 610892320 4154530716 2055409209 2208005210 184069274 3297347359 809018821 134981911 395906380 3842542979 3875311121 4125809519 484994967 3648974892 2249328484 1215599349 2344543965 3736487652 3873443034 265413153 2411382439 241561199 3830005955 1186290640 2694186960 1461377403 2316323129 2343870434 2586771317 2375751062 3609310420 2105795364 2347306570 1627555155 2180881679 3150236661 2260347722 42380202 255 362436" option to reproduce the execution
0.69/0.73	c #vars 21104
0.69/0.73	c #constraints 100042
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.29	c  0.0s |       0 |        0 |        0 |    39937      0 |     1208 |        0
3.08/3.11	c  0.8s |       1 |    96201 |      100 |    39937      0 |     1208 |     1298
4.58/4.67	c  2.4s |       2 |   273852 |      250 |    43931      0 |     1208 |     1298
5.59/5.68	c  3.4s |       2 |   398902 |      346 |    48325      0 |     1208 |     1298
5.59/5.68	c #cpu_time = 3.368s
5.59/5.68	c #wall_clock_time = 3.377s
5.59/5.68	c #decision = 398902
5.59/5.68	c #random_decision = 1184
5.59/5.68	c #conflict = 346
5.59/5.68	c #restart = 2
5.59/5.68	o 50863400862933

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.13 2.14 3/179 31250
/proc/meminfo: memFree=27535572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 2453 0 0 0 0 0 0 0 20 0 4 0 30929564 676786176 3325 33554432000 4194304 16246674 140736784472416 140736784471840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 165999 3333 441 2943 0 162893 0
[pid=31250/tid=31251] ppid=31247 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 694611968 3393 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 698806272 3409 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 704049152 3425 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.10 2.13 2.14 3/179 31250
/proc/meminfo: memFree=27535572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 31039 0 0 0 5 4 0 0 20 0 4 0 30929564 1334382592 31849 33554432000 4194304 16246674 140736784472416 140736784471728 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 325777 31864 799 2943 0 322671 0
[pid=31250/tid=31251] ppid=31247 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1334382592 31874 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1334382592 31886 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1334382592 31897 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200569 s]
/proc/loadavg: 2.10 2.13 2.14 3/179 31250
/proc/meminfo: memFree=27535572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 50537 0 0 0 12 7 0 0 20 0 4 0 30929564 1345916928 51858 33554432000 4194304 16246674 140736784472416 140736784471728 8058206 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 328593 51858 799 2943 0 325487 0
[pid=31250/tid=31251] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 51858 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 51858 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 51858 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300512 s]
/proc/loadavg: 2.10 2.13 2.14 3/179 31250
/proc/meminfo: memFree=27535572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 60964 0 0 0 20 9 0 0 20 0 4 0 30929564 1345916928 62285 33554432000 4194304 16246674 140736784472416 140736784471728 7374352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 328593 62285 800 2943 0 325487 0
[pid=31250/tid=31251] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 62285 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 62285 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 62285 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700396 s]
/proc/loadavg: 2.10 2.13 2.14 3/179 31250
/proc/meminfo: memFree=27535572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 75565 0 0 0 58 11 0 0 20 0 4 0 30929564 1345916928 76886 33554432000 4194304 16246674 140736784472416 140736784471728 4220907 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 328593 76886 801 2943 0 325487 0
[pid=31250/tid=31251] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 76886 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 76886 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1345916928 76886 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.10 2.13 2.14 3/183 31254
/proc/meminfo: memFree=26979424/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1318468 CPUtime=1.48 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 194238 0 0 0 121 27 0 0 20 0 4 0 30929564 1350111232 195560 33554432000 4194304 16246674 140736784472416 140736784454272 7206249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 329617 195568 838 2943 0 326511 0
[pid=31250/tid=31251] ppid=31247 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1350111232 195573 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1350111232 195578 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1350111232 195583 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1318468

[startup+3.10043 s]
/proc/loadavg: 2.10 2.13 2.14 3/183 31254
/proc/meminfo: memFree=26334128/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=3.08 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275092 0 0 0 269 39 0 0 20 0 4 0 30929564 1370034176 276413 33554432000 4194304 16246674 140736784472416 140736784454336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276413 889 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276413 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276413 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276413 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924

[startup+6.30044 s]
/proc/loadavg: 2.10 2.13 2.14 3/183 31254
/proc/meminfo: memFree=26333828/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=6.28 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275167 0 0 0 589 39 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140736784454336 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276488 903 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.08 2.12 2.14 4/183 31254
/proc/meminfo: memFree=26333860/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=12.68 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275167 0 0 0 1229 39 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140736784470208 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276488 903 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.14 2.14 2.14 3/183 31254
/proc/meminfo: memFree=26201952/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=25.48 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275167 0 0 0 2509 39 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140736784454336 12371171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276488 903 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.17 2.14 2.14 4/183 31254
/proc/meminfo: memFree=25898988/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275167 0 0 0 5069 39 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140736784454336 6955468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276488 903 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276488 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.10 2.13 2.14 4/183 31255
/proc/meminfo: memFree=25415172/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 275168 0 0 0 10189 39 0 0 20 0 4 0 30929564 1370034176 276489 33554432000 4194304 16246674 140736784472416 140736784454336 12413976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 334481 276489 903 2943 0 331375 0
[pid=31250/tid=31251] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276489 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276489 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1370034176 276489 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1556680704 322060 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1520196

[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/183 31336
/proc/meminfo: memFree=28210572/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1532484 CPUtime=1361.95 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 324030 0 0 0 136145 50 0 0 20 0 4 0 30929564 1569263616 325132 33554432000 4194304 16246674 140736784472416 140736784454336 13965719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 383121 325132 903 2943 0 380015 0
[pid=31250/tid=31251] ppid=31247 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1569263616 325132 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1569263616 325132 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1569263616 325132 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1532484

[startup+1422.3 s]
/proc/loadavg: 2.21 2.11 2.09 3/184 31340
/proc/meminfo: memFree=28201460/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1541700 CPUtime=1421.96 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 326334 0 0 0 142145 51 0 0 20 0 4 0 30929564 1578700800 327436 33554432000 4194304 16246674 140736784472416 140736784454336 12449282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 385425 327436 903 2943 0 382319 0
[pid=31250/tid=31251] ppid=31247 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1578700800 327436 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1578700800 327436 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1578700800 327436 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1541700

[startup+1482.3 s]
/proc/loadavg: 2.22 2.13 2.10 3/183 31341
/proc/meminfo: memFree=28132956/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1547844 CPUtime=1481.93 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 327870 0 0 0 148142 51 0 0 20 0 4 0 30929564 1584992256 328972 33554432000 4194304 16246674 140736784472416 140736784454336 4206671 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 386961 328972 903 2943 0 383855 0
[pid=31250/tid=31251] ppid=31247 vsize=1547844 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1584992256 328972 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1547844 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1584992256 328972 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1547844 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1584992256 328972 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1547844

[startup+1542.31 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 31342
/proc/meminfo: memFree=28117564/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1549892 CPUtime=1541.93 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 328382 0 0 0 154141 52 0 0 20 0 4 0 30929564 1587089408 329484 33554432000 4194304 16246674 140736784472416 140736784470208 12655040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 387473 329484 903 2943 0 384367 0
[pid=31250/tid=31251] ppid=31247 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1587089408 329484 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30929564 1587089408 329484 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1587089408 329484 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1549892

[startup+1602.3 s]
/proc/loadavg: 2.28 2.17 2.11 4/183 31343
/proc/meminfo: memFree=28084612/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1565252 CPUtime=1601.92 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 332222 0 0 0 160139 53 0 0 20 0 4 0 30929564 1602818048 333324 33554432000 4194304 16246674 140736784472416 140736784470208 4225073 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 391313 333324 903 2943 0 388207 0
[pid=31250/tid=31251] ppid=31247 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1602818048 333324 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1565252 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1602818048 333324 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1602818048 333324 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1565252

[startup+1662.3 s]
/proc/loadavg: 2.29 2.18 2.11 3/183 31345
/proc/meminfo: memFree=28077272/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1572420 CPUtime=1661.9 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 334014 0 0 0 166137 53 0 0 20 0 4 0 30929564 1610158080 335116 33554432000 4194304 16246674 140736784472416 140736784454336 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 393105 335116 903 2943 0 389999 0
[pid=31250/tid=31251] ppid=31247 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1610158080 335116 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1572420 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1610158080 335116 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1610158080 335116 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1572420

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.11 3/183 31346
/proc/meminfo: memFree=28055964/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1579588 CPUtime=1721.89 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 335806 0 0 0 172135 54 0 0 20 0 4 0 30929564 1617498112 336908 33554432000 4194304 16246674 140736784472416 140736784454336 4221035 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 394897 336908 903 2943 0 391791 0
[pid=31250/tid=31251] ppid=31247 vsize=1579588 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1617498112 336908 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1579588 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1617498112 336908 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1579588 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1617498112 336908 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1579588

[startup+1782.3 s]
/proc/loadavg: 2.26 2.19 2.11 3/183 31347
/proc/meminfo: memFree=28037372/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1589828 CPUtime=1781.88 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 338366 0 0 0 178134 54 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140736784454336 4225113 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 397457 339468 903 2943 0 394351 0
[pid=31250/tid=31251] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1589828 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1589828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.18 2.11 3/183 31347
/proc/meminfo: memFree=28037608/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1589828 CPUtime=1800.08 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 338366 0 0 0 179954 54 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140736784470272 4221023 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 397457 339468 903 2943 0 394351 0
[pid=31250/tid=31251] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1589828 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1589828

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.18 2.11 3/183 31347
/proc/meminfo: memFree=28037608/32872528 swapFree=1191052/1305516
[pid=31250] ppid=31247 vsize=1589828 CPUtime=1800.08 cores=1,3,5,7
/proc/31250/stat : 31250 (toysat) R 31247 31250 26736 0 -1 4202496 338366 0 0 0 179954 54 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140736784470272 4221023 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31250/statm: 397457 339468 903 2943 0 394351 0
[pid=31250/tid=31251] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31251/stat : 31251 (toysat) S 31247 31250 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009619303664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31250/tid=31252] ppid=31247 vsize=1589828 CPUtime=0.01 cores=1,3,5,7
/proc/31250/task/31252/stat : 31252 (toysat) S 31247 31250 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009608813808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31250/tid=31253] ppid=31247 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/31250/task/31253/stat : 31253 (toysat) S 31247 31250 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30929564 1627983872 339468 33554432000 4194304 16246674 140736784472416 140009491393712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1589828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.54
CPU system time (s): 0.553915
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1589828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.553915
maximum resident set size= 1357872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338366
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= 1977
involuntary context switches= 1976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4553 second user time and 17.2894 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-19 00:27:09
IDJOB=4107646
IDBENCH=72402
IDSOLVER=2542
FILE ID=node127/4107646-1466288829
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 7c5d6b201be2ac433371a2eee1efc62b
RANDOM SEED=1926136472

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.56
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.769
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:        27535464 kB
Buffers:           10940 kB
Cached:            86008 kB
SwapCached:          500 kB
Active:          3254092 kB
Inactive:          35556 kB
Active(anon):    3190256 kB
Inactive(anon):     4180 kB
Active(file):      63836 kB
Inactive(file):    31376 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             19796 kB
Writeback:             0 kB
AnonPages:       4572360 kB
Mapped:            10936 kB
Shmem:                 0 kB
Slab:             602656 kB
SReclaimable:      46820 kB
SUnreclaim:       555836 kB
KernelStack:        1520 kB
PageTables:        13412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4642768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71700 MiB
End job on node127 at 2016-06-19 00:57:10