Trace number 4111284

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? (exit code) 958.518 958.679

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f46-DC_Side1.seq-B-2-1-irabcde.opb
MD5SUMc994d4bffb64df9f8adceb2a116e1d6a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19643696520
Best CPU time to get the best result obtained on this benchmark12.4671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6015
Total number of constraints17521
Number of constraints which are clauses17385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 496
Biggest coefficient in the objective function 262609375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 84822828124
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 262609375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 84822828124
Number of bits of the biggest sum of numbers37
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-20T07:52:48+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-4111284-1466401968.opb"]
0.00/0.01	c use --random-gen="2007734889 587507124 1781515586 4028333840 2390923730 654377965 705727944 4073180999 935487884 1490775537 3330609537 2935615083 1880929166 2676834730 694900668 1196131226 1244889088 2008056127 3086813539 2350995101 1392809245 2470150614 2666860916 267397503 1216914642 4203959389 3627970230 3750297909 2178960210 277167106 3127251371 3845838920 1501909234 4203100305 3810642634 2739014656 1049410962 4093370133 2922354474 1478654949 1864634840 476869336 4010906053 77256868 4051691250 3338508029 3501848409 1763566012 2787492881 1342890302 1943830670 894068716 2449789245 1266133082 64802922 2317055329 2599427425 686551811 412596388 719595077 1083499514 692924979 1289585717 161373936 1626765204 1572179060 2910601261 3408790486 3614759620 2924376235 765223515 53882367 1213727790 2847759678 1976515826 4258921655 2234249709 2992718204 1224474657 2384139611 1354408767 1768426926 1165303042 3344962936 3108771672 2949613137 375813652 1705272435 982778537 229412126 2581105420 2763578206 1879194582 3022916788 309364284 733486642 1485789728 1952881505 3738765653 1371250040 2363702517 3531185224 1520310523 621748854 962768369 815791128 310718761 1890768813 635710121 3166137842 1321861949 2384884027 3568938720 1035790764 54228286 1081862488 3275925395 1823187513 3827423272 4159118075 2561406322 3883523576 3975090548 2258186977 930551427 3447627127 3290092109 2114154104 1366939306 1828447395 1643958728 2385811469 1294080002 3291310547 801262419 1816026891 3682554876 749802942 144287822 2659497052 3351758467 3557666566 2787379045 4251855793 2133603776 926443796 430295140 2749652602 191273854 2642412807 1916977247 1797549709 1946508318 2044348692 654988443 511271258 242822143 329024899 2991893365 824414815 1747806100 534740214 417648247 3773869566 2818060687 499705009 269710373 3516037420 3569134947 75860464 1085268060 424470171 1965524233 4128296797 1275598066 4227101654 1191331522 3445121932 1072212576 1291740031 2057842992 4119585626 1341434202 1843065830 607725122 721754703 2082320303 58661946 1820135697 696057884 1748831511 2073702439 899994767 3364529206 3725777141 1483185485 3221556994 4023520933 2237118294 3860115679 499969808 3810921841 3337665540 3078713941 4175301179 2478598129 167394743 3564772791 1019636934 737353465 1337617173 1030413695 3047994180 1698038837 3879474372 1658725583 4273712214 3091681656 2897085651 203972971 3786534519 2125177748 241590339 2620822505 2498709250 1518486022 2332036511 3650584522 4242875065 41834723 1690319878 3171168529 3229188912 1165866662 2775702497 1045736472 727457272 3976688012 673602541 1225971898 2479787423 2150193154 2089352839 2491470915 2265526198 545351566 1887951085 2525371782 3167765588 2598387272 2162629740 1083425749 3994226938 3160749942 2558904848 4196945642 255 362436" option to reproduce the execution
0.09/0.14	c #vars 6015
0.09/0.14	c #constraints 17521
0.28/0.31	c BCD2: Hardening is enabled.
0.28/0.31	c BCD2: BiasedSearch is enabled.
0.28/0.31	c Solving starts ...
0.28/0.31	c ============================[ Search Statistics ]============================
0.28/0.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.31	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.31	c =============================================================================
0.28/0.31	c  0.0s |       0 |        0 |        0 |     7219      0 |      640 |        0
0.28/0.34	c  0.0s |       0 |      261 |        3 |     7219      0 |      640 |      504
0.28/0.34	c #cpu_time = 0.028s
0.28/0.34	c #wall_clock_time = 0.028s
0.28/0.34	c #decision = 261
0.28/0.34	c #random_decision = 0
0.28/0.34	c #conflict = 3
0.28/0.34	c #restart = 0
0.28/0.34	o 56722124375
0.28/0.36	c BCD2: updating upper bound: 84822828124 -> 56722124374
957.68/957.87	toysat: out of memory (requested 245366784 bytes)

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

