Trace number 4107186

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.04 1800.34

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__2048.opb
MD5SUMd1fb051a767cfe5591d677674fdef8c6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294004
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables614498
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint2048
Maximum length of a constraint34817
Number of terms in the objective function 614400
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 22173505536
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 22173505536
Number of bits of the biggest sum of numbers35
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-18T23:11:57+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-4107186-1466284316.opb"]
0.00/0.01	c use --random-gen="3513078268 1575177458 3051830692 82568624 3244882765 2173272734 1390933980 1135808550 639221439 1732507159 2419660146 3814717087 1836269758 3571989780 3308539445 3035523118 286992645 223634198 2141850923 2529152590 1233567975 3765972058 622043226 2251900062 1655310160 830700105 966049898 2638450449 1137464317 2179523918 1046335115 312736210 692127086 384687231 3925651490 3606976069 12153870 2471996981 798141674 3186506796 471448244 1230071301 547507926 512736680 3536030347 1036925752 2384898994 3486649286 623854513 2966194199 3576222087 2282135113 1600957156 3887250509 117228247 67396954 3984777714 242225616 1683321266 3225265701 213539726 2056560345 1209211294 508175932 2724159398 1339694415 3480948295 4110356513 3303333331 1259352732 3944015836 1631305200 1981674312 1259127787 2261432895 245920510 3057298378 303361161 1268218127 2902917336 2398431502 3439050202 3840356719 356612034 3555779686 417514690 1680506228 1424154899 801549941 1863184280 1581613351 1842329702 3742012607 3542887522 3805499590 1109003073 3948254101 372202033 1272007871 2670832508 563530989 1868317560 3338749288 824987723 1845631862 3590333486 3054704199 2730841544 2328483012 947540452 1701189613 68809040 1947291641 2629855344 243995538 3738851603 1046009894 4189890959 2671141272 3218791303 827789522 2027026788 62267749 2357835889 3721364924 1262308178 2125810627 2331074346 80695072 1747413735 1879211347 3914741254 1308067989 3442791206 928708549 4222056971 2348392420 1825899144 1613933178 3500347113 805415939 2427439989 979462038 2743063530 2542670354 3095348497 2426382425 467350070 4152946231 4139372825 2480933339 355082004 2723896538 3098882144 1977386556 827400685 4224853821 2260582546 2999546011 809490031 1449239172 1643544839 831263205 2657553145 402675192 2721196707 3414609908 2363629193 2715109755 1391088448 1109206811 3543004614 3448097337 2531997164 2077736928 2951644673 2725654702 2358057456 1943488899 2706438946 3619495289 1274910227 3554268726 934963976 3262621378 4094886767 158726439 2672328578 2021961323 3661729586 1009213232 3324083482 1814811117 3699236149 1532044460 3730894012 933637525 2860177308 1068962697 1963653891 3819814182 1494040434 3357705014 3100265424 3067374098 102035244 3393748467 3290959573 521999288 2900607908 3237885930 2674721750 1588085909 2682777104 997813655 1600420011 1030839744 2312518181 836320480 3032591837 639570495 1773199165 1419982196 2575294645 746183834 30971347 1818334057 2394559740 1611490453 28816102 3323429891 1742504048 3620482953 1848367170 2669213965 228258953 1105881051 3181593891 1836470605 1919007436 1353830218 2111573549 1000732477 2504404845 1633987084 427090796 2298787040 2425901002 2204878617 3079650823 3634492795 2709007736 3044427045 3051576972 1201327613 3892323584 255 362436" option to reproduce the execution
4.78/4.83	c #vars 614498
4.78/4.83	c #constraints 400
21.39/21.49	c BCD2: Hardening is enabled.
21.39/21.49	c BCD2: BiasedSearch is enabled.
21.39/21.49	c Solving starts ...
21.39/21.49	c ============================[ Search Statistics ]============================
21.39/21.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.39/21.49	c       |         |          |          |    Limit     GC | Var      | Constra 
21.39/21.49	c =============================================================================
21.39/21.49	c  0.0s |       0 |        0 |        0 |   204999      0 |        0 |        0
369.23/369.33	c  347s |       0 |     3397 |      100 |   204999      0 |        0 |        0
369.33/369.43	c  347s |       1 |     3397 |      100 |   204999      0 |        0 |        0
373.43/373.53	c  352s |       1 |    17823 |      200 |   225499      0 |        0 |        0
374.43/374.59	c  353s |       2 |    17823 |      250 |   225499      0 |        0 |        0
426.83/426.92	c  405s |       2 |    79053 |      350 |   248049      0 |        0 |        0
475.52/475.62	c  454s |       2 |    79053 |      450 |   248049      0 |        0 |        0
487.91/488.04	c  466s |       3 |    79053 |      475 |   248049      0 |        0 |        0
553.90/554.09	c  532s |       3 |   190588 |      575 |   272854      0 |        0 |        0
619.49/619.63	c  598s |       3 |   190588 |      675 |   272854      0 |        0 |        0
685.18/685.40	c  663s |       3 |   190588 |      775 |   272854      0 |        0 |        0
711.78/712.00	c  690s |       4 |   190588 |      813 |   272854      0 |        0 |        0
1030.42/1030.64	c 1009s |       4 |   349031 |      913 |   300140      0 |        0 |        0
1364.87/1365.18	c 1343s |       4 |   349031 |     1013 |   300140      0 |        0 |        0
1725.21/1725.54	c 1704s |       4 |   349031 |     1113 |   300140      0 |        0 |        0

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

