Trace number 4107566

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.24 1800.57

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb
MD5SUM26a46b78eb7773cf62233afd6be8bb91
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8960372673
Best CPU time to get the best result obtained on this benchmark2.83357
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6956
Total number of constraints29112
Number of constraints which are clauses28832
Number of constraints which are cardinality constraints (but not clauses)280
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 3264
Biggest coefficient in the objective function 4362708104
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2408209534577
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4362708104
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2408209534577
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:13+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-4107566-1466287212.opb"]
0.00/0.01	c use --random-gen="1879628749 2680029661 3714774727 4154632315 3722543715 2706443247 749650501 412922789 1253665476 3218622926 1684539457 1810060942 2276518389 2924520836 3191403104 2302075287 2432147921 841533042 173149491 2693449392 3776742114 1661593701 1306419886 785365703 2548827727 911928144 3678758893 3769612335 3249927216 953526360 2642565805 58448665 5813609 1112927856 1534657706 2642385171 1518272825 2061860575 3518127723 3890191416 2587185367 4269244850 317088324 3248672468 1181315570 1530402638 909875357 3340016110 1116630842 3459877831 539186756 2807106697 3107703873 2483311841 3123257669 486091153 2779281003 2616901439 3168728351 1197122878 2110702486 603357306 2877643129 2277336295 2333369966 614817693 1679313863 716859935 3280869595 1709215382 1335499583 2555653894 2089151570 4232540919 2350628686 751514604 3046658674 1545580044 548787330 67304586 1199791962 122337808 928508933 2062444301 2077274647 2065096835 4175029553 152770551 3353969155 1000467518 4138794597 555813182 611953357 3414142252 4140005481 4258874444 3989276137 2979367078 1913074196 437292992 2879404801 2365809012 722095201 3353130029 2371145193 3415080890 1973065407 2578148468 1322095308 572966578 4111790696 2127225527 4136194839 4283905330 45973917 1504198602 2678462641 1963339040 2616552153 2689334867 4168377563 4216957058 441276919 2290888034 2523753481 1510407577 1611578466 4253886597 219820615 886577951 23477121 4031976591 3818096852 1623395937 253274497 4056392336 107323912 1964311540 3709239633 3001651874 302198165 1763566296 2027663978 2865674978 2582088890 821043053 4220522063 2101540454 4122346872 3309379177 4168709993 2048540935 2483069684 210259370 3766649457 3069380054 3313170290 3301237200 3619737559 1876498899 2977432737 824393780 755974431 265610585 3343592372 1136671595 3631088919 1523671748 3951887826 1615454310 2507842896 3560936656 3938730197 1298864010 3963923925 184887448 1901912112 338091267 1908251177 136786282 3256504073 496564209 3906930350 3569563838 3788956515 2938022637 4197024325 1081475752 1186238555 91975190 1517105826 3283380337 325388736 4262116278 4236689500 1361182034 4079342484 2048693574 447527854 1015127676 2541156328 812011969 2067373596 2313113738 2036645356 2464062630 2883549977 1725919121 1833588497 477206069 2549354082 1445466575 2565344168 4089515522 2174744562 3435825912 142590950 2495664045 1009106883 3214315002 2493722704 3587185745 155970987 3539408444 29129482 4143197283 2071701510 2884689759 379924122 4003496780 3248327730 905103716 2550470830 847166132 3589431001 5208833 4178368745 1868303518 207171205 934430978 4014984228 3202326699 462352891 3813974132 2979011643 3140717991 4196666052 3600074531 3491015248 2279696626 1952879028 1901768696 3473985720 413448449 1248169744 56694527 255 362436" option to reproduce the execution
0.19/0.22	c #vars 6956
0.19/0.22	c #constraints 29112
0.59/0.60	c BCD2: Hardening is enabled.
0.59/0.60	c BCD2: BiasedSearch is enabled.
0.59/0.60	c Solving starts ...
0.59/0.60	c ============================[ Search Statistics ]============================
0.59/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.60	c =============================================================================
0.59/0.60	c  0.0s |       0 |        0 |        0 |    11710      0 |      754 |        0
0.79/0.87	c  0.3s |       0 |    25742 |       81 |    11710      0 |      795 |     3830
0.79/0.87	c #cpu_time = 0.269s
0.79/0.87	c #wall_clock_time = 0.270s
0.79/0.87	c #decision = 25742
0.79/0.87	c #random_decision = 74
0.79/0.87	c #conflict = 81
0.79/0.87	c #restart = 0
0.79/0.87	o 329432522049
596.49/596.67	c BCD2: updating upper bound: 2408209534577 -> 329432522048
918.93/919.13	c BCD2: 0 <= obj <= 329432522048
918.93/919.13	c BCD2: #cores=0, #unrelaxed=3264, #relaxed=0, #hardened=0
918.93/919.13	c BCD2: #sat=1 #unsat=1 bias=1/2
918.93/919.13	c Solving starts ...
918.93/919.13	c ============================[ Search Statistics ]============================
918.93/919.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
918.93/919.13	c       |         |          |          |    Limit     GC | Var      | Constra 
918.93/919.13	c =============================================================================
918.93/919.13	c  0.0s |       0 |        0 |        0 |    11710      0 |      795 |     3830
918.93/919.14	c  0.0s |       0 |        0 |        0 |    11710      0 |      795 |     3830
918.93/919.14	c #cpu_time = 0.011s
918.93/919.14	c #wall_clock_time = 0.011s
918.93/919.14	c #decision = 0
918.93/919.14	c #random_decision = 0
918.93/919.14	c #conflict = 0
918.93/919.14	c #restart = 0
918.93/919.14	c BCD2: found a new core of size 1: cost of the new core is >=1
918.93/919.14	c lower bound updated to 1
1532.02/1532.31	c BCD2: 1 <= obj <= 329432522048
1532.02/1532.31	c BCD2: #cores=1, #unrelaxed=3263, #relaxed=1, #hardened=0
1532.02/1532.31	c BCD2: #sat=1 #unsat=2 bias=2/3
1532.02/1532.31	c Solving starts ...
1532.02/1532.31	c ============================[ Search Statistics ]============================
1532.02/1532.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1532.02/1532.31	c       |         |          |          |    Limit     GC | Var      | Constra 
1532.02/1532.31	c =============================================================================
1532.02/1532.31	c  0.0s |       0 |        0 |        0 |    11710      0 |      795 |     3830
1532.02/1532.33	c  0.0s |       0 |       21 |        1 |    11710      0 |      796 |     3832
1532.02/1532.33	c #cpu_time = 0.021s
1532.02/1532.33	c #wall_clock_time = 0.021s
1532.02/1532.33	c #decision = 21
1532.02/1532.33	c #random_decision = 0
1532.02/1532.33	c #conflict = 1
1532.02/1532.33	c #restart = 0
1532.02/1532.33	c BCD2: found a new core of size 1: cost of the new core is >=1
1532.02/1532.33	c lower bound updated to 2

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