pid=11692
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.20 2.20 2.18 3/179 11695
/proc/meminfo: memFree=22071072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=694852 CPUtime=0 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 2588 0 0 0 0 0 0 0 20 0 4 0 42243398 711528448 2949 33554432000 4194304 16246674 140737271241488 140737271240912 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 174481 2957 442 2943 0 171375 0
[pid=11695/tid=11696] ppid=11692 vsize=713284 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 730402816 3019 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=717380 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 734597120 3036 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=721476 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42243398 738791424 3051 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 11695
/proc/meminfo: memFree=22071072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 28248 0 0 0 5 4 0 0 20 0 4 0 42243398 1249447936 28547 33554432000 4194304 16246674 140737271241488 140737271240800 4206674 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 305041 28547 801 2943 0 301935 0
[pid=11695/tid=11696] ppid=11692 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1249447936 28547 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1249447936 28547 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1249447936 28547 33554432000 4194304 16246674 140737271241488 140080106687664 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) 1220164

[startup+0.200604 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 11695
/proc/meminfo: memFree=22071072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 48529 0 0 0 12 7 0 0 20 0 4 0 42243398 1333334016 48828 33554432000 4194304 16246674 140737271241488 140737271240800 6165351 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 325521 48828 838 2943 0 322415 0
[pid=11695/tid=11696] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 48828 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 48828 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 48828 33554432000 4194304 16246674 140737271241488 140080106687664 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) 1302084

[startup+0.300512 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 11695
/proc/meminfo: memFree=22071072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 56747 0 0 0 20 8 0 0 20 0 4 0 42243398 1333334016 57046 33554432000 4194304 16246674 140737271241488 140737271240800 6165414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 325521 57055 838 2943 0 322415 0
[pid=11695/tid=11696] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 57059 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 57064 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 57068 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700432 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 11695
/proc/meminfo: memFree=22071072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 158395 0 0 0 48 21 0 0 20 0 4 0 42243398 1333334016 158695 33554432000 4194304 16246674 140737271241488 140737271240800 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 325521 158709 897 2943 0 322415 0
[pid=11695/tid=11696] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 158717 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 158726 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1333334016 158735 33554432000 4194304 16246674 140737271241488 140080106687664 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) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 11699
/proc/meminfo: memFree=21020656/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1371716 CPUtime=1.49 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 284012 0 0 0 113 36 0 0 20 0 4 0 42243398 1404637184 284311 33554432000 4194304 16246674 140737271241488 140737271240800 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 342929 284311 898 2943 0 339823 0
[pid=11695/tid=11696] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284311 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284311 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284311 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1371716

