Trace number 4079194

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.33 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randc18b26.cudf.trendy.opb
MD5SUM16fcb87ec6e0d214403f64d4df628c22
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30185484701
Best CPU time to get the best result obtained on this benchmark3.2815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7205
Total number of constraints30168
Number of constraints which are clauses29862
Number of constraints which are cardinality constraints (but not clauses)306
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 3416
Biggest coefficient in the objective function 5000211000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2760110624957
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 5000211000
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2760110624957
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:40:18+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-4079194-1465270818.opb"]
0.00/0.01	c use --random-gen="1202987285 3251321975 2303891788 760863129 2581134460 249372635 1422751346 1618531564 3354209647 77250728 1318230322 1195433766 3825879447 4003171336 2072391840 335517851 1376658110 478721761 173148653 950512584 1851937357 4187889806 4079331100 3792837158 1975876385 331200416 783793897 48538519 2743315558 1003157178 1335679943 1129625721 2931498123 962246767 820830731 3072679479 703950278 1103152792 4096201145 3724311760 2263161980 1137633841 545557111 141162782 2223181359 3732896725 2744240433 3046901528 3994733684 4179417996 3379778209 1227133131 3081480301 670204934 232309629 1436417678 3145792354 3260929431 2964210987 2199850396 3027320106 3193595776 863154941 3278120829 1875515720 782127182 2483054944 2037896397 1094435752 3846267031 3042984066 251657907 1217210431 1820735136 1655154769 2567048083 196660106 2472683637 1704010805 3909052386 4159184610 2039501921 1511583941 519538798 2781835151 1573252710 2958410003 2987444404 2796988881 1107321224 3551481119 600439542 3750101966 2805527461 1173607635 1926338347 3765932913 298639092 419075772 3407611278 210406855 2571441454 2230146161 4287946615 3385977538 64228897 1356387103 2933927028 3430680604 3267885886 3580553878 1738312424 1119335436 2176769921 3498086896 2342908570 2097145272 3074199345 2613975255 2439440049 3468723019 546909785 2458940459 1190409597 950619191 3632043054 4186110636 3403558785 3082556068 596538464 3900005874 2717268137 2731530159 3730814829 2057030806 543635964 2897528720 1510758680 3625104855 431853098 3802465310 2562194137 1785286934 1426143293 1335685612 3495453126 3652461282 398205397 3701485794 1814690583 145274936 1602898085 3873213649 559699590 3074326676 1029053366 3057366133 2282410849 3160204024 2450823303 857029634 1695587839 1951621475 2462733401 1888967805 885541048 3882026271 241719836 4004105303 2535929674 2925539956 1402987238 1006267038 2422369224 2863274439 1530499025 2521253297 2928616426 1760022006 781445773 560815478 3968710079 3753963893 935759589 745792899 2997915637 2716918154 1398743197 3664680804 603745171 682746232 4035898746 689076648 3722671190 225178017 2016098562 4024826920 1318567953 3036674714 1726705602 3951487346 1888203007 2088618636 314970268 3738929954 3631379727 1177900332 259239737 3552705388 885189896 3559549769 2122245547 984337997 3301801659 3356664085 2598061889 2925897317 2362340707 1475576985 4257384490 4184304773 2989822659 3444213092 2774787278 1603435922 1013616431 3942239205 2518433653 3738083630 23214811 654918322 2962143725 479277285 1877413152 869937880 243664111 1424779223 1058233182 864509719 4005071130 892176938 2010804078 4262193939 2618119077 2885454434 2814562331 4178415240 3968691790 2526083282 2019264380 3266922075 36940380 3992152264 4107784887 576482269 833909277 255 362436" option to reproduce the execution
0.18/0.22	c #vars 7205
0.18/0.22	c #constraints 30168
0.59/0.62	c BCD2: Hardening is enabled.
0.59/0.62	c BCD2: BiasedSearch is enabled.
0.59/0.62	c Solving starts ...
0.59/0.62	c ============================[ Search Statistics ]============================
0.59/0.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.62	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.62	c =============================================================================
0.59/0.70	c  0.0s |       0 |        0 |        0 |    11996      0 |     1049 |        0
0.89/0.90	c  0.2s |       0 |    26799 |       76 |    11996      0 |     1073 |     5843
0.89/0.90	c #cpu_time = 0.201s
0.89/0.90	c #wall_clock_time = 0.202s
0.89/0.90	c #decision = 26799
0.89/0.90	c #random_decision = 76
0.89/0.90	c #conflict = 76
0.89/0.90	c #restart = 0
0.89/0.90	o 357348413844
874.83/875.07	c BCD2: updating upper bound: 2760110624957 -> 357348413843
1265.48/1265.73	c BCD2: 0 <= obj <= 357348413843
1265.48/1265.73	c BCD2: #cores=0, #unrelaxed=3416, #relaxed=0, #hardened=0
1265.48/1265.73	c BCD2: #sat=1 #unsat=1 bias=1/2
1265.48/1265.73	c Solving starts ...
1265.48/1265.73	c ============================[ Search Statistics ]============================
1265.48/1265.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1265.48/1265.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1265.48/1265.73	c =============================================================================
1265.48/1265.73	c  0.0s |       0 |        0 |        0 |    11996      0 |     1073 |     5843
1265.48/1265.75	c  0.0s |       0 |        1 |        1 |    11996      0 |     1074 |     5845
1265.48/1265.75	c #cpu_time = 0.020s
1265.48/1265.75	c #wall_clock_time = 0.020s
1265.48/1265.75	c #decision = 1
1265.48/1265.75	c #random_decision = 0
1265.48/1265.75	c #conflict = 1
1265.48/1265.75	c #restart = 0
1265.48/1265.75	c BCD2: found a new core of size 1: cost of the new core is >=1
1265.48/1265.75	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-4079194-1465270818/watcher-4079194-1465270818 -o /tmp/evaluation-result-4079194-1465270818/solver-4079194-1465270818 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079194-1465270818.opb 

