Trace number 4079114

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.35 1800.66

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
MD5SUM659ee731f96ff56544db308ac6299615
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark426607
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint8
Maximum length of a constraint329
Number of terms in the objective function 40000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1373838504
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1373838504
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-07T04:31:28+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-4079114-1465266688.opb"]
0.00/0.01	c use --random-gen="1816447859 988576824 1830189075 1606689511 2674050273 3232555445 2631100498 2554781829 3204160557 1279788693 990950880 988359077 2088316670 961011224 3750934238 328023917 281086182 3875274652 2811953240 2938969270 4004046989 2418160132 1677262462 1822411611 2560054954 1679146110 3061201675 63292866 1219067477 2361577374 1597573836 984623456 3099375343 3281642091 3082177982 1704869004 206552410 3320874025 561194803 1274082370 2123836990 1603638329 514627765 2925074583 3692181475 3853548029 1277521076 2670192406 2483511911 4243498078 3481906627 922620468 601480407 651185310 271731079 2689774779 31383701 1583157637 3319747350 2783736255 240710311 1044359726 4138719030 4135616037 2608679396 2299336784 3390471265 673259872 4195247556 1536203106 1798301202 2951053894 2437792471 3417877723 2477675524 2507065807 64426967 3818031666 2258833812 3607706997 356032749 3704694967 2293631626 1678132779 717981612 3459362907 270875888 810150591 1512177320 3274924193 3598193529 3708020482 825632152 909583908 4181449243 2888822981 2062929018 3575919851 308952885 208733719 504945823 1831860916 1472302539 654808213 4062987228 3492107682 3363015829 2841436065 3735544774 1970242479 932017869 482611860 698556744 4007312472 1382605920 2635628588 1497181006 1816193482 3684139661 2251727437 2013918233 2502103904 2813938258 3787748842 3153407609 2993408472 1357889302 2941583825 1026053192 348298776 1800008336 354735793 3536490345 3368106852 251588197 3413419419 343189080 2502441265 3017217859 3180619885 38297512 75741741 3382445688 1738402095 2335678997 3994306857 2168242389 3148509546 3416622360 4089325396 4039334749 821694854 4234063213 2462276231 1193491767 3858234733 3868645172 3720641762 584451085 1146070533 1666764061 3631567587 2840980934 934679540 754302185 2601193188 2066401259 3240206565 3226772583 2159071379 2842891608 2944766286 986488705 546499163 791272606 3103742208 3423129475 1048213389 1042606076 3746769303 1143323990 1020571766 942375594 2798704505 843321900 3994800871 1443364644 3705641944 3959639073 3019028651 1748835583 3429418714 1927085861 2376070369 3137969504 2824316917 3850575267 1527477375 2547358797 694984659 779784643 4009114342 1460058202 142603542 2596379652 1261798657 2742978337 1170424825 1453761554 1081636616 3668931590 816214798 3923962325 4286113603 3920780790 3989243928 760130302 2624499613 518286855 4292017815 3132154176 645495403 2009425261 3935448174 810011250 1919784620 540249074 2800022065 2323073483 494495064 2396149978 1558426417 2198186136 1771973558 1280721978 1692534210 241104012 1684035093 2747982352 1737817011 1838801422 2450964579 2830934343 3215773218 509152711 3783208416 1306185985 3707158651 2385490 3109947219 313740583 3204632159 3513844690 1724204678 2302403251 477153962 255 362436" option to reproduce the execution
0.29/0.31	c #vars 40998
0.29/0.31	c #constraints 6000
0.79/0.85	c BCD2: Hardening is enabled.
0.79/0.85	c BCD2: BiasedSearch is enabled.
0.79/0.85	c Solving starts ...
0.79/0.85	c ============================[ Search Statistics ]============================
0.79/0.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.85	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.85	c =============================================================================
0.79/0.85	c  0.0s |       0 |        0 |        0 |    15999      0 |        0 |        0
1.10/1.12	c  0.3s |       1 |     3890 |      100 |    15999      0 |        0 |        0
1.59/1.63	c  0.8s |       2 |    14678 |      250 |    17599      0 |        0 |        0
1.89/1.92	c  1.1s |       3 |    36496 |      475 |    19359      0 |        0 |        0
2.29/2.38	c  1.5s |       4 |    65925 |      813 |    21295      0 |        0 |        0
2.68/2.70	c  1.8s |       4 |    89605 |      929 |    23425      0 |        0 |        0
2.68/2.70	c #cpu_time = 1.786s
2.68/2.70	c #wall_clock_time = 1.790s
2.68/2.70	c #decision = 89605
2.68/2.70	c #random_decision = 275
2.68/2.70	c #conflict = 929
2.68/2.70	c #restart = 4
3.08/3.28	o 34059382
6.99/7.06	c BCD2: updating upper bound: 1373838504 -> 34059381
11.29/11.40	c BCD2: 0 <= obj <= 34059381
11.39/11.41	c BCD2: #cores=0, #unrelaxed=40000, #relaxed=0, #hardened=0
11.39/11.41	c BCD2: #sat=1 #unsat=1 bias=1/2
11.39/11.42	c Solving starts ...
11.39/11.42	c ============================[ Search Statistics ]============================
11.39/11.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.39/11.42	c       |         |          |          |    Limit     GC | Var      | Constra 
11.39/11.42	c =============================================================================
11.39/11.42	c  0.0s |       0 |        0 |        0 |    23425      0 |        0 |        0
11.39/11.49	c  0.1s |       0 |     9326 |        0 |    23425      0 |        0 |        0
11.39/11.49	c #cpu_time = 0.058s
11.39/11.49	c #wall_clock_time = 0.058s
11.39/11.49	c #decision = 9326
11.39/11.49	c #random_decision = 0
11.39/11.49	c #conflict = 0
11.39/11.49	c #restart = 0
11.39/11.49	c BCD2: found a new core of size 48: cost of the new core is >=6052
11.39/11.49	c lower bound updated to 6052
15.58/15.66	c BCD2: 6052 <= obj <= 34059381
15.58/15.66	c BCD2: #cores=1, #unrelaxed=39952, #relaxed=48, #hardened=0
15.58/15.66	c BCD2: #sat=1 #unsat=2 bias=2/3
15.68/15.76	c Solving starts ...
15.68/15.76	c ============================[ Search Statistics ]============================
15.68/15.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.68/15.76	c       |         |          |          |    Limit     GC | Var      | Constra 
15.68/15.76	c =============================================================================
15.68/15.76	c  0.0s |       0 |        0 |        0 |    23425      0 |        0 |        1
15.79/15.87	c  0.1s |       0 |    24760 |        0 |    23425      0 |        0 |        1
15.79/15.87	c #cpu_time = 0.095s
15.79/15.87	c #wall_clock_time = 0.095s
15.79/15.87	c #decision = 24760
15.79/15.87	c #random_decision = 0
15.79/15.87	c #conflict = 0
15.79/15.87	c #restart = 0
15.79/15.87	c BCD2: found a new core of size 56: cost of the new core is >=9641
15.79/15.87	c lower bound updated to 15693
19.98/20.07	c BCD2: 15693 <= obj <= 34059381
19.98/20.07	c BCD2: #cores=2, #unrelaxed=39896, #relaxed=104, #hardened=0
19.98/20.07	c BCD2: #sat=1 #unsat=3 bias=3/4
19.98/20.08	c Solving starts ...
19.98/20.08	c ============================[ Search Statistics ]============================
19.98/20.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.98/20.08	c       |         |          |          |    Limit     GC | Var      | Constra 
19.98/20.08	c =============================================================================
19.98/20.08	c  0.0s |       0 |        0 |        0 |    23425      0 |        0 |        2
20.38/20.45	c  0.4s |       0 |    90786 |       31 |    23425      0 |        0 |        2
20.38/20.45	c #cpu_time = 0.327s
20.38/20.45	c #wall_clock_time = 0.328s
20.38/20.45	c #decision = 90786
20.38/20.45	c #random_decision = 0
20.38/20.45	c #conflict = 31
20.38/20.45	c #restart = 0
20.38/20.45	c BCD2: relaxing 930 and merging with 1 cores into a new core of size 986: cost of the new core is >=13095
20.38/20.45	c lower bound updated to 19147
24.78/24.80	c BCD2: 19147 <= obj <= 34059381
24.78/24.80	c BCD2: #cores=2, #unrelaxed=38966, #relaxed=1034, #hardened=0
24.78/24.80	c BCD2: #sat=1 #unsat=4 bias=4/5
24.88/25.00	c Solving starts ...
24.88/25.00	c ============================[ Search Statistics ]============================
24.88/25.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.88/25.00	c       |         |          |          |    Limit     GC | Var      | Constra 
24.88/25.00	c =============================================================================
24.98/25.00	c  0.0s |       0 |        0 |        0 |    23425      0 |        1 |        2
25.38/25.40	c  0.4s |       1 |    95829 |      100 |    23425      0 |        1 |        3
25.79/25.81	c  0.8s |       1 |   205678 |      164 |    23425      0 |        1 |        3
25.79/25.81	c #cpu_time = 0.783s
25.79/25.81	c #wall_clock_time = 0.785s
25.79/25.81	c #decision = 205678
25.79/25.81	c #random_decision = 0
25.79/25.81	c #conflict = 164
25.79/25.81	c #restart = 1
25.79/25.82	c BCD2: relaxing 573 and merging with 1 cores into a new core of size 621: cost of the new core is >=9240
25.79/25.82	c lower bound updated to 22335
29.98/30.08	c BCD2: 22335 <= obj <= 34059381
29.98/30.08	c BCD2: #cores=2, #unrelaxed=38393, #relaxed=1607, #hardened=0
29.98/30.08	c BCD2: #sat=1 #unsat=5 bias=5/6
29.98/30.09	c Solving starts ...
29.98/30.09	c ============================[ Search Statistics ]============================
29.98/30.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.98/30.09	c       |         |          |          |    Limit     GC | Var      | Constra 
29.98/30.09	c =============================================================================
29.98/30.10	c  0.0s |       0 |        0 |        0 |    23425      0 |        4 |        3
30.38/30.49	c  0.4s |       0 |    79911 |       61 |    23425      0 |        4 |        8
30.38/30.49	c #cpu_time = 0.330s
30.38/30.49	c #wall_clock_time = 0.330s
30.38/30.49	c #decision = 79911
30.38/30.49	c #random_decision = 0
30.38/30.49	c #conflict = 61
30.38/30.49	c #restart = 0
30.38/30.49	o 329722
30.58/30.61	c BCD2: updating upper bound: 34059381 -> 329721
30.88/30.97	c BCD2: 22335 <= obj <= 329721
30.88/30.97	c BCD2: #cores=2, #unrelaxed=38393, #relaxed=1607, #hardened=0
30.88/30.97	c BCD2: #sat=2 #unsat=5 bias=5/7
301.64/301.71	c Solving starts ...
301.64/301.71	c ============================[ Search Statistics ]============================
301.64/301.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
301.64/301.71	c       |         |          |          |    Limit     GC | Var      | Constra 
301.64/301.71	c =============================================================================
301.64/301.71	c  0.0s |       0 |        0 |        0 |    23425      0 |        4 |        9
301.94/302.06	c  0.4s |       1 |    91255 |      100 |    23425      0 |        4 |        9
302.24/302.39	c  0.7s |       2 |   129306 |      250 |    25768      0 |        4 |        9
302.74/302.84	c  1.1s |       3 |   167351 |      475 |    25768      0 |        4 |        9
303.64/303.71	c  2.0s |       4 |   241316 |      813 |    25768      0 |        4 |        9
305.05/305.12	c  3.4s |       5 |   364125 |     1320 |    28345      0 |        4 |        9
307.14/307.23	c  5.5s |       5 |   480410 |     2020 |    28345      0 |        4 |        9
307.35/307.46	c  5.7s |       6 |   480639 |     2081 |    31180      0 |        4 |        9
309.34/309.46	c  7.8s |       6 |   520650 |     2881 |    31180      0 |        4 |        9
310.24/310.38	c  8.7s |       7 |   522257 |     3223 |    31180      0 |        4 |        9
312.43/312.57	c 10.9s |       7 |   562085 |     3923 |    34298      0 |        4 |        9
314.54/314.69	c 13.0s |       7 |   565063 |     4723 |    34298      0 |        4 |        9
315.24/315.34	c 13.6s |       8 |   565489 |     4936 |    34298      0 |        4 |        9
317.44/317.53	c 15.8s |       8 |   617325 |     5736 |    34298      0 |        4 |        9
319.63/319.71	c 18.0s |       8 |   620019 |     6636 |    37728      0 |        4 |        9
321.73/321.88	c 20.2s |       9 |   623343 |     7506 |    37728      0 |        4 |        9
324.03/324.13	c 22.4s |       9 |   681870 |     8106 |    37728      0 |        4 |        9
326.14/326.20	c 24.5s |       9 |   683919 |     8806 |    37728      0 |        4 |        9
328.24/328.38	c 26.7s |       9 |  1017781 |     9586 |    37728      0 |        4 |        9
328.24/328.38	c #cpu_time = 26.548s
328.24/328.38	c #wall_clock_time = 26.618s
328.24/328.38	c #decision = 1017781
328.24/328.38	c #random_decision = 6
328.24/328.38	c #conflict = 9586
328.24/328.38	c #restart = 9
328.24/328.38	o 225105
328.34/328.48	c BCD2: updating upper bound: 329721 -> 225104
328.74/328.82	c BCD2: 22335 <= obj <= 225104
328.74/328.82	c BCD2: #cores=2, #unrelaxed=38393, #relaxed=1607, #hardened=0
328.74/328.82	c BCD2: #sat=3 #unsat=5 bias=5/8

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

