Trace number 4119095

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.12 1800.4

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb302095.lin.opb
MD5SUM968f704d2b6edd179aaec99b82515cdd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6507792
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables165900
Total number of constraints330650
Number of constraints which are clauses165300
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints165320
Minimum length of a constraint3
Maximum length of a constraint30
Number of terms in the objective function 165900
Biggest coefficient in the objective function 299670
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1742262595
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 299670
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1742262595
Number of bits of the biggest sum of numbers31
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-30T01:05:32+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-4119095-1467241532.opb"]
0.00/0.01	c use --random-gen="3069092107 3181064520 2778984413 358565445 1069332050 2087852059 904396919 3998344489 3785083016 508872387 3619420052 375654305 3614514074 1461560785 3032053770 55880463 714814823 3628127266 2630303201 2179648106 3262943687 540872997 74486642 1865495405 2254419359 3411584894 3378037315 2975573601 235076396 2816403846 1168556299 631009096 328645549 183600929 715561107 2728667177 540689659 3445925261 549453354 139528718 3149186062 1523152071 4051191159 1993594133 3776544984 3951395524 375424863 3696739509 2512412704 1500803762 1832117236 2574577999 1182721058 365340594 2777132125 119923990 1801696260 3904987747 2860100474 1572249155 1496208905 2566499025 720584098 2706773209 2452105541 11676221 2061683656 3077945591 3323662047 203478436 871918064 531344715 2840012571 1579133844 3462688157 4010760221 3091361077 425154242 2687135234 553256256 463054166 2661130706 3601271527 4231258087 3863730436 2620346500 1440123518 571355484 228003473 356066902 3798793665 1769749928 1337969586 1582262672 3701027175 2151288612 968159785 1588232643 999314161 2955213798 3806892769 3723219163 2789508576 3754930733 91713774 2084492525 4239071237 2606524439 2544245362 2553641261 1471052715 3020301795 3988468694 1589129691 3788945489 2746415211 2115908194 3134532009 1610741840 3968266175 3289520279 3774088663 3484505096 625619839 1310327337 2797792304 2183539136 3266354720 3659188125 648007200 2109037547 2449053058 2184082995 781354460 3675987305 1409071094 2332971812 2288896545 1272740058 1254607036 280163678 2684140462 1812166927 904331109 4026745771 1401320441 1293513103 3141248812 1669135423 1822942631 444036413 1499382543 1262035624 583240731 23429832 481645370 1032632240 2238328227 126573467 3528351573 276680488 555796334 973020431 1812479838 2944933396 3064929211 3797247803 1724215450 2887597911 1741229277 3788309752 2799143479 4068915656 1194960909 2662440225 4188723417 4259657919 2633562517 3147640884 2356269440 1364432072 2156010770 2481596674 1129520835 2418985761 4188315402 2107797194 1446553844 140053135 2483956486 3989615547 840976258 41854387 2684772466 1561224569 3079962281 2310608780 3106000686 676919527 1708213824 1953939077 3562357296 4104512769 2417607146 3798837292 1395993312 3725358946 3055912281 2115353899 3971418309 2892718734 1788976744 30544179 3878768073 2538441605 1968768076 3772208079 3850624133 911870149 718686224 321571413 925860770 1977159654 2946263387 1844210738 2456734262 127806759 1231021445 2400156719 1428156058 1424201980 1583361044 2580988778 3268072087 1258086967 2922018310 1335698028 173432118 3518073031 4259699346 2256512444 1661226645 3704845675 3363655767 4265822915 1543464862 3769985842 3676351350 667000039 2276487303 2278798769 1878249545 11675078 3065494099 2656165291 2319587788 255 362436" option to reproduce the execution
2.49/2.50	c #vars 165900
2.49/2.50	c #constraints 330650
7.28/7.33	c BCD2: Hardening is enabled.
7.28/7.33	c BCD2: BiasedSearch is enabled.
7.28/7.33	c Solving starts ...
7.28/7.33	c ============================[ Search Statistics ]============================
7.28/7.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.28/7.33	c       |         |          |          |    Limit     GC | Var      | Constra 
7.28/7.33	c =============================================================================
7.38/7.43	c  0.0s |       0 |        0 |        0 |   141466      0 |    65112 |        0
10.28/10.38	c  2.9s |       0 |      161 |      100 |   141466      0 |    65112 |    57781
10.38/10.46	c  3.0s |       1 |      161 |      100 |   141466      0 |    65112 |    57781
12.88/12.91	c  5.5s |       1 |      678 |      200 |   155613      0 |    65112 |    57781
13.68/13.78	c  6.3s |       2 |      884 |      250 |   155613      0 |    65112 |    57781
15.58/15.64	c  8.2s |       2 |     1224 |      332 |   171175      0 |    65112 |    57781
15.58/15.64	c #cpu_time = 8.065s
15.58/15.64	c #wall_clock_time = 8.086s
15.58/15.64	c #decision = 1224
15.58/15.64	c #random_decision = 2
15.58/15.64	c #conflict = 332
15.58/15.64	c #restart = 2
15.58/15.66	o 8831238

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

