Trace number 4107574

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.38 1800.66

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb
MD5SUM43875142ae1c220985d6e8b2ab6ecef8
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241573758
Best CPU time to get the best result obtained on this benchmark3.60245
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6791
Total number of constraints28455
Number of constraints which are clauses28164
Number of constraints which are cardinality constraints (but not clauses)291
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 3172
Biggest coefficient in the objective function 4004529472
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 2210495226091
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4004529472
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 2210495226091
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-19T00:00:45+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-4107574-1466287245.opb"]
0.00/0.01	c use --random-gen="4177504154 1793146847 3584708956 937338715 3055781715 2566248393 236960658 621789852 1054425320 3186636059 1814354155 1222648066 4063485533 3291855113 3483599660 2491322368 809214209 20576799 2555646109 1332647123 2143903596 3566511287 3188764429 3650573201 2803188534 2856572031 2662014568 3064074956 802173761 1430796991 1459468282 1360624006 2400336251 1583956374 3516191978 1839157303 215627885 640787977 530847417 1583670105 457857576 634293357 1841797073 3639751041 1301455301 3475512160 2718812459 1259284732 640160308 1027487944 197904363 2046746143 3106924230 1709399054 1861299397 3882639806 699986306 3025695120 998885246 2063771466 1159354532 4219018500 447771710 3489134941 4203748523 1295137380 3820025467 3226194446 3566571703 965014016 3480618171 152774858 3555168984 1726902691 617390595 2804391179 3881828895 1366698925 1013466534 2050732917 1222173363 2938600125 1626460631 585637466 398823529 4256604767 33146397 3591836344 1748517895 996874098 448529115 2763617271 1744226423 4063651681 2659483477 3800735019 373873293 1132238227 2965063996 3552302526 1145131609 1356763275 2385699526 107302494 3736764168 1656594539 2574068111 3391063697 3595183222 2132048356 2714838551 2625516054 526838435 310800995 3877962782 1988849671 2933648308 3760175356 3032303995 1877220605 3525319828 2678708334 3409047694 135256301 1612904594 939951094 210012094 3029059282 1231734098 526767584 2380369558 1907454808 3747158929 1471657527 3206764033 2201263286 1093805654 3869704786 3707702482 897790514 2175607982 2453700096 2947210109 4017628735 997823937 3707881117 3825129373 86891629 2753261309 933011303 1642104146 2057492737 3084091262 2694027795 710549063 18510723 965760166 2360948945 2420169147 1922489720 2394082078 4114016271 2049836457 3166459319 3518688208 2978752014 4154995598 3138857353 2419962405 1886619529 390607805 3531268542 1752703147 2655207598 1017868428 3443158667 759075346 4110592444 1556826818 2849957890 3001383052 381699127 1190037504 1992873483 234786917 45952559 4061211185 3990906187 3047337207 3803313642 209252500 2486038551 3100611855 3000700245 744950953 1446457015 4058825918 3135599827 1598015534 458727998 344642855 174461223 2417525618 2004116535 3438559137 3043338027 2224339635 41068724 3411326827 523871680 1241487222 585050196 1292199474 2547048732 1848609217 1158477401 524848482 1787752574 3388884983 85945679 3237558596 1272476826 3887409944 312310881 1092166970 3620988832 2682185373 1247166185 770253231 3861146352 1617477576 868961976 3816269579 883699949 427525999 1093793700 1769527089 653122585 3357545065 1427021059 3607897112 1319721758 449948668 1739892486 2187429160 417926598 1959930922 440193827 1779781433 660920909 1242691394 3684419642 3938851386 347347979 1124838040 1115771371 255 362436" option to reproduce the execution
0.19/0.21	c #vars 6791
0.19/0.21	c #constraints 28455
0.49/0.58	c BCD2: Hardening is enabled.
0.49/0.58	c BCD2: BiasedSearch is enabled.
0.49/0.58	c Solving starts ...
0.49/0.58	c ============================[ Search Statistics ]============================
0.49/0.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.58	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.58	c =============================================================================
0.49/0.59	c  0.0s |       0 |        0 |        0 |    11441      0 |      705 |        0
0.89/0.94	c  0.4s |       0 |    28958 |       79 |    11441      0 |      705 |     3944
0.89/0.94	c #cpu_time = 0.356s
0.89/0.94	c #wall_clock_time = 0.357s
0.89/0.94	c #decision = 28958
0.89/0.94	c #random_decision = 81
0.89/0.94	c #conflict = 79
0.89/0.94	c #restart = 0
0.89/0.94	o 326346457197
878.55/878.75	c BCD2: updating upper bound: 2210495226091 -> 326346457196
1358.67/1358.94	c BCD2: 0 <= obj <= 326346457196
1358.67/1358.94	c BCD2: #cores=0, #unrelaxed=3172, #relaxed=0, #hardened=0
1358.67/1358.94	c BCD2: #sat=1 #unsat=1 bias=1/2
1358.67/1358.94	c Solving starts ...
1358.67/1358.94	c ============================[ Search Statistics ]============================
1358.67/1358.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1358.67/1358.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1358.67/1358.94	c =============================================================================
1358.67/1358.94	c  0.0s |       0 |        0 |        0 |    11441      0 |      705 |     3944
1358.67/1358.97	c  0.0s |       0 |       29 |        2 |    11441      0 |      724 |     3986
1358.67/1358.97	c #cpu_time = 0.030s
1358.67/1358.97	c #wall_clock_time = 0.030s
1358.67/1358.97	c #decision = 29
1358.67/1358.97	c #random_decision = 0
1358.67/1358.97	c #conflict = 2
1358.67/1358.97	c #restart = 0
1358.67/1358.97	c BCD2: found a new core of size 1: cost of the new core is >=1
1358.67/1358.97	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-4107574-1466287245/watcher-4107574-1466287245 -o /tmp/evaluation-result-4107574-1466287245/solver-4107574-1466287245 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107574-1466287245.opb 

