Trace number 4079192

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.17 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand362510.cudf.trendy.opb
MD5SUMb2c31f294bca10e9f13f12948f1e512f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5239100859
Best CPU time to get the best result obtained on this benchmark4.6223
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7206
Total number of constraints29537
Number of constraints which are clauses29244
Number of constraints which are cardinality constraints (but not clauses)293
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3410
Biggest coefficient in the objective function 4973940243
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2745609187592
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4973940243
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2745609187592
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:46:42+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-4079192-1465271202.opb"]
0.00/0.01	c use --random-gen="492764207 1239786217 2439839826 244302013 1236492631 458971032 2144548313 533525908 181963039 2435940416 1480500126 387628049 2672843655 357554865 497065180 3442967020 980279240 3881335161 885362574 2677757281 430076959 1562834977 3014581428 362081988 2803641039 1428852980 1640034230 3030687304 1851431765 2615817838 3103629722 2904034639 4126482117 889239448 3839481667 2388923708 820706856 2253205911 1117972283 3511120348 1149512787 2584401766 2969529548 215497695 1664782072 706910117 4282795070 1957073707 331833192 1754536504 2549506559 1084086747 402171419 3662039673 1839906648 4208510927 762987064 810336660 2719254486 657960004 3453144088 806189300 3267553056 966185968 823291130 333566998 1235943931 1559553952 1107412440 2038255057 36715314 813217105 1756207906 1630922597 3812275134 2953450781 2007456178 2477988297 1262008983 4047954467 3152091394 2273810171 4220817764 279007780 977649236 2614488760 2037323091 3318385425 1897790995 4015960503 1317147997 1437517337 2164785234 404966953 4176397675 3445257789 972061406 3925419661 688670839 1071515942 478470525 2503987283 1942321286 1281994159 3409455748 2249750356 2206169871 2730631080 453561651 4193962790 99854899 3237252205 3280218470 884122113 2929002392 3123918302 3468911316 4268050042 1081153769 1476512660 3835849821 4132185008 3444056918 2282644814 1328041905 1585453073 649643425 3641368978 2689922041 4240106505 2624494160 1556570663 2393813834 550925148 1655690764 1835197885 2616555684 43919859 1434738446 2159982054 1850058288 917441463 482273408 4269752649 2839033094 2779742065 4002514074 2437506374 210772803 1835196259 1855254455 936623153 3940715938 2816210565 3305242134 2628166657 3332637246 2389259760 2084843896 3292113670 970898841 1436604618 393023946 1026244772 2782789609 523713303 2044723351 1975948244 3171656429 67022933 3850721730 2933897666 3872133858 1540725439 2711237625 3789357077 1349213775 3407033873 3425276188 3725445689 398895193 1655166535 674147016 431111859 2668902478 3712149591 701865895 521629370 1373345923 174856482 344439549 1882917870 3584029355 1624770874 2687167463 2036094473 3314984087 1095538744 2168884763 3088722081 3982289514 3223274816 629682105 2575585548 2690626283 392887464 3531643987 3626604856 3718168902 3991659052 341069350 285519695 2847850902 2076559254 548882305 3130444912 1009415502 344579924 3257798842 551131820 1141062991 3108351794 84755603 4178077963 101521284 3576229128 3204682514 274214267 2784342416 4035562569 1193149671 3556362216 1800493042 649986909 457632941 555275415 4142187898 2395285731 2761797122 423637382 3772422354 228728496 2783634637 654643646 4248432397 512414093 3118861564 291958159 1963584713 1042882317 2002940826 1042346879 3951920720 3089908413 3925703225 2723686365 255 362436" option to reproduce the execution
0.19/0.22	c #vars 7206
0.19/0.22	c #constraints 29537
0.59/0.61	c BCD2: Hardening is enabled.
0.59/0.61	c BCD2: BiasedSearch is enabled.
0.59/0.61	c Solving starts ...
0.59/0.61	c ============================[ Search Statistics ]============================
0.59/0.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.61	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.61	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |    11904      0 |      799 |        0
0.79/0.87	c  0.2s |       0 |    30053 |       82 |    11904      0 |      806 |     4640
0.79/0.87	c #cpu_time = 0.188s
0.79/0.87	c #wall_clock_time = 0.188s
0.79/0.87	c #decision = 30053
0.79/0.87	c #random_decision = 85
0.79/0.87	c #conflict = 82
0.79/0.87	c #restart = 0
0.79/0.87	o 405363018519
1118.95/1119.26	c BCD2: updating upper bound: 2745609187592 -> 405363018518
1735.25/1735.61	c BCD2: 0 <= obj <= 405363018518
1735.25/1735.61	c BCD2: #cores=0, #unrelaxed=3410, #relaxed=0, #hardened=0
1735.25/1735.61	c BCD2: #sat=1 #unsat=1 bias=1/2
1735.25/1735.61	c Solving starts ...
1735.25/1735.61	c ============================[ Search Statistics ]============================
1735.25/1735.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1735.25/1735.61	c       |         |          |          |    Limit     GC | Var      | Constra 
1735.25/1735.61	c =============================================================================
1735.25/1735.61	c  0.0s |       0 |        0 |        0 |    11904      0 |      806 |     4640
1735.25/1735.63	c  0.0s |       0 |        1 |        1 |    11904      0 |      807 |     4643
1735.25/1735.63	c #cpu_time = 0.020s
1735.25/1735.63	c #wall_clock_time = 0.020s
1735.25/1735.63	c #decision = 1
1735.25/1735.63	c #random_decision = 0
1735.25/1735.63	c #conflict = 1
1735.25/1735.63	c #restart = 0
1735.25/1735.63	c BCD2: found a new core of size 1: cost of the new core is >=1
1735.25/1735.63	c lower bound updated to 1

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