[startup+3.10043 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 11699
/proc/meminfo: memFree=20933980/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1371716 CPUtime=3.09 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 284125 0 0 0 273 36 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140737271223360 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 342929 284424 898 2943 0 339823 0
[pid=11695/tid=11696] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1371716

[startup+6.30044 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 11699
/proc/meminfo: memFree=20934016/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1371716 CPUtime=6.29 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 284125 0 0 0 593 36 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140737271223360 4207010 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 342929 284424 898 2943 0 339823 0
[pid=11695/tid=11696] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1371716

[startup+12.7004 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 11699
/proc/meminfo: memFree=19644536/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=1371716 CPUtime=12.69 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 284125 0 0 0 1233 36 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140737271239296 4221122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 342929 284424 898 2943 0 339823 0
[pid=11695/tid=11696] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 1404637184 284424 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1371716

[startup+25.5005 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 11699
/proc/meminfo: memFree=18377028/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=2088516 CPUtime=25.48 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 463319 0 0 0 2490 58 0 0 20 0 4 0 42243398 2138640384 463618 33554432000 4194304 16246674 140737271241488 140737271240584 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 522385 463628 898 2943 0 519279 0
[pid=11695/tid=11696] ppid=11692 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 2139688960 463632 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 2139688960 463638 33554432000 4194304 16246674 140737271241488 140080117160976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 2139688960 463642 33554432000 4194304 16246674 140737271241488 140080106687664 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) 2088516

[startup+51.1005 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 11699
/proc/meminfo: memFree=17978696/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=3091012 CPUtime=51.08 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 713949 0 0 0 5015 93 0 0 20 0 4 0 42243398 3165196288 714248 33554432000 4194304 16246674 140737271241488 140737271223360 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 772753 714248 898 2943 0 769647 0
[pid=11695/tid=11696] ppid=11692 vsize=3091012 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 3165196288 714248 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=3091012 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 3165196288 714248 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=3091012 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 3165196288 714248 33554432000 4194304 16246674 140737271241488 140080106687664 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) 3091012

[startup+102.3 s]
/proc/loadavg: 2.30 2.22 2.19 4/183 11700
/proc/meminfo: memFree=13102072/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=4693572 CPUtime=102.29 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 1114591 0 0 0 10073 156 0 0 20 0 4 0 42243398 4806217728 1114890 33554432000 4194304 16246674 140737271241488 140737271240800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 1173393 1114890 898 2943 0 1170287 0
[pid=11695/tid=11696] ppid=11692 vsize=4693572 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 4806217728 1114890 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=4693572 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 4806217728 1114890 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=4693572 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 4806217728 1114890 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 4693572


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

/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14132252672 3391760 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 13801028

[startup+702.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 11786
/proc/meminfo: memFree=13867148/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14078532 CPUtime=702.22 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4296934 0 0 0 69562 660 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140737271239360 13899629 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3519633 3461137 902 2943 0 3516527 0
[pid=11695/tid=11696] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080117160976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.22
Current children cumulated vsize (KiB) 14078532

[startup+762.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 11787
/proc/meminfo: memFree=11723896/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14078532 CPUtime=762.21 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4296934 0 0 0 75558 663 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140737271240664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3519633 3461137 902 2943 0 3516527 0
[pid=11695/tid=11696] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14078532 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14416416768 3461137 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.21
Current children cumulated vsize (KiB) 14078532

[startup+822.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 11788
/proc/meminfo: memFree=9351548/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14299716 CPUtime=822.2 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4299597 0 0 0 81548 672 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140737271239424 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3574929 3516433 902 2943 0 3571823 0
[pid=11695/tid=11696] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080117160976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 14299716

[startup+882.307 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 11789
/proc/meminfo: memFree=8071272/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14299716 CPUtime=882.2 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4299597 0 0 0 87543 677 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140737271239360 13899722 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3574929 3516433 902 2943 0 3571823 0
[pid=11695/tid=11696] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080117160976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 14299716

[startup+942.3 s]
/proc/loadavg: 2.27 2.22 2.19 4/183 11791
/proc/meminfo: memFree=3575848/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14299716 CPUtime=942.19 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4299599 0 0 0 93539 680 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140737271240800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3574929 3516433 902 2943 0 3571823 0
[pid=11695/tid=11696] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 14299716

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11695 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+947.208 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 11791
/proc/meminfo: memFree=5603988/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14299716 CPUtime=947.1 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4299599 0 0 0 94029 681 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140737271240584 12429095 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3574929 3516433 902 2943 0 3571823 0
[pid=11695/tid=11696] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 947.1
Current children cumulated vsize (KiB) 14299716

[startup+953.6 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 11791
/proc/meminfo: memFree=5603964/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=14299716 CPUtime=953.48 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4299599 0 0 0 94667 681 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140737271240584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3574929 3516433 902 2943 0 3571823 0
[pid=11695/tid=11696] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=14299716 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 14642909184 3516433 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 953.48
Current children cumulated vsize (KiB) 14299716

[startup+956.8 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 11791
/proc/meminfo: memFree=4916508/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=15354436 CPUtime=956.69 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4563147 0 0 0 94953 716 0 0 20 0 4 0 42243398 15722942464 3779981 33554432000 4194304 16246674 140737271241488 140737271240664 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3838609 3779990 902 2943 0 3835503 0
[pid=11695/tid=11696] ppid=11692 vsize=15354436 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 15722942464 3779996 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=15354436 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 15722942464 3780002 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=15354436 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 15722942464 3780008 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 956.69
Current children cumulated vsize (KiB) 15354436

[startup+957.6 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 11791
/proc/meminfo: memFree=4465768/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=15682116 CPUtime=957.48 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) R 11692 11695 9424 0 -1 4202496 4644984 0 0 0 95019 729 0 0 20 0 4 0 42243398 16058486784 3861819 33554432000 4194304 16246674 140737271241488 140737271240664 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 3920529 3861822 902 2943 0 3917423 0
[pid=11695/tid=11696] ppid=11692 vsize=15682116 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11696/stat : 11696 (toysat) S 11692 11695 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42243398 16058486784 3861822 33554432000 4194304 16246674 140737271241488 140080127651056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11695/tid=11697] ppid=11692 vsize=15682116 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11697/stat : 11697 (toysat) S 11692 11695 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42243398 16058486784 3861822 33554432000 4194304 16246674 140737271241488 140080117161200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=15682116 CPUtime=0 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) S 11692 11695 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42243398 16058486784 3861822 33554432000 4194304 16246674 140737271241488 140080106687664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 957.48
Current children cumulated vsize (KiB) 15682116

[startup+958.4 s]
/proc/loadavg: 2.29 2.23 2.19 3/181 11791
/proc/meminfo: memFree=8789352/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=0 CPUtime=958.23 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) Z 11692 11695 9424 0 -1 4202508 4664561 0 0 0 95041 782 0 0 20 0 2 0 42243398 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 0 0 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=0 CPUtime=0.51 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) R 11692 11695 9424 0 -1 4203588 2 0 0 0 0 51 0 0 20 0 2 0 42243398 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 958.23
Current children cumulated vsize (KiB) 0

[startup+958.6 s]
/proc/loadavg: 2.29 2.23 2.19 3/181 11791
/proc/meminfo: memFree=8789352/32872528 swapFree=1542984/1696284
[pid=11695] ppid=11692 vsize=0 CPUtime=958.43 cores=1,3,5,7
/proc/11695/stat : 11695 (toysat) Z 11692 11695 9424 0 -1 4202508 4664561 0 0 0 95041 802 0 0 20 0 2 0 42243398 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11695/statm: 0 0 0 0 0 0 0
[pid=11695/tid=11698] ppid=11692 vsize=0 CPUtime=0.71 cores=1,3,5,7
/proc/11695/task/11698/stat : 11698 (toysat) R 11692 11695 9424 0 -1 4203588 2 0 0 0 0 71 0 0 20 0 2 0 42243398 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 958.43
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 958.679
CPU time (s): 958.518
CPU user time (s): 950.419
CPU system time (s): 8.09877
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 15759940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.42
system time used= 8.09877
maximum resident set size= 15525580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4664561
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= 305
involuntary context switches= 1038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09207 second user time and 9.40557 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 07:52:48
IDJOB=4111284
IDBENCH=109082
IDSOLVER=2542
FILE ID=node125/4111284-1466401968
RUNJOBID= node125-1466384086-9441
PBS_JOBID= 19923262
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111284-1466401968/watcher-4111284-1466401968 -o /tmp/evaluation-result-4111284-1466401968/solver-4111284-1466401968 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9441 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111284-1466401968.opb

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

MD5SUM BENCH= c994d4bffb64df9f8adceb2a116e1d6a
RANDOM SEED=1685957519

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        22071412 kB
Buffers:           28840 kB
Cached:            78724 kB
SwapCached:         3608 kB
Active:          8315264 kB
Inactive:          43092 kB
Active(anon):    8247736 kB
Inactive(anon):     5800 kB
Active(file):      67528 kB
Inactive(file):    37292 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67094816 kB
Dirty:             16740 kB
Writeback:             4 kB
AnonPages:       9944688 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             595168 kB
SReclaimable:      38808 kB
SUnreclaim:       556360 kB
KernelStack:        1456 kB
PageTables:        23536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10088648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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= 71712 MiB
End job on node125 at 2016-06-20 08:08:46