pid=10435
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.23 2.23 2.19 3/173 10438
/proc/meminfo: memFree=30270400/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 2836 0 0 0 0 0 0 0 20 0 4 0 108602161 776400896 2686 33554432000 4194304 16246674 140734069672896 140734069672320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 190319 2696 441 2943 0 187213 0
[pid=10438/tid=10439] ppid=10435 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 795275264 2754 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 798420992 2770 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108602161 803663872 2788 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.23 2.23 2.19 3/173 10438
/proc/meminfo: memFree=30270400/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 29938 0 0 0 4 5 0 0 20 0 4 0 108602161 1333334016 29726 33554432000 4194304 16246674 140734069672896 140734069655888 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 325521 29742 798 2943 0 322415 0
[pid=10438/tid=10439] ppid=10435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1333334016 29752 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1333334016 29763 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1333334016 29774 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.2005 s]
/proc/loadavg: 2.23 2.23 2.19 3/173 10438
/proc/meminfo: memFree=30270400/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 44395 0 0 0 13 6 0 0 20 0 4 0 108602161 1342771200 44695 33554432000 4194304 16246674 140734069672896 140734069655888 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 327825 44712 800 2943 0 324719 0
[pid=10438/tid=10439] ppid=10435 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1342771200 44723 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1342771200 44735 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1342771200 44746 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300473 s]
/proc/loadavg: 2.23 2.23 2.19 3/173 10438
/proc/meminfo: memFree=30270400/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 52001 0 0 0 21 8 0 0 20 0 4 0 108602161 1343819776 52300 33554432000 4194304 16246674 140734069672896 140734069655888 7372329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 328081 52300 801 2943 0 324975 0
[pid=10438/tid=10439] ppid=10435 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1343819776 52300 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1343819776 52300 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1343819776 52300 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700391 s]
/proc/loadavg: 2.23 2.23 2.19 3/173 10438
/proc/meminfo: memFree=30270400/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1325636 CPUtime=0.69 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 127907 0 0 0 50 19 0 0 20 0 4 0 108602161 1357451264 128206 33554432000 4194304 16246674 140734069672896 140734069655888 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 331409 128220 837 2943 0 328303 0
[pid=10438/tid=10439] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 128227 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 128235 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 128243 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50038 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 10442
/proc/meminfo: memFree=29483392/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 214452 0 0 0 118 31 0 0 20 0 4 0 108602161 1357451264 214751 33554432000 4194304 16246674 140734069672896 140734069654784 4206964 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 331409 214751 885 2943 0 328303 0
[pid=10438/tid=10439] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 214751 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 214751 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1357451264 214751 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10035 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 10442
/proc/meminfo: memFree=29307808/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1335876 CPUtime=3.08 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 225828 0 0 0 276 32 0 0 20 0 4 0 108602161 1367937024 226127 33554432000 4194304 16246674 140734069672896 140734069654784 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 333969 226127 896 2943 0 330863 0
[pid=10438/tid=10439] ppid=10435 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1367937024 226127 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1367937024 226127 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1367937024 226127 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1335876

