Trace number 4107554

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.36 1800.65

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb
MD5SUM1eb26c521d2a44b4096e6f3ba040291a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22328675631
Best CPU time to get the best result obtained on this benchmark3.38449
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6305
Total number of constraints26496
Number of constraints which are clauses26236
Number of constraints which are cardinality constraints (but not clauses)260
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 2938
Biggest coefficient in the objective function 3183010111
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1757017254508
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3183010111
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1757017254508
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T23:57:57+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107554-1466287077.opb"]
0.00/0.01	c use --random-gen="2738539975 688224413 891735585 2956143137 1596796842 94752437 1537405591 984944321 2468299974 3907688522 1552887750 2624595764 412992946 2171268406 1745941661 2902886952 4214384876 955626591 1509667852 1284218819 408417030 3303944345 3106094792 2661973848 3056406603 119243335 1180653243 1016622649 3433919272 3388919803 2138937515 1005781726 1635554435 2223559588 2572822805 3413570979 2522416652 1461414929 2709702719 2906420940 2525147588 1898917552 2437991388 2967143717 4039529927 512113293 1163119309 1004928716 1587753239 3228914909 3733836887 1156174738 4103580215 2763956885 299092848 1728352331 2160989917 1391976436 928336173 2435010728 323577024 222988580 2416955392 3695950970 2358704765 3339859653 869302220 4283271011 3795644643 1491497089 2041419928 103088070 3941768208 3783762555 1391131314 2461888582 153218130 855665942 27894242 3791792620 171431755 2875666777 1231817220 1105934765 3164333216 3834951856 3992300165 2529280215 1722285180 2654185268 3567785974 2542895135 1438511715 905113425 2815445156 796776896 2026867866 2730106498 2781533786 1090759199 2409354104 4171962672 151099064 129304016 227515469 3556910688 4074957698 1575338366 511289132 2058859815 86575978 3087884260 560638022 513740696 1762249789 742718870 597783670 1091929644 1222400827 54319065 1761891185 3403002459 3803649327 2288380636 1528149100 1055556658 3484212855 957511663 87773008 3605730740 3293838385 3479063072 1105308665 1901832978 1590682123 282954448 2674177373 3426635646 4291331141 1880432673 1887306916 3899700112 339082631 366787355 3367518993 2287683386 4058462081 1636179638 3080971633 400389846 2866739894 2688147894 1469823126 438738081 1286736406 2748633300 3299018849 1769288733 1638784782 3426332182 577252498 2806534695 1915132435 3485055735 2178864937 1132884990 898223146 346063772 1680959057 2468285310 4293927953 2113454603 1839326818 4232061889 4045878416 2995366515 108981849 1547622833 3177731867 1031453840 2951367091 2514524394 3801038151 3062746997 3347716425 1812929567 2271901075 901614613 2135857579 4039515177 3831638346 2353996193 3223414232 3589856713 532326 3661588509 2481900722 1822494144 261264172 696003101 859338633 3738418003 3300668849 878585502 65267112 1739884561 2394127887 2278970424 4162286849 3057718147 1541096072 3378121542 1224224836 1581203342 267128196 2291838465 1508640620 161346049 38713889 274648167 3587698117 1035809928 3733566366 1832549981 1300134784 2435648346 335522216 2074625026 910138568 3085776423 513447149 2888673281 3040835754 932683342 2924210491 3696172592 4136986365 1625492819 1704928683 2137224864 3719636110 277852077 4219617483 528116399 3724253481 201991206 2155650443 418785586 3454151396 1671010529 3726578381 2423370951 4188823443 1588245052 864243395 1898559492 255 362436" option to reproduce the execution
0.19/0.20	c #vars 6305
0.19/0.20	c #constraints 26496
0.49/0.54	c BCD2: Hardening is enabled.
0.49/0.54	c BCD2: BiasedSearch is enabled.
0.49/0.54	c Solving starts ...
0.49/0.54	c ============================[ Search Statistics ]============================
0.49/0.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.54	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.54	c =============================================================================
0.49/0.54	c  0.0s |       0 |        0 |        0 |    10594      0 |      835 |        0
0.79/0.80	c  0.3s |       0 |    24791 |       78 |    10594      0 |      853 |     4831
0.79/0.80	c #cpu_time = 0.255s
0.79/0.80	c #wall_clock_time = 0.255s
0.79/0.80	c #decision = 24791
0.79/0.80	c #random_decision = 70
0.79/0.80	c #conflict = 78
0.79/0.80	c #restart = 0
0.79/0.80	o 287922848146
415.12/415.20	c BCD2: updating upper bound: 1757017254508 -> 287922848145
596.10/596.26	c BCD2: 0 <= obj <= 287922848145
596.10/596.26	c BCD2: #cores=0, #unrelaxed=2938, #relaxed=0, #hardened=0
596.10/596.26	c BCD2: #sat=1 #unsat=1 bias=1/2
596.10/596.26	c Solving starts ...
596.10/596.26	c ============================[ Search Statistics ]============================
596.10/596.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
596.10/596.26	c       |         |          |          |    Limit     GC | Var      | Constra 
596.10/596.26	c =============================================================================
596.10/596.26	c  0.0s |       0 |        0 |        0 |    10594      0 |      853 |     4831
596.10/596.27	c  0.0s |       0 |       15 |        1 |    10594      0 |      853 |     4831
596.10/596.27	c #cpu_time = 0.010s
596.10/596.27	c #wall_clock_time = 0.010s
596.10/596.27	c #decision = 15
596.10/596.27	c #random_decision = 0
596.10/596.27	c #conflict = 1
596.10/596.27	c #restart = 0
596.10/596.27	c BCD2: found a new core of size 2: cost of the new core is >=1
596.10/596.27	c lower bound updated to 1
1012.72/1012.99	c BCD2: 1 <= obj <= 287922848145
1012.72/1012.99	c BCD2: #cores=1, #unrelaxed=2936, #relaxed=2, #hardened=0
1012.72/1012.99	c BCD2: #sat=1 #unsat=2 bias=2/3
1012.72/1012.99	c Solving starts ...
1012.72/1012.99	c ============================[ Search Statistics ]============================
1012.72/1012.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1012.72/1012.99	c       |         |          |          |    Limit     GC | Var      | Constra 
1012.72/1012.99	c =============================================================================
1012.72/1012.99	c  0.0s |       0 |        0 |        0 |    10594      0 |      853 |     4831
1012.82/1013.01	c  0.0s |       0 |       29 |        1 |    10594      0 |      854 |     4833
1012.82/1013.01	c #cpu_time = 0.018s
1012.82/1013.01	c #wall_clock_time = 0.018s
1012.82/1013.01	c #decision = 29
1012.82/1013.01	c #random_decision = 0
1012.82/1013.01	c #conflict = 1
1012.82/1013.01	c #restart = 0
1012.82/1013.01	c BCD2: found a new core of size 1: cost of the new core is >=1
1012.82/1013.01	c lower bound updated to 2
1434.96/1435.29	c BCD2: 2 <= obj <= 287922848145
1434.96/1435.29	c BCD2: #cores=2, #unrelaxed=2935, #relaxed=3, #hardened=0
1434.96/1435.29	c BCD2: #sat=1 #unsat=3 bias=3/4
1434.96/1435.29	c Solving starts ...
1434.96/1435.29	c ============================[ Search Statistics ]============================
1434.96/1435.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1434.96/1435.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1434.96/1435.29	c =============================================================================
1434.96/1435.29	c  0.0s |       0 |        0 |        0 |    10594      0 |      854 |     4833
1435.06/1435.31	c  0.0s |       0 |       39 |        1 |    10594      0 |      855 |     4835
1435.06/1435.31	c #cpu_time = 0.018s
1435.06/1435.31	c #wall_clock_time = 0.018s
1435.06/1435.31	c #decision = 39
1435.06/1435.31	c #random_decision = 0
1435.06/1435.31	c #conflict = 1
1435.06/1435.31	c #restart = 0
1435.06/1435.31	c BCD2: found a new core of size 1: cost of the new core is >=1
1435.06/1435.31	c lower bound updated to 3

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

