Trace number 4119080

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.lin.opb
MD5SUMfdc27e579a17b0ef2829b54d376c7a4a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-21016
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10776
Total number of constraints21462
Number of constraints which are clauses10731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10731
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 10776
Biggest coefficient in the objective function 6842
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 1529132
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 6842
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 1529132
Number of bits of the biggest sum of numbers21
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:14+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-4119080-1467241334.opb"]
0.00/0.01	c use --random-gen="3567588275 662272971 1974732818 57717306 1221792694 1421386503 3956639348 1341173009 854010522 57968690 977010193 3125612386 876775971 87695112 2894963706 2772292446 921538983 931812152 2835820611 2905830718 2409202494 1739221742 2749315860 1476463539 3171674968 135262812 2362873943 2620749232 1817721950 2448655250 1520550944 271101700 1918516901 1449600801 3350900921 1496848645 3281096895 3032724551 271226264 565208995 4288056560 768875433 1513779607 1034443279 442555452 1102864989 526140528 2963010013 2266061468 2252993252 179515072 2020360035 2957583534 1055839756 2944971595 2599987577 2286798128 4095636760 4160789656 664402557 3044385342 3808495291 2648324932 193695283 661441589 825527617 3893731236 2650263355 1511489972 395643962 3988028961 94132712 48634579 306504960 1744026950 2524844111 3771721545 4059327838 868416345 3247048765 556878712 1212124180 602797647 2002540848 2237033703 3741265799 2330839478 3675669638 1379361739 3978185332 1009301834 554534811 903661273 4151174092 3131304453 390368559 1357962019 2714401392 1072654389 451922537 1690482522 3602624152 3560524832 2880181239 4041238560 3361416507 3953557349 26238541 3756125815 1698736541 463149521 3294613930 2743056249 2172667351 3904261976 3049834163 3776721722 4201281367 3212673838 1880422841 1522977446 1433388779 3783517535 29606554 3275411748 2483010093 1935897912 693319630 2440532815 3278651184 2913288636 4163085796 4063889635 2360213936 1724757135 3733073357 2256787952 2249486248 4109940554 487847940 2663289467 3694077318 294464473 464066543 2523118761 3976560095 2521093749 3679964911 248128652 3680353587 461329290 2355036855 227195205 2610609399 3046883715 511081513 2408638095 1501843111 1911077793 714605531 2013041694 1604980378 1735776626 3531996189 1070445371 1014121464 1457287262 3370437223 543277541 2611047313 1199289829 1650830689 845375744 3668078899 860702195 447808022 1455719094 2285314642 1573723680 2778758596 3580111299 607704327 2823442802 4116469899 3527478807 1386997783 628365783 3580117748 918466609 1776329430 1538501795 1641731304 3169628318 233827607 372608500 783891902 1019581535 4210276115 3273690510 270094455 4205531167 358809311 3788294312 3524697086 82286107 1019480933 194401279 3095910136 1642806690 3987036466 3673125522 2931348762 1666437461 1613750628 2625625815 3811860343 2345204187 4271110262 1839034921 2578314368 3947176541 1430992 722340226 1929955861 852313486 2037160614 2295169794 523534181 2542707386 1454177971 582215107 2782545151 2579889847 2599536194 2050929496 1942226961 1934182169 1072685146 414404909 1014599801 841718245 944854178 333396508 4008157649 3303939155 1754160497 2740069440 445466964 2021660064 1420666075 1906136973 2768552296 2359217233 3522828265 1497688974 3025403979 255 362436" option to reproduce the execution
0.18/0.24	c #vars 10776
0.18/0.24	c #constraints 21462
0.58/0.62	c BCD2: Hardening is enabled.
0.58/0.62	c BCD2: BiasedSearch is enabled.
0.58/0.62	c Solving starts ...
0.58/0.62	c ============================[ Search Statistics ]============================
0.58/0.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.58/0.62	c       |         |          |          |    Limit     GC | Var      | Constra 
0.58/0.62	c =============================================================================
0.68/0.72	c  0.0s |       0 |        0 |        0 |    10746      0 |        0 |        0
0.68/0.77	c  0.0s |       0 |       44 |        0 |    10746      0 |        0 |        0
0.68/0.77	c #cpu_time = 0.041s
0.68/0.77	c #wall_clock_time = 0.041s
0.68/0.77	c #decision = 44
0.68/0.77	c #random_decision = 0
0.68/0.77	c #conflict = 0
0.68/0.77	c #restart = 0
0.68/0.77	o 0
189.75/189.82	c BCD2: updating upper bound: 1529132 -> 764565
379.43/379.58	c BCD2: 0 <= obj <= 764565
379.43/379.58	c BCD2: #cores=0, #unrelaxed=10776, #relaxed=0, #hardened=0
379.43/379.58	c BCD2: #sat=1 #unsat=1 bias=1/2
379.43/379.58	c Solving starts ...
379.43/379.58	c ============================[ Search Statistics ]============================
379.43/379.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
379.43/379.58	c       |         |          |          |    Limit     GC | Var      | Constra 
379.43/379.58	c =============================================================================
379.43/379.59	c  0.0s |       0 |        0 |        0 |    10746      0 |        0 |        0
379.53/379.63	c  0.0s |       0 |     3983 |        0 |    10746      0 |        0 |        0
379.53/379.63	c #cpu_time = 0.034s
379.53/379.63	c #wall_clock_time = 0.034s
379.53/379.63	c #decision = 3983
379.53/379.63	c #random_decision = 0
379.53/379.63	c #conflict = 0
379.53/379.63	c #restart = 0
379.53/379.63	c BCD2: found a new core of size 3: cost of the new core is >=80
379.53/379.63	c lower bound updated to -764486
570.30/570.45	c BCD2: 80 <= obj <= 764565
570.30/570.45	c BCD2: #cores=1, #unrelaxed=10773, #relaxed=3, #hardened=0
570.30/570.45	c BCD2: #sat=1 #unsat=2 bias=2/3
570.30/570.45	c Solving starts ...
570.30/570.45	c ============================[ Search Statistics ]============================
570.30/570.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
570.30/570.45	c       |         |          |          |    Limit     GC | Var      | Constra 
570.30/570.45	c =============================================================================
570.30/570.45	c  0.0s |       0 |        0 |        0 |    10746      0 |        0 |        1
570.40/570.50	c  0.1s |       0 |     1331 |        0 |    10746      0 |        0 |        1
570.40/570.50	c #cpu_time = 0.042s
570.40/570.50	c #wall_clock_time = 0.042s
570.40/570.50	c #decision = 1331
570.40/570.50	c #random_decision = 0
570.40/570.50	c #conflict = 0
570.40/570.50	c #restart = 0
570.40/570.50	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=160
570.40/570.50	c BCD2: refineLB: 81 -> 160
570.40/570.50	c lower bound updated to -764406
759.97/760.12	c BCD2: 160 <= obj <= 764565
759.97/760.12	c BCD2: #cores=1, #unrelaxed=10771, #relaxed=5, #hardened=0
759.97/760.12	c BCD2: #sat=1 #unsat=3 bias=3/4
759.97/760.12	c Solving starts ...
759.97/760.12	c ============================[ Search Statistics ]============================
759.97/760.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
759.97/760.12	c       |         |          |          |    Limit     GC | Var      | Constra 
759.97/760.12	c =============================================================================
759.97/760.12	c  0.0s |       0 |        0 |        0 |    10746      0 |        1 |        1
759.97/760.15	c  0.0s |       0 |        1 |        1 |    10746      0 |        2 |        3
759.97/760.15	c #cpu_time = 0.031s
759.97/760.15	c #wall_clock_time = 0.031s
759.97/760.15	c #decision = 1
759.97/760.15	c #random_decision = 0
759.97/760.15	c #conflict = 1
759.97/760.15	c #restart = 0
759.97/760.15	c BCD2: updating lower bound of a core
759.97/760.15	c BCD2: refineLB: 221 -> 231
759.97/760.15	c lower bound updated to -764335
958.54/958.77	c BCD2: 231 <= obj <= 764565
958.54/958.77	c BCD2: #cores=1, #unrelaxed=10771, #relaxed=5, #hardened=0
958.54/958.77	c BCD2: #sat=1 #unsat=4 bias=4/5
958.54/958.77	c Solving starts ...
958.54/958.77	c ============================[ Search Statistics ]============================
958.54/958.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
958.54/958.77	c       |         |          |          |    Limit     GC | Var      | Constra 
958.54/958.77	c =============================================================================
958.54/958.77	c  0.0s |       0 |        0 |        0 |    10746      0 |        2 |        3
958.64/958.81	c  0.0s |       0 |        1 |        1 |    10746      0 |        3 |        4
958.64/958.81	c #cpu_time = 0.032s
958.64/958.81	c #wall_clock_time = 0.032s
958.64/958.81	c #decision = 1
958.64/958.81	c #random_decision = 0
958.64/958.81	c #conflict = 1
958.64/958.81	c #restart = 0
958.64/958.81	c BCD2: updating lower bound of a core
958.64/958.81	c BCD2: refineLB: 239 -> 240
958.64/958.81	c lower bound updated to -764326
1175.60/1175.82	c BCD2: 240 <= obj <= 764565
1175.60/1175.82	c BCD2: #cores=1, #unrelaxed=10771, #relaxed=5, #hardened=0
1175.60/1175.82	c BCD2: #sat=1 #unsat=5 bias=5/6
1175.60/1175.82	c Solving starts ...
1175.60/1175.82	c ============================[ Search Statistics ]============================
1175.60/1175.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1175.60/1175.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1175.60/1175.82	c =============================================================================
1175.60/1175.82	c  0.0s |       0 |        0 |        0 |    10746      0 |        3 |        4
1175.60/1175.87	c  0.0s |       0 |      694 |        0 |    10746      0 |        3 |        4
1175.60/1175.87	c #cpu_time = 0.037s
1175.60/1175.87	c #wall_clock_time = 0.037s
1175.60/1175.87	c #decision = 694
1175.60/1175.87	c #random_decision = 0
1175.60/1175.87	c #conflict = 0
1175.60/1175.87	c #restart = 0
1175.60/1175.87	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=309
1175.60/1175.87	c BCD2: refineLB: 241 -> 309
1175.60/1175.87	c lower bound updated to -764257
1415.45/1415.71	c BCD2: 309 <= obj <= 764565
1415.45/1415.71	c BCD2: #cores=1, #unrelaxed=10770, #relaxed=6, #hardened=0
1415.45/1415.71	c BCD2: #sat=1 #unsat=6 bias=6/7
1415.45/1415.72	c Solving starts ...
1415.45/1415.72	c ============================[ Search Statistics ]============================
1415.45/1415.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1415.45/1415.72	c       |         |          |          |    Limit     GC | Var      | Constra 
1415.45/1415.72	c =============================================================================
1415.45/1415.72	c  0.0s |       0 |        0 |        0 |    10746      0 |        4 |        4
1415.45/1415.75	c  0.0s |       0 |        1 |        1 |    10746      0 |        5 |        6
1415.45/1415.75	c #cpu_time = 0.038s
1415.45/1415.75	c #wall_clock_time = 0.038s
1415.45/1415.75	c #decision = 1
1415.45/1415.75	c #random_decision = 0
1415.45/1415.75	c #conflict = 1
1415.45/1415.75	c #restart = 0
1415.45/1415.75	c BCD2: updating lower bound of a core
1415.45/1415.75	c BCD2: refineLB: 317 -> 318
1415.45/1415.75	c lower bound updated to -764248
1664.71/1665.03	c BCD2: 318 <= obj <= 764565
1664.71/1665.03	c BCD2: #cores=1, #unrelaxed=10770, #relaxed=6, #hardened=0
1664.71/1665.03	c BCD2: #sat=1 #unsat=7 bias=7/8
1664.71/1665.03	c Solving starts ...
1664.71/1665.03	c ============================[ Search Statistics ]============================
1664.71/1665.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1664.71/1665.03	c       |         |          |          |    Limit     GC | Var      | Constra 
1664.71/1665.03	c =============================================================================
1664.71/1665.03	c  0.0s |       0 |        0 |        0 |    10746      0 |        5 |        6
1664.71/1665.09	c  0.1s |       0 |     1219 |        0 |    10746      0 |        5 |        6
1664.71/1665.09	c #cpu_time = 0.044s
1664.71/1665.09	c #wall_clock_time = 0.044s
1664.71/1665.09	c #decision = 1219
1664.71/1665.09	c #random_decision = 0
1664.71/1665.09	c #conflict = 0
1664.71/1665.09	c #restart = 0
1664.71/1665.09	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=322
1664.71/1665.09	c BCD2: refineLB: 319 -> 322
1664.71/1665.09	c lower bound updated to -764244

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

