Trace number 4079173

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-sonata.cudf.trendy.opb
MD5SUM97d18ed2e725eb2e3e65f12e308085a6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2628047795598
Best CPU time to get the best result obtained on this benchmark74.5297
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21109
Total number of constraints100061
Number of constraints which are clauses98496
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8590
Biggest coefficient in the objective function 79340706073
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234927793755070
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79340706073
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234927793755070
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:52:59+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-4079173-1465271579.opb"]
0.00/0.01	c use --random-gen="1423767148 4292658539 512888628 2865696046 1243385505 809352545 999198488 967887877 2506633596 1711332498 3656843813 3559489417 3796019030 2931551487 4101007017 3100238341 2015306179 2164443428 119169656 1684463513 3072157196 1042416895 2845082309 3259291172 543354610 1930775767 1456119234 1444425087 2905358929 2612666415 3400761700 1416881875 1095338172 4030119773 951294429 1671611497 2475459645 1403878660 3066086898 1458057271 4234353100 1499754849 1159390267 2821639498 4072930925 1472608399 342535117 2360465988 2905758494 693922694 104980054 42602104 2136817446 2830683792 1919700561 4150192054 3889733869 195835150 152646043 3694624742 3948656843 1676087100 3402751331 1944793724 52695148 3435721989 1492429836 2245815107 3553130889 2688793918 893525742 3026789857 2762520316 2929993092 2204770660 193759299 1554603384 2237200303 505149542 3455481777 2571397871 1136280079 1805213056 1789702667 4031820799 722693120 3909917920 3367625935 1513955943 3282721036 587151580 1205366609 2362600739 85548556 478730226 3767286486 4016247556 2903516503 2366075507 2914859001 1129199545 1264095606 3696773509 3142270693 3438334915 886771033 3278822303 2691663790 108882736 2100053596 2583727484 2107515353 1740395161 1864694481 2059259237 980222994 2768569753 11207969 3121059297 1722001983 2513786624 1786435571 2485083011 1210611761 787370765 4251711299 1816638606 3968690331 2580936338 2386061101 1409378938 4223173305 2662074092 1862657322 2435667131 1216215285 773928948 1152700485 3660375898 637171114 760018117 1375067341 2008243094 653973418 1269314245 3591262094 2275596885 2948391336 551863817 378258533 910406351 804218141 475100382 350197390 447988650 78877887 1316015514 3992706850 2122961861 1856104771 877382489 1569455010 3961515531 775845948 2015278196 2832107043 1228442042 4134868919 2975603322 656023766 1299167120 2181094045 2284169030 3694781299 2778834766 1849144630 2758628054 3816648324 2415663926 1399857725 2846799104 3563122311 324433741 1440606686 3738454598 2530864217 2047551241 614777307 1601027721 2883539480 2182524209 821045204 2562593410 1524890026 3795628124 629723810 728514849 3779243870 1623377184 1401045380 1254231141 1974912962 4126568662 479171331 1744380954 3423463055 1056217052 2609689049 943715873 1751765886 1232238293 2718337835 3341694954 1825617829 2948384337 2431207721 1248930589 1369864338 919120740 668668022 3157710942 1357046786 3182887881 1454830474 4158433700 2735751674 916138094 3644969346 597325453 129269199 731492211 3124134800 782866381 1526569208 967212972 30331988 1807033270 4284054741 476348723 2011567233 721726796 47929653 4214176832 2522001377 3408736220 2387943290 802868682 3675187392 693648191 3706906449 2628255291 853570193 2138594487 2627731257 2227966087 1374275130 255 362436" option to reproduce the execution
0.68/0.74	c #vars 21109
0.68/0.74	c #constraints 100061
2.28/2.33	c BCD2: Hardening is enabled.
2.28/2.33	c BCD2: BiasedSearch is enabled.
2.28/2.33	c Solving starts ...
2.28/2.33	c ============================[ Search Statistics ]============================
2.28/2.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.28/2.33	c       |         |          |          |    Limit     GC | Var      | Constra 
2.28/2.33	c =============================================================================
2.28/2.33	c  0.0s |       0 |        0 |        0 |    39947      0 |     1202 |        0
2.98/3.09	c  0.8s |       1 |    81840 |      100 |    39947      0 |     1202 |     1291
4.88/4.96	c  2.6s |       2 |   286649 |      250 |    43942      0 |     1202 |     1291
5.98/6.02	c  3.7s |       2 |   425506 |      363 |    48337      0 |     1202 |     1291
5.98/6.02	c #cpu_time = 3.676s
5.98/6.02	c #wall_clock_time = 3.676s
5.98/6.02	c #decision = 425506
5.98/6.02	c #random_decision = 1273
5.98/6.02	c #conflict = 363
5.98/6.02	c #restart = 2
5.98/6.02	o 48281912401615

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