pid=28335
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.36 2.33 2.28 3/179 28338
/proc/meminfo: memFree=29101312/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 2639 0 0 0 0 0 0 0 20 0 4 0 30753449 725020672 2999 33554432000 4194304 16246674 140737090779296 140737090778720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 177519 3005 441 2943 0 174413 0
[pid=28338/tid=28339] ppid=28335 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 742846464 3067 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 748089344 3087 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30753449 752283648 3102 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100217 s]
/proc/loadavg: 2.36 2.33 2.28 3/179 28338
/proc/meminfo: memFree=29101312/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 26505 0 0 0 6 3 0 0 20 0 4 0 30753449 1332285440 26803 33554432000 4194304 16246674 140737090779296 140737090778608 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 325265 26814 800 2943 0 322159 0
[pid=28338/tid=28339] ppid=28335 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1332285440 26825 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1332285440 26836 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1332285440 26847 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1301060

[startup+0.200529 s]
/proc/loadavg: 2.36 2.33 2.28 3/179 28338
/proc/meminfo: memFree=29101312/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 48462 0 0 0 13 6 0 0 20 0 4 0 30753449 1344868352 49271 33554432000 4194304 16246674 140737090779296 140737090778608 7377317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 328337 49271 801 2943 0 325231 0
[pid=28338/tid=28339] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 49271 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 49271 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 49271 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1313348

