Trace number 4107042

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.53 1800.86

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__32.opb
MD5SUMf1b12c33aaac68f20158d6377be96ea7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark762407
Best CPU time to get the best result obtained on this benchmark1801.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables482998
Total number of constraints18000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)15002
Number of constraints which are nor clauses,nor cardinality constraints2998
Minimum length of a constraint32
Maximum length of a constraint1441
Number of terms in the objective function 480000
Biggest coefficient in the objective function 129631
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 16255252768
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 129631
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 16255252768
Number of bits of the biggest sum of numbers34
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-18T22:28:14+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107042-1466281694.opb"]
0.00/0.01	c use --random-gen="666377055 3383072843 1022684495 2440860014 8974586 881300014 3173808618 3551630810 3606676294 2713371854 2263478917 3943170235 4175925638 1852561263 589797593 2739326343 372814644 425545394 2317775188 1869965119 2927017062 1604919496 741334415 1940513206 2112486525 2058073711 1772408936 2036586794 2382327323 1973310684 4063778592 2863802722 2901485496 1155781323 1371723595 360693938 2580904696 4115024898 1534109279 730465237 2106688545 1996757625 1130556937 3413554405 3284155347 2262724778 1557766259 1427832775 2326052268 3801120259 4022713381 3637809911 3943785877 3380808788 2290505151 3251473845 1700361238 1165697167 2183947817 3875381929 1314681095 3490661666 43287818 1142968967 4061023628 3330487630 1511127622 2496969638 2052421178 1036956484 91731506 3699693468 2742321202 695427991 440541447 3167369878 655735457 3046836031 1166471050 1315018024 3345513262 3228503884 3952818402 2015376548 586502270 2985744216 3111847125 339038173 2919906021 1504643973 3206742519 1649991250 689830875 2404479170 1711314988 2079601970 3855111385 3959443738 4277572434 3714889203 3534532216 2903910657 3119079436 3961848871 1173508919 1335020552 677037505 704549820 315309774 1413163408 1156105696 2185214744 2461463891 769757421 3695921538 3958564875 3638804387 4118004945 1806361804 1018671765 3306455874 2818411311 2213307102 1365472966 1546490919 4016964571 4249302687 2620372616 130931392 3459147088 2659495124 1901786623 2726808151 2952365296 3317451614 1443924775 3784339484 1885126541 3000298238 2277697247 780740182 1780141116 840982641 3713255455 3338877190 959857668 3664964916 135543152 780198219 1849476013 1623217522 573765638 151066303 645031699 2621097710 4195449446 558272305 3489590385 1085670038 3279407939 2533310260 1252889716 438029251 1421372647 1747504694 3021360863 1886752100 2197017319 3667022783 1094527243 1571083834 2450453988 1733525907 2778456027 2031981458 2401329192 965217500 2474436098 3288687075 3600920569 4110618040 1942268309 1190798656 3864092525 798288261 3229041739 891562342 535480978 2624594081 1941204303 2949358716 2400454595 774409756 3589380036 2686745969 1314475249 1563220301 2140493255 2493749750 2060536951 1221812765 1900754421 1242231990 635780756 1750406998 1977576643 1880353559 843299325 3719094887 24259186 3901750831 2492613780 1238068058 3107644936 403636001 2165609565 2695703039 421522925 3149285707 745981868 280313428 1952742875 1123357449 265962944 4076373393 2845663834 3254964863 3726278403 2687224217 1896525684 2635077136 1204300548 3231106604 948874753 2674587867 3617380946 4108779238 3827754619 3618248853 401136805 4273457760 973118127 1842597817 1219715545 2224276645 1172101203 3433716608 1736234553 3374783392 2542516538 3391656646 2030821683 1949205462 3145423432 3991549923 3644461032 255 362436" option to reproduce the execution
3.30/3.40	c #vars 482998
3.40/3.40	c #constraints 18000
11.79/11.87	c BCD2: Hardening is enabled.
11.79/11.87	c BCD2: BiasedSearch is enabled.
11.79/11.87	c Solving starts ...
11.79/11.87	c ============================[ Search Statistics ]============================
11.79/11.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.79/11.87	c       |         |          |          |    Limit     GC | Var      | Constra 
11.79/11.87	c =============================================================================
11.79/11.88	c  0.0s |       0 |        0 |        0 |   167999      0 |        0 |        0
13.99/14.01	c  2.1s |       1 |     9298 |      100 |   167999      0 |        0 |        0
15.89/15.97	c  4.1s |       2 |    27368 |      250 |   184799      0 |        0 |        0
18.48/18.54	c  6.7s |       2 |    69913 |      450 |   203279      0 |        0 |        0
18.88/18.96	c  7.1s |       3 |    69913 |      475 |   203279      0 |        0 |        0
20.89/20.91	c  9.0s |       4 |    92131 |      813 |   223607      0 |        0 |        0
22.99/23.02	c 11.1s |       4 |   152379 |     1113 |   245968      0 |        0 |        0
24.49/24.50	c 12.6s |       5 |   204484 |     1320 |   245968      0 |        0 |        0
26.58/26.66	c 14.8s |       5 |   308986 |     1520 |   270565      0 |        0 |        0
29.08/29.15	c 17.3s |       5 |   420279 |     2020 |   270565      0 |        0 |        0
29.80/29.84	c 18.0s |       6 |   437106 |     2081 |   297622      0 |        0 |        0
31.99/32.06	c 20.2s |       6 |   567643 |     2281 |   297622      0 |        0 |        0
34.28/34.38	c 22.5s |       6 |   668671 |     2781 |   297622      0 |        0 |        0
36.68/36.71	c 24.8s |       6 |   788876 |     3181 |   297622      0 |        0 |        0
38.79/38.82	c 26.9s |       7 |   807002 |     3223 |   327385      0 |        0 |        0
40.79/40.87	c 29.0s |       7 |   961742 |     3323 |   327385      0 |        0 |        0
42.89/42.96	c 31.1s |       7 |  1021023 |     4223 |   327385      0 |        0 |        0
45.49/45.56	c 33.7s |       8 |  1026182 |     4936 |   360124      0 |        0 |        0
47.69/47.73	c 35.9s |       8 |  1197363 |     5036 |   360124      0 |        0 |        0
49.79/49.83	c 38.0s |       8 |  1236846 |     5636 |   360124      0 |        0 |        0
52.18/52.22	c 40.3s |       8 |  1324018 |     6136 |   360124      0 |        0 |        0
54.28/54.32	c 42.4s |       8 |  1370175 |     6836 |   360124      0 |        0 |        0
56.88/56.96	c 45.1s |       9 |  1410980 |     7506 |   396137      0 |        0 |        0
59.39/59.40	c 47.5s |       9 |  1602345 |     7606 |   396137      0 |        0 |        0
61.48/61.55	c 49.7s |       9 |  1636502 |     8306 |   396137      0 |        0 |        0
63.68/63.74	c 51.9s |       9 |  1670551 |     9206 |   396137      0 |        0 |        0
65.88/66.00	c 54.1s |       9 |  1673594 |     9806 |   396137      0 |        0 |        0
68.29/68.33	c 56.5s |       9 |  1674821 |    10306 |   396137      0 |        0 |        0
70.48/70.59	c 58.7s |       9 |  1675613 |    10706 |   396137      0 |        0 |        0
73.18/73.23	c 61.3s |       9 |  1676375 |    11006 |   396137      0 |        0 |        0
75.57/75.62	c 63.7s |      10 |  1677310 |    11361 |   435751      0 |        0 |        0
78.27/78.39	c 66.5s |      10 |  1898557 |    11461 |   435751      0 |        0 |        0
80.57/80.60	c 68.7s |      10 |  1977718 |    12161 |   435751      0 |        0 |        0
82.18/82.20	c 70.3s |      10 |  1992089 |    12547 |   435751      0 |        0 |        0
82.18/82.20	c #cpu_time = 69.682s
82.18/82.20	c #wall_clock_time = 69.678s
82.18/82.20	c #decision = 1992089
82.18/82.20	c #random_decision = 5872
82.18/82.20	c #conflict = 12547
82.18/82.20	c #restart = 10
82.18/82.22	o 99567628
83.08/83.13	c BCD2: updating upper bound: 16255252768 -> 99567627
87.07/87.17	c BCD2: 0 <= obj <= 99567627
87.17/87.22	c BCD2: #cores=0, #unrelaxed=480000, #relaxed=0, #hardened=0
87.17/87.22	c BCD2: #sat=1 #unsat=1 bias=1/2
87.17/87.25	c Solving starts ...
87.17/87.25	c ============================[ Search Statistics ]============================
87.17/87.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
87.17/87.25	c       |         |          |          |    Limit     GC | Var      | Constra 
87.17/87.25	c =============================================================================
87.17/87.25	c  0.0s |       0 |        0 |        0 |   435751      0 |        0 |        0
87.98/88.10	c  0.8s |       0 |    30692 |        0 |   435751      0 |        0 |        0
87.98/88.10	c #cpu_time = 0.827s
87.98/88.10	c #wall_clock_time = 0.827s
87.98/88.10	c #decision = 30692
87.98/88.10	c #random_decision = 0
87.98/88.10	c #conflict = 0
87.98/88.10	c #restart = 0
87.98/88.10	c BCD2: found a new core of size 160: cost of the new core is >=17963
87.98/88.10	c lower bound updated to 17963
88.27/88.33	c BCD2: 17963 <= obj <= 99567627
88.27/88.33	c BCD2: #cores=1, #unrelaxed=479840, #relaxed=160, #hardened=0
88.27/88.33	c BCD2: #sat=1 #unsat=2 bias=2/3
88.27/88.37	c Solving starts ...
88.27/88.37	c ============================[ Search Statistics ]============================
88.27/88.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
88.27/88.37	c       |         |          |          |    Limit     GC | Var      | Constra 
88.27/88.37	c =============================================================================
88.27/88.37	c  0.0s |       0 |        0 |        0 |   435751      0 |        0 |        1
90.29/90.36	c  2.0s |       0 |   457466 |        0 |   435751      0 |        0 |        1
90.29/90.36	c #cpu_time = 1.663s
90.29/90.36	c #wall_clock_time = 1.663s
90.29/90.36	c #decision = 457466
90.29/90.36	c #random_decision = 0
90.29/90.36	c #conflict = 0
90.29/90.36	c #restart = 0
90.29/90.36	c BCD2: found a new core of size 2105: cost of the new core is >=3536
90.29/90.36	c lower bound updated to 21499
90.48/90.60	c BCD2: 21499 <= obj <= 99567627
90.48/90.60	c BCD2: #cores=2, #unrelaxed=477735, #relaxed=2265, #hardened=0
90.48/90.60	c BCD2: #sat=1 #unsat=3 bias=3/4
592.81/592.94	c Solving starts ...
592.81/592.94	c ============================[ Search Statistics ]============================
592.81/592.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
592.81/592.94	c       |         |          |          |    Limit     GC | Var      | Constra 
592.81/592.94	c =============================================================================
592.81/592.94	c  0.0s |       0 |        0 |        0 |   435751      0 |        0 |        1
596.39/596.55	c  3.6s |       0 |   888312 |       91 |   435751      0 |        0 |        1
596.39/596.55	c #cpu_time = 3.338s
596.39/596.55	c #wall_clock_time = 3.338s
596.39/596.55	c #decision = 888312
596.39/596.55	c #random_decision = 0
596.39/596.55	c #conflict = 91
596.39/596.55	c #restart = 0
596.39/596.55	c BCD2: relaxing 733 and merging with 1 cores into a new core of size 893: cost of the new core is >=22013
596.39/596.55	c lower bound updated to 25549
596.60/596.77	c BCD2: 25549 <= obj <= 99567627
596.60/596.77	c BCD2: #cores=2, #unrelaxed=477002, #relaxed=2998, #hardened=0
596.60/596.77	c BCD2: #sat=1 #unsat=4 bias=4/5

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

