Trace number 4119075

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.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.lin.opb
MD5SUM8827380a48b8a65ea6b70a5828498bea
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31856
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25230
Total number of constraints50340
Number of constraints which are clauses25170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints25170
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 25230
Biggest coefficient in the objective function 7910
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2400020
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 7910
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2400020
Number of bits of the biggest sum of numbers22
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-30T01:02: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-4119075-1467241332.opb"]
0.00/0.01	c use --random-gen="3840024002 1261916218 1137344662 605612438 1992613610 1233403699 1546157079 3023787649 744783886 1737735482 41676397 1225443948 426956035 2012244744 3694846285 2146789011 1517041357 3991887659 1168620656 947182818 3143351053 1387826071 2649877479 1975360163 2556363512 2100728244 2591340426 418799258 3766865666 984291300 3702523615 2038909922 2253638247 2855360996 2152737025 3136418376 1897927608 1606734832 1952066727 2609915237 2924315789 2977968095 1010487237 3378633445 3804335017 1434218508 602457722 2940003725 2012844683 330036323 2930479259 2744302598 4095186674 1209719220 1288050736 3105476970 3326584139 437524931 3015302837 2484916272 463755602 2730481928 2081237180 3769313014 2773492541 238958944 1878166661 738489332 3787511924 3808275975 3641515714 1834349591 2229486708 293825831 1923278012 2659224379 1230145339 1581693945 4077973877 2455454993 3210459909 2551936186 905115331 1335884254 1908032691 3525118448 2693700786 4280929190 1773088400 2815558730 3094037221 2415057847 3491685251 1989060822 3618313325 489353813 1847766645 471780380 4229348518 4015385582 4194394658 1402208605 4165490726 1013685501 3762028059 2155632854 2354643711 3296069854 4186156372 2825815487 402065505 3364379155 497581011 2176310305 2598206895 858871309 3388747885 1039181167 2385899170 2130622096 4172066012 280377303 1156249941 2083531249 4085177360 801327849 1925765284 166543698 2039746383 2917634121 2108389034 3108841910 2003984562 2676704932 2551054114 3410987030 2135837011 1381821184 1963355100 2875534190 2163715608 1522840878 79428367 2174014678 2838279320 1657266146 2180742699 1026338544 2404897590 2483458830 4171993296 2091077240 1303923005 2289841902 1095151191 2208797844 1532526046 1813068645 3879378498 1868531104 3635543717 164275720 4057245810 3193613093 1672634133 4280317529 2510173876 2649210044 48469346 3133641230 2945128290 2984089320 3422880738 175787062 3509792196 851394597 2740612991 2626551033 125783020 4253657559 1279707250 3436240206 202029705 1467393782 3665885893 4015187022 3491583899 508924662 1382033007 827267987 1015666518 847800673 3011133270 3983656052 2938460428 2368707619 1063019442 580145257 3664686618 3291246756 4091573029 3333892952 1870695901 431184006 3177732406 3460282890 3918265588 4233814726 4165270881 3764805168 1742140049 3293722437 3378154856 922150273 1489994605 286203471 1900708877 2021356155 139083480 864355730 1022812669 3132760688 4165888736 4196045574 85628738 2424494493 3094464175 2185992947 3594463849 1577480592 74630699 106335133 3935771246 2311404406 3324379320 2925970058 1010726611 2132375359 687806469 197783465 3447605770 3908513586 811837289 2313601740 1122622181 56730842 881090692 369038286 1804156992 2752881775 167940603 2569819346 1864679940 2486147249 2242041089 393490297 255 362436" option to reproduce the execution
0.49/0.51	c #vars 25230
0.49/0.51	c #constraints 50340
1.39/1.44	c BCD2: Hardening is enabled.
1.39/1.44	c BCD2: BiasedSearch is enabled.
1.39/1.44	c Solving starts ...
1.39/1.44	c ============================[ Search Statistics ]============================
1.39/1.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.44	c =============================================================================
1.39/1.45	c  0.0s |       0 |        0 |        0 |    25190      0 |        0 |        0
1.59/1.65	c  0.2s |       0 |       59 |        0 |    25190      0 |        0 |        0
1.59/1.65	c #cpu_time = 0.176s
1.59/1.65	c #wall_clock_time = 0.176s
1.59/1.65	c #decision = 59
1.59/1.65	c #random_decision = 0
1.59/1.65	c #conflict = 0
1.59/1.65	c #restart = 0
1.59/1.65	o 0
274.25/274.31	c BCD2: updating upper bound: 2400020 -> 1200009
543.41/543.55	c BCD2: 0 <= obj <= 1200009
543.41/543.55	c BCD2: #cores=0, #unrelaxed=25230, #relaxed=0, #hardened=0
543.41/543.55	c BCD2: #sat=1 #unsat=1 bias=1/2
543.41/543.57	c Solving starts ...
543.41/543.57	c ============================[ Search Statistics ]============================
543.41/543.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
543.41/543.57	c       |         |          |          |    Limit     GC | Var      | Constra 
543.41/543.57	c =============================================================================
543.41/543.57	c  0.0s |       0 |        0 |        0 |    25190      0 |        0 |        0
543.60/543.77	c  0.2s |       0 |     9111 |        0 |    25190      0 |        0 |        0
543.60/543.77	c #cpu_time = 0.183s
543.60/543.77	c #wall_clock_time = 0.183s
543.60/543.77	c #decision = 9111
543.60/543.77	c #random_decision = 0
543.60/543.77	c #conflict = 0
543.60/543.77	c #restart = 0
543.60/543.77	c BCD2: found a new core of size 3: cost of the new core is >=54
543.60/543.77	c lower bound updated to -1199956
811.25/811.47	c BCD2: 54 <= obj <= 1200009
811.25/811.47	c BCD2: #cores=1, #unrelaxed=25227, #relaxed=3, #hardened=0
811.25/811.47	c BCD2: #sat=1 #unsat=2 bias=2/3
811.25/811.48	c Solving starts ...
811.25/811.48	c ============================[ Search Statistics ]============================
811.25/811.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
811.25/811.48	c       |         |          |          |    Limit     GC | Var      | Constra 
811.25/811.48	c =============================================================================
811.25/811.48	c  0.0s |       0 |        0 |        0 |    25190      0 |        0 |        1
811.35/811.58	c  0.1s |       0 |     3006 |        0 |    25190      0 |        0 |        1
811.35/811.58	c #cpu_time = 0.082s
811.35/811.58	c #wall_clock_time = 0.082s
811.35/811.58	c #decision = 3006
811.35/811.58	c #random_decision = 0
811.35/811.58	c #conflict = 0
811.35/811.58	c #restart = 0
811.35/811.58	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=108
811.35/811.58	c BCD2: refineLB: 55 -> 108
811.35/811.58	c lower bound updated to -1199902
1085.71/1085.99	c BCD2: 108 <= obj <= 1200009
1085.71/1085.99	c BCD2: #cores=1, #unrelaxed=25225, #relaxed=5, #hardened=0
1085.71/1085.99	c BCD2: #sat=1 #unsat=3 bias=3/4
1085.71/1085.99	c Solving starts ...
1085.71/1085.99	c ============================[ Search Statistics ]============================
1085.71/1085.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1085.71/1085.99	c       |         |          |          |    Limit     GC | Var      | Constra 
1085.71/1085.99	c =============================================================================
1085.71/1085.99	c  0.0s |       0 |        0 |        0 |    25190      0 |        1 |        1
1085.81/1086.07	c  0.1s |       0 |        1 |        1 |    25190      0 |        2 |        3
1085.81/1086.07	c #cpu_time = 0.078s
1085.81/1086.07	c #wall_clock_time = 0.078s
1085.81/1086.07	c #decision = 1
1085.81/1086.07	c #random_decision = 0
1085.81/1086.07	c #conflict = 1
1085.81/1086.07	c #restart = 0
1085.81/1086.07	c BCD2: updating lower bound of a core
1085.81/1086.07	c BCD2: refineLB: 149 -> 162
1085.81/1086.07	c lower bound updated to -1199848
1368.28/1368.52	c BCD2: 162 <= obj <= 1200009
1368.28/1368.52	c BCD2: #cores=1, #unrelaxed=25225, #relaxed=5, #hardened=0
1368.28/1368.52	c BCD2: #sat=1 #unsat=4 bias=4/5
1368.28/1368.52	c Solving starts ...
1368.28/1368.52	c ============================[ Search Statistics ]============================
1368.28/1368.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1368.28/1368.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1368.28/1368.52	c =============================================================================
1368.28/1368.52	c  0.0s |       0 |        0 |        0 |    25190      0 |        2 |        3
1368.37/1368.63	c  0.1s |       0 |     1248 |        0 |    25190      0 |        2 |        3
1368.37/1368.63	c #cpu_time = 0.085s
1368.37/1368.63	c #wall_clock_time = 0.085s
1368.37/1368.63	c #decision = 1248
1368.37/1368.63	c #random_decision = 0
1368.37/1368.63	c #conflict = 0
1368.37/1368.63	c #restart = 0
1368.37/1368.63	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=203
1368.37/1368.63	c BCD2: refineLB: 163 -> 203
1368.37/1368.63	c lower bound updated to -1199807
1655.83/1656.11	c BCD2: 203 <= obj <= 1200009
1655.83/1656.11	c BCD2: #cores=1, #unrelaxed=25224, #relaxed=6, #hardened=0
1655.83/1656.11	c BCD2: #sat=1 #unsat=5 bias=5/6
1655.83/1656.11	c Solving starts ...
1655.83/1656.11	c ============================[ Search Statistics ]============================
1655.83/1656.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1655.83/1656.11	c       |         |          |          |    Limit     GC | Var      | Constra 
1655.83/1656.11	c =============================================================================
1655.83/1656.11	c  0.0s |       0 |        0 |        0 |    25190      0 |        3 |        3
1655.93/1656.20	c  0.1s |       0 |        1 |        1 |    25190      0 |        4 |        5
1655.93/1656.20	c #cpu_time = 0.088s
1655.93/1656.20	c #wall_clock_time = 0.088s
1655.93/1656.20	c #decision = 1
1655.93/1656.20	c #random_decision = 0
1655.93/1656.20	c #conflict = 1
1655.93/1656.20	c #restart = 0
1655.93/1656.20	c BCD2: updating lower bound of a core
1655.93/1656.20	c BCD2: refineLB: 214 -> 215
1655.93/1656.20	c lower bound updated to -1199795

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

