Trace number 4118110

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.01 1800.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.opb
MD5SUM1e87bcac4ffff8b4a6d42d54635fe7ae
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-31856
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of 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 25230
Biggest coefficient in the objective function 7910
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2400020
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 7910
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2400020
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)25170
Sum of products size (including duplicates)82010
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:36:05+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-4118110-1467221764.opb"]
0.00/0.01	c use --random-gen="108440430 987986971 3300211758 2587366189 2963338372 3484153355 813366833 2340607557 1331325314 551005139 2630319557 4052843772 3832490908 473696620 462391826 673220896 945981565 2300239721 259411264 4274377021 2391069963 4210153948 782010801 4038714979 1649546667 3320704082 3049467941 308288701 1156280112 1632584461 2263464816 2469361842 3510016835 3242733289 287061992 1110326583 907489428 2705265458 4260596570 2592794963 3392994082 536357917 1500837772 954519132 4141856073 3607390736 921737964 4161910045 2650334583 3217972289 3076123915 3448376079 2376865746 2544535521 499208005 906365636 3480945526 785556606 746586862 3396719321 884068406 464680155 2193183907 2292129658 378389327 653637390 131042373 2218097002 620347905 1813416370 1705128687 1719965075 1880207933 3840103400 1022250973 4250220132 1950998857 3509633802 3118834294 2756492830 1957479268 648651905 800596127 3931479409 1829361314 1624452328 2450243701 3789243961 3990912068 367107367 1425054396 2657915288 2544890333 2466203014 1447836204 589186135 1393790662 3077016705 3286386444 2728675699 2946538453 2343835213 3104828838 1668925851 1657320939 1350305672 564486836 1257223313 1962876278 3483794463 860954187 1862951973 1747576935 1536070845 2747047545 3805437397 2568151697 1857367360 4103759312 707635268 873078854 1038934279 828190235 1474174717 1268586755 1482397461 1624698956 915752928 2799626061 1011014780 862763588 1043123340 117763590 2255397509 1591056129 881882995 3246476493 3024064609 2197609034 920555885 2393009706 2534026709 1452077206 2671464849 2574362991 2813285384 341442714 2435161159 3376260192 1769384563 240404422 2035278535 613726279 1282875016 188188243 2447814888 2796891375 813338181 2670200924 3277569534 2622374825 2012298310 778707680 3288109325 1793223561 936638382 1873846754 1282989933 1871267693 1643554394 3924200893 1341424722 746884101 577642358 3031016810 3628239395 621243851 367602721 4044074363 3091438205 3334505655 3058978377 1972395700 72159035 2085853311 3749943975 158471068 4108438800 1578440055 463400506 2531924670 3790385198 2415931071 3613400760 2217454325 384334726 2766288585 2872675068 603732193 1428635404 958955793 2268230383 2464637651 1499120715 1596351738 2996508042 2600621160 2839300049 971489328 2056655345 767387617 1462432682 2960628454 3002943695 869239796 3693921276 2455099257 2628985720 1649222013 195004328 3238026281 1047163017 1718514531 1480790314 1577718707 2257537085 1516396372 2398460832 3143887791 2431599240 713371177 3272146254 2768530117 2870224750 418218558 1894003156 194791530 3050099598 633063667 3433865255 198288669 2475754473 3731078648 1432727202 1184099186 1903520520 1938764514 1282696648 3386956958 2273438282 2612358492 755317118 3790201588 3697845692 2808799583 144815396 255 362436" option to reproduce the execution
0.09/0.11	c #vars 60
0.09/0.11	c #constraints 0
0.59/0.60	c BCD2: Hardening is enabled.
0.59/0.60	c BCD2: BiasedSearch is enabled.
0.59/0.60	c Solving starts ...
0.59/0.60	c ============================[ Search Statistics ]============================
0.59/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.60	c =============================================================================
0.59/0.60	c  0.0s |       0 |        0 |        0 |    27506      0 |        0 |        0
0.69/0.77	c  0.2s |       0 |    17379 |        0 |    27506      0 |        0 |        0
0.69/0.77	c #cpu_time = 0.151s
0.69/0.77	c #wall_clock_time = 0.151s
0.69/0.77	c #decision = 17379
0.69/0.77	c #random_decision = 64
0.69/0.77	c #conflict = 0
0.69/0.77	c #restart = 0
0.69/0.77	o 0
270.95/271.02	c BCD2: updating upper bound: 2400020 -> 1200009
538.81/538.92	c BCD2: 0 <= obj <= 1200009
538.81/538.92	c BCD2: #cores=0, #unrelaxed=25230, #relaxed=0, #hardened=0
538.81/538.92	c BCD2: #sat=1 #unsat=1 bias=1/2
538.81/538.93	c Solving starts ...
538.81/538.93	c ============================[ Search Statistics ]============================
538.81/538.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
538.81/538.93	c       |         |          |          |    Limit     GC | Var      | Constra 
538.81/538.93	c =============================================================================
538.81/538.93	c  0.0s |       0 |        0 |        0 |    27506      0 |        0 |        0
538.81/538.98	c  0.1s |       0 |     9111 |        0 |    27506      0 |        0 |        0
538.81/538.98	c #cpu_time = 0.050s
538.81/538.98	c #wall_clock_time = 0.050s
538.81/538.98	c #decision = 9111
538.81/538.98	c #random_decision = 0
538.81/538.98	c #conflict = 0
538.81/538.98	c #restart = 0
538.81/538.98	c BCD2: found a new core of size 3: cost of the new core is >=54
538.81/538.98	c lower bound updated to -1199956
804.46/804.67	c BCD2: 54 <= obj <= 1200009
804.46/804.67	c BCD2: #cores=1, #unrelaxed=25227, #relaxed=3, #hardened=0
804.46/804.67	c BCD2: #sat=1 #unsat=2 bias=2/3
804.46/804.67	c Solving starts ...
804.46/804.67	c ============================[ Search Statistics ]============================
804.46/804.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
804.46/804.67	c       |         |          |          |    Limit     GC | Var      | Constra 
804.46/804.67	c =============================================================================
804.46/804.67	c  0.0s |       0 |        0 |        0 |    27506      0 |        0 |        1
804.56/804.72	c  0.1s |       0 |     9110 |        0 |    27506      0 |        0 |        1
804.56/804.72	c #cpu_time = 0.046s
804.56/804.72	c #wall_clock_time = 0.046s
804.56/804.72	c #decision = 9110
804.56/804.72	c #random_decision = 0
804.56/804.72	c #conflict = 0
804.56/804.72	c #restart = 0
804.56/804.72	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=108
804.56/804.72	c BCD2: refineLB: 55 -> 108
804.56/804.72	c lower bound updated to -1199902
1070.01/1070.22	c BCD2: 108 <= obj <= 1200009
1070.01/1070.22	c BCD2: #cores=1, #unrelaxed=25225, #relaxed=5, #hardened=0
1070.01/1070.22	c BCD2: #sat=1 #unsat=3 bias=3/4
1070.01/1070.22	c Solving starts ...
1070.01/1070.22	c ============================[ Search Statistics ]============================
1070.01/1070.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1070.01/1070.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1070.01/1070.22	c =============================================================================
1070.01/1070.22	c  0.0s |       0 |        0 |        0 |    27506      0 |        1 |        1
1070.01/1070.27	c  0.1s |       0 |        1 |        1 |    27506      0 |        2 |        3
1070.01/1070.27	c #cpu_time = 0.053s
1070.01/1070.27	c #wall_clock_time = 0.053s
1070.01/1070.27	c #decision = 1
1070.01/1070.27	c #random_decision = 0
1070.01/1070.27	c #conflict = 1
1070.01/1070.27	c #restart = 0
1070.01/1070.27	c BCD2: updating lower bound of a core
1070.01/1070.27	c BCD2: refineLB: 149 -> 162
1070.01/1070.27	c lower bound updated to -1199848
1342.27/1342.52	c BCD2: 162 <= obj <= 1200009
1342.27/1342.52	c BCD2: #cores=1, #unrelaxed=25225, #relaxed=5, #hardened=0
1342.27/1342.52	c BCD2: #sat=1 #unsat=4 bias=4/5
1342.27/1342.52	c Solving starts ...
1342.27/1342.52	c ============================[ Search Statistics ]============================
1342.27/1342.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1342.27/1342.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1342.27/1342.52	c =============================================================================
1342.27/1342.52	c  0.0s |       0 |        0 |        0 |    27506      0 |        2 |        3
1342.27/1342.57	c  0.1s |       0 |     1303 |        0 |    27506      0 |        2 |        3
1342.27/1342.57	c #cpu_time = 0.044s
1342.27/1342.57	c #wall_clock_time = 0.044s
1342.27/1342.57	c #decision = 1303
1342.27/1342.57	c #random_decision = 0
1342.27/1342.57	c #conflict = 0
1342.27/1342.57	c #restart = 0
1342.27/1342.57	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=203
1342.27/1342.57	c BCD2: refineLB: 163 -> 203
1342.27/1342.57	c lower bound updated to -1199807
1620.13/1620.42	c BCD2: 203 <= obj <= 1200009
1620.13/1620.42	c BCD2: #cores=1, #unrelaxed=25224, #relaxed=6, #hardened=0
1620.13/1620.42	c BCD2: #sat=1 #unsat=5 bias=5/6
1620.13/1620.42	c Solving starts ...
1620.13/1620.42	c ============================[ Search Statistics ]============================
1620.13/1620.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1620.13/1620.42	c       |         |          |          |    Limit     GC | Var      | Constra 
1620.13/1620.42	c =============================================================================
1620.13/1620.42	c  0.0s |       0 |        0 |        0 |    27506      0 |        3 |        3
1620.13/1620.47	c  0.1s |       0 |        1 |        1 |    27506      0 |        4 |        5
1620.13/1620.47	c #cpu_time = 0.054s
1620.13/1620.47	c #wall_clock_time = 0.054s
1620.13/1620.47	c #decision = 1
1620.13/1620.47	c #random_decision = 0
1620.13/1620.47	c #conflict = 1
1620.13/1620.47	c #restart = 0
1620.13/1620.47	c BCD2: updating lower bound of a core
1620.13/1620.47	c BCD2: refineLB: 214 -> 215
1620.13/1620.47	c lower bound updated to -1199795

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118110-1467221764/watcher-4118110-1467221764 -o /tmp/evaluation-result-4118110-1467221764/solver-4118110-1467221764 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118110-1467221764.opb 

