Trace number 4107650

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.11 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-gnochm.cudf.trendy.opb
MD5SUM093c02fb02e150c2d349e4e1693c4421
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2786692279328
Best CPU time to get the best result obtained on this benchmark44.9152
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21108
Total number of constraints100062
Number of constraints which are clauses98497
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-19T00:27:58+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-4107650-1466288878.opb"]
0.00/0.01	c use --random-gen="571437518 886585980 1793666656 1036797421 3265810418 3901245702 2687602842 2960431074 586018115 2957861033 2621420437 2591974303 389413667 3784505439 3089472102 2002405922 1881317059 2187999559 1123877626 1239781852 9970272 1967918794 413058666 1807718213 4034433827 252751593 3344536722 4055193877 32932764 4031660865 3239821330 3415209171 457220742 2197904547 3067532600 974103752 2873134208 1935660854 3835795953 1246876582 3152657459 2058981299 90876927 1992878672 2935434240 1679841501 1981630873 519018160 1678223857 442446524 3379241681 777535992 1920724333 3872374415 4090260427 851913674 3926780326 4055624085 1590268918 2934937821 2530098107 1397092905 731648718 3755192012 3102326015 2013106102 3034450617 32523452 32455420 2397572127 1301534224 1204695577 2288316621 3611934265 3209382690 1597485798 3297999291 3615098194 1559015701 3377773271 2301051760 4246164702 4040886475 805877197 2752880827 688405598 949144492 4258436957 40696794 357508721 2603877831 3094962749 1825666779 55483088 4140344124 2577911223 645643394 2395610023 3697727664 4250305541 670408499 3055166107 3181823966 250502139 3924944861 2344242982 2284607522 127610716 4041930513 3273750564 2928311616 278805290 2924279029 1794990780 2908403147 2315559135 849633432 1579415622 1159531131 1708954705 3520468062 3227153054 3191935832 1674306151 2794276741 2949125347 523844661 3636249287 1819684604 3618748401 1019047676 3975388144 1632223745 222003428 241899062 233886643 1072083813 3769395685 2809669224 2182465178 2396793427 2323981782 2859285387 1597108552 1487193150 2294707218 356335184 1292632720 3586459142 3433075519 1067728055 3298404790 3796683743 1504322709 3073053548 1762005689 918537569 3273821491 31308423 431277782 1103315511 493336189 3242372526 3710324109 390672276 2727725902 902611317 2186535789 2925622338 778186073 135734933 761778447 277352430 2311545496 2142101426 2626690583 4170561605 1696274263 3651367958 2873276046 2802945357 1926706341 2348120660 4235305340 220270638 2440977748 3467980436 2079739933 537878597 2580030741 3838661110 906184381 365684056 1786152193 766722566 186716602 1957252191 1073285974 3177298094 2469655769 1780212306 3397748172 1022652918 3286932524 4122285487 3410372862 3527522328 4277180250 4079060027 1255883175 461376745 481573463 1047884616 3017610391 2037610099 602305949 2522028308 1596512478 569537731 3877719101 974831936 4237234282 1095215125 3034182647 1971755967 2311980192 3830599383 2473687155 625842255 3081112301 843286394 711500874 2997573982 3672964869 1472772375 2547101266 1425816336 3359382063 1616691914 1681096908 1836289336 76156464 3537447725 1506086916 1688420833 2727090676 2196058708 1388972218 471184744 1084289483 305898262 3789713169 3664913478 2621555894 322366948 3828008676 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21108
0.69/0.72	c #constraints 100062
2.19/2.29	c BCD2: Hardening is enabled.
2.19/2.29	c BCD2: BiasedSearch is enabled.
2.19/2.29	c Solving starts ...
2.19/2.29	c ============================[ Search Statistics ]============================
2.19/2.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.29	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.29	c =============================================================================
2.19/2.29	c  0.0s |       0 |        0 |        0 |    39946      0 |     1205 |        0
2.89/2.95	c  0.7s |       1 |    74934 |      100 |    39946      0 |     1205 |     1292
4.78/4.88	c  2.6s |       2 |   290005 |      250 |    43941      0 |     1205 |     1292
5.78/5.85	c  3.6s |       2 |   417607 |      360 |    48336      0 |     1205 |     1292
5.78/5.85	c #cpu_time = 3.548s
5.78/5.85	c #wall_clock_time = 3.548s
5.78/5.85	c #decision = 417607
5.78/5.85	c #random_decision = 1252
5.78/5.85	c #conflict = 360
5.78/5.85	c #restart = 2
5.78/5.85	o 48599515260633

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

