Trace number 4119175

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.lin.opb
MD5SUMf2d40fda9d59cb06a94c48c8429e3376
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, 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.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25446
Total number of constraints50792
Number of constraints which are clauses25396
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints25396
Minimum length of a constraint3
Maximum length of a constraint5
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)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-30T09:15:14+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119175-1467270914.opb"]
0.00/0.01	c use --random-gen="21749423 1308632943 3252382994 1566868084 747171310 2370280368 654907231 1729573345 1954785954 1307055920 4269515737 1909332909 2948580612 155794428 3190133304 2615512911 3431386208 266161160 1614820772 892966351 82861304 2820748567 2497040414 3401127928 552076882 131604245 3014766980 31224419 1474019907 2982882974 3136292233 1099763085 3975352648 3462874843 3153110214 3432263728 2688739322 2916249397 3366011873 3040065774 652239298 906961300 48100636 234795182 119748941 3381619154 12895494 4129318530 2989170108 2978379682 784941499 1503028165 3897451982 3675086912 1372409211 1041034592 1269919291 1513336695 3013605145 4195178384 2255952376 3249391728 2299188952 4053149317 530878504 3577449605 2498874389 635994918 1129806615 894535012 1608241434 2265743155 654093162 1604542415 2452138319 1356271965 3869165700 2184609990 2819522802 568551692 2028953311 864539935 1894386197 115449945 3337023400 1371659022 3614520673 2541072231 2504594929 868960820 1808553114 4280144837 4039822676 1302213005 1727436485 2703480180 658106639 1957495802 1513914438 1246760477 1402078086 2403962172 3914059734 266513239 2215206766 1868726502 2338033907 2575076252 579200538 247914634 1264171630 2327712405 415521494 461810825 3298579020 1042649613 3353396626 1619298100 3716651291 2433063397 3935138764 2764733479 2994932005 1293762690 4148470576 3687395955 4030475212 236902753 1476412325 3426634729 386886999 3149188896 1762067969 333174771 2159638480 1112117516 2349572060 2746857297 2821245106 1278923591 1751743312 1017373986 3447807923 3910792962 2474322612 3127111460 2675269367 113178951 1607202980 327212703 3385341734 3305815072 2556014101 2360937424 1081342919 911676031 260411076 3002077433 108575845 829343282 1986900056 3209951945 1510750439 2173294214 1275893691 3634791676 289467883 2912063580 1718173159 402926610 1328568372 3009168274 3680989817 2529433921 3497456758 2848943439 1007293555 653523842 1621798376 1489980975 4038308316 2634461547 132591668 3983164516 423341361 50131257 27673510 2198061415 2168092601 3574874534 3713552470 986050548 3261905395 2641506861 2518286241 923865802 3378648664 2142457770 2192411996 3304130489 3227412730 292005594 1957098055 2669998187 2707378590 146788115 2024147873 1320460306 575066160 861015019 2371067370 3771633547 1160101343 921046572 2409114852 1004375042 3702258076 1703153586 1588171728 2169719931 1514813221 3373981885 3562179509 2914532805 1403236186 1721144611 554180628 3306091767 4027093256 1751684158 4115987388 105558869 16856109 3142213054 3349394673 361974555 1341509192 2308791046 678001147 4258125771 1486839895 2361856990 657197807 3077150663 1592606980 264166962 1774870406 1290540220 1734401720 1021270712 1551828357 3431096376 48127804 474263067 3104640492 2297253312 255 362436" option to reproduce the execution
0.49/0.50	c #vars 25446
0.49/0.50	c #constraints 50792
1.39/1.44	c BCD2: Hardening is enabled.
1.39/1.44	c BCD2: BiasedSearch is enabled.
1.39/1.44	c Solving starts ...
1.39/1.44	c ============================[ Search Statistics ]============================
1.39/1.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.44	c =============================================================================
1.39/1.45	c  0.0s |       0 |        0 |        0 |    25412      0 |        0 |        0
1.59/1.65	c  0.2s |       0 |       49 |        0 |    25412      0 |        0 |        0
1.59/1.65	c #cpu_time = 0.178s
1.59/1.65	c #wall_clock_time = 0.178s
1.59/1.65	c #decision = 49
1.59/1.65	c #random_decision = 0
1.59/1.65	c #conflict = 0
1.59/1.65	c #restart = 0
1.59/1.65	o 0
214.36/214.48	c BCD2: updating upper bound: 2177172 -> 1088585
427.12/427.27	c BCD2: 0 <= obj <= 1088585
427.12/427.27	c BCD2: #cores=0, #unrelaxed=25446, #relaxed=0, #hardened=0
427.12/427.27	c BCD2: #sat=1 #unsat=1 bias=1/2
427.12/427.29	c Solving starts ...
427.12/427.29	c ============================[ Search Statistics ]============================
427.12/427.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
427.12/427.29	c       |         |          |          |    Limit     GC | Var      | Constra 
427.12/427.29	c =============================================================================
427.12/427.29	c  0.0s |       0 |        0 |        0 |    25412      0 |        0 |        0
427.42/427.52	c  0.2s |       0 |     9083 |        0 |    25412      0 |        0 |        0
427.42/427.52	c #cpu_time = 0.208s
427.42/427.52	c #wall_clock_time = 0.208s
427.42/427.52	c #decision = 9083
427.42/427.52	c #random_decision = 0
427.42/427.52	c #conflict = 0
427.42/427.52	c #restart = 0
427.42/427.52	c BCD2: found a new core of size 3: cost of the new core is >=70
427.42/427.52	c lower bound updated to -1088516
640.40/640.56	c BCD2: 70 <= obj <= 1088585
640.40/640.56	c BCD2: #cores=1, #unrelaxed=25443, #relaxed=3, #hardened=0
640.40/640.56	c BCD2: #sat=1 #unsat=2 bias=2/3
640.40/640.57	c Solving starts ...
640.40/640.57	c ============================[ Search Statistics ]============================
640.40/640.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
640.40/640.57	c       |         |          |          |    Limit     GC | Var      | Constra 
640.40/640.57	c =============================================================================
640.40/640.57	c  0.0s |       0 |        0 |        0 |    25412      0 |        0 |        1
640.60/640.71	c  0.1s |       0 |     1181 |        0 |    25412      0 |        0 |        1
640.60/640.71	c #cpu_time = 0.107s
640.60/640.71	c #wall_clock_time = 0.107s
640.60/640.71	c #decision = 1181
640.60/640.71	c #random_decision = 0
640.60/640.71	c #conflict = 0
640.60/640.71	c #restart = 0
640.60/640.71	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=140
640.60/640.71	c BCD2: refineLB: 71 -> 140
640.60/640.71	c lower bound updated to -1088446
857.97/858.12	c BCD2: 140 <= obj <= 1088585
857.97/858.12	c BCD2: #cores=1, #unrelaxed=25441, #relaxed=5, #hardened=0
857.97/858.12	c BCD2: #sat=1 #unsat=3 bias=3/4
857.97/858.12	c Solving starts ...
857.97/858.12	c ============================[ Search Statistics ]============================
857.97/858.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
857.97/858.12	c       |         |          |          |    Limit     GC | Var      | Constra 
857.97/858.12	c =============================================================================
857.97/858.12	c  0.0s |       0 |        0 |        0 |    25412      0 |        1 |        1
858.06/858.20	c  0.1s |       0 |        1 |        1 |    25412      0 |        2 |        3
858.06/858.20	c #cpu_time = 0.078s
858.06/858.20	c #wall_clock_time = 0.078s
858.06/858.20	c #decision = 1
858.06/858.20	c #random_decision = 0
858.06/858.20	c #conflict = 1
858.06/858.20	c #restart = 0
858.06/858.20	c BCD2: updating lower bound of a core
858.06/858.20	c BCD2: refineLB: 193 -> 210
858.06/858.20	c lower bound updated to -1088376
1094.72/1094.92	c BCD2: 210 <= obj <= 1088585
1094.72/1094.92	c BCD2: #cores=1, #unrelaxed=25441, #relaxed=5, #hardened=0
1094.72/1094.92	c BCD2: #sat=1 #unsat=4 bias=4/5
1094.72/1094.92	c Solving starts ...
1094.72/1094.92	c ============================[ Search Statistics ]============================
1094.72/1094.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1094.72/1094.92	c       |         |          |          |    Limit     GC | Var      | Constra 
1094.72/1094.92	c =============================================================================
1094.72/1094.92	c  0.0s |       0 |        0 |        0 |    25412      0 |        2 |        3
1094.82/1095.06	c  0.1s |       0 |     1074 |        0 |    25412      0 |        2 |        3
1094.82/1095.06	c #cpu_time = 0.107s
1094.82/1095.06	c #wall_clock_time = 0.107s
1094.82/1095.06	c #decision = 1074
1094.82/1095.06	c #random_decision = 0
1094.82/1095.06	c #conflict = 0
1094.82/1095.06	c #restart = 0
1094.82/1095.06	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=279
1094.82/1095.06	c BCD2: refineLB: 211 -> 279
1094.82/1095.06	c lower bound updated to -1088307
1353.16/1353.44	c BCD2: 279 <= obj <= 1088585
1353.16/1353.44	c BCD2: #cores=1, #unrelaxed=25440, #relaxed=6, #hardened=0
1353.16/1353.44	c BCD2: #sat=1 #unsat=5 bias=5/6
1353.16/1353.44	c Solving starts ...
1353.16/1353.44	c ============================[ Search Statistics ]============================
1353.16/1353.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1353.16/1353.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1353.16/1353.44	c =============================================================================
1353.16/1353.44	c  0.0s |       0 |        0 |        0 |    25412      0 |        3 |        3
1353.36/1353.61	c  0.2s |       0 |     1124 |        0 |    25412      0 |        3 |        4
1353.36/1353.61	c #cpu_time = 0.123s
1353.36/1353.61	c #wall_clock_time = 0.123s
1353.36/1353.61	c #decision = 1124
1353.36/1353.61	c #random_decision = 0
1353.36/1353.61	c #conflict = 0
1353.36/1353.61	c #restart = 0
1353.36/1353.61	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=281
1353.36/1353.61	c BCD2: refineLB: 280 -> 281
1353.36/1353.61	c lower bound updated to -1088305
1620.22/1620.59	c BCD2: 281 <= obj <= 1088585
1620.22/1620.59	c BCD2: #cores=1, #unrelaxed=25438, #relaxed=8, #hardened=0
1620.22/1620.59	c BCD2: #sat=1 #unsat=6 bias=6/7
1620.22/1620.59	c Solving starts ...
1620.22/1620.59	c ============================[ Search Statistics ]============================
1620.22/1620.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1620.22/1620.59	c       |         |          |          |    Limit     GC | Var      | Constra 
1620.22/1620.59	c =============================================================================
1620.22/1620.59	c  0.0s |       0 |        0 |        0 |    25412      0 |        4 |        4
1620.32/1620.68	c  0.1s |       0 |        1 |        1 |    25412      0 |        5 |        6
1620.32/1620.68	c #cpu_time = 0.095s
1620.32/1620.68	c #wall_clock_time = 0.095s
1620.32/1620.68	c #decision = 1
1620.32/1620.68	c #random_decision = 0
1620.32/1620.68	c #conflict = 1
1620.32/1620.68	c #restart = 0
1620.32/1620.68	c BCD2: updating lower bound of a core
1620.32/1620.68	c BCD2: refineLB: 462 -> 472
1620.32/1620.68	c lower bound updated to -1088114

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

