Trace number 4079171

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.14 1800.45

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb
MD5SUM81221b652f13d6452852d67d502e0110
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3256361088357
Best CPU time to get the best result obtained on this benchmark103.857
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21101
Total number of constraints100032
Number of constraints which are clauses98467
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 8586
Biggest coefficient in the objective function 79229972375
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234599911309658
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79229972375
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234599911309658
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-07T05:53:44+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-4079171-1465271624.opb"]
0.00/0.01	c use --random-gen="70468398 2085410973 1229856197 2284465277 4103076077 189584213 3314129082 1478620740 854807990 3495379652 184827888 3598661627 3082510891 2175710396 1524854221 113395473 708152381 2588747145 2735410609 660433953 536993214 3616813097 1798823180 1628732537 990493824 17813282 1834161821 1520233401 3296065272 254803152 1315627862 1208033234 300419751 2476753357 2525165641 3572027929 2860528956 3184255507 1794325393 2329957941 2043839891 3829222572 375782099 2577150101 1328814556 1165642392 609928680 2199865899 1965588351 571229703 334473512 843734117 2092698446 132815126 639596756 4045149959 1575314023 2954238695 2325026804 26461075 4278469189 2185399028 1431456772 4040130359 1943937056 3633666308 4151712700 1627120892 3132406975 350496666 3762298147 2921470590 775301626 765700542 3842151379 1367550430 2450989701 310289470 3978561552 1215791577 3263306831 2398467783 4160736021 3438031951 1735493224 3253326817 1005813256 1835490472 3296296990 3954495895 1717354073 788323956 2931251532 3017576874 2092587991 2226671957 4175755964 1779313524 1973922319 2704350870 363610810 1119360444 258639334 2658452534 1105158045 2154662047 2765052776 995458045 300891177 1869799781 4095959385 1775929530 3342708427 1380217868 2974942940 2792777256 2315935142 2555644074 4093120375 366398050 724792150 2847109424 165257804 3671898418 3842329973 541498345 2715013051 1220694736 3220776893 2967937055 172039635 3259194334 4260666548 4056222993 3693977798 800779507 2781513461 836247066 3387865591 3176781849 41045606 896586005 138687365 2706764161 3966835649 3518873699 2833764519 1779858396 1400657896 2605423729 2626887244 603484719 1595466326 2080538454 367128550 1093675967 1518961915 1734563295 2286701092 500928109 1865439170 2800791896 2718286506 1253491006 911320635 4122995154 1114184040 2790997666 3000186977 319563983 1292300754 1159667555 2486430838 243451491 2032103045 2239069175 4185787961 2226725481 3053086058 2003380244 1250766552 764697161 3226494589 934395152 2868363594 4134555975 3377789502 2694616975 3569720865 1370317904 3651243465 526144667 413219266 3450872307 3418220077 3220371856 4088243143 1703372389 3458863207 1519619022 3583672487 4042116704 626802450 1359379030 2473624104 1902904672 3944160442 3317148068 2960436178 2847517119 228168578 1189442385 3316138952 3854945823 1501245646 2802329442 3210497899 871035895 3355423026 367475040 1971718941 1490085886 3416771575 1081372646 4265391273 973474762 3854692423 1691180300 3696967787 4157022553 3861405114 3674083432 3998414932 4257469741 589941796 4242445110 2340278780 1346374996 2027679185 1221025572 813274991 3114474072 2365657755 3843947278 2200973741 872670345 3508301116 17401607 3617733892 1846214404 2854338152 3868700253 2432927510 1180250236 3821623141 1974592473 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21101
0.69/0.72	c #constraints 100032
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 |    39935      0 |     1202 |        0
3.09/3.19	c  0.9s |       1 |    98543 |      100 |    39935      0 |     1202 |     1291
4.88/4.99	c  2.7s |       2 |   289245 |      250 |    43929      0 |     1202 |     1291
5.68/5.77	c  3.5s |       2 |   388828 |      331 |    48322      0 |     1202 |     1291
5.68/5.77	c #cpu_time = 3.452s
5.68/5.77	c #wall_clock_time = 3.461s
5.68/5.77	c #decision = 388828
5.68/5.77	c #random_decision = 1157
5.68/5.77	c #conflict = 331
5.68/5.77	c #restart = 2
5.68/5.77	o 49482816377879

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