pid=28501
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.25 2.23 3/179 28504
/proc/meminfo: memFree=16012588/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=619964 CPUtime=0 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 2292 0 0 0 0 0 0 0 20 0 4 0 30933571 634843136 3163 33554432000 4194304 16246674 140736374056912 140736374056336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 155503 3172 441 2943 0 152397 0
[pid=28504/tid=28505] ppid=28501 vsize=637372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 652668928 3232 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 657911808 3252 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=646588 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30933571 662106112 3269 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.22 2.25 2.23 3/179 28504
/proc/meminfo: memFree=16012588/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 31218 0 0 0 4 4 0 0 20 0 4 0 30933571 1334382592 32027 33554432000 4194304 16246674 140736374056912 140736374056224 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 325777 32043 799 2943 0 322671 0
[pid=28504/tid=28505] ppid=28501 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1334382592 32052 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1334382592 32064 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1334382592 32076 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200515 s]
/proc/loadavg: 2.22 2.25 2.23 3/179 28504
/proc/meminfo: memFree=16012588/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 50537 0 0 0 12 7 0 0 20 0 4 0 30933571 1345916928 51857 33554432000 4194304 16246674 140736374056912 140736374056224 7853040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 328593 51857 799 2943 0 325487 0
[pid=28504/tid=28505] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 51857 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 51857 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 51857 33554432000 4194304 16246674 140736374056912 139696753597616 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) 1314372

[startup+0.300502 s]
/proc/loadavg: 2.22 2.25 2.23 3/179 28504
/proc/meminfo: memFree=16012588/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 64244 0 0 0 20 9 0 0 20 0 4 0 30933571 1345916928 65564 33554432000 4194304 16246674 140736374056912 140736374056224 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 328593 65564 800 2943 0 325487 0
[pid=28504/tid=28505] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 65564 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 65564 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 65564 33554432000 4194304 16246674 140736374056912 139696753597616 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) 1314372

[startup+0.700409 s]
/proc/loadavg: 2.22 2.25 2.23 3/179 28504
/proc/meminfo: memFree=16012588/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 72557 0 0 0 59 10 0 0 20 0 4 0 30933571 1345916928 73877 33554432000 4194304 16246674 140736374056912 140736374056224 4206597 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 328593 73877 801 2943 0 325487 0
[pid=28504/tid=28505] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 73877 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 73877 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1345916928 73877 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.22 2.25 2.23 3/183 28508
/proc/meminfo: memFree=15549216/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 195203 0 0 0 122 27 0 0 20 0 4 0 30933571 1351159808 196523 33554432000 4194304 16246674 140736374056912 140736374038784 5516804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 329873 196533 840 2943 0 326767 0
[pid=28504/tid=28505] ppid=28501 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1351159808 196538 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1351159808 196544 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1351159808 196551 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10042 s]
/proc/loadavg: 2.20 2.25 2.23 3/183 28508
/proc/meminfo: memFree=14907756/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275089 0 0 0 270 39 0 0 20 0 4 0 30933571 1370034176 276409 33554432000 4194304 16246674 140736374056912 140736374038784 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276409 889 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276409 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276409 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276409 33554432000 4194304 16246674 140736374056912 139696753597616 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) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.20 2.25 2.23 3/183 28508
/proc/meminfo: memFree=14908052/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=6.28 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275170 0 0 0 589 39 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 140736374038784 12449391 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276490 903 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.25 2.26 2.23 3/183 28508
/proc/meminfo: memFree=14909716/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=12.68 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275170 0 0 0 1229 39 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 140736374038784 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276490 903 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696753597616 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) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.21 2.25 2.23 3/183 28508
/proc/meminfo: memFree=14909304/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=25.48 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275170 0 0 0 2509 39 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 140736374038784 12654419 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276490 903 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.23 4/182 28508
/proc/meminfo: memFree=14909308/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275170 0 0 0 5069 39 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 140736374038784 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276490 903 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276490 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.26 2.26 2.23 3/183 28510
/proc/meminfo: memFree=14526412/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 275171 0 0 0 10189 39 0 0 20 0 4 0 30933571 1370034176 276491 33554432000 4194304 16246674 140736374056912 140736374038784 6955548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 334481 276491 903 2943 0 331375 0
[pid=28504/tid=28505] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276491 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276491 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1370034176 276491 33554432000 4194304 16246674 140736374056912 139696753597616 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) 1337924


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

/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1416772

[startup+1362.3 s]
/proc/loadavg: 2.29 2.30 2.25 3/184 29522
/proc/meminfo: memFree=27939760/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1416772 CPUtime=1361.95 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 295100 0 0 0 136150 45 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 140736374056224 4220511 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 354193 296206 903 2943 0 351087 0
[pid=28504/tid=28505] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1416772

[startup+1422.3 s]
/proc/loadavg: 2.39 2.32 2.26 3/183 29523
/proc/meminfo: memFree=27939500/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1416772 CPUtime=1421.94 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 295100 0 0 0 142149 45 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 140736374038784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 354193 296206 903 2943 0 351087 0
[pid=28504/tid=28505] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1450774528 296206 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1416772

[startup+1482.3 s]
/proc/loadavg: 2.35 2.32 2.27 3/183 29524
/proc/meminfo: memFree=27851232/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1504836 CPUtime=1481.93 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 317118 0 0 0 148145 48 0 0 20 0 4 0 30933571 1540952064 318224 33554432000 4194304 16246674 140736374056912 140736374056224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 376209 318224 904 2943 0 373103 0
[pid=28504/tid=28505] ppid=28501 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1540952064 318224 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1540952064 318224 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1540952064 318224 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1504836