pid=31138
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.14 2.17 2.17 2/180 31141
/proc/meminfo: memFree=27527792/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=816572 CPUtime=0 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 3066 0 0 0 0 0 0 0 20 0 4 0 30771114 836169728 2915 33554432000 4194304 16246674 140736599412928 140736599412352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 204911 2923 441 2943 0 201805 0
[pid=31141/tid=31142] ppid=31138 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 853995520 2983 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=839100 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 859238400 3000 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=843196 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30771114 863432704 3016 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.14 2.17 2.17 2/180 31141
/proc/meminfo: memFree=27527792/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 28441 0 0 0 5 4 0 0 20 0 4 0 30771114 1333334016 28229 33554432000 4194304 16246674 140736599412928 140736599412240 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 325521 28243 800 2943 0 322415 0
[pid=31141/tid=31142] ppid=31138 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1333334016 28254 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1333334016 28264 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1333334016 28275 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200559 s]
/proc/loadavg: 2.14 2.17 2.17 2/180 31141
/proc/meminfo: memFree=27527792/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 50240 0 0 0 13 6 0 0 20 0 4 0 30771114 1345916928 50538 33554432000 4194304 16246674 140736599412928 140736599412240 8058877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 328593 50538 800 2943 0 325487 0
[pid=31141/tid=31142] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 50538 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 50538 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 50538 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300546 s]
/proc/loadavg: 2.14 2.17 2.17 2/180 31141
/proc/meminfo: memFree=27527792/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 51139 0 0 0 23 6 0 0 20 0 4 0 30771114 1345916928 51438 33554432000 4194304 16246674 140736599412928 140736599412240 12369109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 328593 51445 837 2943 0 325487 0
[pid=31141/tid=31142] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 51450 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 51457 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 51462 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70037 s]
/proc/loadavg: 2.14 2.17 2.17 2/180 31141
/proc/meminfo: memFree=27527792/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 118919 0 0 0 53 16 0 0 20 0 4 0 30771114 1345916928 119217 33554432000 4194304 16246674 140736599412928 140736599394816 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 328593 119221 886 2943 0 325487 0
[pid=31141/tid=31142] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 119224 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 119228 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1345916928 119231 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.13 2.17 2.17 3/184 31145
/proc/meminfo: memFree=26959280/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1323588 CPUtime=1.49 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 235855 0 0 0 117 32 0 0 20 0 4 0 30771114 1355354112 236153 33554432000 4194304 16246674 140736599412928 140736599394816 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 330897 236168 895 2943 0 327791 0
[pid=31141/tid=31142] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 236179 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 236190 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 236199 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10042 s]
/proc/loadavg: 2.13 2.17 2.17 3/184 31145
/proc/meminfo: memFree=26441192/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1323588 CPUtime=3.09 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 271582 0 0 0 272 37 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140736599394816 12414073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 330897 271880 895 2943 0 327791 0
[pid=31141/tid=31142] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1323588

[startup+6.30042 s]
/proc/loadavg: 2.12 2.16 2.17 3/184 31145
/proc/meminfo: memFree=26339520/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1323588 CPUtime=6.29 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 271582 0 0 0 592 37 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140736599394816 12655200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 330897 271880 895 2943 0 327791 0
[pid=31141/tid=31142] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1323588

