Trace number 4119030

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.lin.opb
MD5SUM8e3c34c6f4c9899764d5b70434724a89
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-30412
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14412
Total number of constraints28724
Number of constraints which are clauses14362
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14362
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 14412
Biggest coefficient in the objective function 8912
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 2257216
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 8912
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 2257216
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-30T00:10:01+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-4119030-1467238201.opb"]
0.00/0.01	c use --random-gen="2089730612 3664348940 424875064 1257775504 2706098704 1858216955 76531643 2720011849 1717305812 2881524165 1998434562 382011469 803702508 3538737975 398487611 2148115178 3393887654 4215133703 1678860112 4189977531 2322616995 1361042894 1903449409 871002346 1726869622 545428070 2854805686 1821966520 932988953 2373826324 2222468110 171366981 83930059 1129705944 4212587734 2987230275 3714530160 3047998530 4066220085 2982602801 315759717 1685128022 1948115268 2159773163 525955506 2650067572 1662069825 3893609643 3510541413 3254031224 1429096146 823290017 2721754086 131204463 2083991117 978146465 1861652387 1756304011 909987194 2269029298 3450169860 1068123052 4201502177 3579230798 1858163011 3809051567 1619963883 3217889662 1858981755 2907299672 2982414419 4157656499 950701141 2122182372 2029320259 3781529761 4231427016 2246807921 1769304004 3555368853 200536213 1025111763 3365871938 2414806842 4030709872 911812523 2026823356 1291839923 2560912764 1170718008 35967262 600892804 1435635111 2399706756 1516664178 3956527610 198990230 4131362289 989375379 1197755101 4002950127 1075020569 979140122 3509328963 550500941 807222100 145357207 1103299597 3401013940 3716431949 1946051156 1384124309 3004087557 3338716969 3091570233 944490435 736742060 3442939789 543879560 229388007 946993722 4145433273 3364922182 3980894126 1026424768 39408266 14776780 618090635 3690565105 1319824089 2622083948 2267084500 3716895895 1619854792 135067832 2152379929 3344249083 1841889949 2272709529 1533291124 1879327065 1768430474 4078622515 520261417 2485138415 1515803178 4278831818 2185402298 69148051 4087789233 3551559859 2872365090 1922965436 2050628436 2927943843 3366543683 23529146 1722976684 1311485828 849144811 1489512883 3023946690 2797707960 4041140179 3976256240 2961635671 3936708243 1012844868 489043063 1710978989 3451349373 1979320826 2043129259 160251157 3347942008 1854792121 469754994 1390241711 3260857490 1283600542 2395166855 3573990728 4213960506 996604232 422659400 2834086954 3703706031 3252939643 1275684421 793733267 330337838 1833997080 3640841710 1737153100 557325184 942572480 3173693199 2559217102 3911290702 4040413342 704062486 697206045 3196487937 1739793175 1938064601 2460568404 2958742833 2040614684 2960060623 1540653766 1998278826 2368023236 61618888 3141443598 1747983264 4071486695 3684451949 1517019991 2199548822 3299640445 3220642777 928730485 2777581370 2203166120 1609079150 1530748709 1274757978 4275507884 3264035448 1705317187 1162606797 599373098 1874640257 3254848276 3789923312 4246502525 3638555977 2074287675 2846960840 139631348 1347780584 441112481 1876216248 3552647049 2422793347 1907831890 1354864133 3980870778 3102140771 3122946309 3185914489 981160036 789088410 3945399339 3902463193 918027155 255 362436" option to reproduce the execution
0.29/0.34	c #vars 14412
0.29/0.34	c #constraints 28724
0.78/0.86	c BCD2: Hardening is enabled.
0.78/0.86	c BCD2: BiasedSearch is enabled.
0.78/0.86	c Solving starts ...
0.78/0.86	c ============================[ Search Statistics ]============================
0.78/0.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.78/0.86	c       |         |          |          |    Limit     GC | Var      | Constra 
0.78/0.86	c =============================================================================
0.89/0.96	c  0.0s |       0 |        0 |        0 |    14378      0 |        0 |        0
0.99/1.03	c  0.1s |       0 |       49 |        0 |    14378      0 |        0 |        0
0.99/1.03	c #cpu_time = 0.058s
0.99/1.03	c #wall_clock_time = 0.058s
0.99/1.03	c #decision = 49
0.99/1.03	c #random_decision = 0
0.99/1.03	c #conflict = 0
0.99/1.03	c #restart = 0
0.99/1.03	o 0
396.29/396.41	c BCD2: updating upper bound: 2257216 -> 1128607
775.18/775.40	c BCD2: 0 <= obj <= 1128607
775.18/775.40	c BCD2: #cores=0, #unrelaxed=14412, #relaxed=0, #hardened=0
775.18/775.40	c BCD2: #sat=1 #unsat=1 bias=1/2
775.18/775.41	c Solving starts ...
775.18/775.41	c ============================[ Search Statistics ]============================
775.18/775.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
775.18/775.41	c       |         |          |          |    Limit     GC | Var      | Constra 
775.18/775.41	c =============================================================================
775.18/775.41	c  0.0s |       0 |        0 |        0 |    14378      0 |        0 |        0
775.18/775.47	c  0.1s |       0 |     5279 |        0 |    14378      0 |        0 |        0
775.18/775.47	c #cpu_time = 0.050s
775.18/775.47	c #wall_clock_time = 0.051s
775.18/775.47	c #decision = 5279
775.18/775.47	c #random_decision = 0
775.18/775.47	c #conflict = 0
775.18/775.47	c #restart = 0
775.18/775.47	c BCD2: found a new core of size 3: cost of the new core is >=88
775.18/775.47	c lower bound updated to -1128520
1148.52/1148.80	c BCD2: 88 <= obj <= 1128607
1148.52/1148.80	c BCD2: #cores=1, #unrelaxed=14409, #relaxed=3, #hardened=0
1148.52/1148.80	c BCD2: #sat=1 #unsat=2 bias=2/3
1148.52/1148.80	c Solving starts ...
1148.52/1148.80	c ============================[ Search Statistics ]============================
1148.52/1148.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1148.52/1148.80	c       |         |          |          |    Limit     GC | Var      | Constra 
1148.52/1148.80	c =============================================================================
1148.52/1148.80	c  0.0s |       0 |        0 |        0 |    14378      0 |        0 |        1
1148.52/1148.86	c  0.1s |       0 |     1823 |        0 |    14378      0 |        0 |        1
1148.52/1148.86	c #cpu_time = 0.042s
1148.52/1148.86	c #wall_clock_time = 0.042s
1148.52/1148.86	c #decision = 1823
1148.52/1148.86	c #random_decision = 0
1148.52/1148.86	c #conflict = 0
1148.52/1148.86	c #restart = 0
1148.52/1148.86	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=176
1148.52/1148.86	c BCD2: refineLB: 89 -> 176
1148.52/1148.86	c lower bound updated to -1128432
1522.97/1523.34	c BCD2: 176 <= obj <= 1128607
1522.97/1523.34	c BCD2: #cores=1, #unrelaxed=14407, #relaxed=5, #hardened=0
1522.97/1523.34	c BCD2: #sat=1 #unsat=3 bias=3/4
1522.97/1523.34	c Solving starts ...
1522.97/1523.34	c ============================[ Search Statistics ]============================
1522.97/1523.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1522.97/1523.34	c       |         |          |          |    Limit     GC | Var      | Constra 
1522.97/1523.34	c =============================================================================
1522.97/1523.34	c  0.0s |       0 |        0 |        0 |    14378      0 |        1 |        1
1522.97/1523.38	c  0.0s |       0 |        1 |        1 |    14378      0 |        2 |        3
1522.97/1523.38	c #cpu_time = 0.040s
1522.97/1523.38	c #wall_clock_time = 0.040s
1522.97/1523.38	c #decision = 1
1522.97/1523.38	c #random_decision = 0
1522.97/1523.38	c #conflict = 1
1522.97/1523.38	c #restart = 0
1522.97/1523.38	c BCD2: updating lower bound of a core
1522.97/1523.38	c BCD2: refineLB: 243 -> 264
1522.97/1523.38	c lower bound updated to -1128344

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