pid=9900
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.18 2.13 2.09 3/179 9903
/proc/meminfo: memFree=29994492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2780 0 0 0 0 0 0 0 20 0 4 0 30214864 762769408 3141 33554432000 4194304 16246674 140733633642784 140733633642208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 186735 3149 441 2943 0 183629 0
[pid=9903/tid=9904] ppid=9900 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 781643776 3211 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 785838080 3229 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=771516 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30214864 790032384 3245 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100212 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 9903
/proc/meminfo: memFree=29994492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 31204 0 0 0 5 4 0 0 20 0 4 0 30214864 1333334016 31502 33554432000 4194304 16246674 140733633642784 140733633642096 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 325521 31518 800 2943 0 322415 0
[pid=9903/tid=9904] ppid=9900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1333334016 31530 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1333334016 31541 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1333334016 31552 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200527 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 9903
/proc/meminfo: memFree=29994492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 42244 0 0 0 14 5 0 0 20 0 4 0 30214864 1344868352 43053 33554432000 4194304 16246674 140733633642784 140733633642096 4220940 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 328337 43053 800 2943 0 325231 0
[pid=9903/tid=9904] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 43053 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 43053 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 43053 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300486 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 9903
/proc/meminfo: memFree=29994492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 44752 0 0 0 23 6 0 0 20 0 4 0 30214864 1344868352 45561 33554432000 4194304 16246674 140733633642784 140733633642096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 328337 45561 800 2943 0 325231 0
[pid=9903/tid=9904] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 45561 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 45561 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 45561 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700402 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 9903
/proc/meminfo: memFree=29994492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 56794 0 0 0 61 8 0 0 20 0 4 0 30214864 1344868352 57603 33554432000 4194304 16246674 140733633642784 140733633642096 7439750 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 328337 57603 801 2943 0 325231 0
[pid=9903/tid=9904] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 57603 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 57603 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1344868352 57603 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 9907
/proc/meminfo: memFree=29656612/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 88272 0 0 0 137 12 0 0 20 0 4 0 30214864 1351159808 89081 33554432000 4194304 16246674 140733633642784 140733633625776 8055516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 329873 89081 802 2943 0 326767 0
[pid=9903/tid=9904] ppid=9900 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1351159808 89081 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1351159808 89081 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1351159808 89081 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10041 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 9907
/proc/meminfo: memFree=29501224/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1344068 CPUtime=3.09 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 145830 0 0 0 290 19 0 0 20 0 4 0 30214864 1376325632 151749 33554432000 4194304 16246674 140733633642784 140733633625776 4221040 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 336017 151749 803 2943 0 332911 0
[pid=9903/tid=9904] ppid=9900 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1376325632 151749 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30214864 1376325632 151749 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1376325632 151749 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1344068

