Trace number 4079136

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.31 1800.6

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__256.opb
MD5SUM521ed767a167eb8f632cec6025d152e5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark5.11422
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25648
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint256
Maximum length of a constraint2305
Number of terms in the objective function 25600
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 859272960
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 859272960
Number of bits of the biggest sum of numbers30
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-07T04:56:06+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-4079136-1465268166.opb"]
0.00/0.01	c use --random-gen="4210651781 3725275638 2019557596 576132755 2060085118 2844642309 4214289838 3520758731 878701931 1690169441 1763071613 1097332258 2373134133 3978541874 3862135739 3735461225 930801239 3519055849 2594469480 1549267775 2469321999 3837994531 1568814071 1029502692 2840547216 743038772 1307164859 3875989997 3386478251 455080589 1121320722 3851049270 82252451 1132927348 3199383987 1576258709 570214149 350866537 3475085379 1782288229 988846989 628466871 3012298596 1350804149 147184141 1562702335 1776280677 261052409 1113754032 2946902648 521905731 1814058065 3637377401 3337094805 3385431633 3365591230 1514440177 1116954761 45629435 2905347185 3032934747 4070920211 273241109 378770502 3789221264 469490233 1384070612 2133687697 4226696675 3277068550 2846687959 3776038182 379450360 217461080 1404283135 3236338865 3687969946 1609098360 1621626421 494269668 2690502094 2334364795 1527658549 3474508183 726231697 1877025357 2200037003 3988241568 2555540662 104141893 2645291051 2381238041 1059242715 1259325903 3164553882 2661000407 3278043946 1485370181 3493779748 407158531 2303586412 2444649400 2068206867 3252545537 1839751906 3928568528 371930905 251483058 227568138 1714649235 3650629043 3017708821 2847458035 1680606210 2669956666 10314661 1786725941 3862336939 1336674571 2474468033 2256228535 1112609290 1825448466 2830320171 3170583917 2854744791 2903746647 4094452157 1308903132 3959344769 1138942535 3860641749 657182479 2686050895 538576817 3722481940 3852873432 1062440458 4047110813 78169692 1204504664 3781229123 1232055321 416780950 2374381561 472207601 2334700656 1804547354 54951764 297090513 2059509512 3355516313 260922885 3255000784 365216464 3636393347 1759298434 1513725337 672237548 1740056958 256068868 1899349628 10590099 4219487074 1158625359 2204487601 3712966192 3131792768 657432541 3951056598 2869668266 2929786018 2481880708 2790281121 2041926716 2765913851 269479923 2630869367 1169807291 955236715 3775806918 1513352482 227390684 3713609340 506566896 2625238982 3786751557 1883265212 2030267418 349271699 2371400366 1619940987 3868140631 2960111354 3991068218 3728287968 4154531271 332294107 1758948849 4057323701 3978313953 1453689237 619769256 603142295 1694786096 641121918 798820099 3720958871 3809723608 32552139 367935214 753761200 574373686 1162820445 3722218870 4001492863 332041155 1727537992 1710525023 3791848862 260596128 1508532974 121183442 3002276092 3504556556 3827648963 1581242487 168310044 1743126585 1929627195 4031630131 1079822673 3301695301 1979585430 616535737 3984733145 2171011820 2642723637 2801978961 2612817809 404019755 2218962200 3073429692 2554366171 921288154 3103636995 549885106 1223031308 31623172 148165629 1959750837 3595283824 3724963148 955361588 3130485774 3361976736 255 362436" option to reproduce the execution
0.08/0.19	c #vars 25648
0.08/0.19	c #constraints 150
0.49/0.55	c BCD2: Hardening is enabled.
0.49/0.55	c BCD2: BiasedSearch is enabled.
0.49/0.55	c Solving starts ...
0.49/0.55	c ============================[ Search Statistics ]============================
0.49/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.55	c =============================================================================
0.49/0.55	c  0.0s |       0 |        0 |        0 |     8616      0 |        0 |        0
1.69/1.75	c  1.2s |       1 |      311 |      100 |     8616      0 |        0 |        0
2.09/2.14	c  1.6s |       2 |     1632 |      250 |     9478      0 |        0 |        0
4.59/4.61	c  4.1s |       2 |     3974 |      450 |    10426      0 |        0 |        0
4.89/4.93	c  4.4s |       3 |     3974 |      475 |    10426      0 |        0 |        0
6.29/6.39	c  5.8s |       4 |    13075 |      813 |    11469      0 |        0 |        0
7.70/7.79	c  7.2s |       5 |    20036 |     1320 |    12616      0 |        0 |        0
10.09/10.12	c  9.6s |       5 |    22694 |     1420 |    13878      0 |        0 |        0
12.20/12.21	c 11.7s |       5 |    22980 |     1520 |    13878      0 |        0 |        0
14.19/14.25	c 13.7s |       5 |    23277 |     1620 |    13878      0 |        0 |        0
16.39/16.46	c 15.9s |       5 |    34932 |     1920 |    13878      0 |        0 |        0
17.60/17.65	c 17.1s |       6 |    35885 |     2081 |    15266      0 |        0 |        0
26.09/26.14	c 25.6s |       6 |    56208 |     2281 |    15266      0 |        0 |        0
31.09/31.17	c 30.6s |       6 |    66594 |     2340 |    15266      0 |        0 |        0
31.09/31.17	c #cpu_time = 30.511s
31.09/31.17	c #wall_clock_time = 30.590s
31.09/31.17	c #decision = 66594
31.09/31.17	c #random_decision = 234
31.09/31.17	c #conflict = 2340
31.09/31.17	c #restart = 6
31.09/31.17	o 1202842
31.49/31.52	c BCD2: updating upper bound: 859272960 -> 1202841
31.90/31.99	c BCD2: 0 <= obj <= 1202841
31.90/32.00	c BCD2: #cores=0, #unrelaxed=25600, #relaxed=0, #hardened=0
31.90/32.00	c BCD2: #sat=1 #unsat=1 bias=1/2
31.99/32.00	c Solving starts ...
31.99/32.00	c ============================[ Search Statistics ]============================
31.99/32.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.99/32.00	c       |         |          |          |    Limit     GC | Var      | Constra 
31.99/32.00	c =============================================================================
31.99/32.00	c  0.0s |       0 |        0 |        0 |    15266      0 |        0 |        0
32.09/32.10	c  0.1s |       0 |     3578 |        0 |    15266      0 |        0 |        0
32.09/32.10	c #cpu_time = 0.092s
32.09/32.10	c #wall_clock_time = 0.092s
32.09/32.10	c #decision = 3578
32.09/32.10	c #random_decision = 0
32.09/32.10	c #conflict = 0
32.09/32.10	c #restart = 0
32.09/32.10	c BCD2: found a new core of size 512: cost of the new core is >=10131
32.09/32.10	c lower bound updated to 10131
32.39/32.42	c BCD2: 10131 <= obj <= 1202841
32.39/32.42	c BCD2: #cores=1, #unrelaxed=25088, #relaxed=512, #hardened=0
32.39/32.42	c BCD2: #sat=1 #unsat=2 bias=2/3
32.39/32.43	c Solving starts ...
32.39/32.43	c ============================[ Search Statistics ]============================
32.39/32.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.39/32.43	c       |         |          |          |    Limit     GC | Var      | Constra 
32.39/32.43	c =============================================================================
32.39/32.43	c  0.0s |       0 |        0 |        0 |    15266      0 |        0 |        1
32.59/32.62	c  0.2s |       0 |    21973 |        0 |    15266      0 |        0 |        1
32.59/32.62	c #cpu_time = 0.180s
32.59/32.62	c #wall_clock_time = 0.181s
32.59/32.62	c #decision = 21973
32.59/32.62	c #random_decision = 0
32.59/32.62	c #conflict = 0
32.59/32.62	c #restart = 0
32.59/32.63	c BCD2: found a new core of size 2815: cost of the new core is >=9426
32.59/32.63	c lower bound updated to 19557
32.89/32.96	c BCD2: 19557 <= obj <= 1202841
32.89/32.96	c BCD2: #cores=2, #unrelaxed=22273, #relaxed=3327, #hardened=0
32.89/32.96	c BCD2: #sat=1 #unsat=3 bias=3/4

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 4307
/proc/meminfo: memFree=28370124/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 2623 0 0 0 0 0 0 0 20 0 4 0 108749750 721874944 2985 33554432000 4194304 16246674 140735534660704 140735534660128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 176751 2995 441 2943 0 173645 0
[pid=4307/tid=4308] ppid=4304 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 739700736 3055 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 743895040 3071 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108749750 748089344 3087 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 4307
/proc/meminfo: memFree=28370124/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 30904 0 0 0 5 3 0 0 20 0 4 0 108749750 1333334016 31203 33554432000 4194304 16246674 140735534660704 140735534660016 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 325521 31221 800 2943 0 322415 0
[pid=4307/tid=4308] ppid=4304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1333334016 31232 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1333334016 31244 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1333334016 31255 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200492 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 4307
/proc/meminfo: memFree=28370124/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 43286 0 0 0 14 5 0 0 20 0 4 0 108749750 1342771200 44096 33554432000 4194304 16246674 140735534660704 140735534643696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 327825 44096 806 2943 0 324719 0
[pid=4307/tid=4308] ppid=4304 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1342771200 44096 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1342771200 44096 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1342771200 44096 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.3005 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 4307
/proc/meminfo: memFree=28370124/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=0.29 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 45131 0 0 0 23 6 0 0 20 0 4 0 108749750 1350111232 45941 33554432000 4194304 16246674 140735534660704 140735534660016 4208632 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 45941 833 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 45941 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 45941 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 45941 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1318468