pid=12009
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.11 2.19 2.19 3/180 12012
/proc/meminfo: memFree=28981608/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=429500 CPUtime=0 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 1550 0 0 0 0 0 0 0 20 0 4 0 30768377 439808000 2421 33554432000 4194304 16246674 140735760322480 140735760321904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 108143 2431 441 2943 0 105037 0
[pid=12012/tid=12013] ppid=12009 vsize=446908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 457633792 2488 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=451004 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 461828096 2504 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=455100 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 466022400 2521 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.11 2.19 2.19 3/180 12012
/proc/meminfo: memFree=28981608/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 27623 0 0 0 5 3 0 0 20 0 4 0 30768377 1333334016 28433 33554432000 4194304 16246674 140735760322480 140735760321792 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 325521 28447 800 2943 0 322415 0
[pid=12012/tid=12013] ppid=12009 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1333334016 28458 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1333334016 28468 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1333334016 28480 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200555 s]
/proc/loadavg: 2.11 2.19 2.19 3/180 12012
/proc/meminfo: memFree=28981608/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 50135 0 0 0 13 6 0 0 20 0 4 0 30768377 1345916928 51455 33554432000 4194304 16246674 140735760322480 140735760321792 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 328593 51463 800 2943 0 325487 0
[pid=12012/tid=12013] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 51468 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 51473 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 51478 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300524 s]
/proc/loadavg: 2.11 2.19 2.19 3/180 12012
/proc/meminfo: memFree=28981608/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 51760 0 0 0 22 6 0 0 20 0 4 0 30768377 1345916928 53081 33554432000 4194304 16246674 140735760322480 140735760321792 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 328593 53090 837 2943 0 325487 0
[pid=12012/tid=12013] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 53095 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 53101 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1345916928 53106 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700401 s]
/proc/loadavg: 2.11 2.19 2.19 3/180 12012
/proc/meminfo: memFree=28981608/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 116162 0 0 0 53 16 0 0 20 0 4 0 30768377 1346965504 117483 33554432000 4194304 16246674 140735760322480 140735760321792 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 328849 117485 891 2943 0 325743 0
[pid=12012/tid=12013] ppid=12009 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1346965504 117489 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1346965504 117492 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1346965504 117494 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.11 2.19 2.19 3/184 12016
/proc/meminfo: memFree=28361492/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1324612 CPUtime=1.48 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 271673 0 0 0 113 35 0 0 20 0 4 0 30768377 1356402688 272993 33554432000 4194304 16246674 140735760322480 140735760304384 4220552 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 331153 272993 899 2943 0 328047 0
[pid=12012/tid=12013] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 272993 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 272993 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 272993 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.10042 s]
/proc/loadavg: 2.11 2.19 2.19 3/184 12016
/proc/meminfo: memFree=27890408/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1324612 CPUtime=3.08 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 271837 0 0 0 273 35 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140735760304384 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 331153 273157 900 2943 0 328047 0
[pid=12012/tid=12013] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30042 s]
/proc/loadavg: 2.10 2.19 2.19 3/184 12016
/proc/meminfo: memFree=27890232/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1324612 CPUtime=6.28 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 271837 0 0 0 593 35 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140735760304384 12414073 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 331153 273157 900 2943 0 328047 0
[pid=12012/tid=12013] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.10 2.18 2.19 4/184 12016
/proc/meminfo: memFree=27890136/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1324612 CPUtime=12.69 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 271837 0 0 0 1233 36 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140735760304384 12654383 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 331153 273157 900 2943 0 328047 0
[pid=12012/tid=12013] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.22 2.21 2.20 3/184 12016
/proc/meminfo: memFree=27890328/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1324612 CPUtime=25.49 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 271837 0 0 0 2513 36 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140735760304384 12429162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 331153 273157 900 2943 0 328047 0
[pid=12012/tid=12013] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1356402688 273157 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1006 s]
/proc/loadavg: 2.28 2.22 2.20 3/184 12039
/proc/meminfo: memFree=27577040/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1635908 CPUtime=51.08 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 349662 0 0 0 5064 44 0 0 20 0 4 0 30768377 1675169792 350982 33554432000 4194304 16246674 140735760322480 140735760321792 12655200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 408977 350982 900 2943 0 405871 0
[pid=12012/tid=12013] ppid=12009 vsize=1635908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1675169792 350982 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1635908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 1675169792 350982 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1635908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1675169792 350982 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1635908

