Trace number 4107490

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.1 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-konq-plugins.cudf.paranoid.opb
MD5SUM7d98875886b85500f0515139502ec951
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark16.6055
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
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 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
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:57+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107490-1466285457.opb"]
0.00/0.01	c use --random-gen="3982981485 1062905532 727862723 1636121693 1093458439 10626518 2510400552 1899921236 490324965 2495356438 3388327976 1694009610 2883253939 4215782772 338667943 908720783 2021155757 1985356361 291038161 1572638165 2206623268 2096695950 2359197062 1649613614 2583329768 4251088373 1130705006 2787174456 615586496 3975077805 1176299097 1050287938 1922544761 2670191024 4020075442 2401576213 1560246436 3851082523 632958567 1031869030 2127216101 775304961 800407996 364975975 300184813 2104276981 994805162 2019283618 3349609959 2485062866 1779456849 3400282938 1912109758 1480507516 2660814592 3460560376 1773637700 1236709022 2170452903 2679233999 482739623 4007585037 1955688538 694558216 1442608653 3580127247 873757973 3453579092 1334284143 3911946526 3659165952 4183783878 4275162780 3255777795 1923944494 929725783 1776804221 4288713972 2076513366 2114188324 4021542001 380548162 3413320411 1343990005 2358118938 3222598472 2344352983 2300094753 3305684735 2974185425 4198400457 1365902163 872697590 3482100147 1026685578 2244311363 1835241361 313598744 3158824231 2334994912 3815424074 328414000 3163994553 99167460 1231215109 2532513345 1076860433 516969967 264715873 1807530964 2379226113 155238334 1330428092 912689076 2836030901 1171575651 1800880876 417311789 3992385030 610133992 3186497697 2936376857 2935325350 793554539 2929283376 3152822641 111769133 907486735 1687593391 1027125658 2122290519 4293696223 299352410 478567796 1009379486 3657444308 4150794590 94682967 2189950712 1175878278 1897168704 2452494143 3170732176 1289675367 2001542825 1850821658 2745817640 2077389784 2904936351 3731696221 3959029413 105999796 3874417915 3089816330 3320887368 3391154526 3002057828 45912295 1475421340 2317806018 2949815416 1853532196 2618435256 3196565676 1445469107 46063955 1733334151 2283357759 4138670058 2273800853 1299651567 2928884576 3650005635 2093925611 4181211346 1498257976 291727670 201377897 1548492899 3850335930 2928492239 1993652903 1793282822 1087946986 918625354 4029234497 3637916802 1951941329 3481191627 1143001375 2485189213 4182348446 3985050297 3218070818 3692913396 1538658686 1736075815 2895414964 2201707064 2186683044 1597515740 1577894866 1562916634 2698354745 455391625 398866697 3917683272 3952469891 1907882274 2155625255 3174631070 945648502 398837991 687017400 269437872 259396894 4140841116 3593665924 1690091453 2265352378 2174859018 3394892748 1576694020 1513840116 3536083384 1831512743 4268967020 4084067929 1189201155 1933904770 1615577242 419691901 2711431222 2634166213 912695366 3050494415 1519970340 2093379184 1047474155 1668341178 4076089372 1762384437 185695221 3112150112 3504470323 126064350 3901019490 838892465 1151621045 3728286226 3351219493 3041571456 1345168936 1001295519 1485489276 3332392573 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.19/2.24	c BCD2: Hardening is enabled.
2.19/2.24	c BCD2: BiasedSearch is enabled.
2.19/2.24	c Solving starts ...
2.19/2.24	c ============================[ Search Statistics ]============================
2.19/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.24	c =============================================================================
2.19/2.24	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.79/2.80	c  0.6s |       1 |    90761 |      100 |    38664      0 |       52 |      141
4.49/4.52	c  2.3s |       2 |   304058 |      250 |    42531      0 |       52 |      141
6.78/6.86	c  4.6s |       2 |   568420 |      384 |    46785      0 |       52 |      141
6.78/6.86	c #cpu_time = 4.599s
6.78/6.86	c #wall_clock_time = 4.611s
6.78/6.86	c #decision = 568420
6.78/6.86	c #random_decision = 1789
6.78/6.86	c #conflict = 384
6.78/6.86	c #restart = 2
6.78/6.86	o 7021439
191.86/191.93	c BCD2: updating upper bound: 12717493 -> 7021438
385.13/385.29	c BCD2: 0 <= obj <= 7021438
385.13/385.29	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
385.13/385.29	c BCD2: #sat=1 #unsat=1 bias=1/2
385.13/385.29	c Solving starts ...
385.13/385.29	c ============================[ Search Statistics ]============================
385.13/385.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
385.13/385.29	c       |         |          |          |    Limit     GC | Var      | Constra 
385.13/385.29	c =============================================================================
385.13/385.29	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
385.23/385.34	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
385.23/385.34	c #cpu_time = 0.054s
385.23/385.34	c #wall_clock_time = 0.054s
385.23/385.34	c #decision = 382
385.23/385.34	c #random_decision = 0
385.23/385.34	c #conflict = 0
385.23/385.34	c #restart = 0
385.23/385.34	c BCD2: found a new core of size 2: cost of the new core is >=1
385.23/385.34	c lower bound updated to 1
582.20/582.30	c BCD2: 1 <= obj <= 7021438
582.20/582.30	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
582.20/582.30	c BCD2: #sat=1 #unsat=2 bias=2/3
582.20/582.30	c Solving starts ...
582.20/582.30	c ============================[ Search Statistics ]============================
582.20/582.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
582.20/582.30	c       |         |          |          |    Limit     GC | Var      | Constra 
582.20/582.30	c =============================================================================
582.20/582.31	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
582.20/582.37	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
582.20/582.37	c #cpu_time = 0.060s
582.20/582.37	c #wall_clock_time = 0.061s
582.20/582.37	c #decision = 750
582.20/582.37	c #random_decision = 0
582.20/582.37	c #conflict = 0
582.20/582.37	c #restart = 0
582.20/582.37	c BCD2: found a new core of size 2: cost of the new core is >=1
582.20/582.37	c lower bound updated to 2
776.17/776.37	c BCD2: 2 <= obj <= 7021438
776.17/776.37	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
776.17/776.37	c BCD2: #sat=1 #unsat=3 bias=3/4
776.17/776.37	c Solving starts ...
776.17/776.37	c ============================[ Search Statistics ]============================
776.17/776.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
776.17/776.37	c       |         |          |          |    Limit     GC | Var      | Constra 
776.17/776.37	c =============================================================================
776.17/776.37	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
776.27/776.43	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
776.27/776.43	c #cpu_time = 0.058s
776.27/776.43	c #wall_clock_time = 0.059s
776.27/776.43	c #decision = 780
776.27/776.43	c #random_decision = 0
776.27/776.43	c #conflict = 0
776.27/776.43	c #restart = 0
776.27/776.43	c BCD2: found a new core of size 2: cost of the new core is >=1
776.27/776.43	c lower bound updated to 3
967.01/967.29	c BCD2: 3 <= obj <= 7021438
967.01/967.29	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
967.01/967.29	c BCD2: #sat=1 #unsat=4 bias=4/5
967.01/967.29	c Solving starts ...
967.01/967.29	c ============================[ Search Statistics ]============================
967.01/967.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
967.01/967.29	c       |         |          |          |    Limit     GC | Var      | Constra 
967.01/967.29	c =============================================================================
967.01/967.29	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
967.11/967.35	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
967.11/967.35	c #cpu_time = 0.063s
967.11/967.35	c #wall_clock_time = 0.064s
967.11/967.35	c #decision = 827
967.11/967.35	c #random_decision = 0
967.11/967.35	c #conflict = 0
967.11/967.35	c #restart = 0
967.11/967.35	c BCD2: found a new core of size 2: cost of the new core is >=1
967.11/967.35	c lower bound updated to 4
1184.01/1184.38	c BCD2: 4 <= obj <= 7021438
1184.01/1184.38	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1184.01/1184.38	c BCD2: #sat=1 #unsat=5 bias=5/6
1184.01/1184.38	c Solving starts ...
1184.01/1184.38	c ============================[ Search Statistics ]============================
1184.01/1184.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1184.01/1184.38	c       |         |          |          |    Limit     GC | Var      | Constra 
1184.01/1184.38	c =============================================================================
1184.01/1184.38	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1184.11/1184.45	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
1184.11/1184.45	c #cpu_time = 0.069s
1184.11/1184.45	c #wall_clock_time = 0.069s
1184.11/1184.45	c #decision = 916
1184.11/1184.45	c #random_decision = 0
1184.11/1184.45	c #conflict = 0
1184.11/1184.45	c #restart = 0
1184.11/1184.45	c BCD2: found a new core of size 1: cost of the new core is >=1
1184.11/1184.45	c lower bound updated to 5
1403.65/1404.01	c BCD2: 5 <= obj <= 7021438
1403.65/1404.01	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1403.65/1404.01	c BCD2: #sat=1 #unsat=6 bias=6/7
1403.65/1404.01	c Solving starts ...
1403.65/1404.01	c ============================[ Search Statistics ]============================
1403.65/1404.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1403.65/1404.01	c       |         |          |          |    Limit     GC | Var      | Constra 
1403.65/1404.01	c =============================================================================
1403.65/1404.01	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1403.65/1404.09	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1403.65/1404.09	c #cpu_time = 0.077s
1403.65/1404.09	c #wall_clock_time = 0.077s
1403.65/1404.09	c #decision = 1047
1403.65/1404.09	c #random_decision = 0
1403.65/1404.09	c #conflict = 0
1403.65/1404.09	c #restart = 0
1403.65/1404.09	c BCD2: found a new core of size 2: cost of the new core is >=1
1403.65/1404.09	c lower bound updated to 6
1642.71/1643.18	c BCD2: 6 <= obj <= 7021438
1642.71/1643.18	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1642.71/1643.18	c BCD2: #sat=1 #unsat=7 bias=7/8
1642.71/1643.18	c Solving starts ...
1642.71/1643.18	c ============================[ Search Statistics ]============================
1642.71/1643.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1642.71/1643.18	c       |         |          |          |    Limit     GC | Var      | Constra 
1642.71/1643.18	c =============================================================================
1642.71/1643.18	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1642.81/1643.27	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1642.81/1643.27	c #cpu_time = 0.083s
1642.81/1643.27	c #wall_clock_time = 0.084s
1642.81/1643.27	c #decision = 1201
1642.81/1643.27	c #random_decision = 0
1642.81/1643.27	c #conflict = 0
1642.81/1643.27	c #restart = 0
1642.81/1643.27	c BCD2: found a new core of size 2: cost of the new core is >=1
1642.81/1643.27	c lower bound updated to 7

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