pid=10940
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.02 2.06 2.08 3/179 10943
/proc/meminfo: memFree=18705360/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=398780 CPUtime=0 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 1430 0 0 0 0 0 0 0 20 0 4 0 30481780 408350720 1791 33554432000 4194304 16246674 140735961296064 140735961295488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 100207 1800 441 2943 0 97101 0
[pid=10943/tid=10944] ppid=10940 vsize=416188 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 426176512 1857 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=420284 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 430370816 1876 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=424380 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 434565120 1892 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 10943
/proc/meminfo: memFree=18705360/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 27822 0 0 0 4 4 0 0 20 0 4 0 30481780 1333334016 28120 33554432000 4194304 16246674 140735961296064 140735961295376 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 325521 28134 800 2943 0 322415 0
[pid=10943/tid=10944] ppid=10940 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1333334016 28148 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1333334016 28159 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1333334016 28170 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200455 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 10943
/proc/meminfo: memFree=18705360/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 42421 0 0 0 13 6 0 0 20 0 4 0 30481780 1344868352 43231 33554432000 4194304 16246674 140735961296064 140735961295376 7376282 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 328337 43247 800 2943 0 325231 0
[pid=10943/tid=10944] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 43257 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 43268 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 43280 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300414 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 10943
/proc/meminfo: memFree=18705360/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 44445 0 0 0 22 7 0 0 20 0 4 0 30481780 1344868352 45254 33554432000 4194304 16246674 140735961296064 140735961295376 7439734 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 328337 45254 800 2943 0 325231 0
[pid=10943/tid=10944] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 45254 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 45254 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 45254 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700333 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 10943
/proc/meminfo: memFree=18705360/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 56618 0 0 0 60 9 0 0 20 0 4 0 30481780 1344868352 57427 33554432000 4194304 16246674 140735961296064 140735961295376 4206666 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 328337 57427 801 2943 0 325231 0
[pid=10943/tid=10944] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 57427 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 57427 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1344868352 57427 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 2.02 2.06 2.08 3/183 10947
/proc/meminfo: memFree=18444660/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 93465 0 0 0 133 15 0 0 20 0 4 0 30481780 1345916928 94274 33554432000 4194304 16246674 140735961296064 140735961293952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 328593 94274 802 2943 0 325487 0
[pid=10943/tid=10944] ppid=10940 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1345916928 94274 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1345916928 94274 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1345916928 94274 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 10947
/proc/meminfo: memFree=26325712/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1338948 CPUtime=3.08 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 131886 0 0 0 287 21 0 0 20 0 4 0 30481780 1371082752 137805 33554432000 4194304 16246674 140735961296064 140735961293888 4206649 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 334737 137805 803 2943 0 331631 0
[pid=10943/tid=10944] ppid=10940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1371082752 137805 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30481780 1371082752 137805 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1371082752 137805 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1338948