[startup+102.301 s]
/proc/loadavg: 2.29 2.23 2.20 4/184 12040
/proc/meminfo: memFree=26838348/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=2374212 CPUtime=102.28 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 534239 0 0 0 10157 71 0 0 20 0 4 0 30768377 2431193088 535561 33554432000 4194304 16246674 140735760322480 140735760304384 4225120 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 593553 535561 900 2943 0 590447 0
[pid=12012/tid=12013] ppid=12009 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 2431193088 535561 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 2431193088 535561 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 2431193088 535561 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2374212


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

/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 4633202688 1073182 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=4524612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 4633202688 1073182 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=4524612 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 4633202688 1073182 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 4524612

[startup+1362.3 s]
/proc/loadavg: 2.35 2.30 2.22 4/183 12120
/proc/meminfo: memFree=18204260/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=4332100 CPUtime=1362.05 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 4364801 0 0 0 135447 758 0 0 20 0 4 0 30768377 4436070400 1025055 33554432000 4194304 16246674 140735760322480 140735760321576 4220491 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 1083025 1025055 917 2943 0 1079919 0
[pid=12012/tid=12013] ppid=12009 vsize=4332100 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 4436070400 1025055 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=4332100 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30768377 4436070400 1025055 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=4332100 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 4436070400 1025055 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 4332100