[startup+0.30049 s]
/proc/loadavg: 2.36 2.33 2.28 3/179 28338
/proc/meminfo: memFree=29101312/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 50370 0 0 0 23 6 0 0 20 0 4 0 30753449 1344868352 51179 33554432000 4194304 16246674 140737090779296 140737090761216 6965675 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 328337 51188 838 2943 0 325231 0
[pid=28338/tid=28339] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 51194 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 51199 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 51205 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1313348

[startup+0.700351 s]
/proc/loadavg: 2.36 2.33 2.28 3/179 28338
/proc/meminfo: memFree=29101312/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 115527 0 0 0 51 18 0 0 20 0 4 0 30753449 1344868352 116336 33554432000 4194304 16246674 140737090779296 140737090761216 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 328337 116341 889 2943 0 325231 0
[pid=28338/tid=28339] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 116344 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 116348 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1344868352 116351 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 28342
/proc/meminfo: memFree=28530752/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1322564 CPUtime=1.48 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 257363 0 0 0 112 36 0 0 20 0 4 0 30753449 1354305536 258172 33554432000 4194304 16246674 140737090779296 140737090761216 6962473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 330641 258190 898 2943 0 327535 0
[pid=28338/tid=28339] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 258201 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 258211 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 258222 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1322564

[startup+3.1004 s]
/proc/loadavg: 2.33 2.33 2.27 3/183 28342
/proc/meminfo: memFree=28013912/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1322564 CPUtime=3.09 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 271328 0 0 0 271 38 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140737090761216 12654944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 330641 272137 899 2943 0 327535 0
[pid=28338/tid=28339] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1322564

[startup+6.30036 s]
/proc/loadavg: 2.33 2.33 2.27 3/183 28342
/proc/meminfo: memFree=28013664/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1322564 CPUtime=6.29 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 271328 0 0 0 591 38 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140737090761216 12654872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 330641 272137 899 2943 0 327535 0
[pid=28338/tid=28339] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.36 2.33 2.28 4/183 28342
/proc/meminfo: memFree=28013868/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1322564 CPUtime=12.69 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 271328 0 0 0 1231 38 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140737090761216 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 330641 272137 899 2943 0 327535 0
[pid=28338/tid=28339] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689193028784 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) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.30 2.32 2.27 3/183 28343
/proc/meminfo: memFree=28014480/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1322564 CPUtime=25.48 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 271328 0 0 0 2510 38 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140737090761216 12429095 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 330641 272137 899 2943 0 327535 0
[pid=28338/tid=28339] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1354305536 272137 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1322564

[startup+51.1005 s]
/proc/loadavg: 2.26 2.31 2.27 3/183 28343
/proc/meminfo: memFree=27669020/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=1667652 CPUtime=51.08 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 357601 0 0 0 5058 50 0 0 20 0 4 0 30753449 1707675648 358410 33554432000 4194304 16246674 140737090779296 140737090778608 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 416913 358410 899 2943 0 413807 0
[pid=28338/tid=28339] ppid=28335 vsize=1667652 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 1707675648 358410 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=1667652 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 1707675648 358410 33554432000 4194304 16246674 140737090779296 140689203502096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=1667652 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 1707675648 358410 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1667652

