Trace number 4107642

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.08 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-idle.cudf.trendy.opb
MD5SUM70982811654623db9c913b43ef1298b0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3099786807987
Best CPU time to get the best result obtained on this benchmark383.207
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21105
Total number of constraints100043
Number of constraints which are clauses98478
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T00:21:05+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-4107642-1466288465.opb"]
0.00/0.01	c use --random-gen="2360467390 708415678 1542668213 4166862450 62431520 2990258338 526436433 581904752 2605470232 1541681353 2134877362 2192149367 1218217113 3896123956 317562210 2792934959 3527880897 1193341009 1275977138 1382498100 2485972246 3778106465 826851712 454637494 470719732 3077594889 2206035841 2589572407 117021091 3311100118 3075837746 2788340051 2621483268 3934959950 3711829697 3964673057 3025209479 32600289 1550805077 1452011053 121679409 4000416538 222432662 2348461357 61047348 1873218063 2386802551 369833207 643464787 3100305723 3172910110 415444258 1672395562 1922974379 2913444456 3012073227 2857373301 1411760736 908009785 2504474777 3860784078 2238296482 451843160 1100988070 1280075143 3654243372 4255840824 2721571295 3088495413 1658021035 1163705844 367070466 932876940 1676892051 544136482 427545307 1239382844 3842325981 1856881823 4269606919 3534991267 1041000168 1071148354 2264294742 3881876878 1191068872 3412200611 3557541394 4246519335 3027508894 3079077246 79684246 762324148 4277026967 1136116950 2266196011 1607475997 3743841520 2389555599 4015930884 139017616 400851779 3277927342 364591533 891291641 2010588593 1993572169 4182596534 2684262950 3690432980 161410531 2216737606 3092799854 3236323891 2605300985 1263669316 931588942 472217366 4153730743 4105407334 1570735935 1304486267 646137692 3787378309 2015214507 2904304514 1469732124 574291335 3437416788 1116673237 1127224456 3066170719 1086329668 2511309267 3485323616 3386478475 851863548 3607163854 1079018538 2389302707 3058694967 474035038 468516105 1650300238 1553545209 1014056573 903467795 856060065 1594002278 3962182970 170995758 3215247924 1680490942 1067639552 175912044 1469092707 2427075917 941670290 2291346543 566804142 244413445 340173676 1014104414 2973580449 2826903862 341538836 1249208658 283799346 4181475792 3236389664 4029413964 1863120111 1610625462 4128398536 3797210961 3741654321 1843289017 3008526210 1599286619 80393771 3636744833 3256117980 1399802232 2835172529 2925977189 2133996562 2015889120 2070985834 736070285 3135332926 3999551109 882571657 3787973701 2788482252 3062057100 1997927653 3454959228 1182545687 1590907773 2235614877 980488622 1156281791 1860300121 561266717 1239832488 2185171235 2208187813 369496164 394267923 3062339950 106507710 2904943086 2845679651 3731924669 3030784297 352159483 2610390057 1070206796 71196388 1680204070 223660405 3375203540 1405168307 669943458 3471025986 790952112 2453892582 110844087 2013824517 3064937285 716551450 1051570366 966154318 2614178329 2107678205 3823123679 4153560318 2251819024 3921840618 3859961613 4194408101 3449407047 1388035453 2127919058 2265293456 1314928491 47004019 4170781110 350232458 558638111 3968233171 3240759524 3655275899 3209498778 2088241725 1556970380 255 362436" option to reproduce the execution
0.68/0.72	c #vars 21105
0.68/0.72	c #constraints 100043
2.29/2.30	c BCD2: Hardening is enabled.
2.29/2.30	c BCD2: BiasedSearch is enabled.
2.29/2.30	c Solving starts ...
2.29/2.30	c ============================[ Search Statistics ]============================
2.29/2.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.29/2.30	c       |         |          |          |    Limit     GC | Var      | Constra 
2.29/2.30	c =============================================================================
2.29/2.31	c  0.0s |       0 |        0 |        0 |    39940      0 |     1202 |        0
2.99/3.02	c  0.7s |       1 |    83404 |      100 |    39940      0 |     1202 |     1291
4.69/4.77	c  2.5s |       2 |   273909 |      250 |    43934      0 |     1202 |     1291
5.49/5.57	c  3.3s |       2 |   382188 |      339 |    48328      0 |     1202 |     1291
5.49/5.57	c #cpu_time = 3.254s
5.49/5.57	c #wall_clock_time = 3.254s
5.49/5.57	c #decision = 382188
5.49/5.57	c #random_decision = 1063
5.49/5.57	c #conflict = 339
5.49/5.57	c #restart = 2
5.49/5.57	o 49437187769693

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.26 2.23 4/179 29747
/proc/meminfo: memFree=27704580/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 2424 0 0 0 0 0 0 0 20 0 4 0 30892210 668397568 2785 33554432000 4194304 16246674 140735674566032 140735674565456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 163951 2793 441 2943 0 160845 0
[pid=29747/tid=29748] ppid=29744 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 685174784 2849 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 690417664 2867 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30892211 694611968 2882 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.26 2.26 2.23 4/179 29747
/proc/meminfo: memFree=27704580/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 30672 0 0 0 4 5 0 0 20 0 4 0 30892210 1334382592 30971 33554432000 4194304 16246674 140735674566032 140735674565344 7361726 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 325777 30984 800 2943 0 322671 0
[pid=29747/tid=29748] ppid=29744 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1334382592 30995 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1334382592 31006 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1334382592 31016 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200505 s]
/proc/loadavg: 2.26 2.26 2.23 4/179 29747
/proc/meminfo: memFree=27704580/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 50544 0 0 0 11 8 0 0 20 0 4 0 30892210 1345916928 51353 33554432000 4194304 16246674 140735674566032 140735674565344 14795924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 328593 51353 800 2943 0 325487 0
[pid=29747/tid=29748] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 51353 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 51353 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 51353 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300499 s]
/proc/loadavg: 2.26 2.26 2.23 4/179 29747
/proc/meminfo: memFree=27704580/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 60972 0 0 0 19 10 0 0 20 0 4 0 30892210 1345916928 61781 33554432000 4194304 16246674 140735674566032 140735674565344 12751166 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 328593 61781 801 2943 0 325487 0
[pid=29747/tid=29748] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 61781 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 61781 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 61781 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700396 s]
/proc/loadavg: 2.26 2.26 2.23 4/179 29747
/proc/meminfo: memFree=27704580/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 72050 0 0 0 57 11 0 0 20 0 4 0 30892210 1345916928 72859 33554432000 4194304 16246674 140735674566032 140735674547904 4221095 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 328593 72859 802 2943 0 325487 0
[pid=29747/tid=29748] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 72859 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 72859 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1345916928 72859 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.26 2.26 2.23 4/183 29751
/proc/meminfo: memFree=27249216/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 192977 0 0 0 117 32 0 0 20 0 4 0 30892210 1351159808 193786 33554432000 4194304 16246674 140735674566032 140735674547904 6939076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 329873 193795 841 2943 0 326767 0
[pid=29747/tid=29748] ppid=29744 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1351159808 193800 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1351159808 193806 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1351159808 193811 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10039 s]
/proc/loadavg: 2.26 2.26 2.23 4/183 29751
/proc/meminfo: memFree=26602060/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275092 0 0 0 264 45 0 0 20 0 4 0 30892210 1370034176 275901 33554432000 4194304 16246674 140735674566032 140735674547904 5828996 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334481 275901 890 2943 0 331375 0
[pid=29747/tid=29748] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275901 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275901 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275901 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30039 s]
/proc/loadavg: 2.32 2.28 2.24 3/183 29751
/proc/meminfo: memFree=26507148/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275174 0 0 0 584 45 0 0 20 0 4 0 30892210 1370034176 275983 33554432000 4194304 16246674 140735674566032 140735674563904 12429121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334481 275983 904 2943 0 331375 0
[pid=29747/tid=29748] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.37 2.29 2.24 4/183 29751
/proc/meminfo: memFree=26506940/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1337924 CPUtime=12.68 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275174 0 0 0 1223 45 0 0 20 0 4 0 30892210 1370034176 275983 33554432000 4194304 16246674 140735674566032 140735674547904 12654252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334481 275983 904 2943 0 331375 0
[pid=29747/tid=29748] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.29 2.27 2.24 3/183 29751
/proc/meminfo: memFree=26379980/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1337924 CPUtime=25.48 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275174 0 0 0 2503 45 0 0 20 0 4 0 30892210 1370034176 275983 33554432000 4194304 16246674 140735674566032 140735674547904 12429846 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334481 275983 904 2943 0 331375 0
[pid=29747/tid=29748] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.25 2.26 2.24 3/183 29751
/proc/meminfo: memFree=26250996/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275174 0 0 0 5063 45 0 0 20 0 4 0 30892210 1370034176 275983 33554432000 4194304 16246674 140735674566032 140735674547904 12414096 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334481 275983 904 2943 0 331375 0
[pid=29747/tid=29748] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1370034176 275983 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.22 2.25 2.23 4/183 29752
/proc/meminfo: memFree=26036588/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 275195 0 0 0 10183 45 0 0 20 0 4 0 30892210 1371082752 276004 33554432000 4194304 16246674 140735674566032 140735674547904 13901608 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 334737 276004 904 2943 0 331631 0
[pid=29747/tid=29748] ppid=29744 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1371082752 276004 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1371082752 276004 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1371082752 276004 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1441337344 293395 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1407556