pid=5210
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.22 2.26 2.21 4/179 5213
/proc/meminfo: memFree=27448340/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=626108 CPUtime=0 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 2317 0 0 0 0 0 0 0 20 0 4 0 3180852 641134592 3189 33554432000 4194304 16246674 140734132872848 140734132872272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 157295 3200 441 2943 0 154189 0
[pid=5213/tid=5214] ppid=5210 vsize=645564 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 661057536 3267 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 665251840 3283 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=654780 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 670494720 3300 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.22 2.26 2.21 4/179 5213
/proc/meminfo: memFree=27448340/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 29606 0 0 0 5 4 0 0 20 0 4 0 3180852 1333334016 30415 33554432000 4194304 16246674 140734132872848 140734132872160 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 325521 30428 799 2943 0 322415 0
[pid=5213/tid=5214] ppid=5210 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1333334016 30439 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1333334016 30451 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1333334016 30462 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200496 s]
/proc/loadavg: 2.22 2.26 2.21 4/179 5213
/proc/meminfo: memFree=27448340/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 45299 0 0 0 13 6 0 0 20 0 4 0 3180852 1344868352 46619 33554432000 4194304 16246674 140734132872848 140734132855840 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 328337 46638 799 2943 0 325231 0
[pid=5213/tid=5214] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 46649 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 46660 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 46671 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30049 s]
/proc/loadavg: 2.22 2.26 2.21 4/179 5213
/proc/meminfo: memFree=27448340/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 45824 0 0 0 23 6 0 0 20 0 4 0 3180852 1344868352 47144 33554432000 4194304 16246674 140734132872848 140734132855840 7889674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 328337 47144 799 2943 0 325231 0
[pid=5213/tid=5214] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 47144 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 47144 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 47144 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700383 s]
/proc/loadavg: 2.22 2.26 2.21 4/179 5213
/proc/meminfo: memFree=27448340/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 72826 0 0 0 59 9 0 0 20 0 4 0 3180852 1344868352 74146 33554432000 4194304 16246674 140734132872848 140734132855840 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 328337 74146 802 2943 0 325231 0
[pid=5213/tid=5214] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 74146 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 74146 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 74146 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.22 2.26 2.21 4/183 5217
/proc/meminfo: memFree=27071396/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 93130 0 0 0 136 12 0 0 20 0 4 0 3180852 1344868352 94450 33554432000 4194304 16246674 140734132872848 140734132870656 4206653 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 328337 94450 802 2943 0 325231 0
[pid=5213/tid=5214] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 94450 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 94450 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1344868352 94450 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.22 2.26 2.21 3/183 5217
/proc/meminfo: memFree=26957564/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1376836 CPUtime=3.09 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 187956 0 0 0 281 28 0 0 20 0 4 0 3180852 1409880064 192854 33554432000 4194304 16246674 140734132872848 140734132855840 6965916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 344209 192860 850 2943 0 341103 0
[pid=5213/tid=5214] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 192866 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 192871 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 192876 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1376836

[startup+6.30034 s]
/proc/loadavg: 2.20 2.25 2.20 3/183 5217
/proc/meminfo: memFree=26303812/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1376836 CPUtime=6.29 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 278708 0 0 0 588 41 0 0 20 0 4 0 3180852 1409880064 286160 33554432000 4194304 16246674 140734132872848 140734132854720 4224776 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 344209 286160 851 2943 0 341103 0
[pid=5213/tid=5214] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286160 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286160 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286160 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.27 2.27 2.21 4/183 5217
/proc/meminfo: memFree=26303836/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1376836 CPUtime=12.68 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 278759 0 0 0 1227 41 0 0 20 0 4 0 3180852 1409880064 286211 33554432000 4194304 16246674 140734132872848 140734132854720 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 344209 286211 900 2943 0 341103 0
[pid=5213/tid=5214] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286211 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286211 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1409880064 286211 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1376836

[startup+25.5005 s]
/proc/loadavg: 2.21 2.25 2.20 3/183 5217
/proc/meminfo: memFree=26288096/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1393220 CPUtime=25.49 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 282862 0 0 0 2507 42 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 140734132854720 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 348305 290314 902 2943 0 345199 0
[pid=5213/tid=5214] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1393220

[startup+51.1004 s]
/proc/loadavg: 2.26 2.26 2.21 4/183 5217
/proc/meminfo: memFree=26288320/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1393220 CPUtime=51.09 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 282862 0 0 0 5067 42 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 140734132854720 12417472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 348305 290314 902 2943 0 345199 0
[pid=5213/tid=5214] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1426657280 290314 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1393220

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.21 3/183 5218
/proc/meminfo: memFree=25951868/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=1728068 CPUtime=102.28 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 366574 0 0 0 10175 53 0 0 20 0 4 0 3180852 1769541632 374026 33554432000 4194304 16246674 140734132872848 140734132870656 13008976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 432017 374026 902 2943 0 428911 0
[pid=5213/tid=5214] ppid=5210 vsize=1728068 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 1769541632 374026 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=1728068 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 1769541632 374026 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=1728068 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 1769541632 374026 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1728068


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