pid=16898
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.00 2.04 2.00 3/179 16901
/proc/meminfo: memFree=29091672/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 2685 0 0 0 0 0 0 0 20 0 4 0 7987537 738652160 3558 33554432000 4194304 16246674 140736259153808 140736259153232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 181103 3569 441 2943 0 177997 0
[pid=16901/tid=16902] ppid=16898 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 757526528 3631 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 761720832 3646 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 765915136 3664 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 16901
/proc/meminfo: memFree=29091672/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 27344 0 0 0 5 4 0 0 20 0 4 0 7987537 1332285440 28154 33554432000 4194304 16246674 140736259153808 140736259153120 8055525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 325265 28170 798 2943 0 322159 0
[pid=16901/tid=16902] ppid=16898 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1332285440 28180 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1332285440 28192 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1332285440 28204 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.20051 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 16901
/proc/meminfo: memFree=29091672/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 50972 0 0 0 12 7 0 0 20 0 4 0 7987537 1341722624 52293 33554432000 4194304 16246674 140736259153808 140736259153120 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 327569 52299 799 2943 0 324463 0
[pid=16901/tid=16902] ppid=16898 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1341722624 52304 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1341722624 52308 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1341722624 52311 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300477 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 16901
/proc/meminfo: memFree=29091672/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 67047 0 0 0 20 9 0 0 20 0 4 0 7987537 1345916928 68368 33554432000 4194304 16246674 140736259153808 140736259153120 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 328593 68368 799 2943 0 325487 0
[pid=16901/tid=16902] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 68368 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 68368 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 68368 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700399 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 16901
/proc/meminfo: memFree=29091672/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 69965 0 0 0 60 9 0 0 20 0 4 0 7987537 1345916928 71286 33554432000 4194304 16246674 140736259153808 140736259135680 6756338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 328593 71295 836 2943 0 325487 0
[pid=16901/tid=16902] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 71300 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 71306 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 71312 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 16905
/proc/meminfo: memFree=27923544/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 213854 0 0 0 117 32 0 0 20 0 4 0 7987537 1345916928 215175 33554432000 4194304 16246674 140736259153808 140736259135680 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 328593 215180 864 2943 0 325487 0
[pid=16901/tid=16902] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 215183 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 215186 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1345916928 215189 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 16905
/proc/meminfo: memFree=27070052/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=3.09 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 270 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30041 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 16905
/proc/meminfo: memFree=26912824/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=6.29 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 590 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16905
/proc/meminfo: memFree=26912252/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=12.69 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 1230 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 12654389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1352260

