Trace number 4079143

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-evolution-dev.cudf.paranoid.opb
MD5SUM936dd9c91ca1d73fea84b29056b5486e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark197900
Best CPU time to get the best result obtained on this benchmark37.0644
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19789
Total number of constraints96508
Number of constraints which are clauses94939
Number of constraints which are cardinality constraints (but not clauses)1569
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7258
Biggest coefficient in the objective function 4300
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12732298
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4300
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12732298
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:20:48+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-4079143-1465269648.opb"]
0.00/0.01	c use --random-gen="2064462951 3064436336 189260829 1140479700 1343573403 2077590622 3134732563 1405558113 730349464 1637072791 3371622331 360545952 3588232562 2719890190 190279928 3151467808 2680576858 3947141255 3428772925 4214599976 4293704103 3716757505 4085369683 4142072341 1346649133 1512215033 1330060389 2842971057 3835418173 3787501378 2491806955 2683804498 858514741 3881957226 3412244720 3813635313 454073154 1126956062 188147571 3486662449 473337539 1260883853 794710774 2202946040 901046447 2312258936 1136035461 362032349 954239024 3805315570 3570407671 2158829611 2621982319 176001300 1655272551 630198392 520095010 2447620838 850017209 3853702516 1816781583 3402489530 1159061585 610395535 2549075037 2584072555 2350341572 1588176531 36602905 2496508802 992505608 4018497709 3957648770 804929237 2049505831 3964771108 1987256217 426510618 1951135513 3778102066 703762299 4194683395 1708668650 1812650467 3490738790 2094606203 1605437885 3728517723 829200256 34719695 2896250516 3266172052 4157254487 2656260337 2932702545 580433786 2009382257 3631903657 950586486 4264145441 3725446787 3555566716 1766761869 333385036 1630826344 4093087618 2839191675 2282376470 487094667 893928222 2402029646 2802629508 3169847138 3499590193 4054431666 3779756048 2431084133 3427610460 3126710568 2684469979 3280541271 341216494 2780443441 1602093630 1317489549 2872201937 3042300432 2860594664 2961702403 1947418159 1849361600 4242201774 897231476 1225503348 2083958962 403609640 268603751 3330909525 1116973734 1629139813 3639925425 3032071195 1423515610 3700253508 3284378788 745713000 2041058443 562557639 1833006025 3908895821 99464146 2877108008 2166875966 4107351699 80649611 3974096481 3565353146 976951058 2707463268 2472500882 2720139133 2651271212 2523750587 3219887670 37953754 1169822820 2590029889 3378694020 982507202 57205618 2149436490 270937190 3147667008 866396509 581836157 2067955117 1376041890 4121088465 3835257676 2467700267 1948954761 1735610110 2772442498 2199847236 3880497005 3962759093 4029489141 1707632467 1237032547 1219211717 4166101949 566693254 1742036693 1077236879 1000489844 907164442 1633065192 106206575 3153258349 280340787 1670557538 574262922 866551425 205666352 2865353088 3703715629 3500438529 2763365390 2708431102 79421937 2961847009 4264684930 2329191482 3704879400 395657569 2584069402 2223737325 2850529327 746802803 2693534710 708777906 2444400766 3171803141 3072043756 3418272618 2097226856 2395320343 2242272333 2066835097 1916475541 3338136699 2613230572 2467951936 3679710154 847521346 1664689257 2114335324 2461560382 3486198522 3394657379 2737983799 892123882 2712393891 3373257699 3988117543 13541059 2447459749 3314260502 3328231367 2308591887 3946279362 3078552422 3808297320 3834047037 2665289073 806101246 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19789
0.69/0.72	c #constraints 96508
2.20/2.24	c BCD2: Hardening is enabled.
2.20/2.24	c BCD2: BiasedSearch is enabled.
2.20/2.24	c Solving starts ...
2.20/2.24	c ============================[ Search Statistics ]============================
2.20/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.24	c =============================================================================
2.20/2.25	c  0.0s |       0 |        0 |        0 |    38706      0 |       52 |        0
2.79/2.86	c  0.6s |       1 |    84524 |      100 |    38706      0 |       55 |      148
4.19/4.24	c  2.0s |       2 |   261862 |      250 |    42577      0 |       55 |      148
6.89/6.91	c  4.7s |       2 |   570032 |      428 |    46835      0 |       55 |      148
6.89/6.91	c #cpu_time = 4.657s
6.89/6.91	c #wall_clock_time = 4.657s
6.89/6.91	c #decision = 570032
6.89/6.91	c #random_decision = 1783
6.89/6.91	c #conflict = 428
6.89/6.91	c #restart = 2
6.89/6.91	o 6466382
176.36/176.46	c BCD2: updating upper bound: 12732298 -> 6466381
352.73/352.89	c BCD2: 0 <= obj <= 6466381
352.73/352.90	c BCD2: #cores=0, #unrelaxed=7258, #relaxed=0, #hardened=0
352.73/352.90	c BCD2: #sat=1 #unsat=1 bias=1/2
352.73/352.90	c Solving starts ...
352.73/352.90	c ============================[ Search Statistics ]============================
352.73/352.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
352.73/352.90	c       |         |          |          |    Limit     GC | Var      | Constra 
352.73/352.90	c =============================================================================
352.73/352.90	c  0.0s |       0 |        0 |        0 |    46835      0 |       55 |      148
352.83/352.95	c  0.1s |       0 |      381 |        0 |    46835      0 |       55 |      148
352.83/352.95	c #cpu_time = 0.053s
352.83/352.95	c #wall_clock_time = 0.053s
352.83/352.95	c #decision = 381
352.83/352.95	c #random_decision = 0
352.83/352.95	c #conflict = 0
352.83/352.95	c #restart = 0
352.83/352.95	c BCD2: found a new core of size 2: cost of the new core is >=1
352.83/352.95	c lower bound updated to 1
523.91/524.01	c BCD2: 1 <= obj <= 6466381
523.91/524.01	c BCD2: #cores=1, #unrelaxed=7256, #relaxed=2, #hardened=0
523.91/524.01	c BCD2: #sat=1 #unsat=2 bias=2/3
523.91/524.01	c Solving starts ...
523.91/524.01	c ============================[ Search Statistics ]============================
523.91/524.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
523.91/524.01	c       |         |          |          |    Limit     GC | Var      | Constra 
523.91/524.01	c =============================================================================
523.91/524.02	c  0.0s |       0 |        0 |        0 |    46835      0 |       55 |      148
523.91/524.08	c  0.1s |       0 |      749 |        0 |    46835      0 |       55 |      148
523.91/524.08	c #cpu_time = 0.060s
523.91/524.08	c #wall_clock_time = 0.060s
523.91/524.08	c #decision = 749
523.91/524.08	c #random_decision = 0
523.91/524.08	c #conflict = 0
523.91/524.08	c #restart = 0
523.91/524.08	c BCD2: found a new core of size 2: cost of the new core is >=1
523.91/524.08	c lower bound updated to 2
704.88/705.02	c BCD2: 2 <= obj <= 6466381
704.88/705.02	c BCD2: #cores=2, #unrelaxed=7254, #relaxed=4, #hardened=0
704.88/705.02	c BCD2: #sat=1 #unsat=3 bias=3/4
704.88/705.02	c Solving starts ...
704.88/705.02	c ============================[ Search Statistics ]============================
704.88/705.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
704.88/705.02	c       |         |          |          |    Limit     GC | Var      | Constra 
704.88/705.02	c =============================================================================
704.88/705.02	c  0.0s |       0 |        0 |        0 |    46835      0 |       55 |      148
704.88/705.08	c  0.1s |       0 |      779 |        0 |    46835      0 |       55 |      148
704.88/705.08	c #cpu_time = 0.057s
704.88/705.08	c #wall_clock_time = 0.057s
704.88/705.08	c #decision = 779
704.88/705.08	c #random_decision = 0
704.88/705.08	c #conflict = 0
704.88/705.08	c #restart = 0
704.88/705.08	c BCD2: found a new core of size 2: cost of the new core is >=1
704.88/705.08	c lower bound updated to 3
882.25/882.46	c BCD2: 3 <= obj <= 6466381
882.25/882.46	c BCD2: #cores=3, #unrelaxed=7252, #relaxed=6, #hardened=0
882.25/882.46	c BCD2: #sat=1 #unsat=4 bias=4/5
882.25/882.46	c Solving starts ...
882.25/882.46	c ============================[ Search Statistics ]============================
882.25/882.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
882.25/882.46	c       |         |          |          |    Limit     GC | Var      | Constra 
882.25/882.46	c =============================================================================
882.25/882.46	c  0.0s |       0 |        0 |        0 |    46835      0 |       55 |      148
882.35/882.52	c  0.1s |       0 |      826 |        0 |    46835      0 |       55 |      148
882.35/882.52	c #cpu_time = 0.058s
882.35/882.52	c #wall_clock_time = 0.058s
882.35/882.52	c #decision = 826
882.35/882.52	c #random_decision = 0
882.35/882.52	c #conflict = 0
882.35/882.52	c #restart = 0
882.35/882.52	c BCD2: found a new core of size 2: cost of the new core is >=1
882.35/882.52	c lower bound updated to 4
1087.57/1087.86	c BCD2: 4 <= obj <= 6466381
1087.57/1087.86	c BCD2: #cores=4, #unrelaxed=7250, #relaxed=8, #hardened=0
1087.57/1087.86	c BCD2: #sat=1 #unsat=5 bias=5/6
1087.57/1087.86	c Solving starts ...
1087.57/1087.86	c ============================[ Search Statistics ]============================
1087.57/1087.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1087.57/1087.86	c       |         |          |          |    Limit     GC | Var      | Constra 
1087.57/1087.86	c =============================================================================
1087.57/1087.86	c  0.0s |       0 |        0 |        0 |    46835      0 |       55 |      148
1087.68/1087.99	c  0.1s |       0 |     1821 |        1 |    46835      0 |      128 |      400
1087.68/1087.99	c #cpu_time = 0.132s
1087.68/1087.99	c #wall_clock_time = 0.132s
1087.68/1087.99	c #decision = 1821
1087.68/1087.99	c #random_decision = 0
1087.68/1087.99	c #conflict = 1
1087.68/1087.99	c #restart = 0
1087.68/1087.99	c BCD2: found a new core of size 1: cost of the new core is >=1
1087.68/1087.99	c lower bound updated to 5
1282.20/1282.54	c BCD2: 5 <= obj <= 6466381
1282.20/1282.54	c BCD2: #cores=5, #unrelaxed=7249, #relaxed=9, #hardened=0
1282.20/1282.54	c BCD2: #sat=1 #unsat=6 bias=6/7
1282.20/1282.54	c Solving starts ...
1282.20/1282.54	c ============================[ Search Statistics ]============================
1282.20/1282.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1282.20/1282.54	c       |         |          |          |    Limit     GC | Var      | Constra 
1282.20/1282.54	c =============================================================================
1282.20/1282.54	c  0.0s |       0 |        0 |        0 |    46835      0 |      128 |      400
1282.20/1282.60	c  0.1s |       0 |      911 |        0 |    46835      0 |      128 |      400
1282.20/1282.60	c #cpu_time = 0.059s
1282.20/1282.60	c #wall_clock_time = 0.059s
1282.20/1282.60	c #decision = 911
1282.20/1282.60	c #random_decision = 0
1282.20/1282.60	c #conflict = 0
1282.20/1282.60	c #restart = 0
1282.20/1282.60	c BCD2: found a new core of size 1: cost of the new core is >=1
1282.20/1282.60	c lower bound updated to 6
1467.16/1467.54	c BCD2: 6 <= obj <= 6466381
1467.16/1467.54	c BCD2: #cores=6, #unrelaxed=7248, #relaxed=10, #hardened=0
1467.16/1467.54	c BCD2: #sat=1 #unsat=7 bias=7/8
1467.16/1467.54	c Solving starts ...
1467.16/1467.54	c ============================[ Search Statistics ]============================
1467.16/1467.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1467.16/1467.54	c       |         |          |          |    Limit     GC | Var      | Constra 
1467.16/1467.54	c =============================================================================
1467.16/1467.54	c  0.0s |       0 |        0 |        0 |    46835      0 |      128 |      400
1467.25/1467.60	c  0.1s |       0 |      914 |        0 |    46835      0 |      128 |      400
1467.25/1467.60	c #cpu_time = 0.059s
1467.25/1467.60	c #wall_clock_time = 0.059s
1467.25/1467.60	c #decision = 914
1467.25/1467.60	c #random_decision = 0
1467.25/1467.60	c #conflict = 0
1467.25/1467.60	c #restart = 0
1467.25/1467.60	c BCD2: found a new core of size 1: cost of the new core is >=1
1467.25/1467.60	c lower bound updated to 7
1663.12/1663.59	c BCD2: 7 <= obj <= 6466381
1663.12/1663.59	c BCD2: #cores=7, #unrelaxed=7247, #relaxed=11, #hardened=0
1663.12/1663.59	c BCD2: #sat=1 #unsat=8 bias=8/9
1663.12/1663.59	c Solving starts ...
1663.12/1663.59	c ============================[ Search Statistics ]============================
1663.12/1663.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1663.12/1663.59	c       |         |          |          |    Limit     GC | Var      | Constra 
1663.12/1663.59	c =============================================================================
1663.12/1663.59	c  0.0s |       0 |        0 |        0 |    46835      0 |      128 |      400
1663.22/1663.65	c  0.1s |       0 |      915 |        0 |    46835      0 |      128 |      400
1663.22/1663.65	c #cpu_time = 0.057s
1663.22/1663.65	c #wall_clock_time = 0.057s
1663.22/1663.65	c #decision = 915
1663.22/1663.65	c #random_decision = 0
1663.22/1663.65	c #conflict = 0
1663.22/1663.65	c #restart = 0
1663.22/1663.65	c BCD2: found a new core of size 1: cost of the new core is >=1
1663.22/1663.65	c lower bound updated to 8

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