pid=5339
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.08 2.12 2.09 3/179 5342
/proc/meminfo: memFree=29926940/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=706116 CPUtime=0 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 2630 0 0 0 0 0 0 0 20 0 4 0 3153310 723062784 2991 33554432000 4194304 16246674 140734410817744 140734410817168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 177041 3001 442 2943 0 173935 0
[pid=5342/tid=5343] ppid=5339 vsize=723524 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 740888576 3060 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=728644 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 746131456 3078 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=732740 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3153311 750325760 3096 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5342
/proc/meminfo: memFree=29926940/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 26380 0 0 0 5 3 0 0 20 0 4 0 3153310 1332285440 26679 33554432000 4194304 16246674 140734410817744 140734410817056 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 325265 26695 800 2943 0 322159 0
[pid=5342/tid=5343] ppid=5339 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1332285440 26706 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1332285440 26717 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1332285440 26728 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200515 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5342
/proc/meminfo: memFree=29926940/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1307204 CPUtime=0.18 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 52860 0 0 0 11 7 0 0 20 0 4 0 3153310 1338576896 53669 33554432000 4194304 16246674 140734410817744 140734410817056 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 326801 53673 800 2943 0 323695 0
[pid=5342/tid=5343] ppid=5339 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1338576896 53675 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1338576896 53677 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1338576896 53679 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1307204