pid=6835
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.06 2.01 3/237 6838
/proc/meminfo: memFree=29551684/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 2575 0 0 0 0 0 0 0 20 0 4 0 4926652 709292032 2937 33554432000 4194304 16246674 140736468171488 140736468170912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 173679 2946 441 2943 0 170573 0
[pid=6838/tid=6839] ppid=6835 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 719777792 2978 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 719777792 2978 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 719777792 2978 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.08 2.06 2.01 3/237 6838
/proc/meminfo: memFree=29551684/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 29956 0 0 0 5 4 0 0 20 0 4 0 4926652 1250496512 30255 33554432000 4194304 16246674 140736468171488 140736468170800 7374276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 305297 30269 799 2943 0 302191 0
[pid=6838/tid=6839] ppid=6835 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1250496512 30281 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1250496512 30293 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1250496512 30304 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20046 s]
/proc/loadavg: 2.08 2.06 2.01 3/237 6838
/proc/meminfo: memFree=29551684/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1305156 CPUtime=0.19 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 51802 0 0 0 11 8 0 0 20 0 4 0 4926652 1336479744 52612 33554432000 4194304 16246674 140736468171488 140736468154480 4223718 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 326289 52616 800 2943 0 323183 0
[pid=6838/tid=6839] ppid=6835 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1336479744 52618 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1336479744 52620 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1336479744 52622 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1305156