pid=16435
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.21 2.20 2.18 2/180 16438
/proc/meminfo: memFree=30044480/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 2753 0 0 0 0 0 0 0 20 0 4 0 30594960 754380800 2602 33554432000 4194304 16246674 140735325683536 140735325682960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 184943 2611 441 2943 0 181837 0
[pid=16438/tid=16439] ppid=16435 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 772206592 2670 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 776400896 2686 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30594960 780595200 2702 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.21 2.20 2.18 2/180 16438
/proc/meminfo: memFree=30044480/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 28794 0 0 0 6 3 0 0 20 0 4 0 30594960 1333334016 28582 33554432000 4194304 16246674 140735325683536 140735325682712 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 325521 28597 800 2943 0 322415 0
[pid=16438/tid=16439] ppid=16435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1333334016 28608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1333334016 28620 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1333334016 28630 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200576 s]
/proc/loadavg: 2.21 2.20 2.18 2/180 16438
/proc/meminfo: memFree=30044480/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 48629 0 0 0 13 5 0 0 20 0 4 0 30594960 1344868352 48927 33554432000 4194304 16246674 140735325683536 140735325682712 7377351 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 328337 48927 800 2943 0 325231 0
[pid=16438/tid=16439] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 48927 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 48927 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 48927 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.21 2.20 2.18 2/180 16438
/proc/meminfo: memFree=30044480/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 63292 0 0 0 21 8 0 0 20 0 4 0 30594960 1344868352 63590 33554432000 4194304 16246674 140735325683536 140735325682712 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 328337 63590 800 2943 0 325231 0
[pid=16438/tid=16439] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 63590 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 63590 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 63590 33554432000 4194304 16246674 140735325683536 140321330547888 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.70041 s]
/proc/loadavg: 2.21 2.20 2.18 2/180 16438
/proc/meminfo: memFree=30044480/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 73135 0 0 0 60 9 0 0 20 0 4 0 30594960 1344868352 73433 33554432000 4194304 16246674 140735325683536 140735325682712 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 328337 73433 800 2943 0 325231 0
[pid=16438/tid=16439] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 73433 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 73433 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 73433 33554432000 4194304 16246674 140735325683536 140321330547888 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.50041 s]
/proc/loadavg: 2.21 2.20 2.18 3/184 16442
/proc/meminfo: memFree=29594372/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 192857 0 0 0 121 27 0 0 20 0 4 0 30594960 1344868352 193156 33554432000 4194304 16246674 140735325683536 140735325665408 7203965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 328337 193165 838 2943 0 325231 0
[pid=16438/tid=16439] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 193171 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 193177 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1344868352 193183 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.19 2.20 2.18 3/184 16442
/proc/meminfo: memFree=28956772/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 275277 0 0 0 269 40 0 0 20 0 4 0 30594960 1389957120 275575 33554432000 4194304 16246674 140735325683536 140735325665408 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 275582 889 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 275584 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 275591 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 275596 33554432000 4194304 16246674 140735325683536 140321330547888 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.30042 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 16442
/proc/meminfo: memFree=28923304/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=6.28 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280028 0 0 0 588 40 0 0 20 0 4 0 30594960 1389957120 280326 33554432000 4194304 16246674 140735325683536 140735325665408 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280326 895 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280326 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280326 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280326 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 16442
/proc/meminfo: memFree=28923840/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=12.68 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280037 0 0 0 1228 40 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140735325681344 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280335 904 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 16442
/proc/meminfo: memFree=28922488/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=25.48 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280037 0 0 0 2508 40 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140735325665408 12414049 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280335 904 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321330547888 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.15 2.18 2.18 3/183 16442
/proc/meminfo: memFree=28922336/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280037 0 0 0 5068 40 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140735325681344 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280335 904 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321330547888 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.10 2.16 2.17 3/183 16443
/proc/meminfo: memFree=28922516/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280037 0 0 0 10188 40 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140735325665408 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280335 904 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280335 33554432000 4194304 16246674 140735325683536 140321330547888 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/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/184 16534
/proc/meminfo: memFree=28881836/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1361.95 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 136152 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.17 4/183 16535
/proc/meminfo: memFree=28881876/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1421.95 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 142152 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325682632 12414079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.07 2.14 2.16 3/183 16537
/proc/meminfo: memFree=28881532/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1481.93 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 148150 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 13949841 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 16538
/proc/meminfo: memFree=28881560/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1541.93 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 154150 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325681408 12654452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.08 2.13 2.16 3/183 16539
/proc/meminfo: memFree=28881344/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1601.92 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 160149 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.17 2.14 2.16 3/183 16540
/proc/meminfo: memFree=28881496/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1661.91 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 166148 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 12429744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.22 2.16 2.17 3/183 16541
/proc/meminfo: memFree=28881404/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1721.9 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 172147 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.19 2.16 2.16 4/184 16546
/proc/meminfo: memFree=28880932/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1781.89 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 178146 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325681344 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.15 2.16 3/184 16546
/proc/meminfo: memFree=28881400/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1800.09 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 179966 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 12429245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 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 16438 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.15 2.15 2.16 3/184 16546
/proc/meminfo: memFree=28881400/32872528 swapFree=681964/737152
[pid=16438] ppid=16435 vsize=1357380 CPUtime=1800.09 cores=0,2,4,6
/proc/16438/stat : 16438 (toysat) R 16435 16438 13233 0 -1 4202496 280258 0 0 0 179966 43 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140735325665408 12429245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16438/statm: 339345 280608 920 2943 0 336239 0
[pid=16438/tid=16439] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16439/stat : 16439 (toysat) S 16435 16438 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321351511280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16438/tid=16440] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16440/stat : 16440 (toysat) S 16435 16438 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321341021424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16438/tid=16441] ppid=16435 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/16438/task/16441/stat : 16441 (toysat) S 16435 16438 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30594960 1389957120 280608 33554432000 4194304 16246674 140735325683536 140321330547888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1357380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.67
CPU system time (s): 0.433934
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.433934
maximum resident set size= 1122432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280258
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= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.242 second user time and 15.6856 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 23:30:57
IDJOB=4107490
IDBENCH=72219
IDSOLVER=2542
FILE ID=node112/4107490-1466285457
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-konq-plugins.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-4107490-1466285457/watcher-4107490-1466285457 -o /tmp/evaluation-result-4107490-1466285457/solver-4107490-1466285457 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107490-1466285457.opb

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

MD5SUM BENCH= 7d98875886b85500f0515139502ec951
RANDOM SEED=6141159

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30044744 kB
Buffers:           86680 kB
Cached:           178336 kB
SwapCached:         2028 kB
Active:          1191620 kB
Inactive:         162964 kB
Active(anon):    1089984 kB
Inactive(anon):     2096 kB
Active(file):     101636 kB
Inactive(file):   160868 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             19848 kB
Writeback:             0 kB
AnonPages:       1864908 kB
Mapped:            10916 kB
Shmem:                 0 kB
Slab:             603084 kB
SReclaimable:      46892 kB
SUnreclaim:       556192 kB
KernelStack:        1528 kB
PageTables:         7656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1971876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 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= 71676 MiB
End job on node112 at 2016-06-19 00:00:58