/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2806340

[startup+1362.3 s]
/proc/loadavg: 2.29 2.29 2.25 4/183 5298
/proc/meminfo: memFree=24896688/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1362.07 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637691 0 0 0 136044 163 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870656 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2806340

[startup+1422.3 s]
/proc/loadavg: 2.28 2.28 2.25 3/183 5300
/proc/meminfo: memFree=24896588/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1422.07 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637691 0 0 0 142040 167 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132871944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2806340

[startup+1482.3 s]
/proc/loadavg: 2.30 2.29 2.25 3/184 5304
/proc/meminfo: memFree=24896848/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1482.06 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637691 0 0 0 148034 172 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132854720 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2806340

[startup+1542.31 s]
/proc/loadavg: 2.30 2.28 2.25 4/183 5305
/proc/meminfo: memFree=24896928/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1542.06 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637691 0 0 0 154029 177 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870720 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2806340

[startup+1602.3 s]
/proc/loadavg: 2.25 2.26 2.24 4/183 5306
/proc/meminfo: memFree=24896460/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1602.03 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637695 0 0 0 160022 181 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870720 4221129 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2806340

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.24 3/183 5307
/proc/meminfo: memFree=24894624/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1662.03 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637695 0 0 0 166017 186 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132871944 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2806340

[startup+1722.3 s]
/proc/loadavg: 2.42 2.30 2.25 4/183 5309
/proc/meminfo: memFree=24894812/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1722.01 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637695 0 0 0 172010 191 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132872024 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2806340

[startup+1782.3 s]
/proc/loadavg: 2.30 2.28 2.25 3/183 5310
/proc/meminfo: memFree=24894604/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1782 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637695 0 0 0 178004 196 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870720 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2806340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.36 2.30 2.26 3/183 5310
/proc/meminfo: memFree=24894400/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1800 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637696 0 0 0 179802 198 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2806340

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

[startup+1800.3 s]
/proc/loadavg: 2.36 2.30 2.26 3/183 5310
/proc/meminfo: memFree=24894400/32872528 swapFree=1553660/1717180
[pid=5213] ppid=5210 vsize=2806340 CPUtime=1800 cores=0,2,4,6
/proc/5213/stat : 5213 (toysat) R 5210 5213 1984 0 -1 4202496 637696 0 0 0 179802 198 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 140734132870656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5213/statm: 701585 643597 902 2943 0 698479 0
[pid=5213/tid=5214] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5214/stat : 5214 (toysat) S 5210 5213 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724339522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5213/tid=5215] ppid=5210 vsize=2806340 CPUtime=0.01 cores=0,2,4,6
/proc/5213/task/5215/stat : 5215 (toysat) S 5210 5213 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724329032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5213/tid=5216] ppid=5210 vsize=2806340 CPUtime=0 cores=0,2,4,6
/proc/5213/task/5216/stat : 5216 (toysat) S 5210 5213 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3180852 2873692160 643597 33554432000 4194304 16246674 140734132872848 139724211612848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2806340

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.12
CPU user time (s): 1798.04
CPU system time (s): 2.07568
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 2806340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.07568
maximum resident set size= 2574388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637696
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= 2808
involuntary context switches= 4642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64729 second user time and 6.87395 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 01:05:32
IDJOB=4119095
IDBENCH=111651
IDSOLVER=2542
FILE ID=node117/4119095-1467241532
RUNJOBID= node117-1467210309-2000
PBS_JOBID= 19997597
Free space on /tmp= 71592 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302095.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119095-1467241532/watcher-4119095-1467241532 -o /tmp/evaluation-result-4119095-1467241532/solver-4119095-1467241532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119095-1467241532.opb

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

MD5SUM BENCH= 968f704d2b6edd179aaec99b82515cdd
RANDOM SEED=1681081628

node117.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.714
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.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        27448976 kB
Buffers:           74648 kB
Cached:          1753636 kB
SwapCached:            0 kB
Active:          1297440 kB
Inactive:        1691508 kB
Active(anon):    1163408 kB
Inactive(anon):        4 kB
Active(file):     134032 kB
Inactive(file):  1691504 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             29528 kB
Writeback:             8 kB
AnonPages:       2877864 kB
Mapped:            17500 kB
Shmem:               204 kB
Slab:             582712 kB
SReclaimable:      27108 kB
SUnreclaim:       555604 kB
KernelStack:        1496 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3013372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71580 MiB
End job on node117 at 2016-06-30 01:35:33