[startup+0.300436 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5342
/proc/meminfo: memFree=29926940/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 54819 0 0 0 21 8 0 0 20 0 4 0 3153310 1345916928 55628 33554432000 4194304 16246674 140734410817744 140734410817056 6972737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 328593 55628 835 2943 0 325487 0
[pid=5342/tid=5343] ppid=5339 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1345916928 55628 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1345916928 55628 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1345916928 55628 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1314372

[startup+0.700385 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 5342
/proc/meminfo: memFree=29926940/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1325636 CPUtime=0.68 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 113167 0 0 0 51 17 0 0 20 0 4 0 3153310 1357451264 113976 33554432000 4194304 16246674 140734410817744 140734410799616 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 331409 113979 852 2943 0 328303 0
[pid=5342/tid=5343] ppid=5339 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1357451264 113981 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1357451264 113983 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1357451264 113984 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1325636

[startup+1.5004 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 5346
/proc/meminfo: memFree=29154352/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1.48 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 109 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410817056 12653117 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1331780

[startup+3.10038 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 5346
/proc/meminfo: memFree=28657980/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=3.08 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 269 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410799616 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1331780

[startup+6.30041 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 5346
/proc/meminfo: memFree=28658776/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=6.28 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 589 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410799616 12653033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1331780

[startup+12.7004 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 5346
/proc/meminfo: memFree=28659208/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=12.68 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 1229 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410799616 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1331780

[startup+25.5004 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 5346
/proc/meminfo: memFree=28660040/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=25.49 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 2510 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410799616 6955584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331780

[startup+51.1004 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 5346
/proc/meminfo: memFree=28660140/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=51.08 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273612 0 0 0 5069 39 0 0 20 0 4 0 3153310 1363742720 274421 33554432000 4194304 16246674 140734410817744 140734410799616 12371332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274421 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274421 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1331780

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 5347
/proc/meminfo: memFree=28660304/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=102.27 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273613 0 0 0 10188 39 0 0 20 0 4 0 3153310 1363742720 274422 33554432000 4194304 16246674 140734410817744 140734410799616 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274422 878 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274422 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274422 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274422 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1331780


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

/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/183 5378
/proc/meminfo: memFree=28658452/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1302.08 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273670 0 0 0 130166 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.03 4/183 5379
/proc/meminfo: memFree=28658420/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1362.06 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273690 0 0 0 136164 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 4225334 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.03 3/183 5381
/proc/meminfo: memFree=28659264/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1422.05 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 142163 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12654373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.03 3/183 5382
/proc/meminfo: memFree=28659284/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1482.04 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 148162 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12429013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.16 2.07 2.04 3/183 5383
/proc/meminfo: memFree=28659280/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1542.03 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 154161 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12654148 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.03 3/183 5384
/proc/meminfo: memFree=28659148/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1602.02 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 160160 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 6955371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/183 5385
/proc/meminfo: memFree=28659028/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1662.02 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 166160 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12413997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.03 3/184 5390
/proc/meminfo: memFree=28658980/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1722 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 172158 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1331780

[startup+1782.31 s]
/proc/loadavg: 2.08 2.06 2.03 3/183 5391
/proc/meminfo: memFree=28657248/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1782 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 178158 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 12655167 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.98 2.04 2.02 3/183 5440
/proc/meminfo: memFree=29340968/32872528 swapFree=478180/527236
[pid=5342] ppid=5339 vsize=1331780 CPUtime=1800.09 cores=0,2,4,6
/proc/5342/stat : 5342 (toysat) R 5339 5342 1982 0 -1 4202496 273702 0 0 0 179967 42 0 0 20 0 4 0 3153310 1363742720 274455 33554432000 4194304 16246674 140734410817744 140734410799616 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5342/statm: 332945 274455 911 2943 0 329839 0
[pid=5342/tid=5343] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5343/stat : 5343 (toysat) S 5339 5342 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638674726128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5342/tid=5344] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5344/stat : 5344 (toysat) S 5339 5342 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638664236272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5342/tid=5345] ppid=5339 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/5342/task/5345/stat : 5345 (toysat) S 5339 5342 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3153311 1363742720 274455 33554432000 4194304 16246674 140734410817744 140638653762736 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) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.68
CPU system time (s): 0.423935
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.423935
maximum resident set size= 1097820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273702
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= 70
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49432 second user time and 7.02793 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 01:02:14
IDJOB=4119080
IDBENCH=111648
IDSOLVER=2542
FILE ID=node141/4119080-1467241334
RUNJOBID= node141-1467234127-4632
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_bern45-23.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119080-1467241334/watcher-4119080-1467241334 -o /tmp/evaluation-result-4119080-1467241334/solver-4119080-1467241334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4632 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119080-1467241334.opb

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

MD5SUM BENCH= fdc27e579a17b0ef2829b54d376c7a4a
RANDOM SEED=929713741

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:        29932048 kB
Buffers:           86456 kB
Cached:           659316 kB
SwapCached:            0 kB
Active:          1086864 kB
Inactive:         613772 kB
Active(anon):     957556 kB
Inactive(anon):        4 kB
Active(file):     129308 kB
Inactive(file):   613768 kB
Unevictable:      527236 kB
Mlocked:          478180 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             35840 kB
Writeback:             0 kB
AnonPages:       1482080 kB
Mapped:            17344 kB
Shmem:               204 kB
Slab:             579408 kB
SReclaimable:      23160 kB
SUnreclaim:       556248 kB
KernelStack:        1472 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1780176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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= 71716 MiB
End job on node141 at 2016-06-30 01:32:14