[startup+6.30035 s]
/proc/loadavg: 2.02 2.06 2.08 3/183 10996
/proc/meminfo: memFree=29124676/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=1600068 CPUtime=6.29 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 267009 0 0 0 586 43 0 0 20 0 4 0 30481780 1638469632 281105 33554432000 4194304 16246674 140735961296064 140735961295376 4225154 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 400017 281110 814 2943 0 396911 0
[pid=10943/tid=10944] ppid=10940 vsize=1600068 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1638469632 281114 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=1600068 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 1638469632 281118 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=1600068 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 1638469632 281121 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1600068

[startup+12.7004 s]
/proc/loadavg: 2.01 2.06 2.08 4/183 10996
/proc/meminfo: memFree=28289160/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=2061892 CPUtime=12.69 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 437629 0 0 0 1202 67 0 0 20 0 4 0 30481780 2111377408 456834 33554432000 4194304 16246674 140735961296064 140735961277952 13892791 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 515473 456834 840 2943 0 512367 0
[pid=10943/tid=10944] ppid=10940 vsize=2061892 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 2111377408 456834 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=2061892 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 2111377408 456834 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=2061892 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 2111377408 456834 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2061892

[startup+25.5004 s]
/proc/loadavg: 2.01 2.06 2.08 3/182 10996
/proc/meminfo: memFree=27247744/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3101252 CPUtime=25.48 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 697522 0 0 0 2441 107 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140735961277952 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 775313 716727 892 2943 0 772207 0
[pid=10943/tid=10944] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3101252