[startup+102.3 s]
/proc/loadavg: 2.23 2.30 2.27 3/183 28344
/proc/meminfo: memFree=27018560/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=2316868 CPUtime=102.28 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 519905 0 0 0 10152 76 0 0 20 0 4 0 30753449 2372472832 520714 33554432000 4194304 16246674 140737090779296 140737090778472 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 579217 520714 899 2943 0 576111 0
[pid=28338/tid=28339] ppid=28335 vsize=2316868 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 2372472832 520714 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=2316868 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30753449 2372472832 520714 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=2316868 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 2372472832 520714 33554432000 4194304 16246674 140737090779296 140689193028784 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) 2316868


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

/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4177072128 961312 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4079172 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4177072128 961312 33554432000 4194304 16246674 140737090779296 140689203502096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4079172 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4177072128 961312 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 4079172

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.22 3/184 28450
/proc/meminfo: memFree=12506888/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=4295236 CPUtime=1362.07 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3389434 0 0 0 135606 601 0 0 20 0 4 0 30753449 4398321664 1015328 33554432000 4194304 16246674 140737090779296 140737090778472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 1073809 1015328 918 2943 0 1070703 0
[pid=28338/tid=28339] ppid=28335 vsize=4295236 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4398321664 1015328 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4295236 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4398321664 1015328 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4295236 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4398321664 1015328 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4295236

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.22 4/183 28451
/proc/meminfo: memFree=12038788/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=4622916 CPUtime=1422.06 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3496443 0 0 0 141584 622 0 0 20 0 4 0 30753449 4733865984 1097249 33554432000 4194304 16246674 140737090779296 140737090778392 12413993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 1155729 1097249 918 2943 0 1152623 0
[pid=28338/tid=28339] ppid=28335 vsize=4622916 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4733865984 1097249 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4622916 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4733865984 1097249 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4622916 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4733865984 1097249 33554432000 4194304 16246674 140737090779296 140689193028784 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) 4622916

[startup+1482.3 s]
/proc/loadavg: 2.33 2.25 2.22 3/183 28452
/proc/meminfo: memFree=14546456/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=2054724 CPUtime=1482.05 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3545851 0 0 0 147561 644 0 0 20 0 4 0 30753449 2104037376 455201 33554432000 4194304 16246674 140737090779296 140737090777088 4225128 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 513681 455201 918 2943 0 510575 0
[pid=28338/tid=28339] ppid=28335 vsize=2054724 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 2104037376 455201 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=2054724 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 2104037376 455201 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=2054724 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 2104037376 455201 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2054724

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.22 3/182 28453
/proc/meminfo: memFree=14158256/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=2447940 CPUtime=1542.04 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3644155 0 0 0 153545 659 0 0 20 0 4 0 30753449 2506690560 553505 33554432000 4194304 16246674 140737090779296 140737090777152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 611985 553505 918 2943 0 608879 0
[pid=28338/tid=28339] ppid=28335 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 2506690560 553505 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=2447940 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 2506690560 553505 33554432000 4194304 16246674 140737090779296 140689203502096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 2506690560 553505 33554432000 4194304 16246674 140737090779296 140689193028784 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) 2447940

[startup+1602.3 s]
/proc/loadavg: 2.28 2.26 2.23 3/183 28455
/proc/meminfo: memFree=13565016/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=3039812 CPUtime=1602.02 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3792123 0 0 0 159518 684 0 0 20 0 4 0 30753449 3112767488 701473 33554432000 4194304 16246674 140737090779296 140737090778392 4222992 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 759953 701473 918 2943 0 756847 0
[pid=28338/tid=28339] ppid=28335 vsize=3039812 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 3112767488 701473 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=3039812 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 3112767488 701473 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=3039812 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 3112767488 701473 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3039812

[startup+1662.3 s]
/proc/loadavg: 2.37 2.28 2.24 4/183 28456
/proc/meminfo: memFree=13090016/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=3513924 CPUtime=1662.01 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 3910651 0 0 0 165495 706 0 0 20 0 4 0 30753449 3598258176 820001 33554432000 4194304 16246674 140737090779296 140737090778392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 878481 820001 918 2943 0 875375 0
[pid=28338/tid=28339] ppid=28335 vsize=3513924 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 3598258176 820001 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=3513924 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 3598258176 820001 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=3513924 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 3598258176 820001 33554432000 4194304 16246674 140737090779296 140689193028784 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) 3513924