pid=11384
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.28 2.30 2.23 3/179 11387
/proc/meminfo: memFree=25916816/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=752196 CPUtime=0 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 109095715 770248704 3173 33554432000 4194304 16246674 140734798700672 140734798700096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 188817 3183 442 2943 0 185711 0
[pid=11387/tid=11388] ppid=11384 vsize=770628 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 789123072 3245 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=774724 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 793317376 3261 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=779844 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109095715 798560256 3278 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.28 2.30 2.23 3/179 11387
/proc/meminfo: memFree=25916816/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 31414 0 0 0 5 4 0 0 20 0 4 0 109095715 1334382592 31712 33554432000 4194304 16246674 140734798700672 140734798699984 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 325777 31728 800 2943 0 322671 0
[pid=11387/tid=11388] ppid=11384 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1334382592 31742 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1334382592 31755 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1334382592 31766 33554432000 4194304 16246674 140734798700672 140513762069680 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.200547 s]
/proc/loadavg: 2.28 2.30 2.23 3/179 11387
/proc/meminfo: memFree=25916816/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 51660 0 0 0 12 7 0 0 20 0 4 0 109095715 1344868352 52469 33554432000 4194304 16246674 140734798700672 140734798699984 13750800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 52469 800 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 52469 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 52469 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 52469 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300509 s]
/proc/loadavg: 2.28 2.30 2.23 3/179 11387
/proc/meminfo: memFree=25916816/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 63866 0 0 0 20 9 0 0 20 0 4 0 109095715 1344868352 64675 33554432000 4194304 16246674 140734798700672 140734798699984 8055566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 64675 801 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 64675 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 64675 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1344868352 64675 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700444 s]
/proc/loadavg: 2.28 2.30 2.23 3/179 11387
/proc/meminfo: memFree=25916816/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 75315 0 0 0 58 11 0 0 20 0 4 0 109095715 1351159808 77146 33554432000 4194304 16246674 140734798700672 140734798698496 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 329873 77146 802 2943 0 326767 0
[pid=11387/tid=11388] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 77146 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 77146 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 77146 33554432000 4194304 16246674 140734798700672 140513762069680 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) 1319492

[startup+1.50044 s]
/proc/loadavg: 2.26 2.29 2.23 3/183 11391
/proc/meminfo: memFree=25456256/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 193680 0 0 0 120 29 0 0 20 0 4 0 109095715 1351159808 195511 33554432000 4194304 16246674 140734798700672 140734798698496 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 329873 195524 841 2943 0 326767 0
[pid=11387/tid=11388] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 195530 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 195536 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1351159808 195542 33554432000 4194304 16246674 140734798700672 140513762069680 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) 1319492

[startup+3.10044 s]
/proc/loadavg: 2.26 2.29 2.23 3/183 11391
/proc/meminfo: memFree=24816788/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273565 0 0 0 268 41 0 0 20 0 4 0 109095715 1370034176 275396 33554432000 4194304 16246674 140734798700672 140734798682560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275396 890 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275396 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275396 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275396 33554432000 4194304 16246674 140734798700672 140513762069680 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) 1337924

[startup+6.3004 s]
/proc/loadavg: 2.26 2.29 2.23 3/183 11391
/proc/meminfo: memFree=24937360/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=6.28 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273640 0 0 0 587 41 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140734798682560 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275982 904 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513762069680 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.30 2.30 2.23 3/183 11391
/proc/meminfo: memFree=24805808/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=12.68 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273640 0 0 0 1227 41 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140734798682560 12654401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275982 904 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513762069680 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.33 2.31 2.23 3/183 11391
/proc/meminfo: memFree=24691992/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=25.49 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273640 0 0 0 2507 42 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140734798682560 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275982 904 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.34 2.31 2.23 3/183 11391
/proc/meminfo: memFree=24793984/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=51.09 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273640 0 0 0 5067 42 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140734798682560 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275982 904 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275982 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.31 2.32 2.24 3/183 11392
/proc/meminfo: memFree=25080936/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 273641 0 0 0 10186 42 0 0 20 0 4 0 109095715 1370034176 275983 33554432000 4194304 16246674 140734798700672 140734798682560 6955456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 334481 275983 904 2943 0 331375 0
[pid=11387/tid=11388] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275983 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275983 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1370034176 275983 33554432000 4194304 16246674 140734798700672 140513762069680 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/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1552486400 320527 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1516100