[startup+0.700391 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 4307
/proc/meminfo: memFree=28370124/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=0.69 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 46070 0 0 0 63 6 0 0 20 0 4 0 108749750 1350111232 46880 33554432000 4194304 16246674 140735534660704 140735534660016 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 46881 885 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 46881 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 46881 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 46881 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50036 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 4311
/proc/meminfo: memFree=28153816/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 53690 0 0 0 142 7 0 0 20 0 4 0 108749750 1350111232 54500 33554432000 4194304 16246674 140735534660704 140735534642624 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 54500 888 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 54500 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 54500 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 54500 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10037 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 4311
/proc/meminfo: memFree=28104092/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 65906 0 0 0 300 9 0 0 20 0 4 0 108749750 1350111232 66716 33554432000 4194304 16246674 140735534660704 140735534642624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 66716 891 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 66716 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 66716 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 66716 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30039 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 4311
/proc/meminfo: memFree=27885356/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 83298 0 0 0 617 12 0 0 20 0 4 0 108749750 1350111232 84108 33554432000 4194304 16246674 140735534660704 140735534642624 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 84109 891 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 84109 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 84109 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 84109 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 4311
/proc/meminfo: memFree=27041568/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=12.69 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 270294 0 0 0 1230 39 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 140735534642624 5721352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 271104 891 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 4312
/proc/meminfo: memFree=26942080/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 270294 0 0 0 2510 39 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 140735534642624 5722490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 329617 271104 891 2943 0 326511 0
[pid=4307/tid=4308] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1350111232 271104 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 4312
/proc/meminfo: memFree=26603264/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=1461828 CPUtime=51.08 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 306161 0 0 0 5065 43 0 0 20 0 4 0 108749750 1496911872 306971 33554432000 4194304 16246674 140735534660704 140735534660016 4225334 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 365457 306971 918 2943 0 362351 0
[pid=4307/tid=4308] ppid=4304 vsize=1461828 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 1496911872 306971 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=1461828 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 1496911872 306971 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=1461828 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 1496911872 306971 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1461828

[startup+102.301 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 4313
/proc/meminfo: memFree=25758468/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=2041412 CPUtime=102.27 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 451057 0 0 0 10166 61 0 0 20 0 4 0 108749750 2090405888 451867 33554432000 4194304 16246674 140735534660704 140735534658560 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 510353 451867 918 2943 0 507247 0
[pid=4307/tid=4308] ppid=4304 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 2090405888 451867 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 2090405888 451867 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 2090405888 451867 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2041412


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

[pid=4307] ppid=4304 vsize=5129796 CPUtime=1362.07 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1223155 0 0 0 135911 296 0 0 20 0 4 0 108749750 5252911104 1223965 33554432000 4194304 16246674 140735534660704 140735534658560 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1282449 1223965 919 2943 0 1279343 0
[pid=4307/tid=4308] ppid=4304 vsize=5129796 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5252911104 1223965 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5129796 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5252911104 1223965 33554432000 4194304 16246674 140735534660704 139935134755856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5129796 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5252911104 1223965 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 5129796

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 4368
/proc/meminfo: memFree=19761816/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5207620 CPUtime=1422.07 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1242611 0 0 0 141900 307 0 0 20 0 4 0 108749750 5332602880 1243421 33554432000 4194304 16246674 140735534660704 140735534658496 4221138 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1301905 1243421 919 2943 0 1298799 0
[pid=4307/tid=4308] ppid=4304 vsize=5207620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5332602880 1243421 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5207620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5332602880 1243421 33554432000 4194304 16246674 140735534660704 139935134755856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5207620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5332602880 1243421 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 5207620

[startup+1482.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/184 4372
/proc/meminfo: memFree=19600388/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5322308 CPUtime=1482.05 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1271283 0 0 0 147888 317 0 0 20 0 4 0 108749750 5450043392 1272093 33554432000 4194304 16246674 140735534660704 140735534658496 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1330577 1272093 919 2943 0 1327471 0
[pid=4307/tid=4308] ppid=4304 vsize=5322308 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5450043392 1272093 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5322308 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5450043392 1272093 33554432000 4194304 16246674 140735534660704 139935134755856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5322308 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5450043392 1272093 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 5322308

[startup+1542.31 s]
/proc/loadavg: 2.35 2.26 2.19 3/182 4373
/proc/meminfo: memFree=19827572/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5400132 CPUtime=1542.05 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1290739 0 0 0 153881 324 0 0 20 0 4 0 108749750 5529735168 1291549 33554432000 4194304 16246674 140735534660704 140735534659800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1350033 1291549 919 2943 0 1346927 0
[pid=4307/tid=4308] ppid=4304 vsize=5400132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5529735168 1291549 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5400132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5529735168 1291549 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5400132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5529735168 1291549 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 5400132

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/183 4375
/proc/meminfo: memFree=19346116/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5508676 CPUtime=1602.04 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1317875 0 0 0 159870 334 0 0 20 0 4 0 108749750 5640884224 1318685 33554432000 4194304 16246674 140735534660704 140735534658496 4221023 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1377169 1318685 919 2943 0 1374063 0
[pid=4307/tid=4308] ppid=4304 vsize=5508676 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5640884224 1318685 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5508676 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5640884224 1318685 33554432000 4194304 16246674 140735534660704 139935134755856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5508676 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5640884224 1318685 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 5508676

[startup+1662.3 s]
/proc/loadavg: 2.34 2.27 2.19 3/183 4376
/proc/meminfo: memFree=19209740/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5591620 CPUtime=1662.03 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1338611 0 0 0 165859 344 0 0 20 0 4 0 108749750 5725818880 1339421 33554432000 4194304 16246674 140735534660704 140735534659800 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1397905 1339421 919 2943 0 1394799 0
[pid=4307/tid=4308] ppid=4304 vsize=5591620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5725818880 1339421 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5591620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5725818880 1339421 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5591620 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5725818880 1339421 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 5591620

[startup+1722.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 4377
/proc/meminfo: memFree=19085900/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5669444 CPUtime=1722.02 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1358067 0 0 0 171849 353 0 0 20 0 4 0 108749750 5805510656 1358877 33554432000 4194304 16246674 140735534660704 140735534659800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1417361 1358877 919 2943 0 1414255 0
[pid=4307/tid=4308] ppid=4304 vsize=5669444 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5805510656 1358877 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5669444 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5805510656 1358877 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5669444 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5805510656 1358877 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 5669444

[startup+1782.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 4427
/proc/meminfo: memFree=23500672/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5777988 CPUtime=1782 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1385204 0 0 0 177837 363 0 0 20 0 4 0 108749750 5916659712 1386269 33554432000 4194304 16246674 140735534660704 140735534659800 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1444497 1386269 919 2943 0 1441391 0
[pid=4307/tid=4308] ppid=4304 vsize=5777988 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5916659712 1386269 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5777988 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5916659712 1386269 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5777988 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5916659712 1386269 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5777988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 4427
/proc/meminfo: memFree=23494708/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=5784132 CPUtime=1800.01 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) R 4304 4307 3556 0 -1 4202496 1386740 0 0 0 179635 366 0 0 20 0 4 0 108749750 5922951168 1387805 33554432000 4194304 16246674 140735534660704 140735534659920 4220498 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 1446033 1387805 919 2943 0 1442927 0
[pid=4307/tid=4308] ppid=4304 vsize=5784132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) S 4304 4307 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108749750 5922951168 1387805 33554432000 4194304 16246674 140735534660704 139935213399280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4307/tid=4309] ppid=4304 vsize=5784132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4309/stat : 4309 (toysat) S 4304 4307 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108749750 5922951168 1387805 33554432000 4194304 16246674 140735534660704 139935134756080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4307/tid=4310] ppid=4304 vsize=5784132 CPUtime=0 cores=1,3,5,7
/proc/4307/task/4310/stat : 4310 (toysat) S 4304 4307 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749750 5922951168 1387805 33554432000 4194304 16246674 140735534660704 139935124282544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 5784132

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

[startup+1800.4 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 4427
/proc/meminfo: memFree=23494708/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) Z 4304 4307 3556 0 -1 4203532 1386740 0 0 0 179635 376 0 0 20 0 2 0 108749750 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 0 0 0 0 0 0 0
[pid=4307/tid=4308] ppid=4304 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) R 4304 4307 3556 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 108749750 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 4427
/proc/meminfo: memFree=23494708/32872528 swapFree=17892/1720544
[pid=4307] ppid=4304 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/4307/stat : 4307 (toysat) Z 4304 4307 3556 0 -1 4203532 1386740 0 0 0 179635 395 0 0 20 0 2 0 108749750 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4307/statm: 0 0 0 0 0 0 0
[pid=4307/tid=4308] ppid=4304 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/4307/task/4308/stat : 4308 (toysat) R 4304 4307 3556 0 -1 4203588 9 0 0 0 0 28 0 0 20 0 2 0 108749750 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.6
CPU time (s): 1800.31
CPU user time (s): 1796.36
CPU system time (s): 3.9514
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 5784132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.36
system time used= 3.9514
maximum resident set size= 5551220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1386740
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= 1509
involuntary context switches= 2687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48732 second user time and 6.98694 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 04:56:06
IDJOB=4079136
IDBENCH=71916
IDSOLVER=2542
FILE ID=node117/4079136-1465268166
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079136-1465268166/watcher-4079136-1465268166 -o /tmp/evaluation-result-4079136-1465268166/solver-4079136-1465268166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079136-1465268166.opb

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

MD5SUM BENCH= 521ed767a167eb8f632cec6025d152e5
RANDOM SEED=1216570745

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        28370652 kB
Buffers:           79724 kB
Cached:           100680 kB
SwapCached:        55388 kB
Active:          1886924 kB
Inactive:         158904 kB
Active(anon):    1812800 kB
Inactive(anon):    54760 kB
Active(file):      74124 kB
Inactive(file):   104144 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             17472 kB
Writeback:             0 kB
AnonPages:       3531564 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             598312 kB
SReclaimable:      42536 kB
SUnreclaim:       555776 kB
KernelStack:        1520 kB
PageTables:        10684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3675260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1708032 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= 71704 MiB
End job on node117 at 2016-06-07 05:26:07