Trace number 4107478

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-hal-cups-utils.cudf.paranoid.opb
MD5SUM2333b2e531ad17c6303795ec0e1383e4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141814
Best CPU time to get the best result obtained on this benchmark24.7592
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19770
Total number of constraints96416
Number of constraints which are clauses94851
Number of constraints which are cardinality constraints (but not clauses)1565
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 7254
Biggest coefficient in the objective function 4296
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12720454
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4296
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12720454
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-18T23:30:12+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-4107478-1466285411.opb"]
0.00/0.01	c use --random-gen="1636827937 2356156588 173606637 2938986554 3273821932 611972182 1885278727 1738298454 3401924043 1192873181 408371193 4093765376 589845041 1041796125 4257681564 210565814 2037337274 512425066 450503322 1511773460 3952406878 399299266 3321012251 3912116428 2318049166 1751610273 2596468992 2329029944 3316343201 1927806107 3501078790 3613511694 1265246344 3783304405 3360767425 3223075005 2567525600 1501002535 3042700331 3557699541 17494689 404568329 2138103891 665099313 616414845 3348035775 2424680426 1569443636 960610225 1206494501 1894253390 2029611816 1384734459 3918036221 1521489784 2625423528 3746818984 2427622265 2629862034 465090172 3965176891 2023611066 1540667410 2961369322 799115497 298872407 2355762600 2076477881 2278562946 2428259879 2263463558 5561458 3016729520 355713654 1939457648 290890353 793183203 1830565841 1732825997 2312735617 2932364901 2362955563 4281146736 317518329 2511721180 2382234732 2945764286 387475189 735962695 2191367229 3528227984 3552662984 4041899061 2217016938 470551766 2567063694 650268961 3142279461 252157092 1864714456 2902239250 735564208 1907312361 1625500182 2536618016 3092621854 624897947 2679392688 2366151071 407138367 304100023 483128096 1541577838 1543552901 3409939448 3661593566 1218745022 613147832 3700626725 2645189536 3261345034 4158032142 3794859922 8646670 3433307284 8144518 2270287459 9353566 3845512125 2110269567 1612464256 911689746 1205080979 1033428622 1270854601 2280963430 3222284987 3035088275 1495863459 2836676268 1581367967 2039191544 1084245333 986985515 147029822 2657091705 4111517786 3369349241 1047303078 1897826195 3652997134 3347553388 2483179770 60797703 3782533787 3969392671 2814736940 1626295560 329145033 449057294 1676421066 1862843694 1252629011 1685692294 3286846397 890189676 3011707812 2601715671 380143091 2956083296 4165196775 2356147673 384711527 523684969 972214713 2688989739 3786911389 1178982893 73428979 2247341783 988015362 3175285892 145193182 1789313818 958354776 1945607415 3136565336 4055649244 167760922 1340302702 4003797866 1397690384 3243189773 27452920 111291822 787904957 504126567 1525195644 4171587970 850488577 216164049 1170927420 689971113 4028217633 2201854806 3580817681 2528469128 2331201303 560379275 2161406734 2263846945 1647260357 358229003 671701159 2281795233 3075128380 3408941563 2169167268 1759724252 2349344042 4169532021 179227806 1823989200 1713576190 1208257145 593286874 2623926044 1608023101 2325288987 660780176 3594924438 1760538299 2794481462 1367269688 3379467878 159106216 2189921613 2731788399 3720413696 1606991988 909720794 937727187 927712747 1739713810 3702443432 2102045793 3156001540 1720412977 2257570175 2995641144 3076560612 2271606195 2655684261 2293577650 1839560340 4181435710 255 362436" option to reproduce the execution
0.69/0.71	c #vars 19770
0.69/0.71	c #constraints 96416
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.24	c  0.0s |       0 |        0 |        0 |    38668      0 |       54 |        0
2.99/3.05	c  0.8s |       1 |    84385 |      100 |    38668      0 |       60 |      164
4.79/4.85	c  2.6s |       2 |   299575 |      250 |    42535      0 |       61 |      166
7.29/7.40	c  5.2s |       2 |   596548 |      417 |    46789      0 |       61 |      166
7.29/7.40	c #cpu_time = 5.128s
7.29/7.40	c #wall_clock_time = 5.142s
7.29/7.40	c #decision = 596548
7.29/7.40	c #random_decision = 1892
7.29/7.40	c #conflict = 417
7.29/7.40	c #restart = 2
7.29/7.40	o 6696580
198.06/198.18	c BCD2: updating upper bound: 12720454 -> 6696579
398.32/398.40	c BCD2: 0 <= obj <= 6696579
398.32/398.40	c BCD2: #cores=0, #unrelaxed=7254, #relaxed=0, #hardened=0
398.32/398.40	c BCD2: #sat=1 #unsat=1 bias=1/2
398.32/398.40	c Solving starts ...
398.32/398.40	c ============================[ Search Statistics ]============================
398.32/398.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
398.32/398.40	c       |         |          |          |    Limit     GC | Var      | Constra 
398.32/398.40	c =============================================================================
398.32/398.40	c  0.0s |       0 |        0 |        0 |    46789      0 |       61 |      166
398.32/398.45	c  0.1s |       0 |      382 |        0 |    46789      0 |       61 |      166
398.32/398.45	c #cpu_time = 0.053s
398.32/398.45	c #wall_clock_time = 0.053s
398.32/398.45	c #decision = 382
398.32/398.45	c #random_decision = 0
398.32/398.45	c #conflict = 0
398.32/398.45	c #restart = 0
398.32/398.45	c BCD2: found a new core of size 2: cost of the new core is >=1
398.32/398.45	c lower bound updated to 1
595.01/595.14	c BCD2: 1 <= obj <= 6696579
595.01/595.14	c BCD2: #cores=1, #unrelaxed=7252, #relaxed=2, #hardened=0
595.01/595.14	c BCD2: #sat=1 #unsat=2 bias=2/3
595.01/595.14	c Solving starts ...
595.01/595.14	c ============================[ Search Statistics ]============================
595.01/595.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
595.01/595.14	c       |         |          |          |    Limit     GC | Var      | Constra 
595.01/595.14	c =============================================================================
595.01/595.15	c  0.0s |       0 |        0 |        0 |    46789      0 |       61 |      166
595.11/595.21	c  0.1s |       0 |      782 |        1 |    46789      0 |       61 |      166
595.11/595.21	c #cpu_time = 0.058s
595.11/595.21	c #wall_clock_time = 0.058s
595.11/595.21	c #decision = 782
595.11/595.21	c #random_decision = 0
595.11/595.21	c #conflict = 1
595.11/595.21	c #restart = 0
595.11/595.21	c BCD2: found a new core of size 2: cost of the new core is >=1
595.11/595.21	c lower bound updated to 2
830.53/830.70	c BCD2: 2 <= obj <= 6696579
830.53/830.70	c BCD2: #cores=2, #unrelaxed=7250, #relaxed=4, #hardened=0
830.53/830.70	c BCD2: #sat=1 #unsat=3 bias=3/4
830.53/830.70	c Solving starts ...
830.53/830.70	c ============================[ Search Statistics ]============================
830.53/830.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
830.53/830.70	c       |         |          |          |    Limit     GC | Var      | Constra 
830.53/830.70	c =============================================================================
830.53/830.70	c  0.0s |       0 |        0 |        0 |    46789      0 |       61 |      166
830.53/830.76	c  0.1s |       0 |      651 |        1 |    46789      0 |       61 |      166
830.53/830.76	c #cpu_time = 0.059s
830.53/830.76	c #wall_clock_time = 0.059s
830.53/830.76	c #decision = 651
830.53/830.76	c #random_decision = 0
830.53/830.76	c #conflict = 1
830.53/830.76	c #restart = 0
830.53/830.76	c BCD2: found a new core of size 2: cost of the new core is >=1
830.53/830.76	c lower bound updated to 3
1076.83/1077.16	c BCD2: 3 <= obj <= 6696579
1076.83/1077.16	c BCD2: #cores=3, #unrelaxed=7248, #relaxed=6, #hardened=0
1076.83/1077.16	c BCD2: #sat=1 #unsat=4 bias=4/5
1076.83/1077.16	c Solving starts ...
1076.83/1077.16	c ============================[ Search Statistics ]============================
1076.83/1077.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1076.83/1077.16	c       |         |          |          |    Limit     GC | Var      | Constra 
1076.83/1077.16	c =============================================================================
1076.83/1077.16	c  0.0s |       0 |        0 |        0 |    46789      0 |       61 |      166
1076.93/1077.23	c  0.1s |       0 |      756 |        0 |    46789      0 |       61 |      166
1076.93/1077.23	c #cpu_time = 0.068s
1076.93/1077.23	c #wall_clock_time = 0.068s
1076.93/1077.23	c #decision = 756
1076.93/1077.23	c #random_decision = 0
1076.93/1077.23	c #conflict = 0
1076.93/1077.23	c #restart = 0
1076.93/1077.23	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
1076.93/1077.23	c lower bound updated to 4
1330.48/1330.85	c BCD2: 4 <= obj <= 6696579
1330.48/1330.85	c BCD2: #cores=3, #unrelaxed=7246, #relaxed=8, #hardened=0
1330.48/1330.85	c BCD2: #sat=1 #unsat=5 bias=5/6
1330.48/1330.85	c Solving starts ...
1330.48/1330.85	c ============================[ Search Statistics ]============================
1330.48/1330.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1330.48/1330.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1330.48/1330.85	c =============================================================================
1330.48/1330.85	c  0.0s |       0 |        0 |        0 |    46789      0 |       62 |      166
1330.58/1330.92	c  0.1s |       0 |      788 |        0 |    46789      0 |       62 |      167
1330.58/1330.92	c #cpu_time = 0.071s
1330.58/1330.92	c #wall_clock_time = 0.072s
1330.58/1330.92	c #decision = 788
1330.58/1330.92	c #random_decision = 0
1330.58/1330.92	c #conflict = 0
1330.58/1330.92	c #restart = 0
1330.58/1330.92	c BCD2: found a new core of size 2: cost of the new core is >=1
1330.58/1330.92	c lower bound updated to 5
1589.44/1589.85	c BCD2: 5 <= obj <= 6696579
1589.44/1589.85	c BCD2: #cores=4, #unrelaxed=7244, #relaxed=10, #hardened=0
1589.44/1589.85	c BCD2: #sat=1 #unsat=6 bias=6/7
1589.44/1589.85	c Solving starts ...
1589.44/1589.85	c ============================[ Search Statistics ]============================
1589.44/1589.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1589.44/1589.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1589.44/1589.85	c =============================================================================
1589.44/1589.85	c  0.0s |       0 |        0 |        0 |    46789      0 |       62 |      167
1589.54/1589.92	c  0.1s |       0 |      835 |        0 |    46789      0 |       62 |      167
1589.54/1589.92	c #cpu_time = 0.071s
1589.54/1589.92	c #wall_clock_time = 0.071s
1589.54/1589.92	c #decision = 835
1589.54/1589.92	c #random_decision = 0
1589.54/1589.92	c #conflict = 0
1589.54/1589.92	c #restart = 0
1589.54/1589.92	c BCD2: found a new core of size 2: cost of the new core is >=1
1589.54/1589.92	c lower bound updated to 6

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-4107478-1466285411/watcher-4107478-1466285411 -o /tmp/evaluation-result-4107478-1466285411/solver-4107478-1466285411 -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-4107478-1466285411.opb 