[startup+1302.3 s]
/proc/loadavg: 2.15 2.27 2.26 3/183 30027
/proc/meminfo: memFree=27828728/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1501764 CPUtime=1302.03 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 316249 0 0 0 130151 52 0 0 20 0 4 0 30892210 1537806336 316947 33554432000 4194304 16246674 140735674566032 140735674565248 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 375441 316947 904 2943 0 372335 0
[pid=29747/tid=29748] ppid=29744 vsize=1501764 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1537806336 316947 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1501764 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1537806336 316947 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1501764 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1537806336 316947 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1501764

[startup+1362.3 s]
/proc/loadavg: 2.33 2.28 2.26 4/183 30028
/proc/meminfo: memFree=27814496/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1516100 CPUtime=1362.02 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 319833 0 0 0 136149 53 0 0 20 0 4 0 30892210 1552486400 320531 33554432000 4194304 16246674 140735674566032 140735674565248 12654456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 379025 320531 904 2943 0 375919 0
[pid=29747/tid=29748] ppid=29744 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1552486400 320531 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1552486400 320531 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1552486400 320531 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1516100

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.26 3/183 30030
/proc/meminfo: memFree=27759084/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1536580 CPUtime=1422.02 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 324953 0 0 0 142148 54 0 0 20 0 4 0 30892210 1573457920 325651 33554432000 4194304 16246674 140735674566032 140735674565248 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 384145 325651 904 2943 0 381039 0
[pid=29747/tid=29748] ppid=29744 vsize=1536580 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1573457920 325651 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1536580 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1573457920 325651 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1536580 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1573457920 325651 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1536580