[startup+1422.3 s]
/proc/loadavg: 2.23 2.27 2.21 3/183 12122
/proc/meminfo: memFree=17971440/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=4422212 CPUtime=1422.05 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 4729745 0 0 0 141383 822 0 0 20 0 4 0 30768377 4528345088 1047469 33554432000 4194304 16246674 140735760322480 140735760320384 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 1105553 1047472 917 2943 0 1102447 0
[pid=12012/tid=12013] ppid=12009 vsize=4422212 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 4528345088 1047525 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=4422212 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 4528345088 1047532 33554432000 4194304 16246674 140735760322480 140608754654224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=4422212 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 4528345088 1047538 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 4422212

[startup+1482.3 s]
/proc/loadavg: 2.30 2.28 2.22 3/183 12123
/proc/meminfo: memFree=17145232/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=5422660 CPUtime=1482.02 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 5265668 0 0 0 147296 906 0 0 20 0 4 0 30768377 5552803840 1297696 33554432000 4194304 16246674 140735760322480 140735760321576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 1355665 1297696 917 2943 0 1352559 0
[pid=12012/tid=12013] ppid=12009 vsize=5422660 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 5552803840 1297696 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=5422660 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 5552803840 1297696 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=5422660 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 5552803840 1297696 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 5422660

[startup+1542.31 s]
/proc/loadavg: 2.30 2.29 2.22 4/183 12124
/proc/meminfo: memFree=19929180/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1813060 CPUtime=1542.02 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 5924103 0 0 0 153169 1033 0 0 20 0 4 0 30768377 1856573440 395296 33554432000 4194304 16246674 140735760322480 140735760304384 12429056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 453265 395296 917 2943 0 450159 0
[pid=12012/tid=12013] ppid=12009 vsize=1813060 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1856573440 395296 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1813060 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 1856573440 395296 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1813060 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1856573440 395296 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1813060

[startup+1602.3 s]
/proc/loadavg: 2.34 2.31 2.23 3/183 12125
/proc/meminfo: memFree=20084948/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=1922628 CPUtime=1602 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 5951497 0 0 0 159163 1037 0 0 20 0 4 0 30768377 1968771072 422688 33554432000 4194304 16246674 140735760322480 140735760320384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 480657 422688 917 2943 0 477551 0
[pid=12012/tid=12013] ppid=12009 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 1968771072 422688 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=1922628 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 1968771072 422688 33554432000 4194304 16246674 140735760322480 140608754654224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 1968771072 422688 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1922628

[startup+1662.3 s]
/proc/loadavg: 2.27 2.29 2.23 4/183 12126
/proc/meminfo: memFree=18614216/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=2705988 CPUtime=1661.99 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 6147337 0 0 0 165131 1068 0 0 20 0 4 0 30768377 2770931712 618528 33554432000 4194304 16246674 140735760322480 140735760321792 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 676497 618528 917 2943 0 673391 0
[pid=12012/tid=12013] ppid=12009 vsize=2705988 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 2770931712 618528 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=2705988 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 2770931712 618528 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=2705988 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 2770931712 618528 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2705988