pid=14631
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.18 2.19 2.18 4/180 14634
/proc/meminfo: memFree=29491612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=522684 CPUtime=0 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 1915 0 0 0 0 0 0 0 20 0 4 0 109016337 535228416 2787 33554432000 4194304 16246674 140736733988512 140736733987936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 131439 2796 441 2943 0 128333 0
[pid=14634/tid=14635] ppid=14631 vsize=540092 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 553054208 2854 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=544188 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 557248512 2873 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=549308 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 562491392 2891 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 14634
/proc/meminfo: memFree=29491612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 26236 0 0 0 5 3 0 0 20 0 4 0 109016337 1333334016 27045 33554432000 4194304 16246674 140736733988512 140736733987824 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 325521 27062 799 2943 0 322415 0
[pid=14634/tid=14635] ppid=14631 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1333334016 27073 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1333334016 27084 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1333334016 27095 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200501 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 14634
/proc/meminfo: memFree=29491612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 50098 0 0 0 12 6 0 0 20 0 4 0 109016337 1344868352 51418 33554432000 4194304 16246674 140736733988512 140736733987824 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 328337 51426 799 2943 0 325231 0
[pid=14634/tid=14635] ppid=14631 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1344868352 51431 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1344868352 51435 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1344868352 51439 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300451 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 14634
/proc/meminfo: memFree=29491612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 53082 0 0 0 22 7 0 0 20 0 4 0 109016337 1345916928 54403 33554432000 4194304 16246674 140736733988512 140736733987824 13956064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 328593 54412 836 2943 0 325487 0
[pid=14634/tid=14635] ppid=14631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1345916928 54418 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1345916928 54424 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1345916928 54430 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700367 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 14634
/proc/meminfo: memFree=29491612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=0.69 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 115421 0 0 0 53 16 0 0 20 0 4 0 109016337 1357451264 116741 33554432000 4194304 16246674 140736733988512 140736733970432 5839808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 116741 865 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 116741 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 116741 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 116741 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50041 s]
/proc/loadavg: 2.18 2.19 2.18 4/184 14638
/proc/meminfo: memFree=28865304/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 272007 0 0 0 109 40 0 0 20 0 4 0 109016337 1357451264 273327 33554432000 4194304 16246674 140736733988512 140736733970432 4224759 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 273327 894 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 273327 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273327 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273327 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10048 s]
/proc/loadavg: 2.18 2.19 2.18 4/184 14638
/proc/meminfo: memFree=28399188/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 272090 0 0 0 269 40 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 140736733970432 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 273410 895 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30043 s]
/proc/loadavg: 2.16 2.18 2.18 3/184 14638
/proc/meminfo: memFree=28398696/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 272090 0 0 0 589 40 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 140736733970432 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 273410 895 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7005 s]
/proc/loadavg: 2.23 2.20 2.18 3/184 14638
/proc/meminfo: memFree=28398612/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=12.68 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 272090 0 0 0 1228 40 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 140736733970432 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 273410 895 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.26 2.20 2.18 3/184 14638
/proc/meminfo: memFree=28398732/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 272090 0 0 0 2508 40 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 140736733970432 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 331409 273410 895 2943 0 328303 0
[pid=14634/tid=14635] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1357451264 273410 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.24 2.20 2.18 3/183 14638
/proc/meminfo: memFree=28072824/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=1651268 CPUtime=51.09 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 353499 0 0 0 5055 54 0 0 20 0 4 0 109016337 1690898432 354819 33554432000 4194304 16246674 140736733988512 140736733986256 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 412817 354819 895 2943 0 409711 0
[pid=14634/tid=14635] ppid=14631 vsize=1651268 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 1690898432 354819 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=1651268 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 1690898432 354819 33554432000 4194304 16246674 140736733988512 139793715403792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=1651268 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 1690898432 354819 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1651268