[startup+1302.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 11445
/proc/meminfo: memFree=25538008/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1516100 CPUtime=1302.08 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 318185 0 0 0 130157 51 0 0 20 0 4 0 109095715 1552486400 320527 33554432000 4194304 16246674 140734798700672 140734798698496 4225134 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 379025 320527 904 2943 0 375919 0
[pid=11387/tid=11388] ppid=11384 vsize=1516100 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1552486400 320527 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1516100 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109095715 1552486400 320527 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1516100 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1552486400 320527 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1516100

[startup+1362.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 11446
/proc/meminfo: memFree=25264868/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1530436 CPUtime=1362.06 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 321769 0 0 0 136155 51 0 0 20 0 4 0 109095715 1567166464 324111 33554432000 4194304 16246674 140734798700672 140734798682560 4225056 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 382609 324111 904 2943 0 379503 0
[pid=11387/tid=11388] ppid=11384 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1567166464 324111 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1567166464 324111 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1567166464 324111 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1530436

[startup+1422.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 11447
/proc/meminfo: memFree=25089592/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1538628 CPUtime=1422.06 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 323817 0 0 0 142154 52 0 0 20 0 4 0 109095715 1575555072 326159 33554432000 4194304 16246674 140734798700672 140734798699984 12656040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 384657 326159 904 2943 0 381551 0
[pid=11387/tid=11388] ppid=11384 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1575555072 326159 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1575555072 326159 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1575555072 326159 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1538628

[startup+1482.3 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 11448
/proc/meminfo: memFree=24945068/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1543748 CPUtime=1482.04 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 325097 0 0 0 148152 52 0 0 20 0 4 0 109095715 1580797952 327439 33554432000 4194304 16246674 140734798700672 140734798699984 13880012 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 385937 327439 904 2943 0 382831 0
[pid=11387/tid=11388] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327439 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327439 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327439 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1543748

[startup+1542.31 s]
/proc/loadavg: 2.29 2.23 2.19 3/182 11498
/proc/meminfo: memFree=27764856/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1543748 CPUtime=1542.03 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 325097 0 0 0 154151 52 0 0 20 0 4 0 109095715 1580797952 327442 33554432000 4194304 16246674 140734798700672 140734798699984 12429125 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 385937 327442 904 2943 0 382831 0
[pid=11387/tid=11388] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327442 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327442 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1580797952 327442 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1543748

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/184 11503
/proc/meminfo: memFree=27758304/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1549892 CPUtime=1602.02 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 326637 0 0 0 160149 53 0 0 20 0 4 0 109095715 1587089408 328978 33554432000 4194304 16246674 140734798700672 140734798699984 12371234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 387473 328978 904 2943 0 384367 0
[pid=11387/tid=11388] ppid=11384 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1587089408 328978 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1549892 CPUtime=0.01 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 109095715 1587089408 328978 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1587089408 328978 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1549892

[startup+1662.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 11504
/proc/meminfo: memFree=27743708/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1564228 CPUtime=1662 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 330224 0 0 0 166147 53 0 0 20 0 4 0 109095715 1601769472 332562 33554432000 4194304 16246674 140734798700672 140734798698496 4225334 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 391057 332562 904 2943 0 387951 0
[pid=11387/tid=11388] ppid=11384 vsize=1564228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1601769472 332562 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1564228 CPUtime=0.01 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 109095715 1601769472 332562 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1564228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1601769472 332562 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1564228

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 11505
/proc/meminfo: memFree=27731084/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1576516 CPUtime=1721.99 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 333297 0 0 0 172145 54 0 0 20 0 4 0 109095715 1614352384 335634 33554432000 4194304 16246674 140734798700672 140734798682560 4225056 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 394129 335634 904 2943 0 391023 0
[pid=11387/tid=11388] ppid=11384 vsize=1576516 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1614352384 335634 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1576516 CPUtime=0.01 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 109095715 1614352384 335634 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1576516 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1614352384 335634 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1576516

[startup+1782.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 11506
/proc/meminfo: memFree=27727028/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1580612 CPUtime=1781.98 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 334321 0 0 0 178144 54 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140734798699984 12371101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 395153 336658 904 2943 0 392047 0
[pid=11387/tid=11388] ppid=11384 vsize=1580612 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1580612 CPUtime=0.01 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1580612 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1580612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.22 2.19 3/182 11507
/proc/meminfo: memFree=27726380/32872528 swapFree=15272/1656604
[pid=11387] ppid=11384 vsize=1580612 CPUtime=1800.07 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9894 0 -1 4202496 334325 0 0 0 179953 54 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140734798682560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 395153 336658 904 2943 0 392047 0
[pid=11387/tid=11388] ppid=11384 vsize=1580612 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513783033072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1580612 CPUtime=0.01 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9894 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513772543216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1580612 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109095715 1618546688 336658 33554432000 4194304 16246674 140734798700672 140513762069680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1580612

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.14
CPU user time (s): 1799.56
CPU system time (s): 0.58691
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1580612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.58691
maximum resident set size= 1346632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334325
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= 1706
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47302 second user time and 9.90349 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 05:53:44
IDJOB=4079171
IDBENCH=72396
IDSOLVER=2542
FILE ID=node136/4079171-1465271624
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079171-1465271624/watcher-4079171-1465271624 -o /tmp/evaluation-result-4079171-1465271624/solver-4079171-1465271624 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079171-1465271624.opb

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

MD5SUM BENCH= 81221b652f13d6452852d67d502e0110
RANDOM SEED=507912013

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.59
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.959
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.959
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:        25917872 kB
Buffers:          105880 kB
Cached:           201180 kB
SwapCached:          812 kB
Active:          4369336 kB
Inactive:         187648 kB
Active(anon):    4250632 kB
Inactive(anon):     1256 kB
Active(file):     118704 kB
Inactive(file):   186392 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19832 kB
Writeback:             0 kB
AnonPages:       5905280 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599868 kB
SReclaimable:      43820 kB
SUnreclaim:       556048 kB
KernelStack:        1488 kB
PageTables:        15488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6051728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 71696 MiB
End job on node136 at 2016-06-07 06:23:44