[startup+51.1004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 10997
/proc/meminfo: memFree=27247440/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3101252 CPUtime=51.08 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 697522 0 0 0 5001 107 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140735961277952 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 775313 716727 892 2943 0 772207 0
[pid=10943/tid=10944] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3101252

[startup+102.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/183 10998
/proc/meminfo: memFree=27246796/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3101252 CPUtime=102.28 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 697522 0 0 0 10121 107 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140735961277952 12995176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 775313 716727 892 2943 0 772207 0
[pid=10943/tid=10944] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3175682048 716727 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3101252


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

/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3556932

[startup+1362.3 s]
/proc/loadavg: 2.19 2.09 2.07 3/183 11127
/proc/meminfo: memFree=26787424/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3556932 CPUtime=1362.07 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 811210 0 0 0 135945 262 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140735961295240 12995176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 889233 830476 897 2943 0 886127 0
[pid=10943/tid=10944] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3556932

[startup+1422.3 s]
/proc/loadavg: 2.12 2.09 2.07 3/183 11176
/proc/meminfo: memFree=26750472/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3556932 CPUtime=1422.06 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 811210 0 0 0 141934 272 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140735961277952 13781168 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 889233 830476 897 2943 0 886127 0
[pid=10943/tid=10944] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3556932

[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.07 3/183 11177
/proc/meminfo: memFree=26749992/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3556932 CPUtime=1482.05 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 811210 0 0 0 147921 284 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140735961295240 5712760 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 889233 830476 897 2943 0 886127 0
[pid=10943/tid=10944] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830476 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3556932

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 2.07 3/183 11178
/proc/meminfo: memFree=26749020/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3556932 CPUtime=1542.04 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 811461 0 0 0 153909 295 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140735961277952 5711439 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 889233 830727 897 2943 0 886127 0
[pid=10943/tid=10944] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3556932

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 11180
/proc/meminfo: memFree=26748912/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3556932 CPUtime=1602.03 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 811468 0 0 0 159895 308 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140735961295160 12995176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 889233 830727 897 2943 0 886127 0
[pid=10943/tid=10944] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3556932 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3642298368 830727 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3556932

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/183 11181
/proc/meminfo: memFree=26732696/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3573316 CPUtime=1662.02 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 815564 0 0 0 165884 318 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140735961295240 5712760 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 893329 834823 897 2943 0 890223 0
[pid=10943/tid=10944] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3573316

[startup+1722.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/184 11185
/proc/meminfo: memFree=26732468/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3573316 CPUtime=1722.01 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 815564 0 0 0 171871 330 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140735961295240 13780624 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 893329 834823 897 2943 0 890223 0
[pid=10943/tid=10944] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3573316

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.07 3/183 11186
/proc/meminfo: memFree=26732252/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3573316 CPUtime=1782 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 815564 0 0 0 177860 340 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140735961277952 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 893329 834823 897 2943 0 890223 0
[pid=10943/tid=10944] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3573316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.09 2.07 4/183 11186
/proc/meminfo: memFree=26732608/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3573316 CPUtime=1800 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 815564 0 0 0 179656 344 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140735961277952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 893329 834823 897 2943 0 890223 0
[pid=10943/tid=10944] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3573316

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.09 2.07 4/183 11186
/proc/meminfo: memFree=26732608/32872528 swapFree=526336/559040
[pid=10943] ppid=10940 vsize=3573316 CPUtime=1800 cores=0,2,4,6
/proc/10943/stat : 10943 (toysat) R 10940 10943 10280 0 -1 4202496 815564 0 0 0 179656 344 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140735961277952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10943/statm: 893329 834823 897 2943 0 890223 0
[pid=10943/tid=10944] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10944/stat : 10944 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470685510896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10943/tid=10945] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10945/stat : 10945 (toysat) S 10940 10943 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470675021040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10943/tid=10946] ppid=10940 vsize=3573316 CPUtime=0 cores=0,2,4,6
/proc/10943/task/10946/stat : 10946 (toysat) S 10940 10943 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30481780 3659075584 834823 33554432000 4194304 16246674 140735961296064 140470596398256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3573316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.34
CPU time (s): 1800.04
CPU user time (s): 1796.57
CPU system time (s): 3.47747
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3573316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 3.47747
maximum resident set size= 3339292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815564
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= 77
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03723 second user time and 6.92295 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 23:11:57
IDJOB=4107186
IDBENCH=71917
IDSOLVER=2542
FILE ID=node106/4107186-1466284316
RUNJOBID= node106-1466277111-10296
PBS_JOBID= 19918270
Free space on /tmp= 71536 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__2048.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107186-1466284316/watcher-4107186-1466284316 -o /tmp/evaluation-result-4107186-1466284316/solver-4107186-1466284316 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107186-1466284316.opb

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

MD5SUM BENCH= d1fb051a767cfe5591d677674fdef8c6
RANDOM SEED=417579273

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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		: 2667.073
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:        18706012 kB
Buffers:          109240 kB
Cached:           374744 kB
SwapCached:         1736 kB
Active:         12604780 kB
Inactive:         227212 kB
Active(anon):   12347232 kB
Inactive(anon):     3048 kB
Active(file):     257548 kB
Inactive(file):   224164 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             44640 kB
Writeback:             0 kB
AnonPages:      12908524 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             617964 kB
SReclaimable:      61368 kB
SUnreclaim:       556596 kB
KernelStack:        1448 kB
PageTables:        29280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13052676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    516096 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= 71636 MiB
End job on node106 at 2016-06-18 23:41:57