pid=11855
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.36 2.30 2.25 2/180 11858
/proc/meminfo: memFree=29014752/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 2715 0 0 0 0 0 0 0 20 0 4 0 30588295 745992192 3076 33554432000 4194304 16246674 140736262744944 140736262744368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 182639 3087 441 2943 0 179533 0
[pid=11858/tid=11859] ppid=11855 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 763817984 3147 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 769060864 3164 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30588295 773255168 3182 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.36 2.30 2.25 2/180 11858
/proc/meminfo: memFree=29014752/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 29126 0 0 0 5 4 0 0 20 0 4 0 30588295 1249447936 29425 33554432000 4194304 16246674 140736262744944 140736262744256 4206640 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 305041 29425 800 2943 0 301935 0
[pid=11858/tid=11859] ppid=11855 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1250496512 29430 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1250496512 29433 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1250496512 29435 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200527 s]
/proc/loadavg: 2.36 2.30 2.25 2/180 11858
/proc/meminfo: memFree=29014752/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 51674 0 0 0 12 7 0 0 20 0 4 0 30588295 1344868352 52484 33554432000 4194304 16246674 140736262744944 140736262744256 7364572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 328337 52484 800 2943 0 325231 0
[pid=11858/tid=11859] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 52484 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 52484 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 52484 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300492 s]
/proc/loadavg: 2.36 2.30 2.25 2/180 11858
/proc/meminfo: memFree=29014752/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 66496 0 0 0 20 9 0 0 20 0 4 0 30588295 1344868352 67306 33554432000 4194304 16246674 140736262744944 140736262742784 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 328337 67306 800 2943 0 325231 0
[pid=11858/tid=11859] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67306 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67306 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67306 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700409 s]
/proc/loadavg: 2.36 2.30 2.25 2/180 11858
/proc/meminfo: memFree=29014752/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 66989 0 0 0 60 9 0 0 20 0 4 0 30588295 1344868352 67799 33554432000 4194304 16246674 140736262744944 140736262742784 7383783 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 328337 67799 800 2943 0 325231 0
[pid=11858/tid=11859] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67799 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67799 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 67799 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 2.36 2.30 2.25 3/184 11862
/proc/meminfo: memFree=28561604/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 192864 0 0 0 121 28 0 0 20 0 4 0 30588295 1344868352 193674 33554432000 4194304 16246674 140736262744944 140736262726848 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 328337 193685 840 2943 0 325231 0
[pid=11858/tid=11859] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 193692 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 193697 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1344868352 193704 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.36 2.30 2.25 3/184 11862
/proc/meminfo: memFree=27924864/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 271968 0 0 0 270 39 0 0 20 0 4 0 30588295 1389957120 272778 33554432000 4194304 16246674 140736262744944 140736262726848 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 272778 892 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 272778 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 272778 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 272778 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30036 s]
/proc/loadavg: 2.33 2.29 2.25 4/184 11862
/proc/meminfo: memFree=27891592/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280025 0 0 0 589 40 0 0 20 0 4 0 30588295 1389957120 280835 33554432000 4194304 16246674 140736262744944 140736262726848 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280835 895 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280835 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280835 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280835 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.38 2.30 2.26 3/184 11862
/proc/meminfo: memFree=27892236/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280033 0 0 0 1229 40 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140736262726848 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280843 903 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.30 2.29 2.25 3/184 11862
/proc/meminfo: memFree=27893200/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=25.48 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280033 0 0 0 2508 40 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140736262726848 6955472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280843 903 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.26 2.28 2.25 3/183 11862
/proc/meminfo: memFree=27894892/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280033 0 0 0 5068 40 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140736262726848 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280843 903 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.23 2.27 2.25 3/183 11863
/proc/meminfo: memFree=27894448/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280033 0 0 0 10188 40 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140736262726848 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280843 903 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280843 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.22 2.23 2.22 3/183 11943
/proc/meminfo: memFree=27858640/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1301.99 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 130157 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 12654520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.24 2.23 2.22 5/183 11945
/proc/meminfo: memFree=27858356/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1361.98 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 136156 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262742784 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.38 2.27 2.23 3/184 11957
/proc/meminfo: memFree=27857196/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1421.98 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 142156 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 4220487 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.23 2.25 2.22 4/183 11958
/proc/meminfo: memFree=27857556/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1481.96 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 148154 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262742784 4206688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.22 4/183 11959
/proc/meminfo: memFree=27857280/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1541.96 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 154154 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 12371212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.22 3/183 11960
/proc/meminfo: memFree=27857068/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1601.94 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 160152 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.21 3/182 11961
/proc/meminfo: memFree=27857212/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1661.93 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 166151 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 13008904 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.21 4/183 11963
/proc/meminfo: memFree=27856988/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1721.92 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 172150 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.16 2.20 2.20 3/183 11964
/proc/meminfo: memFree=27856588/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1781.91 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 178149 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.19 2.19 3/184 11967
/proc/meminfo: memFree=27856408/32872528 swapFree=17888/1798212
[pid=11858] ppid=11855 vsize=1357380 CPUtime=1800.01 cores=0,2,4,6
/proc/11858/stat : 11858 (toysat) R 11855 11858 10472 0 -1 4202496 280218 0 0 0 179959 42 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140736262726848 4206600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11858/statm: 339345 280860 919 2943 0 336239 0
[pid=11858/tid=11859] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11859/stat : 11859 (toysat) S 11855 11858 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575120534768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11858/tid=11860] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11860/stat : 11860 (toysat) S 11855 11858 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575110044912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11858/tid=11861] ppid=11855 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11858/task/11861/stat : 11861 (toysat) S 11855 11858 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30588295 1389957120 280860 33554432000 4194304 16246674 140736262744944 140575099571376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 11858 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.6
CPU system time (s): 0.425935
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.425935
maximum resident set size= 1123440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280218
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= 189
involuntary context switches= 2353

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1069 second user time and 12.5951 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 23:30:12
IDJOB=4107478
IDBENCH=72211
IDSOLVER=2542
FILE ID=node123/4107478-1466285411
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-paranoid/misc2010/datasets/10orplus/normalized-hal-cups-utils.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-4107478-1466285411/watcher-4107478-1466285411 -o /tmp/evaluation-result-4107478-1466285411/solver-4107478-1466285411 -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-4107478-1466285411.opb

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

MD5SUM BENCH= 2333b2e531ad17c6303795ec0e1383e4
RANDOM SEED=912258448

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:        29015148 kB
Buffers:           76388 kB
Cached:           146416 kB
SwapCached:         1604 kB
Active:          1168720 kB
Inactive:         148440 kB
Active(anon):    1093528 kB
Inactive(anon):     3080 kB
Active(file):      75192 kB
Inactive(file):   145360 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             19832 kB
Writeback:             0 kB
AnonPages:       2943024 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             602496 kB
SReclaimable:      46384 kB
SUnreclaim:       556112 kB
KernelStack:        1480 kB
PageTables:        10300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3033484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1841152 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= 71596 MiB
End job on node123 at 2016-06-19 00:00:12