[startup+1482.3 s]
/proc/loadavg: 2.23 2.27 2.26 3/183 30031
/proc/meminfo: memFree=27721196/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1543748 CPUtime=1482 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 326745 0 0 0 148146 54 0 0 20 0 4 0 30892210 1580797952 327443 33554432000 4194304 16246674 140735674566032 140735674547904 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 385937 327443 904 2943 0 382831 0
[pid=29747/tid=29748] ppid=29744 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1580797952 327443 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1580797952 327443 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1580797952 327443 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1543748

[startup+1542.31 s]
/proc/loadavg: 2.33 2.29 2.27 4/183 30032
/proc/meminfo: memFree=27718064/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1547844 CPUtime=1542 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 327769 0 0 0 154145 55 0 0 20 0 4 0 30892210 1584992256 328467 33554432000 4194304 16246674 140735674566032 140735674565248 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 386961 328467 904 2943 0 383855 0
[pid=29747/tid=29748] ppid=29744 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1584992256 328467 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1584992256 328467 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1584992256 328467 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1547844

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.26 3/183 30033
/proc/meminfo: memFree=27716696/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1548868 CPUtime=1601.98 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 328025 0 0 0 160143 55 0 0 20 0 4 0 30892210 1586040832 328723 33554432000 4194304 16246674 140735674566032 140735674547904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 387217 328723 904 2943 0 384111 0
[pid=29747/tid=29748] ppid=29744 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1586040832 328723 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1586040832 328723 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1586040832 328723 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1548868