pid=7856
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.02 4/179 7859
/proc/meminfo: memFree=30463356/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 2553 0 0 0 0 0 0 0 20 0 4 0 109054965 703000576 2915 33554432000 4194304 16246674 140734937833456 140734937832880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 172399 2924 441 2943 0 169293 0
[pid=7859/tid=7860] ppid=7856 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 721874944 2986 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 726069248 3003 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109054965 731312128 3020 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.00 2.04 2.02 4/179 7859
/proc/meminfo: memFree=30463356/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1251908 CPUtime=0.09 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 26313 0 0 0 6 3 0 0 20 0 4 0 109054965 1281953792 26613 33554432000 4194304 16246674 140734937833456 140734937832768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 314513 26634 800 2943 0 311407 0
[pid=7859/tid=7860] ppid=7856 vsize=1261124 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1291390976 26648 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1265220 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1295585280 26663 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1268292 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1298731008 26677 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1251908

[startup+0.200553 s]
/proc/loadavg: 2.00 2.04 2.02 4/179 7859
/proc/meminfo: memFree=30463356/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 48644 0 0 0 13 6 0 0 20 0 4 0 109054965 1344868352 49454 33554432000 4194304 16246674 140734937833456 140734937832768 7370648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 328337 49454 800 2943 0 325231 0
[pid=7859/tid=7860] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 49454 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 49454 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 49454 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300499 s]
/proc/loadavg: 2.00 2.04 2.02 4/179 7859
/proc/meminfo: memFree=30463356/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 51997 0 0 0 22 7 0 0 20 0 4 0 109054965 1344868352 52807 33554432000 4194304 16246674 140734937833456 140734937832768 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 328337 52815 837 2943 0 325231 0
[pid=7859/tid=7860] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 52820 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 52826 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1344868352 52832 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70043 s]
/proc/loadavg: 2.00 2.04 2.02 4/179 7859
/proc/meminfo: memFree=30463356/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=0.69 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 111557 0 0 0 53 16 0 0 20 0 4 0 109054965 1357451264 112367 33554432000 4194304 16246674 140734937833456 140734937832768 5996544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 112367 886 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 112367 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 112367 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 112367 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.5004 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29821240/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 272067 0 0 0 112 37 0 0 20 0 4 0 109054965 1357451264 272877 33554432000 4194304 16246674 140734937833456 140734937815360 4224759 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 272882 896 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272884 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272887 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272889 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10039 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29372592/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 272091 0 0 0 272 37 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140734937815360 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 272901 896 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30041 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29372128/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 272091 0 0 0 592 37 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140734937815360 12654409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 272901 896 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29372276/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 272091 0 0 0 1232 37 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140734937815360 12655088 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 272901 896 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7912
/proc/meminfo: memFree=29412812/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 272091 0 0 0 2511 37 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140734937815360 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 331409 272901 896 2943 0 328303 0
[pid=7859/tid=7860] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1357451264 272901 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.06 2.05 2.02 3/183 7912
/proc/meminfo: memFree=29165424/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=1568324 CPUtime=51.08 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 332765 0 0 0 5064 44 0 0 20 0 4 0 109054965 1605963776 333830 33554432000 4194304 16246674 140734937833456 140734937831296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 392081 333830 896 2943 0 388975 0
[pid=7859/tid=7860] ppid=7856 vsize=1568324 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 1605963776 333830 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=1568324 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 1605963776 333830 33554432000 4194304 16246674 140734937833456 140338459028496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=1568324 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 1605963776 333830 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1568324