pid=6539
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.33 2.33 2.24 4/180 6542
/proc/meminfo: memFree=29073448/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 2906 0 0 0 0 0 0 0 20 0 4 0 108898403 796323840 3778 33554432000 4194304 16246674 140736298074064 140736298073488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 194927 3789 441 2943 0 191821 0
[pid=6542/tid=6543] ppid=6539 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 814149632 3849 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 819392512 3866 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108898403 823586816 3884 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.33 2.33 2.24 4/180 6542
/proc/meminfo: memFree=29073448/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 26796 0 0 0 5 4 0 0 20 0 4 0 108898403 1332285440 27606 33554432000 4194304 16246674 140736298074064 140736298073376 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 325265 27622 798 2943 0 322159 0
[pid=6542/tid=6543] ppid=6539 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1332285440 27632 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1332285440 27643 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1332285440 27654 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200604 s]
/proc/loadavg: 2.33 2.33 2.24 4/180 6542
/proc/meminfo: memFree=29073448/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 48678 0 0 0 12 7 0 0 20 0 4 0 108898403 1344868352 49999 33554432000 4194304 16246674 140736298074064 140736298073376 7364404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 328337 49999 798 2943 0 325231 0
[pid=6542/tid=6543] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 49999 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 49999 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 49999 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 2.33 2.33 2.24 4/180 6542
/proc/meminfo: memFree=29073448/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 59927 0 0 0 21 8 0 0 20 0 4 0 108898403 1344868352 61248 33554432000 4194304 16246674 140736298074064 140736298073376 8058627 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 328337 61248 799 2943 0 325231 0
[pid=6542/tid=6543] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 61248 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 61248 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 61248 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700407 s]
/proc/loadavg: 2.33 2.33 2.24 4/180 6542
/proc/meminfo: memFree=29073448/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 72547 0 0 0 59 10 0 0 20 0 4 0 108898403 1344868352 73868 33554432000 4194304 16246674 140736298074064 140736298071872 8058921 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 328337 73868 800 2943 0 325231 0
[pid=6542/tid=6543] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 73868 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 73868 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 73868 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.33 2.33 2.24 3/184 6546
/proc/meminfo: memFree=28616880/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 193049 0 0 0 123 26 0 0 20 0 4 0 108898403 1344868352 194370 33554432000 4194304 16246674 140736298074064 140736298071872 5515837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 328337 194380 840 2943 0 325231 0
[pid=6542/tid=6543] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 194385 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 194390 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1344868352 194395 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.33 2.33 2.24 3/184 6546
/proc/meminfo: memFree=27977420/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 273002 0 0 0 269 40 0 0 20 0 4 0 108898403 1389957120 274323 33554432000 4194304 16246674 140736298074064 140736298055936 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 274323 892 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 274323 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 274323 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 274323 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30041 s]
/proc/loadavg: 2.30 2.32 2.24 3/184 6546
/proc/meminfo: memFree=27948928/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280025 0 0 0 588 41 0 0 20 0 4 0 108898403 1389957120 281346 33554432000 4194304 16246674 140736298074064 140736298055936 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281346 896 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281346 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281346 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281346 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.27 2.32 2.24 3/184 6546
/proc/meminfo: memFree=27950076/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280034 0 0 0 1228 41 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 140736298071872 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281355 905 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.21 2.30 2.23 3/183 6546
/proc/meminfo: memFree=27952952/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=25.49 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280034 0 0 0 2508 41 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 140736298055936 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281355 905 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.21 2.29 2.23 4/183 6546
/proc/meminfo: memFree=27954764/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280034 0 0 0 5067 41 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 140736298055936 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281355 905 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.24 2.29 2.23 3/183 6547
/proc/meminfo: memFree=27954196/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280034 0 0 0 10187 41 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 140736298055936 12654401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281355 905 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281355 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.26 2.24 2.21 4/183 6674
/proc/meminfo: memFree=26918760/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1301.99 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280224 0 0 0 130156 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298055936 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 6675
/proc/meminfo: memFree=26474756/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1361.97 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280238 0 0 0 136154 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298055936 12429099 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/183 6677
/proc/meminfo: memFree=25945312/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1421.97 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 142154 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298071872 4221137 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.15 2.22 2.20 4/183 6678
/proc/meminfo: memFree=25618292/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1481.95 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 148152 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298055936 12654383 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 6679
/proc/meminfo: memFree=25182456/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1541.95 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 154152 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298071872 12371280 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.16 2.21 2.19 4/183 6680
/proc/meminfo: memFree=24788776/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1601.93 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 160150 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298071872 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.13 2.20 2.18 4/183 6681
/proc/meminfo: memFree=24665880/32872528 swapFree=15648/1722388
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1661.92 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 166149 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298071872 12449395 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/183 6683
/proc/meminfo: memFree=24132992/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1721.91 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 172148 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298071872 12654392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.19 3/184 6687
/proc/meminfo: memFree=23796780/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1781.9 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 178147 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298055936 12429091 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.22 2.19 4/184 6687
/proc/meminfo: memFree=24154740/32872528 swapFree=15644/1722384
[pid=6542] ppid=6539 vsize=1357380 CPUtime=1800 cores=0,2,4,6
/proc/6542/stat : 6542 (toysat) R 6539 6542 4315 0 -1 4202496 280249 0 0 0 179957 43 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 140736298055936 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6542/statm: 339345 281372 921 2943 0 336239 0
[pid=6542/tid=6543] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6543/stat : 6543 (toysat) S 6539 6542 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699735735536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6542/tid=6544] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6544/stat : 6544 (toysat) S 6539 6542 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699649752304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6542/tid=6545] ppid=6539 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/6542/task/6545/stat : 6545 (toysat) S 6539 6542 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108898403 1389957120 281372 33554432000 4194304 16246674 140736298074064 139699639278768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1357380

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.58
CPU system time (s): 0.438933
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.438933
maximum resident set size= 1125488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280249
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= 228
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7871 second user time and 15.4457 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 05:20:48
IDJOB=4079143
IDBENCH=72232
IDSOLVER=2542
FILE ID=node120/4079143-1465269648
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079143-1465269648/watcher-4079143-1465269648 -o /tmp/evaluation-result-4079143-1465269648/solver-4079143-1465269648 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079143-1465269648.opb

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

MD5SUM BENCH= 936dd9c91ca1d73fea84b29056b5486e
RANDOM SEED=1498583735

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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.55
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.425
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:        29074348 kB
Buffers:          100284 kB
Cached:           129640 kB
SwapCached:         1476 kB
Active:          1208444 kB
Inactive:         111164 kB
Active(anon):    1088964 kB
Inactive(anon):     3252 kB
Active(file):     119480 kB
Inactive(file):   107912 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             19816 kB
Writeback:             0 kB
AnonPages:       2811232 kB
Mapped:            11812 kB
Shmem:                 0 kB
Slab:             615268 kB
SReclaimable:      59240 kB
SUnreclaim:       556028 kB
KernelStack:        1456 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2953116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1714176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node120 at 2016-06-07 05:50:49