pid=5290
running on 4 cores: 1,3,5,7

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.08 2.12 2.09 3/179 5293
/proc/meminfo: memFree=29755372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=622012 CPUtime=0 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 2303 0 0 0 0 0 0 0 20 0 4 0 3153130 636940288 2664 33554432000 4194304 16246674 140736227009792 140736227009216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 156015 2671 441 2943 0 152909 0
[pid=5293/tid=5294] ppid=5290 vsize=639420 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 654766080 2731 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=643516 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 658960384 2747 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=647612 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3153131 663154688 2764 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.1002 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5293
/proc/meminfo: memFree=29755372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 28409 0 0 0 6 3 0 0 20 0 4 0 3153130 1333334016 28709 33554432000 4194304 16246674 140736227009792 140736227009104 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 325521 28724 799 2943 0 322415 0
[pid=5293/tid=5294] ppid=5290 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1333334016 28735 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1333334016 28746 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1333334016 28757 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200526 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5293
/proc/meminfo: memFree=29755372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 53874 0 0 0 12 7 0 0 20 0 4 0 3153130 1339625472 54684 33554432000 4194304 16246674 140736227009792 140736227009104 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 327057 54687 800 2943 0 323951 0
[pid=5293/tid=5294] ppid=5290 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1339625472 54689 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1339625472 54692 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1339625472 54693 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300488 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5293
/proc/meminfo: memFree=29755372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 66682 0 0 0 20 9 0 0 20 0 4 0 3153130 1345916928 67492 33554432000 4194304 16246674 140736227009792 140736227009104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 328593 67492 800 2943 0 325487 0
[pid=5293/tid=5294] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 67492 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 67492 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 67492 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700419 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5293
/proc/meminfo: memFree=29755372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 71999 0 0 0 59 10 0 0 20 0 4 0 3153130 1345916928 72809 33554432000 4194304 16246674 140736227009792 140736226991680 13790544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 328593 72809 835 2943 0 325487 0
[pid=5293/tid=5294] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 72809 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 72809 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 72809 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 5297
/proc/meminfo: memFree=29185192/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 211964 0 0 0 118 31 0 0 20 0 4 0 3153130 1345916928 212775 33554432000 4194304 16246674 140736227009792 140736226991680 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 328593 212779 865 2943 0 325487 0
[pid=5293/tid=5294] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 212782 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 212785 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1345916928 212788 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 5346
/proc/meminfo: memFree=29635364/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=3.09 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 269 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 12429744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30039 s]
/proc/loadavg: 2.15 2.13 2.09 4/183 5346
/proc/meminfo: memFree=28658280/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=6.29 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 589 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 12429253 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 5346
/proc/meminfo: memFree=28658572/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=12.69 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 1229 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 12429815 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1352260