[startup+102.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7913
/proc/meminfo: memFree=28317272/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=2415172 CPUtime=102.27 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 544478 0 0 0 10136 91 0 0 20 0 4 0 109054965 2473136128 545542 33554432000 4194304 16246674 140734937833456 140734937831296 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 603793 545542 896 2943 0 600687 0
[pid=7859/tid=7860] ppid=7856 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 2473136128 545542 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 2473136128 545542 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 2473136128 545542 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2415172


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

/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 2970161152 666899 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=2900548 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 2970161152 666899 33554432000 4194304 16246674 140734937833456 140338459028496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=2900548 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 2970161152 666899 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2900548

[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 7967
/proc/meminfo: memFree=14693348/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=3307076 CPUtime=1362 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 7875834 0 0 0 133395 2805 0 0 20 0 4 0 109054965 3386445824 768531 33554432000 4194304 16246674 140734937833456 140734937831296 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 826769 768531 901 2943 0 823663 0
[pid=7859/tid=7860] ppid=7856 vsize=3307076 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 3386445824 768531 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=3307076 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 3386445824 768531 33554432000 4194304 16246674 140734937833456 140338459028496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=3307076 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 3386445824 768531 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 3307076

[startup+1422.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/184 7972
/proc/meminfo: memFree=14355976/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=3642948 CPUtime=1422 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 7959802 0 0 0 139334 2866 0 0 20 0 4 0 109054965 3730378752 852499 33554432000 4194304 16246674 140734937833456 140734937832552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 910737 852499 901 2943 0 907631 0
[pid=7859/tid=7860] ppid=7856 vsize=3642948 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 3730378752 852499 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=3642948 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 3730378752 852499 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=3642948 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 3730378752 852499 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 3642948

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/182 7973
/proc/meminfo: memFree=13958800/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=3790404 CPUtime=1481.98 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 7996666 0 0 0 145243 2955 0 0 20 0 4 0 109054965 3881373696 889363 33554432000 4194304 16246674 140734937833456 140734937832552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 947601 889363 901 2943 0 944495 0
[pid=7859/tid=7860] ppid=7856 vsize=3790404 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 3881373696 889363 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=3790404 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109054965 3881373696 889363 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=3790404 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 3881373696 889363 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 3790404

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 7975
/proc/meminfo: memFree=13439628/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=4092484 CPUtime=1541.98 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 8196602 0 0 0 151208 2990 0 0 20 0 4 0 109054965 4190703616 964883 33554432000 4194304 16246674 140734937833456 140734937832552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 1023121 964883 901 2943 0 1020015 0
[pid=7859/tid=7860] ppid=7856 vsize=4092484 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 4190703616 964883 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=4092484 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 4190703616 964883 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=4092484 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 4190703616 964883 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 4092484

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 7976
/proc/meminfo: memFree=13058720/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=4469316 CPUtime=1601.97 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 8403195 0 0 0 157166 3031 0 0 20 0 4 0 109054965 4576579584 1059092 33554432000 4194304 16246674 140734937833456 140734937832552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 1117329 1059092 901 2943 0 1114223 0
[pid=7859/tid=7860] ppid=7856 vsize=4469316 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 4576579584 1059092 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=4469316 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 4576579584 1059092 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=4469316 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 4576579584 1059092 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 4469316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7977
/proc/meminfo: memFree=12567620/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=4705860 CPUtime=1661.96 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 8735484 0 0 0 163049 3147 0 0 20 0 4 0 109054965 4818800640 1118228 33554432000 4194304 16246674 140734937833456 140734937832632 4226104 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 1176465 1118228 901 2943 0 1173359 0
[pid=7859/tid=7860] ppid=7856 vsize=4705860 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 4818800640 1118228 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=4705860 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 4818800640 1118228 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=4705860 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 4818800640 1118228 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4705860

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7979
/proc/meminfo: memFree=12475872/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=4794948 CPUtime=1721.95 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 9149692 0 0 0 168945 3250 0 0 20 0 4 0 109054965 4910026752 1140500 33554432000 4194304 16246674 140734937833456 140734937832552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 1198737 1140500 901 2943 0 1195631 0
[pid=7859/tid=7860] ppid=7856 vsize=4794948 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 4910026752 1140500 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=4794948 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 4910026752 1140500 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=4794948 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 4910026752 1140500 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4794948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7980
/proc/meminfo: memFree=14638984/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=2636356 CPUtime=1781.95 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 9149706 0 0 0 174920 3275 0 0 20 0 4 0 109054965 2699628544 600866 33554432000 4194304 16246674 140734937833456 140734937832768 12654409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 659089 600866 915 2943 0 655983 0
[pid=7859/tid=7860] ppid=7856 vsize=2636356 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 2699628544 600866 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=2636356 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 2699628544 600866 33554432000 4194304 16246674 140734937833456 140338459028720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=2636356 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 2699628544 600866 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2636356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7980
/proc/meminfo: memFree=15073820/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=2202180 CPUtime=1800.03 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) R 7856 7859 5566 0 -1 4202496 9149707 0 0 0 176727 3276 0 0 20 0 4 0 109054965 2255032320 492322 33554432000 4194304 16246674 140734937833456 140734937831296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 550545 492322 915 2943 0 547439 0
[pid=7859/tid=7860] ppid=7856 vsize=2202180 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) S 7856 7859 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109054965 2255032320 492322 33554432000 4194304 16246674 140734937833456 140338539769072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7859/tid=7861] ppid=7856 vsize=2202180 CPUtime=0.01 cores=1,3,5,7
/proc/7859/task/7861/stat : 7861 (toysat) S 7856 7859 5566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109054965 2255032320 492322 33554432000 4194304 16246674 140734937833456 140338459028496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7859/tid=7862] ppid=7856 vsize=2202180 CPUtime=0 cores=1,3,5,7
/proc/7859/task/7862/stat : 7862 (toysat) S 7856 7859 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109054965 2255032320 492322 33554432000 4194304 16246674 140734937833456 140338448555184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2202180

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7980
/proc/meminfo: memFree=15073820/32872528 swapFree=12744/274376
[pid=7859] ppid=7856 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/7859/stat : 7859 (toysat) Z 7856 7859 5566 0 -1 4203532 9149707 0 0 0 176729 3287 0 0 20 0 2 0 109054965 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7859/statm: 0 0 0 0 0 0 0
[pid=7859/tid=7860] ppid=7856 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/7859/task/7860/stat : 7860 (toysat) R 7856 7859 5566 0 -1 4203588 9 0 0 0 0 9 0 0 20 0 2 0 109054965 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.17
CPU user time (s): 1767.3
CPU system time (s): 32.87
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 8185412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.3
system time used= 32.87
maximum resident set size= 7952440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9149707
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= 1586
involuntary context switches= 1991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74028 second user time and 6.89595 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 05:46:42
IDJOB=4079192
IDBENCH=72310
IDSOLVER=2542
FILE ID=node107/4079192-1465271202
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand362510.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-4079192-1465271202/watcher-4079192-1465271202 -o /tmp/evaluation-result-4079192-1465271202/solver-4079192-1465271202 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079192-1465271202.opb

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

MD5SUM BENCH= b2c31f294bca10e9f13f12948f1e512f
RANDOM SEED=1980573499

node107.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.441
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.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.441
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:        30463736 kB
Buffers:          107432 kB
Cached:           166560 kB
SwapCached:         1676 kB
Active:          1257696 kB
Inactive:         143616 kB
Active(anon):    1129488 kB
Inactive(anon):      468 kB
Active(file):     128208 kB
Inactive(file):   143148 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             17100 kB
Writeback:             0 kB
AnonPages:       1400832 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             600096 kB
SReclaimable:      43484 kB
SUnreclaim:       556612 kB
KernelStack:        1520 kB
PageTables:         6608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1542520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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= 71716 MiB
End job on node107 at 2016-06-07 06:16:43