pid=8830
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.19 2.20 2.18 3/179 8833
/proc/meminfo: memFree=29319144/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 4 0 109091087 246870016 1316 33554432000 4194304 16246674 140733416155888 140733416155312 13528848 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 60271 1328 238 2943 0 57165 0
[pid=8833/tid=8834] ppid=8830 vsize=241088 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 246874112 1395 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 246870016 1407 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 246870016 1428 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100204 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 8833
/proc/meminfo: memFree=29319144/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 29422 0 0 0 5 3 0 0 20 0 4 0 109091087 1334382592 30232 33554432000 4194304 16246674 140733416155888 140733416155200 8055525 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 325777 30249 799 2943 0 322671 0
[pid=8833/tid=8834] ppid=8830 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1334382592 30260 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1334382592 30272 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1334382592 30283 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200537 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 8833
/proc/meminfo: memFree=29319144/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 48424 0 0 0 13 6 0 0 20 0 4 0 109091087 1344868352 49744 33554432000 4194304 16246674 140733416155888 140733416155200 7378120 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 328337 49744 799 2943 0 325231 0
[pid=8833/tid=8834] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 49744 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 49744 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 49744 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300523 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 8833
/proc/meminfo: memFree=29319144/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 67202 0 0 0 20 8 0 0 20 0 4 0 109091087 1344868352 68522 33554432000 4194304 16246674 140733416155888 140733416155200 4220880 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 328337 68522 800 2943 0 325231 0
[pid=8833/tid=8834] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 68522 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 68522 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 68522 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70044 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 8833
/proc/meminfo: memFree=29319144/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 72313 0 0 0 59 9 0 0 20 0 4 0 109091087 1344868352 73633 33554432000 4194304 16246674 140733416155888 140733416137792 7392752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 328337 73633 800 2943 0 325231 0
[pid=8833/tid=8834] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 73633 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 73633 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1344868352 73633 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 8837
/proc/meminfo: memFree=28876464/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1319492 CPUtime=1.48 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 189558 0 0 0 120 28 0 0 20 0 4 0 109091087 1351159808 190878 33554432000 4194304 16246674 140733416155888 140733416137792 6155169 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 329873 190889 840 2943 0 326767 0
[pid=8833/tid=8834] ppid=8830 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1351159808 190894 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1351159808 190900 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1351159808 190905 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1319492