[startup+6.3004 s]
/proc/loadavg: 2.27 2.24 2.20 4/184 10456
/proc/meminfo: memFree=28561448/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1354308 CPUtime=6.29 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 279261 0 0 0 589 40 0 0 20 0 4 0 108602161 1386811392 279560 33554432000 4194304 16246674 140734069672896 140734069670720 12653033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 338577 279560 896 2943 0 335471 0
[pid=10438/tid=10439] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279560 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279560 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279560 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1354308

[startup+12.7005 s]
/proc/loadavg: 2.25 2.24 2.19 3/184 10456
/proc/meminfo: memFree=27882468/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1354308 CPUtime=12.69 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 279280 0 0 0 1229 40 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140734069654784 13881826 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 338577 279579 915 2943 0 335471 0
[pid=10438/tid=10439] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1354308

[startup+25.5004 s]
/proc/loadavg: 2.21 2.23 2.19 3/183 10456
/proc/meminfo: memFree=26138980/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1354308 CPUtime=25.48 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 279280 0 0 0 2508 40 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140734069654784 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 338577 279579 915 2943 0 335471 0
[pid=10438/tid=10439] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1386811392 279579 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1354308

[startup+51.1074 s]
/proc/loadavg: 2.14 2.21 2.18 4/184 10457
/proc/meminfo: memFree=20145740/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=1625668 CPUtime=51.08 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 347089 0 0 0 5059 49 0 0 20 0 4 0 108602161 1664684032 347388 33554432000 4194304 16246674 140734069672896 140734069672112 13007876 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 406417 347388 915 2943 0 403311 0
[pid=10438/tid=10439] ppid=10435 vsize=1625668 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 1664684032 347388 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=1625668 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 1664684032 347388 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=1625668 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 1664684032 347388 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1625668