pid=6612
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.00 2.00 3/179 6615
/proc/meminfo: memFree=25191524/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 2616 0 0 0 0 0 0 0 20 0 4 0 3072580 718729216 2976 33554432000 4194304 16246674 140734531876656 140734531876080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 176239 2986 441 2943 0 173133 0
[pid=6615/tid=6616] ppid=6612 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 736555008 3045 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 740749312 3062 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 744943616 3078 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6615
/proc/meminfo: memFree=25191524/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1300036 CPUtime=0.09 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 29076 0 0 0 6 3 0 0 20 0 4 0 3072580 1331236864 29375 33554432000 4194304 16246674 140734531876656 140734531858560 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 325009 29392 799 2943 0 321903 0
[pid=6615/tid=6616] ppid=6612 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1331236864 29403 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1331236864 29415 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1331236864 29427 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1300036

[startup+0.200551 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6615
/proc/meminfo: memFree=25191524/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1304132 CPUtime=0.18 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 48819 0 0 0 13 5 0 0 20 0 4 0 3072580 1335431168 49117 33554432000 4194304 16246674 140734531876656 140734531858560 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 326033 49121 829 2943 0 322927 0
[pid=6615/tid=6616] ppid=6612 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1335431168 49123 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1335431168 49125 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1335431168 49128 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1304132

[startup+0.300513 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6615
/proc/meminfo: memFree=25191524/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 50674 0 0 0 23 5 0 0 20 0 4 0 3072580 1343819776 50972 33554432000 4194304 16246674 140734531876656 140734531875968 4208636 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 328081 50972 829 2943 0 324975 0
[pid=6615/tid=6616] ppid=6612 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1343819776 50972 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1343819776 50972 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1343819776 50972 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700412 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6615
/proc/meminfo: memFree=25191524/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 79166 0 0 0 60 9 0 0 20 0 4 0 3072580 1349062656 79464 33554432000 4194304 16246674 140734531876656 140734531875968 4224776 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 79464 864 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 79464 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 79464 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 79464 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6619
/proc/meminfo: memFree=24741548/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1.49 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 244316 0 0 0 118 31 0 0 20 0 4 0 3072580 1349062656 244615 33554432000 4194304 16246674 140734531876656 140734531875832 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 244631 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 244637 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 244642 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 244648 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6619
/proc/meminfo: memFree=24108652/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=3.09 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 274 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531858560 12655173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+6.30042 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 6619
/proc/meminfo: memFree=22847604/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=6.29 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 594 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531858560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 6619
/proc/meminfo: memFree=22847656/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 1234 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531875752 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+25.5006 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 6619
/proc/meminfo: memFree=21317012/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 2514 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531858560 13927507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 6619
/proc/meminfo: memFree=18790352/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 5073 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531858560 12414053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6620
/proc/meminfo: memFree=15450828/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270543 0 0 0 10193 35 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 140734531858560 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270841 882 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270841 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444


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

/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270873 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6749
/proc/meminfo: memFree=28699704/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1362.07 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 136171 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12429253 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6750
/proc/meminfo: memFree=28699676/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1422.07 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 142171 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6755
/proc/meminfo: memFree=28698808/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1482.05 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 148169 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12413960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6779
/proc/meminfo: memFree=28698184/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1542.05 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 154169 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12654399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6780
/proc/meminfo: memFree=28699088/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1602.03 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 160167 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6781
/proc/meminfo: memFree=28699420/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1662.02 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 166166 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 6955420 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6783
/proc/meminfo: memFree=28699284/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1722.01 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 172165 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12429249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6785
/proc/meminfo: memFree=28699284/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1782 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 178164 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 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) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6785
/proc/meminfo: memFree=28699164/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1800 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 179964 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12655040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6785
/proc/meminfo: memFree=28699164/32872528 swapFree=7620/7620
[pid=6615] ppid=6612 vsize=1317444 CPUtime=1800 cores=0,2,4,6
/proc/6615/stat : 6615 (toysat) R 6612 6615 5453 0 -1 4202496 270616 0 0 0 179964 36 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 140734531858560 12655040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6615/statm: 329361 270874 915 2943 0 326255 0
[pid=6615/tid=6616] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6616/stat : 6616 (toysat) S 6612 6615 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819805027568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6615/tid=6617] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6617/stat : 6617 (toysat) S 6612 6615 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819794537712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6615/tid=6618] ppid=6612 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6615/task/6618/stat : 6618 (toysat) S 6612 6615 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3072580 1349062656 270874 33554432000 4194304 16246674 140734531876656 139819707526320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.65
CPU system time (s): 0.366944
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.366944
maximum resident set size= 1083496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270616
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= 55
involuntary context switches= 2348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.156 second user time and 15.9736 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 19:36:05
IDJOB=4118110
IDBENCH=111453
IDSOLVER=2542
FILE ID=node106/4118110-1467221764
RUNJOBID= node106-1467209087-5469
PBS_JOBID= 19997588
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 1e87bcac4ffff8b4a6d42d54635fe7ae
RANDOM SEED=1812346360

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:        25191416 kB
Buffers:          110376 kB
Cached:          1599412 kB
SwapCached:            0 kB
Active:          6329308 kB
Inactive:         578856 kB
Active(anon):    5200956 kB
Inactive(anon):        0 kB
Active(file):    1128352 kB
Inactive(file):   578856 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16736 kB
Writeback:             4 kB
AnonPages:       5205864 kB
Mapped:            18468 kB
Shmem:               204 kB
Slab:             626312 kB
SReclaimable:      69560 kB
SUnreclaim:       556752 kB
KernelStack:        1464 kB
PageTables:        13552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5336984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node106 at 2016-06-29 20:06:05