[startup+3.10043 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 8837
/proc/meminfo: memFree=28214552/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=3.08 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275089 0 0 0 268 40 0 0 20 0 4 0 109091087 1370034176 276409 33554432000 4194304 16246674 140733416155888 140733416137792 5530676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276409 889 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276409 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276409 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276409 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924

[startup+6.30038 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 8837
/proc/meminfo: memFree=28214576/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=6.28 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275168 0 0 0 588 40 0 0 20 0 4 0 109091087 1370034176 276488 33554432000 4194304 16246674 140733416155888 140733416137792 12449248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276488 903 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.16 2.20 2.18 3/183 8837
/proc/meminfo: memFree=28215420/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=12.68 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275168 0 0 0 1228 40 0 0 20 0 4 0 109091087 1370034176 276488 33554432000 4194304 16246674 140733416155888 140733416137792 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276488 903 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.12 2.19 2.17 3/183 8886
/proc/meminfo: memFree=28236788/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=25.47 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275168 0 0 0 2507 40 0 0 20 0 4 0 109091087 1370034176 276488 33554432000 4194304 16246674 140733416155888 140733416137792 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276488 903 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 8886
/proc/meminfo: memFree=28236776/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=51.07 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275168 0 0 0 5067 40 0 0 20 0 4 0 109091087 1370034176 276488 33554432000 4194304 16246674 140733416155888 140733416137792 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276488 903 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276488 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 8888
/proc/meminfo: memFree=28236560/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1337924 CPUtime=102.27 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 275169 0 0 0 10187 40 0 0 20 0 4 0 109091087 1370034176 276489 33554432000 4194304 16246674 140733416155888 140733416137792 12654366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8833/statm: 334481 276489 903 2943 0 331375 0
[pid=8833/tid=8834] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276489 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276489 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1370034176 276489 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1337924


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

/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1480134656 303372 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1445444

[startup+1302.3 s]
/proc/loadavg: 2.20 2.17 2.17 4/183 8942
/proc/meminfo: memFree=27944540/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1445444 CPUtime=1302.05 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 302121 0 0 0 130157 48 0 0 20 0 4 0 109091087 1480134656 303372 33554432000 4194304 16246674 140733416155888 140733416153728 4206688 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 361361 303372 903 2943 0 358255 0
[pid=8833/tid=8834] ppid=8830 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1480134656 303372 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1480134656 303372 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1480134656 303372 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1445444

[startup+1362.3 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 8943
/proc/meminfo: memFree=27870956/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1519172 CPUtime=1362.04 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 320553 0 0 0 136153 51 0 0 20 0 4 0 109091087 1555632128 321804 33554432000 4194304 16246674 140733416155888 140733416155200 4206568 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 379793 321804 903 2943 0 376687 0
[pid=8833/tid=8834] ppid=8830 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1555632128 321804 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1555632128 321804 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1555632128 321804 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1519172

[startup+1422.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 8944
/proc/meminfo: memFree=27859880/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1530436 CPUtime=1422.03 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 323369 0 0 0 142152 51 0 0 20 0 4 0 109091087 1567166464 324620 33554432000 4194304 16246674 140733416155888 140733416137792 4206587 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 382609 324620 903 2943 0 379503 0
[pid=8833/tid=8834] ppid=8830 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1567166464 324620 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1567166464 324620 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1530436 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1567166464 324620 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1530436

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 8945
/proc/meminfo: memFree=27829172/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1538628 CPUtime=1482 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 325417 0 0 0 148149 51 0 0 20 0 4 0 109091087 1575555072 326668 33554432000 4194304 16246674 140733416155888 140733416153792 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 384657 326668 903 2943 0 381551 0
[pid=8833/tid=8834] ppid=8830 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1575555072 326668 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1575555072 326668 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1538628 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1575555072 326668 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1538628

[startup+1542.31 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 8946
/proc/meminfo: memFree=27817420/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1543748 CPUtime=1542 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 326697 0 0 0 154149 51 0 0 20 0 4 0 109091087 1580797952 327948 33554432000 4194304 16246674 140733416155888 140733416155200 12429095 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 385937 327948 903 2943 0 382831 0
[pid=8833/tid=8834] ppid=8830 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1580797952 327948 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1580797952 327948 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1543748 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1580797952 327948 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1543748

[startup+1602.3 s]
/proc/loadavg: 2.16 2.16 2.16 3/183 8948
/proc/meminfo: memFree=27784216/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1561156 CPUtime=1601.98 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 331049 0 0 0 160146 52 0 0 20 0 4 0 109091087 1598623744 332300 33554432000 4194304 16246674 140733416155888 140733416137792 4221116 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 390289 332300 903 2943 0 387183 0
[pid=8833/tid=8834] ppid=8830 vsize=1561156 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1598623744 332300 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1561156 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109091088 1598623744 332300 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1561156 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1598623744 332300 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1561156

[startup+1662.3 s]
/proc/loadavg: 2.26 2.19 2.17 4/184 8952
/proc/meminfo: memFree=27774324/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1563204 CPUtime=1661.97 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 331561 0 0 0 166144 53 0 0 20 0 4 0 109091087 1600720896 332812 33554432000 4194304 16246674 140733416155888 140733416155200 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 390801 332812 903 2943 0 387695 0
[pid=8833/tid=8834] ppid=8830 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1600720896 332812 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1563204 CPUtime=0.01 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109091088 1600720896 332812 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1600720896 332812 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1563204

[startup+1722.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 8953
/proc/meminfo: memFree=27758380/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1578564 CPUtime=1721.96 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 335401 0 0 0 172142 54 0 0 20 0 4 0 109091087 1616449536 336652 33554432000 4194304 16246674 140733416155888 140733416155064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 394641 336652 903 2943 0 391535 0
[pid=8833/tid=8834] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1578564 CPUtime=0.01 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1578564

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 8954
/proc/meminfo: memFree=27749140/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1578564 CPUtime=1781.94 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 335401 0 0 0 178140 54 0 0 20 0 4 0 109091087 1616449536 336652 33554432000 4194304 16246674 140733416155888 140733416153792 4220543 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 394641 336652 903 2943 0 391535 0
[pid=8833/tid=8834] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1578564 CPUtime=0.01 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420044528656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1578564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 8954
/proc/meminfo: memFree=27749480/32872528 swapFree=16252/1391864
[pid=8833] ppid=8830 vsize=1578564 CPUtime=1800.05 cores=1,3,5,7
/proc/8833/stat : 8833 (toysat) R 8830 8833 5783 0 -1 4202496 335401 0 0 0 179950 55 0 0 20 0 4 0 109091087 1616449536 336652 33554432000 4194304 16246674 140733416155888 140733416153728 4220480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8833/statm: 394641 336652 903 2943 0 391535 0
[pid=8833/tid=8834] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8834/stat : 8834 (toysat) S 8830 8833 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420055018736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8833/tid=8835] ppid=8830 vsize=1578564 CPUtime=0.01 cores=1,3,5,7
/proc/8833/task/8835/stat : 8835 (toysat) S 8830 8833 5783 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140420044528880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8833/tid=8836] ppid=8830 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/8833/task/8836/stat : 8836 (toysat) S 8830 8833 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109091088 1616449536 336652 33554432000 4194304 16246674 140733416155888 140419929205936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1578564

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 8833 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.51
CPU system time (s): 0.564914
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1578564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.564914
maximum resident set size= 1346608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335401
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= 1721
involuntary context switches= 2488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42833 second user time and 7.03893 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 05:52:59
IDJOB=4079173
IDBENCH=72385
IDSOLVER=2542
FILE ID=node119/4079173-1465271579
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
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-sonata.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-4079173-1465271579/watcher-4079173-1465271579 -o /tmp/evaluation-result-4079173-1465271579/solver-4079173-1465271579 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079173-1465271579.opb

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

MD5SUM BENCH= 97d18ed2e725eb2e3e65f12e308085a6
RANDOM SEED=1050744736

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29319772 kB
Buffers:          121596 kB
Cached:           176572 kB
SwapCached:          888 kB
Active:          1261844 kB
Inactive:         164352 kB
Active(anon):    1128180 kB
Inactive(anon):     1712 kB
Active(file):     133664 kB
Inactive(file):   162640 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             19836 kB
Writeback:             0 kB
AnonPages:       2520784 kB
Mapped:            10868 kB
Shmem:                 0 kB
Slab:             600704 kB
SReclaimable:      44176 kB
SUnreclaim:       556528 kB
KernelStack:        1424 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2659164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2498560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2016-06-07 06:23:00