[startup+102.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/184 10458
/proc/meminfo: memFree=17156728/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=2003524 CPUtime=102.27 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 442352 0 0 0 10165 62 0 0 20 0 4 0 108602161 2051608576 441883 33554432000 4194304 16246674 140734069672896 140734069671992 4220527 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 500881 441883 915 2943 0 497775 0
[pid=10438/tid=10439] ppid=10435 vsize=2003524 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 2051608576 441883 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=2003524 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 2051608576 441883 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=2003524 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 2051608576 441883 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2003524


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

/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 4885909504 1134115 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=4771396 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 4885909504 1134115 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=4771396 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 4885909504 1134115 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 4771396

[startup+1362.31 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 10694
/proc/meminfo: memFree=13050648/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=4830788 CPUtime=1362.05 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3021843 0 0 0 135659 546 0 0 20 0 4 0 108602161 4946726912 1148963 33554432000 4194304 16246674 140734069672896 140734069671992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1207697 1148963 919 2943 0 1204591 0
[pid=10438/tid=10439] ppid=10435 vsize=4830788 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 4946726912 1148963 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=4830788 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108602161 4946726912 1148963 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=4830788 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 4946726912 1148963 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 4830788

[startup+1422.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/183 10695
/proc/meminfo: memFree=13124736/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=4753988 CPUtime=1422.04 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3105555 0 0 0 141639 565 0 0 20 0 4 0 108602161 4868083712 1129763 33554432000 4194304 16246674 140734069672896 140734069671992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1188497 1129763 919 2943 0 1185391 0
[pid=10438/tid=10439] ppid=10435 vsize=4753988 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 4868083712 1129763 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=4753988 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 4868083712 1129763 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=4753988 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 4868083712 1129763 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 4753988

[startup+1482.3 s]
/proc/loadavg: 2.34 2.26 2.20 3/183 10696
/proc/meminfo: memFree=12797344/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5083716 CPUtime=1482.03 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3216659 0 0 0 147615 588 0 0 20 0 4 0 108602161 5205725184 1212195 33554432000 4194304 16246674 140734069672896 140734069672208 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1270929 1212195 919 2943 0 1267823 0
[pid=10438/tid=10439] ppid=10435 vsize=5083716 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5205725184 1212195 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5083716 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5205725184 1212195 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5083716 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5205725184 1212195 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 5083716

[startup+1542.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/183 10697
/proc/meminfo: memFree=12773068/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5106244 CPUtime=1542.02 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3271443 0 0 0 153599 603 0 0 20 0 4 0 108602161 5228793856 1217827 33554432000 4194304 16246674 140734069672896 140734069672072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1276561 1217827 919 2943 0 1273455 0
[pid=10438/tid=10439] ppid=10435 vsize=5106244 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5228793856 1217827 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5106244 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5228793856 1217827 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5106244 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5228793856 1217827 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 5106244

[startup+1602.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/183 10699
/proc/meminfo: memFree=12636112/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5243460 CPUtime=1602.01 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3321107 0 0 0 159584 617 0 0 20 0 4 0 108602161 5369303040 1252131 33554432000 4194304 16246674 140734069672896 140734069671992 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1310865 1252131 919 2943 0 1307759 0
[pid=10438/tid=10439] ppid=10435 vsize=5243460 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5369303040 1252131 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5243460 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5369303040 1252131 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5243460 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5369303040 1252131 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 5243460

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 10700
/proc/meminfo: memFree=12529508/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5348932 CPUtime=1662 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3357715 0 0 0 165570 630 0 0 20 0 4 0 108602161 5477306368 1278499 33554432000 4194304 16246674 140734069672896 140734069672208 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1337233 1278499 919 2943 0 1334127 0
[pid=10438/tid=10439] ppid=10435 vsize=5348932 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5477306368 1278499 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5348932 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5477306368 1278499 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5348932 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5477306368 1278499 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 5348932

[startup+1722.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 10704
/proc/meminfo: memFree=12365340/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5512772 CPUtime=1721.99 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3398675 0 0 0 171558 641 0 0 20 0 4 0 108602161 5645078528 1319459 33554432000 4194304 16246674 140734069672896 140734069671992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1378193 1319459 919 2943 0 1375087 0
[pid=10438/tid=10439] ppid=10435 vsize=5512772 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5645078528 1319459 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5512772 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5645078528 1319459 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5512772 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5645078528 1319459 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 5512772

[startup+1782.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/184 10728
/proc/meminfo: memFree=12251004/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5625412 CPUtime=1781.97 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3426835 0 0 0 177546 651 0 0 20 0 4 0 108602161 5760421888 1347619 33554432000 4194304 16246674 140734069672896 140734069671992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1406353 1347619 919 2943 0 1403247 0
[pid=10438/tid=10439] ppid=10435 vsize=5625412 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5760421888 1347619 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5625412 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5760421888 1347619 33554432000 4194304 16246674 140734069672896 140567209024752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5625412 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5760421888 1347619 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 5625412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.22 2.19 3/184 10728
/proc/meminfo: memFree=12203896/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=5673540 CPUtime=1800.08 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) R 10435 10438 9894 0 -1 4202496 3438867 0 0 0 179353 655 0 0 20 0 4 0 108602161 5809704960 1359651 33554432000 4194304 16246674 140734069672896 140734069670976 4225157 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 1418385 1359651 919 2943 0 1415279 0
[pid=10438/tid=10439] ppid=10435 vsize=5673540 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) S 10435 10438 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108602161 5809704960 1359651 33554432000 4194304 16246674 140734069672896 140567219514608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10438/tid=10440] ppid=10435 vsize=5673540 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (toysat) S 10435 10438 9894 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108602161 5809704960 1359651 33554432000 4194304 16246674 140734069672896 140567209024528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10438/tid=10441] ppid=10435 vsize=5673540 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (toysat) S 10435 10438 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108602161 5809704960 1359651 33554432000 4194304 16246674 140734069672896 140567198551216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 5673540

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

[startup+1800.6 s]
/proc/loadavg: 2.25 2.22 2.19 3/184 10728
/proc/meminfo: memFree=12203896/32872528 swapFree=15272/1656604
[pid=10438] ppid=10435 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/10438/stat : 10438 (toysat) Z 10435 10438 9894 0 -1 4203532 3438867 0 0 0 179355 675 0 0 20 0 2 0 108602161 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10438/statm: 0 0 0 0 0 0 0
[pid=10438/tid=10439] ppid=10435 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/10438/task/10439/stat : 10439 (toysat) R 10435 10438 9894 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 108602161 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 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.66
CPU time (s): 1800.35
CPU user time (s): 1793.55
CPU system time (s): 6.79697
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 5673540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 6.79697
maximum resident set size= 5438604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3438867
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= 1728
involuntary context switches= 1805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41202 second user time and 9.39457 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 04:31:28
IDJOB=4079114
IDBENCH=71875
IDSOLVER=2542
FILE ID=node136/4079114-1465266688
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 659ee731f96ff56544db308ac6299615
RANDOM SEED=1447175241

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.59
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.959
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.959
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:        30271780 kB
Buffers:           53064 kB
Cached:           179764 kB
SwapCached:          800 kB
Active:            93640 kB
Inactive:         146560 kB
Active(anon):       8224 kB
Inactive(anon):     1212 kB
Active(file):      85416 kB
Inactive(file):   145348 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:             38072 kB
Writeback:             0 kB
AnonPages:       1773068 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             570244 kB
SReclaimable:      14468 kB
SUnreclaim:       555776 kB
KernelStack:        1488 kB
PageTables:         6504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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= 71580 MiB
End job on node136 at 2016-06-07 05:01:29