[startup+1722.3 s]
/proc/loadavg: 2.33 2.28 2.23 3/183 28457
/proc/meminfo: memFree=12629276/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=4049476 CPUtime=1722 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 4044539 0 0 0 171469 731 0 0 20 0 4 0 30753449 4146663424 953889 33554432000 4194304 16246674 140737090779296 140737090778392 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 1012369 953889 918 2943 0 1009263 0
[pid=28338/tid=28339] ppid=28335 vsize=4049476 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4146663424 953889 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4049476 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4146663424 953889 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4049476 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4146663424 953889 33554432000 4194304 16246674 140737090779296 140689193028784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 4049476

[startup+1782.3 s]
/proc/loadavg: 2.22 2.25 2.23 3/183 28458
/proc/meminfo: memFree=12221244/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=4359748 CPUtime=1781.99 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 4214267 0 0 0 177442 757 0 0 20 0 4 0 30753449 4464381952 1031457 33554432000 4194304 16246674 140737090779296 140737090778472 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 1089937 1031457 918 2943 0 1086831 0
[pid=28338/tid=28339] ppid=28335 vsize=4359748 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4464381952 1031457 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4359748 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4464381952 1031457 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4359748 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4464381952 1031457 33554432000 4194304 16246674 140737090779296 140689193028784 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) 4359748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.25 2.23 3/183 28459
/proc/meminfo: memFree=11828908/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=4418116 CPUtime=1800.09 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) R 28335 28338 24910 0 -1 4202496 4242171 0 0 0 179246 763 0 0 20 0 4 0 30753449 4524150784 1046049 33554432000 4194304 16246674 140737090779296 140737090778392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 1104529 1046049 918 2943 0 1101423 0
[pid=28338/tid=28339] ppid=28335 vsize=4418116 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) S 28335 28338 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30753449 4524150784 1046049 33554432000 4194304 16246674 140737090779296 140689213992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28338/tid=28340] ppid=28335 vsize=4418116 CPUtime=0.01 cores=0,2,4,6
/proc/28338/task/28340/stat : 28340 (toysat) S 28335 28338 24910 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30753449 4524150784 1046049 33554432000 4194304 16246674 140737090779296 140689203502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28338/tid=28341] ppid=28335 vsize=4418116 CPUtime=0 cores=0,2,4,6
/proc/28338/task/28341/stat : 28341 (toysat) S 28335 28338 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30753449 4524150784 1046049 33554432000 4194304 16246674 140737090779296 140689193028784 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) 4418116

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

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.23 3/183 28459
/proc/meminfo: memFree=11828908/32872528 swapFree=1499884/1696108
[pid=28338] ppid=28335 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/28338/stat : 28338 (toysat) Z 28335 28338 24910 0 -1 4203532 4242171 0 0 0 179247 783 0 0 20 0 2 0 30753449 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28338/statm: 0 0 0 0 0 0 0
[pid=28338/tid=28339] ppid=28335 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/28338/task/28339/stat : 28339 (toysat) R 28335 28338 24910 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 30753449 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.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.36
CPU user time (s): 1792.48
CPU system time (s): 7.8778
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 4869700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 7.8778
maximum resident set size= 4635776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4242171
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= 1950
involuntary context switches= 1807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76028 second user time and 6.71298 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 23:57:57
IDJOB=4107554
IDBENCH=72305
IDSOLVER=2542
FILE ID=node137/4107554-1466287077
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= 1eb26c521d2a44b4096e6f3ba040291a
RANDOM SEED=1938588814

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29101468 kB
Buffers:           43240 kB
Cached:           166288 kB
SwapCached:         1216 kB
Active:          1225644 kB
Inactive:         109880 kB
Active(anon):    1124096 kB
Inactive(anon):     3980 kB
Active(file):     101548 kB
Inactive(file):   105900 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       2911008 kB
Mapped:            10972 kB
Shmem:                 0 kB
Slab:             603776 kB
SReclaimable:      47888 kB
SUnreclaim:       555888 kB
KernelStack:        1520 kB
PageTables:         9612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2963284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1402880 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= 71672 MiB
End job on node137 at 2016-06-19 00:27:58