[startup+1542.31 s]
/proc/loadavg: 2.28 2.31 2.26 3/183 29525
/proc/meminfo: memFree=27781564/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1538628 CPUtime=1541.93 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 325566 0 0 0 154144 49 0 0 20 0 4 0 30933571 1575555072 326672 33554432000 4194304 16246674 140736374056912 140736374054720 4206697 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 384657 326672 904 2943 0 381551 0
[pid=28504/tid=28505] ppid=28501 vsize=1538628 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1575555072 326672 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1538628 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1575555072 326672 33554432000 4194304 16246674 140736374056912 139696764070928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1538628 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1575555072 326672 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1538628

[startup+1602.3 s]
/proc/loadavg: 2.06 2.24 2.25 3/183 29527
/proc/meminfo: memFree=27780452/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1539652 CPUtime=1601.91 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 325822 0 0 0 160142 49 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 140736374056224 4206940 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 384913 326928 904 2943 0 381807 0
[pid=28504/tid=28505] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1539652

[startup+1662.3 s]
/proc/loadavg: 2.28 2.27 2.26 3/183 29528
/proc/meminfo: memFree=27780404/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1539652 CPUtime=1661.91 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 325822 0 0 0 166141 50 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 140736374054720 13880915 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 384913 326928 904 2943 0 381807 0
[pid=28504/tid=28505] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1539652

[startup+1722.3 s]
/proc/loadavg: 2.21 2.25 2.25 3/183 29529
/proc/meminfo: memFree=27780492/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1539652 CPUtime=1721.89 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 325822 0 0 0 172139 50 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 140736374056224 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 384913 326928 904 2943 0 381807 0
[pid=28504/tid=28505] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1576603648 326928 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1539652

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.25 3/183 29530
/proc/meminfo: memFree=27776132/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1543748 CPUtime=1781.89 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 326846 0 0 0 178138 51 0 0 20 0 4 0 30933571 1580797952 327952 33554432000 4194304 16246674 140736374056912 140736374056224 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 385937 327952 904 2943 0 382831 0
[pid=28504/tid=28505] ppid=28501 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1580797952 327952 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1543748 CPUtime=0.01 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 4 0 30933571 1580797952 327952 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1580797952 327952 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1543748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.26 4/183 29530
/proc/meminfo: memFree=27766836/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1552964 CPUtime=1800.08 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 329150 0 0 0 179957 51 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 140736374038784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 388241 330256 904 2943 0 385135 0
[pid=28504/tid=28505] ppid=28501 vsize=1552964 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1552964 CPUtime=0.01 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1552964 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1552964

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.26 4/183 29530
/proc/meminfo: memFree=27766836/32872528 swapFree=1499884/1696108
[pid=28504] ppid=28501 vsize=1552964 CPUtime=1800.08 cores=0,2,4,6
/proc/28504/stat : 28504 (toysat) R 28501 28504 24910 0 -1 4202496 329150 0 0 0 179957 51 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 140736374038784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28504/statm: 388241 330256 904 2943 0 385135 0
[pid=28504/tid=28505] ppid=28501 vsize=1552964 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28505/stat : 28505 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696850054384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28506] ppid=28501 vsize=1552964 CPUtime=0.01 cores=0,2,4,6
/proc/28504/task/28506/stat : 28506 (toysat) S 28501 28504 24910 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696764071152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28504/tid=28507] ppid=28501 vsize=1552964 CPUtime=0 cores=0,2,4,6
/proc/28504/task/28507/stat : 28507 (toysat) S 28501 28504 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30933571 1590235136 330256 33554432000 4194304 16246674 140736374056912 139696753597616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1552964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1799.58
CPU system time (s): 0.52292
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 1552964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52292
maximum resident set size= 1321024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329150
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= 1842
involuntary context switches= 1824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5791 second user time and 13.9839 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 00:27:58
IDJOB=4107650
IDBENCH=72404
IDSOLVER=2542
FILE ID=node137/4107650-1466288878
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= 093c02fb02e150c2d349e4e1693c4421
RANDOM SEED=426820269

node137.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.486
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.97
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.486
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.486
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.56
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.486
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.486
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.486
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.38
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.486
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.486
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:        16013364 kB
Buffers:           44000 kB
Cached:           168724 kB
SwapCached:         1216 kB
Active:         14284220 kB
Inactive:         111920 kB
Active(anon):   14181844 kB
Inactive(anon):     3248 kB
Active(file):     102376 kB
Inactive(file):   108672 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             19812 kB
Writeback:             0 kB
AnonPages:      15851392 kB
Mapped:            10920 kB
Shmem:                 0 kB
Slab:             604164 kB
SReclaimable:      48168 kB
SUnreclaim:       555996 kB
KernelStack:        1488 kB
PageTables:        35148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16019336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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= 71664 MiB
End job on node137 at 2016-06-19 00:57:59