[startup+6.30041 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 9907
/proc/meminfo: memFree=28965160/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=1537604 CPUtime=6.29 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 250347 0 0 0 594 35 0 0 20 0 4 0 30214864 1574506496 257288 33554432000 4194304 16246674 140733633642784 140733633641960 13923792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 384401 257288 840 2943 0 381295 0
[pid=9903/tid=9904] ppid=9900 vsize=1537604 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 1574506496 257288 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=1537604 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 1574506496 257288 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=1537604 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 1574506496 257288 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1537604

[startup+12.7004 s]
/proc/loadavg: 2.21 2.14 2.10 3/183 9907
/proc/meminfo: memFree=28175820/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=2051652 CPUtime=12.69 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 447460 0 0 0 1208 61 0 0 20 0 4 0 30214864 2100891648 454401 33554432000 4194304 16246674 140733633642784 140733633624704 5659560 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 512913 454401 890 2943 0 509807 0
[pid=9903/tid=9904] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454401 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454401 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454401 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2051652

[startup+25.5005 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 9907
/proc/meminfo: memFree=28176448/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=2051652 CPUtime=25.49 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 447462 0 0 0 2486 63 0 0 20 0 4 0 30214864 2100891648 454403 33554432000 4194304 16246674 140733633642784 140733633641960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 512913 454403 892 2943 0 509807 0
[pid=9903/tid=9904] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454403 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454403 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=2051652 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 2100891648 454403 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2051652

[startup+51.1005 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 9907
/proc/meminfo: memFree=27354924/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=2871876 CPUtime=51.09 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 652521 0 0 0 5018 91 0 0 20 0 4 0 30214864 2940801024 659462 33554432000 4194304 16246674 140733633642784 140733633624704 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 717969 659462 895 2943 0 714863 0
[pid=9903/tid=9904] ppid=9900 vsize=2871876 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 2940801024 659462 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=2871876 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 2940801024 659462 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=2871876 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 2940801024 659462 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2871876

[startup+102.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 9908
/proc/meminfo: memFree=26689300/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=3535428 CPUtime=102.28 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 818437 0 0 0 10108 120 0 0 20 0 4 0 30214864 3620278272 825378 33554432000 4194304 16246674 140733633642784 140733633641880 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 883857 825378 923 2943 0 880751 0
[pid=9903/tid=9904] ppid=9900 vsize=3535428 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 3620278272 825378 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=3535428 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 3620278272 825378 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=3535428 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 3620278272 825378 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3535428


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

/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 8434290688 2000680 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8236612 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 8434290688 2000680 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8236612 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 8434290688 2000680 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 8236612

[startup+1362.3 s]
/proc/loadavg: 2.19 2.14 2.10 3/184 9991
/proc/meminfo: memFree=14254764/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8462916 CPUtime=1362.05 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2553118 0 0 0 135681 524 0 0 20 0 4 0 30214864 8666025984 2057256 33554432000 4194304 16246674 140733633642784 140733633641880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2115729 2057256 923 2943 0 2112623 0
[pid=9903/tid=9904] ppid=9900 vsize=8462916 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 8666025984 2057256 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8462916 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 8666025984 2057256 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8462916 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 8666025984 2057256 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 8462916

[startup+1422.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 9993
/proc/meminfo: memFree=14271908/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8611396 CPUtime=1422.05 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2590239 0 0 0 141667 538 0 0 20 0 4 0 30214864 8818069504 2094376 33554432000 4194304 16246674 140733633642784 140733633641880 13879840 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2152849 2094376 923 2943 0 2149743 0
[pid=9903/tid=9904] ppid=9900 vsize=8611396 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 8818069504 2094376 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8611396 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 8818069504 2094376 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8611396 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 8818069504 2094376 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 8611396

[startup+1482.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 9994
/proc/meminfo: memFree=13942960/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8684100 CPUtime=1482.03 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2608415 0 0 0 147654 549 0 0 20 0 4 0 30214864 8892518400 2112552 33554432000 4194304 16246674 140733633642784 140733633641880 4225128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2171025 2112552 923 2943 0 2167919 0
[pid=9903/tid=9904] ppid=9900 vsize=8684100 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 8892518400 2112552 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8684100 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 8892518400 2112552 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8684100 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 8892518400 2112552 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 8684100

[startup+1542.31 s]
/proc/loadavg: 1.97 2.06 2.08 3/183 9995
/proc/meminfo: memFree=13489272/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8831556 CPUtime=1542.03 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2645279 0 0 0 153642 561 0 0 20 0 4 0 30214864 9043513344 2149416 33554432000 4194304 16246674 140733633642784 140733633640640 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2207889 2149416 923 2943 0 2204783 0
[pid=9903/tid=9904] ppid=9900 vsize=8831556 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 9043513344 2149416 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8831556 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 9043513344 2149416 33554432000 4194304 16246674 140733633642784 140672417897488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8831556 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 9043513344 2149416 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 8831556

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 9996
/proc/meminfo: memFree=13272672/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8977988 CPUtime=1602.02 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2681887 0 0 0 159626 576 0 0 20 0 4 0 30214864 9193459712 2186024 33554432000 4194304 16246674 140733633642784 140733633641960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2244497 2186024 923 2943 0 2241391 0
[pid=9903/tid=9904] ppid=9900 vsize=8977988 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 9193459712 2186024 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8977988 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 9193459712 2186024 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8977988 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 9193459712 2186024 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 8977988

[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.07 3/183 9997
/proc/meminfo: memFree=13815328/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=9051716 CPUtime=1662 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2700319 0 0 0 165615 585 0 0 20 0 4 0 30214864 9268957184 2204456 33554432000 4194304 16246674 140733633642784 140733633640576 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2262929 2204456 923 2943 0 2259823 0
[pid=9903/tid=9904] ppid=9900 vsize=9051716 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 9268957184 2204456 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=9051716 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 9268957184 2204456 33554432000 4194304 16246674 140733633642784 140672417897488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=9051716 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 9268957184 2204456 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 9051716

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 9999
/proc/meminfo: memFree=14642888/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=8641092 CPUtime=1722 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 2936351 0 0 0 171574 626 0 0 20 0 4 0 30214864 8848478208 2101800 33554432000 4194304 16246674 140733633642784 140733633640832 4206964 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2160273 2101800 923 2943 0 2157167 0
[pid=9903/tid=9904] ppid=9900 vsize=8641092 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 8848478208 2101800 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=8641092 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 8848478208 2101800 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=8641092 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 8848478208 2101800 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 8641092

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/183 10000
/proc/meminfo: memFree=13254520/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=9357892 CPUtime=1781.98 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 3176223 0 0 0 177529 669 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140733633641960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2339473 2281000 923 2943 0 2336367 0
[pid=9903/tid=9904] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 9357892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.07 2.07 3/183 10001
/proc/meminfo: memFree=12635492/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=9357892 CPUtime=1800.09 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) R 9900 9903 7739 0 -1 4202496 3176223 0 0 0 179337 672 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140733633641880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 2339473 2281000 923 2943 0 2336367 0
[pid=9903/tid=9904] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9904/stat : 9904 (toysat) S 9900 9903 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672428387568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) S 9900 9903 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672417897712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9903/tid=9906] ppid=9900 vsize=9357892 CPUtime=0 cores=0,2,4,6
/proc/9903/task/9906/stat : 9906 (toysat) S 9900 9903 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30214864 9582481408 2281000 33554432000 4194304 16246674 140733633642784 140672407424176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9357892

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

[startup+1800.81 s]
/proc/loadavg: 2.11 2.07 2.07 3/181 10001
/proc/meminfo: memFree=18784640/32872528 swapFree=496868/529572
[pid=9903] ppid=9900 vsize=0 CPUtime=1800.49 cores=0,2,4,6
/proc/9903/stat : 9903 (toysat) Z 9900 9903 7739 0 -1 4203532 3176223 0 0 0 179337 712 0 0 20 0 2 0 30214864 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9903/statm: 0 0 0 0 0 0 0
[pid=9903/tid=9905] ppid=9900 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/9903/task/9905/stat : 9905 (toysat) R 9900 9903 7739 0 -1 4203588 10 0 0 0 0 40 0 0 20 0 2 0 30214864 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.86
CPU time (s): 1800.53
CPU user time (s): 1793.37
CPU system time (s): 7.16491
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 9357892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 7.16491
maximum resident set size= 9124000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3176223
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= 807
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65129 second user time and 6.85696 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 22:28:14
IDJOB=4107042
IDBENCH=71850
IDSOLVER=2542
FILE ID=node141/4107042-1466281694
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= f1b12c33aaac68f20158d6377be96ea7
RANDOM SEED=556319166

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.54
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.547
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.547
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29994384 kB
Buffers:          162976 kB
Cached:           285688 kB
SwapCached:         2528 kB
Active:          1324228 kB
Inactive:         279468 kB
Active(anon):    1155108 kB
Inactive(anon):     2028 kB
Active(file):     169120 kB
Inactive(file):   277440 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             38508 kB
Writeback:            40 kB
AnonPages:       1682732 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             611944 kB
SReclaimable:      55204 kB
SUnreclaim:       556740 kB
KernelStack:        1456 kB
PageTables:         7060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1824584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1171456 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= 71668 MiB
End job on node141 at 2016-06-18 22:58:15