[startup+0.300419 s]
/proc/loadavg: 2.08 2.06 2.01 3/237 6838
/proc/meminfo: memFree=29551684/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 61682 0 0 0 20 9 0 0 20 0 4 0 4926652 1345916928 62493 33554432000 4194304 16246674 140736468171488 140736468153408 7889646 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 62509 800 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 62520 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 62530 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 62542 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700346 s]
/proc/loadavg: 2.08 2.06 2.01 3/237 6838
/proc/meminfo: memFree=29551684/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 98989 0 0 0 54 15 0 0 20 0 4 0 4926652 1345916928 99800 33554432000 4194304 16246674 140736468171488 140736468153408 6934270 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 99808 835 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 99814 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 99820 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 99825 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50034 s]
/proc/loadavg: 2.08 2.06 2.01 3/248 6856
/proc/meminfo: memFree=28720600/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 175302 0 0 0 123 26 0 0 20 0 4 0 4926652 1345916928 176112 33554432000 4194304 16246674 140736468171488 140736468153408 12654533 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 176128 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 176138 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 176150 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 176159 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.08 2.06 2.01 3/248 6856
/proc/meminfo: memFree=28039892/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269260 0 0 0 272 37 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140736468153408 12653052 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 270070 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30036 s]
/proc/loadavg: 2.15 2.08 2.02 3/248 6856
/proc/meminfo: memFree=27325572/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269260 0 0 0 590 39 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140736468153408 12652936 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 270070 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.14 2.08 2.02 3/248 6856
/proc/meminfo: memFree=27325472/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269260 0 0 0 1229 39 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140736468170584 12429056 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 270070 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5004 s]
/proc/loadavg: 2.11 2.07 2.01 3/248 6856
/proc/meminfo: memFree=27068700/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269260 0 0 0 2509 39 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140736468153408 12449259 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 270070 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.07 2.07 2.01 3/248 6856
/proc/meminfo: memFree=27061884/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1314372 CPUtime=51.07 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269260 0 0 0 5068 39 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140736468153408 12414114 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328593 270070 881 2943 0 325487 0
[pid=6838/tid=6839] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1345916928 270070 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/247 6857
/proc/meminfo: memFree=27045968/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 269516 0 0 0 10188 39 0 0 20 0 4 0 4926652 1346965504 270326 33554432000 4194304 16246674 140736468171488 140736468153408 6955142 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6838/statm: 328849 270326 881 2943 0 325743 0
[pid=6838/tid=6839] ppid=6835 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1346965504 270326 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1346965504 270326 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1346965504 270326 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/247 6887
/proc/meminfo: memFree=26779060/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1302 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272920 0 0 0 130158 42 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140736468153408 12655187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273679 906 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/247 6888
/proc/meminfo: memFree=26779004/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1361.99 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272920 0 0 0 136157 42 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140736468153408 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273679 906 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/247 6889
/proc/meminfo: memFree=26777024/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1421.99 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272920 0 0 0 142157 42 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140736468153408 13928260 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273679 906 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/247 6891
/proc/meminfo: memFree=26776560/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1481.97 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272920 0 0 0 148155 42 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140736468153408 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273679 906 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273679 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/247 6892
/proc/meminfo: memFree=26755280/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1541.98 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272929 0 0 0 154155 43 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140736468153408 12653052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273688 915 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/247 6893
/proc/meminfo: memFree=26755448/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1601.96 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272929 0 0 0 160153 43 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140736468153408 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273688 915 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273688 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/247 6894
/proc/meminfo: memFree=26754744/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1661.95 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272930 0 0 0 166152 43 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140736468153408 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273689 916 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/247 6895
/proc/meminfo: memFree=26754788/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1721.94 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272930 0 0 0 172151 43 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140736468153408 12414073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273689 916 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/247 6897
/proc/meminfo: memFree=26744972/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1781.93 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272930 0 0 0 178150 43 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140736468153408 6955204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273689 916 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.04 2.00 3/247 6897
/proc/meminfo: memFree=26745224/32872528 swapFree=189444/189444
[pid=6838] ppid=6835 vsize=1328708 CPUtime=1800.03 cores=0,2,4,6
/proc/6838/stat : 6838 (toysat) R 6835 6838 3947 0 -1 4202496 272930 0 0 0 179960 43 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140736468170584 12413997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6838/statm: 332177 273689 916 2943 0 329071 0
[pid=6838/tid=6839] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6839/stat : 6839 (toysat) S 6835 6838 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149609442544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6838/tid=6840] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6840/stat : 6840 (toysat) S 6835 6838 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149598952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6838/tid=6841] ppid=6835 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6838/task/6841/stat : 6841 (toysat) S 6835 6838 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4926652 1360596992 273689 33554432000 4194304 16246674 140736468171488 140149480484016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1328708

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 6838 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.04
CPU user time (s): 1799.61
CPU system time (s): 0.434933
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.434933
maximum resident set size= 1094756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272930
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= 65
involuntary context switches= 2182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52331 second user time and 6.93694 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 00:10:01
IDJOB=4119030
IDBENCH=111638
IDSOLVER=2542
FILE ID=node102/4119030-1467238201
RUNJOBID= node102-1467234598-6495
PBS_JOBID= 19997591
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 8e3c34c6f4c9899764d5b70434724a89
RANDOM SEED=2109314639

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29555784 kB
Buffers:          116476 kB
Cached:          2247644 kB
SwapCached:            0 kB
Active:           372372 kB
Inactive:        2013568 kB
Active(anon):      24028 kB
Inactive(anon):        0 kB
Active(file):     348344 kB
Inactive(file):  2013568 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             23800 kB
Writeback:             0 kB
AnonPages:        210460 kB
Mapped:            14260 kB
Shmem:               204 kB
Slab:             610364 kB
SReclaimable:      54056 kB
SUnreclaim:       556308 kB
KernelStack:        1936 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     308196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71652 MiB
End job on node102 at 2016-06-30 00:40:02