[startup+25.5005 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 5346
/proc/meminfo: memFree=28660036/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=25.49 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 2509 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 13007941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1352260

[startup+51.1005 s]
/proc/loadavg: 2.15 2.13 2.09 4/183 5346
/proc/meminfo: memFree=28660140/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=51.09 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 5069 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 12654964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1352260

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 5347
/proc/meminfo: memFree=28660304/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=102.28 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278733 0 0 0 10188 40 0 0 20 0 4 0 3153130 1384714240 279543 33554432000 4194304 16246674 140736227009792 140736226991680 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279543 881 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279543 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1352260


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

/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 5379
/proc/meminfo: memFree=28658420/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1362.07 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 136165 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.03 3/183 5381
/proc/meminfo: memFree=28659264/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1422.07 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 142165 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12654434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.03 3/183 5382
/proc/meminfo: memFree=28659408/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1482.05 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 148163 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12429756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.16 2.07 2.04 3/183 5383
/proc/meminfo: memFree=28659280/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1542.05 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 154163 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12654829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.03 4/183 5384
/proc/meminfo: memFree=28659148/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1602.03 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 160161 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/183 5385
/proc/meminfo: memFree=28659028/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1662.02 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 166160 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.03 3/184 5390
/proc/meminfo: memFree=28658980/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1722.02 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278794 0 0 0 172160 42 0 0 20 0 4 0 3153130 1384714240 279580 33554432000 4194304 16246674 140736227009792 140736226991680 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279580 917 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279580 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.03 3/183 5391
/proc/meminfo: memFree=28657372/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1782.01 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278796 0 0 0 178159 42 0 0 20 0 4 0 3153130 1384714240 279837 33554432000 4194304 16246674 140736227009792 140736226991680 12653098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279837 918 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/183 5391
/proc/meminfo: memFree=28657256/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1800 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278796 0 0 0 179958 42 0 0 20 0 4 0 3153130 1384714240 279837 33554432000 4194304 16246674 140736227009792 140736226991680 12655163 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279837 918 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1352260

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

[startup+1800.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/183 5391
/proc/meminfo: memFree=28657256/32872528 swapFree=478180/527236
[pid=5293] ppid=5290 vsize=1352260 CPUtime=1800 cores=1,3,5,7
/proc/5293/stat : 5293 (toysat) R 5290 5293 1982 0 -1 4202496 278796 0 0 0 179958 42 0 0 20 0 4 0 3153130 1384714240 279837 33554432000 4194304 16246674 140736227009792 140736226991680 12655163 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5293/statm: 338065 279837 918 2943 0 334959 0
[pid=5293/tid=5294] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5294/stat : 5294 (toysat) S 5290 5293 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464836553968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5295] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (toysat) S 5290 5293 1982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464757910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5290 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (toysat) S 5290 5293 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153131 1384714240 279837 33554432000 4194304 16246674 140736227009792 140464747437232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1352260

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.426935
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.426935
maximum resident set size= 1119348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278796
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= 40
involuntary context switches= 1985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5733 second user time and 6.88595 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 01:02:12
IDJOB=4119075
IDBENCH=111647
IDSOLVER=2542
FILE ID=node141/4119075-1467241332
RUNJOBID= node141-1467234127-4633
PBS_JOBID= 19997592
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119075-1467241332/watcher-4119075-1467241332 -o /tmp/evaluation-result-4119075-1467241332/solver-4119075-1467241332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4633 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119075-1467241332.opb

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

MD5SUM BENCH= 8827380a48b8a65ea6b70a5828498bea
RANDOM SEED=886105016

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.448
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.448
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.448
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	: 5339.30
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.448
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.53
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.448
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29755924 kB
Buffers:           86400 kB
Cached:           658512 kB
SwapCached:            0 kB
Active:          1264512 kB
Inactive:         613704 kB
Active(anon):    1135728 kB
Inactive(anon):        4 kB
Active(file):     128784 kB
Inactive(file):   613700 kB
Unevictable:      527236 kB
Mlocked:          478180 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18680 kB
Writeback:             0 kB
AnonPages:       1762436 kB
Mapped:            17480 kB
Shmem:               204 kB
Slab:             578252 kB
SReclaimable:      22488 kB
SUnreclaim:       555764 kB
KernelStack:        1520 kB
PageTables:         7804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1265664 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= 71712 MiB
End job on node141 at 2016-06-30 01:32:12