[startup+1662.3 s]
/proc/loadavg: 2.39 2.30 2.28 3/183 30034
/proc/meminfo: memFree=27698124/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1565252 CPUtime=1661.97 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 332121 0 0 0 166141 56 0 0 20 0 4 0 30892210 1602818048 332819 33554432000 4194304 16246674 140735674566032 140735674547904 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 391313 332819 904 2943 0 388207 0
[pid=29747/tid=29748] ppid=29744 vsize=1565252 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1602818048 332819 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1565252 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1602818048 332819 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1565252 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1602818048 332819 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1565252

[startup+1722.3 s]
/proc/loadavg: 2.35 2.31 2.28 4/183 30036
/proc/meminfo: memFree=27696816/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1566276 CPUtime=1721.96 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 332377 0 0 0 172140 56 0 0 20 0 4 0 30892210 1603866624 333075 33554432000 4194304 16246674 140735674566032 140735674563856 4221138 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 391569 333075 904 2943 0 388463 0
[pid=29747/tid=29748] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727493635088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1566276

[startup+1782.3 s]
/proc/loadavg: 2.23 2.28 2.27 4/184 30040
/proc/meminfo: memFree=27696608/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1566276 CPUtime=1781.95 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 332377 0 0 0 178139 56 0 0 20 0 4 0 30892210 1603866624 333075 33554432000 4194304 16246674 140735674566032 140735674565248 12414073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 391569 333075 904 2943 0 388463 0
[pid=29747/tid=29748] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1566276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 30040
/proc/meminfo: memFree=27696584/32872528 swapFree=1402776/1580604
[pid=29747] ppid=29744 vsize=1566276 CPUtime=1800.05 cores=0,2,4,6
/proc/29747/stat : 29747 (toysat) R 29744 29747 28125 0 -1 4202496 332377 0 0 0 179949 56 0 0 20 0 4 0 30892210 1603866624 333075 33554432000 4194304 16246674 140735674566032 140735674563904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 391569 333075 904 2943 0 388463 0
[pid=29747/tid=29748] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29748/stat : 29748 (toysat) S 29744 29747 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727504125168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29747/tid=29749] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29749/stat : 29749 (toysat) S 29744 29747 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727493635312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29747/tid=29750] ppid=29744 vsize=1566276 CPUtime=0 cores=0,2,4,6
/proc/29747/task/29750/stat : 29750 (toysat) S 29744 29747 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30892211 1603866624 333075 33554432000 4194304 16246674 140735674566032 139727483161776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1566276

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 29747 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.42
CPU time (s): 1800.08
CPU user time (s): 1799.5
CPU system time (s): 0.579911
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1566276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.579911
maximum resident set size= 1332300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332377
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= 2279
involuntary context switches= 3679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98309 second user time and 7.35388 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-19 00:21:05
IDJOB=4107642
IDBENCH=72394
IDSOLVER=2542
FILE ID=node139/4107642-1466288465
RUNJOBID= node139-1466274546-28141
PBS_JOBID= 19918239
Free space on /tmp= 71576 MiB

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

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

MD5SUM BENCH= 70982811654623db9c913b43ef1298b0
RANDOM SEED=1152112601

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.56
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.500
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.500
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:        27704852 kB
Buffers:          144884 kB
Cached:           176896 kB
SwapCached:         1832 kB
Active:          2614788 kB
Inactive:         224308 kB
Active(anon):    2516872 kB
Inactive(anon):     2540 kB
Active(file):      97916 kB
Inactive(file):   221768 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             19832 kB
Writeback:             0 kB
AnonPages:       4096840 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             609836 kB
SReclaimable:      53880 kB
SUnreclaim:       555956 kB
KernelStack:        1456 kB
PageTables:        11784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4237588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71556 MiB
End job on node139 at 2016-06-19 00:51:05