Trace number 4118098

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.05 1800.33

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.opb
MD5SUM6ab956c2ae4d9f4d2728c8a679422c33
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25180
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 25446
Biggest coefficient in the objective function 6510
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2177172
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 6510
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2177172
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)25396
Sum of products size (including duplicates)82976
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:25:17+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-4118098-1467221116.opb"]
0.00/0.01	c use --random-gen="2576026490 2473728311 2904095321 1334088840 2122836187 206582437 2151767680 2081212125 2152018315 2050012513 973913136 78726317 3975592759 2082417594 3354495238 1046003128 3846660510 3107161427 1684846308 1563168049 1980194081 3664799182 2944613904 4237897048 3189301751 1484861574 993038999 1409030486 1052420226 4066259422 3520603493 190218635 2946684802 2637370888 1140453031 2255777583 2297247183 1107822688 550684380 401243125 3534276583 171638357 219129365 3805729634 22509440 1946634164 3431829161 3309177686 2848919446 1244528309 421190538 4062230913 2214813422 3060258681 3633319776 4139934742 2063675407 2339378902 3770465853 80428428 356130587 1793626905 2522670493 3120628894 3901154393 604128346 2404583949 1466080378 3255361115 869135370 1633773235 3253480142 3239255211 3672586472 4015869812 133282977 639699843 4258668441 2243049555 157377563 3919851835 754430230 1205224887 3400333651 1346640371 654694885 3808021149 3284070752 1555075884 2188029343 1335389638 3415084388 659924301 1242125790 661143614 1824687352 3273829946 3520535495 4073058207 1009327821 1358892859 3402793136 836485880 2774578500 2636759110 3901376950 4202698998 4098966473 1326278058 4245603644 2685435053 2164587310 3802180081 270700075 1069923544 1038264937 2810649177 1417593973 109502644 1230752637 530622665 2342222620 2379002671 797502755 464957159 3649161329 4228446579 2632372976 685153613 3733895601 3930607497 1762336855 4012795064 311853915 2454682720 2195121072 3003750248 3608204704 248633493 2005022251 122573888 237504107 804269076 2226420107 4267409577 3148229668 2202779710 1476222574 835671841 2450021163 2590388518 565453824 326885756 2213616761 1203278596 3655812509 547614758 2513004058 1787195475 3288234426 213183445 101305013 37189502 1010717232 2261351006 1359177985 1582725686 109140529 2908089433 1321261989 2855228586 2447373720 877303523 4148394092 3971588941 3052201395 1961394066 2968187516 733479370 3911775881 2278248592 436830872 493200282 1001823743 1065471326 3049555999 2075639841 4009876411 2381677049 622671974 910637541 3528994203 380303863 447787180 2586309546 3993002863 3172399705 1139935026 900201891 1949187495 1219749622 3220601590 2463375235 45194436 2852821954 1105996503 1530880071 3393077427 2611713334 3348125353 3491459812 4201466766 3383409627 2143968903 4114970214 921203661 1063878227 4159115394 3761651612 3066556716 3482580106 4226205055 3001819744 1796806247 303209472 2674545848 1250467175 3682899911 3151566547 1135625486 390391118 1964684031 4243334211 87885066 2481380563 688737952 1641156213 3208924944 3323658789 3515690083 691161659 1533877505 3926770120 1895359708 561304422 1402566353 126575586 437795531 1084342909 2881783060 3574893251 3943880388 344790855 1523775553 3226442709 938904712 255 362436" option to reproduce the execution
0.09/0.11	c #vars 50
0.09/0.11	c #constraints 0
0.59/0.64	c BCD2: Hardening is enabled.
0.59/0.64	c BCD2: BiasedSearch is enabled.
0.59/0.64	c Solving starts ...
0.59/0.64	c ============================[ Search Statistics ]============================
0.59/0.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.64	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.64	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |    27823      0 |        0 |        0
0.69/0.78	c  0.1s |       0 |    17460 |        0 |    27823      0 |        0 |        0
0.69/0.78	c #cpu_time = 0.123s
0.69/0.78	c #wall_clock_time = 0.123s
0.69/0.78	c #decision = 17460
0.69/0.78	c #random_decision = 50
0.69/0.78	c #conflict = 0
0.69/0.78	c #restart = 0
0.69/0.78	o 0
216.86/216.90	c BCD2: updating upper bound: 2177172 -> 1088585
432.62/432.77	c BCD2: 0 <= obj <= 1088585
432.62/432.77	c BCD2: #cores=0, #unrelaxed=25446, #relaxed=0, #hardened=0
432.62/432.77	c BCD2: #sat=1 #unsat=1 bias=1/2
432.62/432.78	c Solving starts ...
432.62/432.78	c ============================[ Search Statistics ]============================
432.62/432.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
432.62/432.78	c       |         |          |          |    Limit     GC | Var      | Constra 
432.62/432.78	c =============================================================================
432.62/432.78	c  0.0s |       0 |        0 |        0 |    27823      0 |        0 |        0
432.72/432.85	c  0.1s |       0 |     9083 |        0 |    27823      0 |        0 |        0
432.72/432.85	c #cpu_time = 0.059s
432.72/432.85	c #wall_clock_time = 0.059s
432.72/432.85	c #decision = 9083
432.72/432.85	c #random_decision = 0
432.72/432.85	c #conflict = 0
432.72/432.85	c #restart = 0
432.72/432.85	c BCD2: found a new core of size 3: cost of the new core is >=70
432.72/432.85	c lower bound updated to -1088516
648.79/648.93	c BCD2: 70 <= obj <= 1088585
648.79/648.93	c BCD2: #cores=1, #unrelaxed=25443, #relaxed=3, #hardened=0
648.79/648.93	c BCD2: #sat=1 #unsat=2 bias=2/3
648.79/648.94	c Solving starts ...
648.79/648.94	c ============================[ Search Statistics ]============================
648.79/648.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
648.79/648.94	c       |         |          |          |    Limit     GC | Var      | Constra 
648.79/648.94	c =============================================================================
648.79/648.94	c  0.0s |       0 |        0 |        0 |    27823      0 |        0 |        1
648.90/649.01	c  0.1s |       0 |     9082 |        0 |    27823      0 |        0 |        1
648.90/649.01	c #cpu_time = 0.060s
648.90/649.01	c #wall_clock_time = 0.060s
648.90/649.01	c #decision = 9082
648.90/649.01	c #random_decision = 0
648.90/649.01	c #conflict = 0
648.90/649.01	c #restart = 0
648.90/649.01	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=140
648.90/649.01	c BCD2: refineLB: 71 -> 140
648.90/649.01	c lower bound updated to -1088446
865.56/865.72	c BCD2: 140 <= obj <= 1088585
865.56/865.72	c BCD2: #cores=1, #unrelaxed=25441, #relaxed=5, #hardened=0
865.56/865.72	c BCD2: #sat=1 #unsat=3 bias=3/4
865.56/865.72	c Solving starts ...
865.56/865.72	c ============================[ Search Statistics ]============================
865.56/865.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
865.56/865.72	c       |         |          |          |    Limit     GC | Var      | Constra 
865.56/865.72	c =============================================================================
865.56/865.72	c  0.0s |       0 |        0 |        0 |    27823      0 |        1 |        1
865.56/865.77	c  0.1s |       0 |        1 |        1 |    27823      0 |        2 |        3
865.56/865.77	c #cpu_time = 0.054s
865.56/865.77	c #wall_clock_time = 0.054s
865.56/865.77	c #decision = 1
865.56/865.77	c #random_decision = 0
865.56/865.77	c #conflict = 1
865.56/865.77	c #restart = 0
865.56/865.77	c BCD2: updating lower bound of a core
865.56/865.77	c BCD2: refineLB: 193 -> 210
865.56/865.77	c lower bound updated to -1088376
1082.12/1082.37	c BCD2: 210 <= obj <= 1088585
1082.12/1082.37	c BCD2: #cores=1, #unrelaxed=25441, #relaxed=5, #hardened=0
1082.12/1082.37	c BCD2: #sat=1 #unsat=4 bias=4/5
1082.12/1082.37	c Solving starts ...
1082.12/1082.37	c ============================[ Search Statistics ]============================
1082.12/1082.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1082.12/1082.37	c       |         |          |          |    Limit     GC | Var      | Constra 
1082.12/1082.37	c =============================================================================
1082.12/1082.37	c  0.0s |       0 |        0 |        0 |    27823      0 |        2 |        3
1082.23/1082.44	c  0.1s |       0 |     1145 |        0 |    27823      0 |        2 |        3
1082.23/1082.44	c #cpu_time = 0.057s
1082.23/1082.44	c #wall_clock_time = 0.058s
1082.23/1082.44	c #decision = 1145
1082.23/1082.44	c #random_decision = 0
1082.23/1082.44	c #conflict = 0
1082.23/1082.44	c #restart = 0
1082.23/1082.44	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=279
1082.23/1082.44	c BCD2: refineLB: 211 -> 279
1082.23/1082.44	c lower bound updated to -1088307
1298.59/1298.84	c BCD2: 279 <= obj <= 1088585
1298.59/1298.84	c BCD2: #cores=1, #unrelaxed=25440, #relaxed=6, #hardened=0
1298.59/1298.84	c BCD2: #sat=1 #unsat=5 bias=5/6
1298.59/1298.84	c Solving starts ...
1298.59/1298.84	c ============================[ Search Statistics ]============================
1298.59/1298.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1298.59/1298.84	c       |         |          |          |    Limit     GC | Var      | Constra 
1298.59/1298.84	c =============================================================================
1298.59/1298.84	c  0.0s |       0 |        0 |        0 |    27823      0 |        3 |        3
1298.69/1298.91	c  0.1s |       0 |     9080 |        0 |    27823      0 |        3 |        4
1298.69/1298.91	c #cpu_time = 0.059s
1298.69/1298.91	c #wall_clock_time = 0.059s
1298.69/1298.91	c #decision = 9080
1298.69/1298.91	c #random_decision = 0
1298.69/1298.91	c #conflict = 0
1298.69/1298.91	c #restart = 0
1298.69/1298.91	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=281
1298.69/1298.91	c BCD2: refineLB: 280 -> 281
1298.69/1298.91	c lower bound updated to -1088305
1519.66/1519.91	c BCD2: 281 <= obj <= 1088585
1519.66/1519.91	c BCD2: #cores=1, #unrelaxed=25438, #relaxed=8, #hardened=0
1519.66/1519.91	c BCD2: #sat=1 #unsat=6 bias=6/7
1519.66/1519.91	c Solving starts ...
1519.66/1519.91	c ============================[ Search Statistics ]============================
1519.66/1519.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1519.66/1519.91	c       |         |          |          |    Limit     GC | Var      | Constra 
1519.66/1519.91	c =============================================================================
1519.66/1519.91	c  0.0s |       0 |        0 |        0 |    27823      0 |        4 |        4
1519.66/1519.96	c  0.1s |       0 |        1 |        1 |    27823      0 |        5 |        6
1519.66/1519.96	c #cpu_time = 0.053s
1519.66/1519.96	c #wall_clock_time = 0.053s
1519.66/1519.96	c #decision = 1
1519.66/1519.96	c #random_decision = 0
1519.66/1519.96	c #conflict = 1
1519.66/1519.96	c #restart = 0
1519.66/1519.96	c BCD2: updating lower bound of a core
1519.66/1519.96	c BCD2: refineLB: 462 -> 472
1519.66/1519.96	c lower bound updated to -1088114
1759.92/1760.28	c BCD2: 472 <= obj <= 1088585
1759.92/1760.28	c BCD2: #cores=1, #unrelaxed=25438, #relaxed=8, #hardened=0
1759.92/1760.28	c BCD2: #sat=1 #unsat=7 bias=7/8
1759.92/1760.28	c Solving starts ...
1759.92/1760.28	c ============================[ Search Statistics ]============================
1759.92/1760.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1759.92/1760.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1759.92/1760.28	c =============================================================================
1759.92/1760.28	c  0.0s |       0 |        0 |        0 |    27823      0 |        5 |        6
1760.02/1760.34	c  0.1s |       0 |        1 |        1 |    27823      0 |        6 |        7
1760.02/1760.34	c #cpu_time = 0.053s
1760.02/1760.34	c #wall_clock_time = 0.053s
1760.02/1760.34	c #decision = 1
1760.02/1760.34	c #random_decision = 0
1760.02/1760.34	c #conflict = 1
1760.02/1760.34	c #restart = 0
1760.02/1760.34	c BCD2: updating lower bound of a core
1760.02/1760.34	c BCD2: refineLB: 489 -> 491
1760.02/1760.34	c lower bound updated to -1088095

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.25 2.24 2/179 3146
/proc/meminfo: memFree=28134824/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 2762 0 0 0 0 0 0 0 20 0 4 0 1139269 756477952 2612 33554432000 4194304 16246674 140737130788672 140737130788096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 185199 2620 441 2943 0 182093 0
[pid=3146/tid=3147] ppid=3143 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 775352320 2682 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 779546624 2700 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1139269 784789504 2716 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.23 2.25 2.24 2/179 3146
/proc/meminfo: memFree=28134824/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 29654 0 0 0 7 2 0 0 20 0 4 0 1139269 1332285440 29443 33554432000 4194304 16246674 140737130788672 140737130787984 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 325265 29460 799 2943 0 322159 0
[pid=3146/tid=3147] ppid=3143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1332285440 29471 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1332285440 29483 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1332285440 29494 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200526 s]
/proc/loadavg: 2.23 2.25 2.24 2/179 3146
/proc/meminfo: memFree=28134824/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1311300 CPUtime=0.18 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 47823 0 0 0 14 4 0 0 20 0 4 0 1139269 1342771200 47611 33554432000 4194304 16246674 140737130788672 140737130787984 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 327825 47614 829 2943 0 324719 0
[pid=3146/tid=3147] ppid=3143 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1342771200 47617 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1342771200 47619 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1342771200 47621 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300479 s]
/proc/loadavg: 2.23 2.25 2.24 2/179 3146
/proc/meminfo: memFree=28134824/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 48580 0 0 0 24 4 0 0 20 0 4 0 1139269 1345916928 48369 33554432000 4194304 16246674 140737130788672 140737130787984 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 328593 48372 829 2943 0 325487 0
[pid=3146/tid=3147] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 48374 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 48376 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 48378 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700418 s]
/proc/loadavg: 2.23 2.25 2.24 2/179 3146
/proc/meminfo: memFree=28134824/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 64356 0 0 0 63 6 0 0 20 0 4 0 1139269 1345916928 64144 33554432000 4194304 16246674 140737130788672 140737130787984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 328593 64144 863 2943 0 325487 0
[pid=3146/tid=3147] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 64144 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 64144 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1345916928 64144 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.23 2.25 2.24 3/183 3150
/proc/meminfo: memFree=27197576/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 242764 0 0 0 118 31 0 0 20 0 4 0 1139269 1351159808 242553 33554432000 4194304 16246674 140737130788672 140737130770560 12654121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 242571 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 242582 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 242592 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 242602 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10043 s]
/proc/loadavg: 2.23 2.25 2.24 3/183 3150
/proc/meminfo: memFree=26501564/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=3.09 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 274 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.30038 s]
/proc/loadavg: 2.29 2.27 2.24 4/183 3150
/proc/meminfo: memFree=26500840/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=6.29 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 594 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 12653013 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.34 2.28 2.25 4/183 3150
/proc/meminfo: memFree=26500704/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=12.69 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 1234 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 12654327 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.27 2.26 2.24 3/183 3150
/proc/meminfo: memFree=26500272/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=25.49 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 2514 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 12655131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.30 2.27 2.24 3/183 3150
/proc/meminfo: memFree=26496188/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 5073 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 6955456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.301 s]
/proc/loadavg: 2.25 2.26 2.24 4/183 3151
/proc/meminfo: memFree=26495196/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271052 0 0 0 10193 35 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140737130770560 12654426 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270840 878 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270840 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/182 3183
/proc/meminfo: memFree=26486276/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1362.08 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 136171 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12429241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 3185
/proc/meminfo: memFree=26485488/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1422.08 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 142171 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12371341 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 3186
/proc/meminfo: memFree=26485412/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1482.07 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 148170 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.19 4/184 3190
/proc/meminfo: memFree=26486120/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1542.06 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 154169 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 3191
/proc/meminfo: memFree=26485920/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1602.04 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 160167 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.15 2.23 2.18 3/183 3192
/proc/meminfo: memFree=26482948/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1662.03 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 166166 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12654369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 3194
/proc/meminfo: memFree=26482784/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1722.02 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 172165 37 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 4226064 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 3195
/proc/meminfo: memFree=26482872/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1782.02 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 178164 38 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.18 4/183 3195
/proc/meminfo: memFree=26482844/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 179964 38 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.18 4/183 3195
/proc/meminfo: memFree=26482844/32872528 swapFree=1553660/1717180
[pid=3146] ppid=3143 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/3146/stat : 3146 (toysat) R 3143 3146 1984 0 -1 4202496 271088 0 0 0 179964 38 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140737130770560 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3146/statm: 329873 270876 914 2943 0 326767 0
[pid=3146/tid=3147] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3147/stat : 3147 (toysat) S 3143 3146 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705457482992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3146/tid=3148] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3148/stat : 3148 (toysat) S 3143 3146 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705446993136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3146/tid=3149] ppid=3143 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/3146/task/3149/stat : 3149 (toysat) S 3143 3146 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1139269 1351159808 270876 33554432000 4194304 16246674 140737130788672 140705436519600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.05
CPU user time (s): 1799.65
CPU system time (s): 0.400939
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.400939
maximum resident set size= 1083504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271088
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= 15
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5913 second user time and 6.91795 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-29 19:25:16
IDJOB=4118098
IDBENCH=111450
IDSOLVER=2542
FILE ID=node117/4118098-1467221116
RUNJOBID= node117-1467210309-2001
PBS_JOBID= 19997597
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118098-1467221116/watcher-4118098-1467221116 -o /tmp/evaluation-result-4118098-1467221116/solver-4118098-1467221116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118098-1467221116.opb

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

MD5SUM BENCH= 6ab956c2ae4d9f4d2728c8a679422c33
RANDOM SEED=1831278701

node117.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.714
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.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        28154796 kB
Buffers:           45236 kB
Cached:          1727348 kB
SwapCached:            0 kB
Active:           629824 kB
Inactive:        1656060 kB
Active(anon):     515736 kB
Inactive(anon):        4 kB
Active(file):     114088 kB
Inactive(file):  1656056 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33036 kB
Writeback:             0 kB
AnonPages:       2263476 kB
Mapped:            16972 kB
Shmem:               204 kB
Slab:             580064 kB
SReclaimable:      24672 kB
SUnreclaim:       555392 kB
KernelStack:        1520 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2848324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71592 MiB
End job on node117 at 2016-06-29 19:55:17