[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16905
/proc/meminfo: memFree=26913296/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=25.49 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 2510 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 6955142 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1352260

[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16906
/proc/meminfo: memFree=26913396/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=51.08 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 5069 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1352260

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16907
/proc/meminfo: memFree=26909452/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=102.28 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278728 0 0 0 10189 39 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140736259135680 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280049 880 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280049 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1352260


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

/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1352260

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16937
/proc/meminfo: memFree=26885828/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1302.08 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278787 0 0 0 130168 40 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12429245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16938
/proc/meminfo: memFree=26885852/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1362.06 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278795 0 0 0 136166 40 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16939
/proc/meminfo: memFree=26886016/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1422.06 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 142165 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16940
/proc/meminfo: memFree=26884956/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1482.05 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 148164 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12654426 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 16944
/proc/meminfo: memFree=26873944/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1542.04 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 154163 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16946
/proc/meminfo: memFree=26819888/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1602.03 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 160162 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12429149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16947
/proc/meminfo: memFree=26786156/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1662.02 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 166161 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16948
/proc/meminfo: memFree=26751688/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1722.01 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 172160 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16949
/proc/meminfo: memFree=26751188/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1782 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 178159 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16949
/proc/meminfo: memFree=26751436/32872528 swapFree=7620/7620
[pid=16901] ppid=16898 vsize=1352260 CPUtime=1800.09 cores=0,2,4,6
/proc/16901/stat : 16901 (toysat) R 16898 16901 16554 0 -1 4202496 278801 0 0 0 179968 41 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140736259135680 12652940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16901/statm: 338065 280089 916 2943 0 334959 0
[pid=16901/tid=16902] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644035046640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140644024556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7987537 1384714240 280089 33554432000 4194304 16246674 140736259153808 140643938593968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1352260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16901 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.11
CPU user time (s): 1799.69
CPU system time (s): 0.413937
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.413937
maximum resident set size= 1120356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278801
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= 51
involuntary context switches= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50232 second user time and 6.95894 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 09:15:14
IDJOB=4119175
IDBENCH=111667
IDSOLVER=2542
FILE ID=node106/4119175-1467270914
RUNJOBID= node106-1467270914-16868
PBS_JOBID= 20004487
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= f2d40fda9d59cb06a94c48c8429e3376
RANDOM SEED=1981605825

node106.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.495
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.99
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.495
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.56
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.495
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.495
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.495
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.56
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.495
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.495
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.495
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:        29116120 kB
Buffers:           58284 kB
Cached:          2918572 kB
SwapCached:            0 kB
Active:          2287384 kB
Inactive:         705076 kB
Active(anon):       2388 kB
Inactive(anon):    15776 kB
Active(file):    2284996 kB
Inactive(file):   689300 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36500 kB
Writeback:             0 kB
AnonPages:         19412 kB
Mapped:            15072 kB
Shmem:               204 kB
Slab:             625052 kB
SReclaimable:      68412 kB
SUnreclaim:       556640 kB
KernelStack:        1456 kB
PageTables:         2796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node106 at 2016-06-30 09:45:15