[startup+1722.3 s]
/proc/loadavg: 2.20 2.27 2.22 4/183 12128
/proc/meminfo: memFree=18715240/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=3154500 CPUtime=1721.98 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 6259465 0 0 0 171110 1088 0 0 20 0 4 0 30768377 3230208000 730656 33554432000 4194304 16246674 140735760322480 140735760320320 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 788625 730656 917 2943 0 785519 0
[pid=12012/tid=12013] ppid=12009 vsize=3154500 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 3230208000 730656 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=3154500 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 3230208000 730656 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=3154500 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 3230208000 730656 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3154500

[startup+1782.3 s]
/proc/loadavg: 2.34 2.30 2.24 3/183 12129
/proc/meminfo: memFree=17298780/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=3683908 CPUtime=1781.96 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 6391818 0 0 0 177086 1110 0 0 20 0 4 0 30768377 3772321792 863009 33554432000 4194304 16246674 140735760322480 140735760321576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 920977 863009 917 2943 0 917871 0
[pid=12012/tid=12013] ppid=12009 vsize=3683908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 3772321792 863009 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=3683908 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 3772321792 863009 33554432000 4194304 16246674 140735760322480 140608754654448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=3683908 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 3772321792 863009 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 3683908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.39 2.31 2.24 3/184 12132
/proc/meminfo: memFree=17478228/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=3747396 CPUtime=1800.06 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) R 12009 12012 10472 0 -1 4202496 6407690 0 0 0 178891 1115 0 0 20 0 4 0 30768377 3837333504 878881 33554432000 4194304 16246674 140735760322480 140735760320320 4220487 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 936849 878881 917 2943 0 933743 0
[pid=12012/tid=12013] ppid=12009 vsize=3747396 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12013/stat : 12013 (toysat) S 12009 12012 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30768377 3837333504 878881 33554432000 4194304 16246674 140735760322480 140608765144304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=3747396 CPUtime=0.01 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) S 12009 12012 10472 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30768377 3837333504 878881 33554432000 4194304 16246674 140735760322480 140608754654224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12012/tid=12015] ppid=12009 vsize=3747396 CPUtime=0 cores=0,2,4,6
/proc/12012/task/12015/stat : 12015 (toysat) S 12009 12012 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30768377 3837333504 878881 33554432000 4194304 16246674 140735760322480 140608639331504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3747396

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

[startup+1800.5 s]
/proc/loadavg: 2.39 2.31 2.24 3/184 12132
/proc/meminfo: memFree=17478228/32872528 swapFree=17888/1798212
[pid=12012] ppid=12009 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/12012/stat : 12012 (toysat) Z 12009 12012 10472 0 -1 4203532 6407690 0 0 0 178892 1125 0 0 20 0 2 0 30768377 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12012/statm: 0 0 0 0 0 0 0
[pid=12012/tid=12014] ppid=12009 vsize=0 CPUtime=0.11 cores=0,2,4,6
/proc/12012/task/12014/stat : 12014 (toysat) R 12009 12012 10472 0 -1 4203588 8 0 0 0 0 11 0 0 20 0 2 0 30768377 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.24
CPU user time (s): 1788.92
CPU system time (s): 11.3183
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 5737028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.92
system time used= 11.3183
maximum resident set size= 5505092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6407690
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= 1878
involuntary context switches= 1810

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5959 second user time and 15.2707 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 00:00:12
IDJOB=4107566
IDBENCH=72315
IDSOLVER=2542
FILE ID=node123/4107566-1466287212
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= 26a46b78eb7773cf62233afd6be8bb91
RANDOM SEED=1146700996

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        28982252 kB
Buffers:           77808 kB
Cached:           148144 kB
SwapCached:         1604 kB
Active:          1199580 kB
Inactive:         151100 kB
Active(anon):    1123624 kB
Inactive(anon):     3076 kB
Active(file):      75956 kB
Inactive(file):   148024 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             17184 kB
Writeback:             0 kB
AnonPages:       3045096 kB
Mapped:            10996 kB
Shmem:                 0 kB
Slab:             602644 kB
SReclaimable:      46536 kB
SUnreclaim:       556108 kB
KernelStack:        1472 kB
PageTables:         9576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3066260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2949120 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= 71600 MiB
End job on node123 at 2016-06-19 00:30:13