[startup+12.7004 s]
/proc/loadavg: 2.11 2.16 2.17 3/184 31145
/proc/meminfo: memFree=26339048/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1323588 CPUtime=12.69 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 271582 0 0 0 1232 37 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140736599394816 6955599 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 330897 271880 895 2943 0 327791 0
[pid=31141/tid=31142] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1323588

[startup+25.5005 s]
/proc/loadavg: 2.17 2.17 2.17 4/184 31168
/proc/meminfo: memFree=26132616/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1323588 CPUtime=25.49 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 271582 0 0 0 2512 37 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140736599394816 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 330897 271880 895 2943 0 327791 0
[pid=31141/tid=31142] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1355354112 271880 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1323588

[startup+51.1005 s]
/proc/loadavg: 2.10 2.16 2.17 4/184 31168
/proc/meminfo: memFree=25793344/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1632836 CPUtime=51.09 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 348895 0 0 0 5062 47 0 0 20 0 4 0 30771114 1672024064 349193 33554432000 4194304 16246674 140736599412928 140736599412240 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 408209 349193 895 2943 0 405103 0
[pid=31141/tid=31142] ppid=31138 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1672024064 349193 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1672024064 349193 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1672024064 349193 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1632836

[startup+102.301 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 31169
/proc/meminfo: memFree=24663208/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=2400836 CPUtime=102.28 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 540895 0 0 0 10155 73 0 0 20 0 4 0 30771114 2458456064 541193 33554432000 4194304 16246674 140736599412928 140736599412024 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 600209 541193 895 2943 0 597103 0
[pid=31141/tid=31142] ppid=31138 vsize=2400836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 2458456064 541193 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=2400836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 2458456064 541193 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=2400836 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 2458456064 541193 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2400836


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

/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 4136177664 950805 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=4039236 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 4136177664 950805 33554432000 4194304 16246674 140736599412928 140270923389968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=4039236 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 4136177664 950805 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 4039236

[startup+1362.3 s]
/proc/loadavg: 2.10 2.13 2.15 4/183 31200
/proc/meminfo: memFree=25064756/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=2632260 CPUtime=1362.06 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6115065 0 0 0 135139 1067 0 0 20 0 4 0 30771114 2695434240 599075 33554432000 4194304 16246674 140736599412928 140736599412024 12413857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 658065 599075 914 2943 0 654959 0
[pid=31141/tid=31142] ppid=31138 vsize=2632260 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 2695434240 599075 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=2632260 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 2695434240 599075 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=2632260 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 2695434240 599075 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2632260

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.15 3/183 31202
/proc/meminfo: memFree=26319796/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=1534532 CPUtime=1422.06 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6206713 0 0 0 141118 1088 0 0 20 0 4 0 30771114 1571360768 324643 33554432000 4194304 16246674 140736599412928 140736599412240 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 383633 324643 914 2943 0 380527 0
[pid=31141/tid=31142] ppid=31138 vsize=1534532 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 1571360768 324643 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=1534532 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 1571360768 324643 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=1534532 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 1571360768 324643 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1534532

[startup+1482.3 s]
/proc/loadavg: 2.20 2.14 2.15 3/183 31203
/proc/meminfo: memFree=24870260/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=2564676 CPUtime=1482.04 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6476281 0 0 0 147075 1129 0 0 20 0 4 0 30771114 2626228224 582179 33554432000 4194304 16246674 140736599412928 140736599412240 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 641169 582179 914 2943 0 638063 0
[pid=31141/tid=31142] ppid=31138 vsize=2564676 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 2626228224 582179 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=2564676 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30771114 2626228224 582179 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=2564676 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 2626228224 582179 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2564676

[startup+1542.31 s]
/proc/loadavg: 2.21 2.15 2.15 3/183 31204
/proc/meminfo: memFree=23672772/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=3280452 CPUtime=1542.04 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6655225 0 0 0 153049 1155 0 0 20 0 4 0 30771114 3359182848 761123 33554432000 4194304 16246674 140736599412928 140736599412240 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 820113 761123 914 2943 0 817007 0
[pid=31141/tid=31142] ppid=31138 vsize=3280452 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 3359182848 761123 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=3280452 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 3359182848 761123 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=3280452 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 3359182848 761123 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3280452

[startup+1602.3 s]
/proc/loadavg: 2.15 2.14 2.14 3/183 31254
/proc/meminfo: memFree=26186680/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=3669572 CPUtime=1602.03 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6752505 0 0 0 159026 1177 0 0 20 0 4 0 30771114 3757641728 858403 33554432000 4194304 16246674 140736599412928 140736599412104 4221122 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 917393 858403 914 2943 0 914287 0
[pid=31141/tid=31142] ppid=31138 vsize=3669572 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 3757641728 858403 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=3669572 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 3757641728 858403 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=3669572 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 3757641728 858403 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3669572

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.14 3/183 31255
/proc/meminfo: memFree=25830000/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=4023876 CPUtime=1662.01 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 6850554 0 0 0 165006 1195 0 0 20 0 4 0 30771114 4120449024 947235 33554432000 4194304 16246674 140736599412928 140736599412024 12371359 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 1005969 947235 914 2943 0 1002863 0
[pid=31141/tid=31142] ppid=31138 vsize=4023876 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 4120449024 947235 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=4023876 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 4120449024 947235 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=4023876 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 4120449024 947235 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 4023876

[startup+1722.3 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 31257
/proc/meminfo: memFree=25524080/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=4328004 CPUtime=1722.01 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 7038460 0 0 0 170974 1227 0 0 20 0 4 0 30771114 4431876096 1023268 33554432000 4194304 16246674 140736599412928 140736599410752 4206928 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 1082001 1023268 914 2943 0 1078895 0
[pid=31141/tid=31142] ppid=31138 vsize=4328004 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 4431876096 1023268 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=4328004 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 4431876096 1023268 33554432000 4194304 16246674 140736599412928 140270923389968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=4328004 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 4431876096 1023268 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 4328004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.12 3/184 31261
/proc/meminfo: memFree=24991180/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=4847172 CPUtime=1781.99 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 7354364 0 0 0 176918 1281 0 0 20 0 4 0 30771114 4963504128 1153060 33554432000 4194304 16246674 140736599412928 140736599410816 4220982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 1211793 1153060 914 2943 0 1208687 0
[pid=31141/tid=31142] ppid=31138 vsize=4847172 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 4963504128 1153060 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=4847172 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 4963504128 1153060 33554432000 4194304 16246674 140736599412928 140270923389968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=4847172 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 4963504128 1153060 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 4847172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.08 2.12 3/184 31261
/proc/meminfo: memFree=25562216/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=4274756 CPUtime=1800.09 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) R 31138 31141 26736 0 -1 4202496 7375356 0 0 0 178720 1289 0 0 20 0 4 0 30771114 4377350144 1009956 33554432000 4194304 16246674 140736599412928 140736599412240 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 1068689 1009956 914 2943 0 1065583 0
[pid=31141/tid=31142] ppid=31138 vsize=4274756 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31142/stat : 31142 (toysat) S 31138 31141 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30771114 4377350144 1009956 33554432000 4194304 16246674 140736599412928 140270933880048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=4274756 CPUtime=0.01 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) S 31138 31141 26736 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30771114 4377350144 1009956 33554432000 4194304 16246674 140736599412928 140270923390192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31141/tid=31144] ppid=31138 vsize=4274756 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31144/stat : 31144 (toysat) S 31138 31141 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30771114 4377350144 1009956 33554432000 4194304 16246674 140736599412928 140270912916656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4274756

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.08 2.12 3/184 31261
/proc/meminfo: memFree=25562216/32872528 swapFree=1191052/1305516
[pid=31141] ppid=31138 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/31141/stat : 31141 (toysat) Z 31138 31141 26736 0 -1 4203532 7375356 0 0 0 178720 1309 0 0 20 0 2 0 30771114 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31141/statm: 0 0 0 0 0 0 0
[pid=31141/tid=31143] ppid=31138 vsize=0 CPUtime=0.2 cores=0,2,4,6
/proc/31141/task/31143/stat : 31143 (toysat) R 31138 31141 26736 0 -1 4203588 8 0 0 0 1 19 0 0 20 0 2 0 30771114 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.38
CPU user time (s): 1787.22
CPU system time (s): 13.159
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 7091780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.22
system time used= 13.159
maximum resident set size= 6855744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7375356
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= 1707
involuntary context switches= 1805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1159 second user time and 14.9627 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-19 00:00:45
IDJOB=4107574
IDBENCH=72317
IDSOLVER=2542
FILE ID=node127/4107574-1466287245
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8
RANDOM SEED=1506043797

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        27528436 kB
Buffers:            9996 kB
Cached:            82384 kB
SwapCached:          500 kB
Active:          3263624 kB
Inactive:          33564 kB
Active(anon):    3203012 kB
Inactive(anon):     4180 kB
Active(file):      60612 kB
Inactive(file):    29384 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17080 kB
Writeback:             0 kB
AnonPages:       4634600 kB
Mapped:            10880 kB
Shmem:                 0 kB
Slab:             602700 kB
SReclaimable:      46852 kB
SUnreclaim:       555848 kB
KernelStack:        1528 kB
PageTables:        12868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4656080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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= 71704 MiB
End job on node127 at 2016-06-19 00:30:46