[startup+102.301 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 14639
/proc/meminfo: memFree=27365208/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=2357828 CPUtime=102.28 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 605659 0 0 0 10135 93 0 0 20 0 4 0 109016337 2414415872 531459 33554432000 4194304 16246674 140736733988512 140736733987728 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 589457 531459 895 2943 0 586351 0
[pid=14634/tid=14635] ppid=14631 vsize=2357828 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 2414415872 531459 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=2357828 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 2414415872 531459 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=2357828 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 2414415872 531459 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2357828


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

/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 2884177920 646172 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=2816580 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 2884177920 646172 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=2816580 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 2884177920 646172 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2816580

[startup+1362.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 14742
/proc/meminfo: memFree=27541580/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=2185796 CPUtime=1362.05 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5164804 0 0 0 135269 936 0 0 20 0 4 0 109016337 2238255104 488476 33554432000 4194304 16246674 140736733988512 140736733987728 12371296 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 546449 488476 914 2943 0 543343 0
[pid=14634/tid=14635] ppid=14631 vsize=2185796 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 2238255104 488476 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=2185796 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 2238255104 488476 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=2185796 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 2238255104 488476 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2185796

[startup+1422.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 14744
/proc/meminfo: memFree=26928076/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=2798148 CPUtime=1422.04 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5317893 0 0 0 141244 960 0 0 20 0 4 0 109016337 2865303552 641564 33554432000 4194304 16246674 140736733988512 140736733986320 13882935 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 699537 641564 914 2943 0 696431 0
[pid=14634/tid=14635] ppid=14631 vsize=2798148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 2865303552 641564 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=2798148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 2865303552 641564 33554432000 4194304 16246674 140736733988512 139793715403792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=2798148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 2865303552 641564 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2798148

[startup+1482.3 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 14745
/proc/meminfo: memFree=26415364/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=3310148 CPUtime=1482.03 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5445894 0 0 0 147219 984 0 0 20 0 4 0 109016337 3389591552 769564 33554432000 4194304 16246674 140736733988512 140736733987608 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 827537 769564 914 2943 0 824431 0
[pid=14634/tid=14635] ppid=14631 vsize=3310148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 3389591552 769564 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=3310148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109016338 3389591552 769564 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=3310148 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 3389591552 769564 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3310148

[startup+1542.31 s]
/proc/loadavg: 2.17 2.16 2.17 3/183 14746
/proc/meminfo: memFree=26006904/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=3717700 CPUtime=1542.03 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5547782 0 0 0 153200 1003 0 0 20 0 4 0 109016337 3806924800 871452 33554432000 4194304 16246674 140736733988512 140736733987728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 929425 871452 914 2943 0 926319 0
[pid=14634/tid=14635] ppid=14631 vsize=3717700 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 3806924800 871452 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=3717700 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 3806924800 871452 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=3717700 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 3806924800 871452 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3717700

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 14747
/proc/meminfo: memFree=25436004/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=4287044 CPUtime=1602.01 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5718025 0 0 0 159164 1037 0 0 20 0 4 0 109016337 4389933056 1013788 33554432000 4194304 16246674 140736733988512 140736733987608 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 1071761 1013788 914 2943 0 1068655 0
[pid=14634/tid=14635] ppid=14631 vsize=4287044 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 4389933056 1013788 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=4287044 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 4389933056 1013788 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=4287044 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 4389933056 1013788 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 4287044

[startup+1662.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 14748
/proc/meminfo: memFree=25154588/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=4567620 CPUtime=1662 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 5878794 0 0 0 165130 1070 0 0 20 0 4 0 109016337 4677242880 1083932 33554432000 4194304 16246674 140736733988512 140736733987608 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 1141905 1083932 914 2943 0 1138799 0
[pid=14634/tid=14635] ppid=14631 vsize=4567620 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 4677242880 1083932 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=4567620 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 4677242880 1083932 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=4567620 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 4677242880 1083932 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 4567620

[startup+1722.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 14750
/proc/meminfo: memFree=24705296/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=5016132 CPUtime=1721.99 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 6273291 0 0 0 171066 1133 0 0 20 0 4 0 109016337 5136519168 1196061 33554432000 4194304 16246674 140736733988512 140736733987728 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 1254033 1196061 914 2943 0 1250927 0
[pid=14634/tid=14635] ppid=14631 vsize=5016132 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 5136519168 1196061 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=5016132 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 5136519168 1196061 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=5016132 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 5136519168 1196061 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 5016132

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 14751
/proc/meminfo: memFree=24648060/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=5073476 CPUtime=1781.99 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 6517003 0 0 0 177016 1183 0 0 20 0 4 0 109016337 5195239424 1210397 33554432000 4194304 16246674 140736733988512 140736733986368 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 1268369 1210397 914 2943 0 1265263 0
[pid=14634/tid=14635] ppid=14631 vsize=5073476 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 5195239424 1210397 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=5073476 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 5195239424 1210397 33554432000 4194304 16246674 140736733988512 139793715403792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=5073476 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 5195239424 1210397 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5073476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.15 2.17 3/184 14754
/proc/meminfo: memFree=25456772/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=4266564 CPUtime=1800.08 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) R 14631 14634 9895 0 -1 4202496 6551051 0 0 0 178814 1194 0 0 20 0 4 0 109016337 4368961536 1008669 33554432000 4194304 16246674 140736733988512 140736733987608 4225128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 1066641 1008669 914 2943 0 1063535 0
[pid=14634/tid=14635] ppid=14631 vsize=4266564 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) S 14631 14634 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109016337 4368961536 1008669 33554432000 4194304 16246674 140736733988512 139793725893872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14634/tid=14636] ppid=14631 vsize=4266564 CPUtime=0.01 cores=1,3,5,7
/proc/14634/task/14636/stat : 14636 (toysat) S 14631 14634 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109016338 4368961536 1008669 33554432000 4194304 16246674 140736733988512 139793715404016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14634/tid=14637] ppid=14631 vsize=4266564 CPUtime=0 cores=1,3,5,7
/proc/14634/task/14637/stat : 14637 (toysat) S 14631 14634 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109016338 4368961536 1008669 33554432000 4194304 16246674 140736733988512 139793602178224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4266564

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

[startup+1800.6 s]
/proc/loadavg: 2.10 2.15 2.17 3/184 14754
/proc/meminfo: memFree=25456772/32872528 swapFree=12208/1156848
[pid=14634] ppid=14631 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/14634/stat : 14634 (toysat) Z 14631 14634 9895 0 -1 4203532 6551051 0 0 0 178816 1215 0 0 20 0 2 0 109016337 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14634/statm: 0 0 0 0 0 0 0
[pid=14634/tid=14635] ppid=14631 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/14634/task/14635/stat : 14635 (toysat) R 14631 14634 9895 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 109016337 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.33
CPU user time (s): 1788.16
CPU system time (s): 12.1662
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 6890052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.16
system time used= 12.1662
maximum resident set size= 6658084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6551051
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= 2367
involuntary context switches= 4160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4651 second user time and 8.94964 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 05:40:18
IDJOB=4079194
IDBENCH=72292
IDSOLVER=2542
FILE ID=node114/4079194-1465270818
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 16fcb87ec6e0d214403f64d4df628c22
RANDOM SEED=1171945456

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.852
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.54
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.852
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:        29492256 kB
Buffers:          128620 kB
Cached:           233496 kB
SwapCached:         1696 kB
Active:          1265408 kB
Inactive:         219924 kB
Active(anon):    1124324 kB
Inactive(anon):     1252 kB
Active(file):     141084 kB
Inactive(file):   218672 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2355224 kB
Mapped:            10928 kB
Shmem:                 0 kB
Slab:             601888 kB
SReclaimable:      45820 kB
SUnreclaim:       556068 kB
KernelStack:        1528 kB
PageTables:         8540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2425760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1482752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node114 at 2016-06-07 06:10:18