Trace number 4079120

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.41 1800.72

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__8.opb
MD5SUM72861eeea573496d1666702a4f8ef4b3
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark774413
Best CPU time to get the best result obtained on this benchmark1800.92
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint8
Maximum length of a constraint353
Number of terms in the objective function 80000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 2772199848
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 2772199848
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:25:54+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-4079120-1465266353.opb"]
0.00/0.01	c use --random-gen="3345250713 468807879 799769125 3495438052 2375065714 2503842704 858710836 2759684033 4089893504 499336665 27015888 340223071 2361990715 3310830838 2262271285 3634168711 1107838732 3911914342 2788864831 3855586552 978359767 2390436788 647367641 27484413 2342333667 1312752675 1963260689 3589458170 4251312250 647930929 1722774285 3991241782 781196532 20696449 568521549 2456539591 26697549 540665580 47212521 3447065958 2620872503 1647804467 918064812 522123145 2404521763 359118896 2255818070 1654979314 1244820414 518017265 3619707956 2056506424 3645262527 1416554696 1658287370 644591285 1158624206 2638343928 1368202416 319263790 148731887 2435307809 718733164 1916276188 3956268063 2432490543 366797587 667074936 165520913 700405241 1818570561 2382321086 4181957590 1640166571 1057122940 1046519295 2334097858 2866595278 309614609 130444703 3051787098 472474681 3289142907 1359636001 2650646341 3797096951 2281253259 1546869759 4290483661 2743744313 3679202227 366129298 2606310727 503242304 2346905414 1259694624 720223420 1022325446 1256189010 3989656266 913151346 3094781287 3582904329 1895803841 1096594735 491046013 2488452721 225710863 91294735 2583565223 606975806 569439696 3471297585 1053786306 1880577139 2624140143 1812595777 1043218993 1769101802 3852881115 1001630001 4017532566 3873525123 1254934999 3012195332 306060282 1174235937 1507735573 3649427677 2504208943 3224636843 1946548478 402657920 3074336108 3693303205 3451888843 3364779917 2433939547 2979329617 1906831241 2584162603 431950879 210538727 2722961063 3043171051 2904027429 670996559 601548745 4084977318 1913843122 843690388 612397275 268003460 2188071013 2308457011 2647892991 697690305 2513241746 3095844663 552060190 3147438631 2617157303 3983955682 4287103425 1784074478 1108871726 2674733776 1360593926 2758110343 23889935 3938641492 3545271219 3616845423 3762034480 2842522631 308910822 84511691 823223255 3982891686 2312763523 312988908 3287175616 433808136 1993978061 2535952396 1742416098 2565459227 3442367340 3826486696 122526440 3041944963 1189142700 2141384331 969299367 2173650789 1155799548 3112000101 3125679368 3183283077 822040611 2164562515 3658080482 835634211 2223497076 3455128078 1420169639 1772794877 2442415356 3551732843 1110694255 3485581103 2399161701 4060357872 3439305930 4074551574 1190467238 539967991 3595307175 3458076156 713959622 2721015722 1013900904 3167203221 3834973808 3729150746 1675898827 3100325629 562453969 2571864589 1117430229 2969493267 3836238045 1984091165 1785813689 1709369825 3959718153 1835321853 2462665949 121160316 4092033421 2756963512 1880807899 2628502512 3134769335 4293873568 910119606 155095107 2925606907 1783070683 3500490176 2733744366 1520956497 2829532517 1431604461 1614591892 2138448291 255 362436" option to reproduce the execution
0.59/0.60	c #vars 81998
0.59/0.60	c #constraints 12000
1.79/1.86	c BCD2: Hardening is enabled.
1.79/1.86	c BCD2: BiasedSearch is enabled.
1.79/1.86	c Solving starts ...
1.79/1.86	c ============================[ Search Statistics ]============================
1.79/1.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.79/1.86	c       |         |          |          |    Limit     GC | Var      | Constra 
1.79/1.86	c =============================================================================
1.99/2.06	c  0.0s |       0 |        0 |        0 |    31999      0 |        0 |        0
2.49/2.51	c  0.4s |       1 |     7431 |      100 |    31999      0 |        0 |        0
2.99/3.04	c  1.0s |       2 |    24008 |      250 |    35199      0 |        0 |        0
3.59/3.68	c  1.6s |       3 |    60805 |      475 |    38719      0 |        0 |        0
4.40/4.44	c  2.4s |       4 |   101250 |      813 |    42591      0 |        0 |        0
5.39/5.42	c  3.4s |       5 |   162168 |     1320 |    46851      0 |        0 |        0
6.39/6.43	c  4.4s |       5 |   231023 |     1776 |    51537      0 |        0 |        0
6.39/6.43	c #cpu_time = 4.250s
6.39/6.43	c #wall_clock_time = 4.261s
6.39/6.43	c #decision = 231023
6.39/6.43	c #random_decision = 707
6.39/6.43	c #conflict = 1776
6.39/6.43	c #restart = 5
6.39/6.43	o 69813605
6.49/6.59	c BCD2: updating upper bound: 2772199848 -> 69813604
7.19/7.28	c BCD2: 0 <= obj <= 69813604
7.19/7.29	c BCD2: #cores=0, #unrelaxed=80000, #relaxed=0, #hardened=0
7.19/7.29	c BCD2: #sat=1 #unsat=1 bias=1/2
7.29/7.30	c Solving starts ...
7.29/7.30	c ============================[ Search Statistics ]============================
7.29/7.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.29/7.30	c       |         |          |          |    Limit     GC | Var      | Constra 
7.29/7.30	c =============================================================================
7.29/7.30	c  0.0s |       0 |        0 |        0 |    51537      0 |        0 |        0
7.39/7.40	c  0.1s |       0 |     8312 |        0 |    51537      0 |        0 |        0
7.39/7.40	c #cpu_time = 0.099s
7.39/7.40	c #wall_clock_time = 0.099s
7.39/7.40	c #decision = 8312
7.39/7.40	c #random_decision = 0
7.39/7.40	c #conflict = 0
7.39/7.40	c #restart = 0
7.39/7.40	c BCD2: found a new core of size 40: cost of the new core is >=8736
7.39/7.40	c lower bound updated to 8736
7.39/7.44	c BCD2: 8736 <= obj <= 69813604
7.39/7.44	c BCD2: #cores=1, #unrelaxed=79960, #relaxed=40, #hardened=0
7.39/7.44	c BCD2: #sat=1 #unsat=2 bias=2/3
7.39/7.45	c Solving starts ...
7.39/7.45	c ============================[ Search Statistics ]============================
7.39/7.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.39/7.45	c       |         |          |          |    Limit     GC | Var      | Constra 
7.39/7.45	c =============================================================================
7.39/7.45	c  0.0s |       0 |        0 |        0 |    51537      0 |        0 |        1
7.59/7.70	c  0.2s |       0 |    52926 |        0 |    51537      0 |        0 |        1
7.59/7.70	c #cpu_time = 0.209s
7.59/7.70	c #wall_clock_time = 0.210s
7.59/7.70	c #decision = 52926
7.59/7.70	c #random_decision = 0
7.59/7.70	c #conflict = 0
7.59/7.70	c #restart = 0
7.59/7.70	c BCD2: found a new core of size 182: cost of the new core is >=806
7.59/7.70	c lower bound updated to 9542
7.69/7.74	c BCD2: 9542 <= obj <= 69813604
7.69/7.74	c BCD2: #cores=2, #unrelaxed=79778, #relaxed=222, #hardened=0
7.69/7.74	c BCD2: #sat=1 #unsat=3 bias=3/4
35.09/35.12	c Solving starts ...
35.09/35.12	c ============================[ Search Statistics ]============================
35.09/35.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.09/35.12	c       |         |          |          |    Limit     GC | Var      | Constra 
35.09/35.12	c =============================================================================
35.09/35.13	c  0.0s |       0 |        0 |        0 |    51537      0 |        0 |        1
35.99/36.09	c  1.0s |       0 |   225863 |       53 |    51537      0 |        0 |        1
35.99/36.09	c #cpu_time = 0.919s
35.99/36.09	c #wall_clock_time = 0.922s
35.99/36.09	c #decision = 225863
35.99/36.09	c #random_decision = 0
35.99/36.09	c #conflict = 53
35.99/36.09	c #restart = 0
35.99/36.09	c BCD2: relaxing 476 and merging with 1 cores into a new core of size 516: cost of the new core is >=11689
35.99/36.09	c lower bound updated to 12495
36.09/36.15	c BCD2: 12495 <= obj <= 69813604
36.09/36.15	c BCD2: #cores=2, #unrelaxed=79302, #relaxed=698, #hardened=0
36.09/36.15	c BCD2: #sat=1 #unsat=4 bias=4/5
40.69/40.76	c Solving starts ...
40.69/40.76	c ============================[ Search Statistics ]============================
40.69/40.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
40.69/40.76	c       |         |          |          |    Limit     GC | Var      | Constra 
40.69/40.76	c =============================================================================
40.69/40.76	c  0.0s |       0 |        0 |        0 |    51537      0 |        2 |        1
41.59/41.68	c  0.9s |       1 |   206394 |      100 |    51537      0 |        2 |        4
42.89/42.95	c  2.2s |       1 |   570685 |      193 |    51537      0 |        2 |        4
42.89/42.95	c #cpu_time = 2.074s
42.89/42.95	c #wall_clock_time = 2.079s
42.89/42.95	c #decision = 570685
42.89/42.95	c #random_decision = 0
42.89/42.95	c #conflict = 193
42.89/42.95	c #restart = 1
42.89/42.95	o 87300
42.99/43.03	c BCD2: hardening fixes 4096 literals
42.99/43.03	c BCD2: updating upper bound: 69813604 -> 87299
43.49/43.59	c BCD2: 12495 <= obj <= 87299
43.49/43.59	c BCD2: #cores=2, #unrelaxed=75230, #relaxed=674, #hardened=4096
43.49/43.59	c BCD2: #sat=2 #unsat=4 bias=4/6

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

pid=13321
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.04 2.12 2.16 3/179 13324
/proc/meminfo: memFree=29484220/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 108569910 770109440 2662 33554432000 4194304 16246674 140733240637760 140733240637184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 188783 2672 441 2943 0 185677 0
[pid=13324/tid=13325] ppid=13321 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 787935232 2730 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 793178112 2747 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108569911 797372416 2763 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.04 2.12 2.16 3/179 13324
/proc/meminfo: memFree=29484220/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 29972 0 0 0 5 4 0 0 20 0 4 0 108569910 1333334016 29759 33554432000 4194304 16246674 140733240637760 140733240637072 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 325521 29773 798 2943 0 322415 0
[pid=13324/tid=13325] ppid=13321 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1333334016 29785 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1333334016 29795 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1333334016 29807 33554432000 4194304 16246674 140733240637760 140236632870064 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.200474 s]
/proc/loadavg: 2.04 2.12 2.16 3/179 13324
/proc/meminfo: memFree=29484220/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 45724 0 0 0 14 5 0 0 20 0 4 0 108569910 1344868352 46022 33554432000 4194304 16246674 140733240637760 140733240637072 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 328337 46040 799 2943 0 325231 0
[pid=13324/tid=13325] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46052 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46063 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46075 33554432000 4194304 16246674 140733240637760 140236632870064 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) 1313348

[startup+0.300473 s]
/proc/loadavg: 2.04 2.12 2.16 3/179 13324
/proc/meminfo: memFree=29484220/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 46472 0 0 0 23 5 0 0 20 0 4 0 108569910 1344868352 46770 33554432000 4194304 16246674 140733240637760 140733240637072 13780488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 328337 46770 801 2943 0 325231 0
[pid=13324/tid=13325] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46770 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46770 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1344868352 46770 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700392 s]
/proc/loadavg: 2.04 2.12 2.16 3/179 13324
/proc/meminfo: memFree=29484220/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1343044 CPUtime=0.69 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 71180 0 0 0 60 9 0 0 20 0 4 0 108569910 1375277056 71478 33554432000 4194304 16246674 140733240637760 140733240636856 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 335761 71484 813 2943 0 332655 0
[pid=13324/tid=13325] ppid=13321 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1375277056 71487 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1375277056 71491 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1375277056 71495 33554432000 4194304 16246674 140733240637760 140236632870064 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) 1343044

[startup+1.50039 s]
/proc/loadavg: 2.04 2.12 2.16 3/183 13328
/proc/meminfo: memFree=28806944/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1345092 CPUtime=1.49 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 273610 0 0 0 114 35 0 0 20 0 4 0 108569910 1377374208 273909 33554432000 4194304 16246674 140733240637760 140733240636856 6165910 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 336273 273919 839 2943 0 333167 0
[pid=13324/tid=13325] ppid=13321 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1377374208 273925 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1377374208 273931 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1377374208 273938 33554432000 4194304 16246674 140733240637760 140236632870064 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) 1345092

[startup+3.1004 s]
/proc/loadavg: 2.04 2.12 2.16 3/183 13328
/proc/meminfo: memFree=28358180/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1362500 CPUtime=3.09 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 281298 0 0 0 273 36 0 0 20 0 4 0 108569910 1395200000 281596 33554432000 4194304 16246674 140733240637760 140733240619648 6842808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 340625 281596 887 2943 0 337519 0
[pid=13324/tid=13325] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281596 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281596 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281596 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1362500

[startup+6.3004 s]
/proc/loadavg: 2.03 2.12 2.16 4/183 13328
/proc/meminfo: memFree=28358072/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1362500 CPUtime=6.29 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 281303 0 0 0 593 36 0 0 20 0 4 0 108569910 1395200000 281601 33554432000 4194304 16246674 140733240637760 140733240619648 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 340625 281601 890 2943 0 337519 0
[pid=13324/tid=13325] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281601 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281601 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281601 33554432000 4194304 16246674 140733240637760 140236632870064 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) 1362500

[startup+12.7004 s]
/proc/loadavg: 2.03 2.12 2.16 3/183 13328
/proc/meminfo: memFree=28357996/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1362500 CPUtime=12.69 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 281331 0 0 0 1233 36 0 0 20 0 4 0 108569910 1395200000 281629 33554432000 4194304 16246674 140733240637760 140733240635648 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 340625 281629 917 2943 0 337519 0
[pid=13324/tid=13325] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281629 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281629 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1395200000 281629 33554432000 4194304 16246674 140733240637760 140236632870064 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) 1362500

[startup+25.5005 s]
/proc/loadavg: 2.02 2.11 2.15 4/183 13328
/proc/meminfo: memFree=28097852/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1661508 CPUtime=25.49 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 355836 0 0 0 2502 47 0 0 20 0 4 0 108569910 1701384192 356135 33554432000 4194304 16246674 140733240637760 140733240635584 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 415377 356142 917 2943 0 412271 0
[pid=13324/tid=13325] ppid=13321 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1701384192 356148 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1701384192 356153 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1701384192 356156 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1661508

[startup+51.1005 s]
/proc/loadavg: 2.08 2.12 2.15 4/182 13328
/proc/meminfo: memFree=28003604/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1716804 CPUtime=51.09 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 369908 0 0 0 5060 49 0 0 20 0 4 0 108569910 1758007296 370206 33554432000 4194304 16246674 140733240637760 140733240637072 4226104 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 429201 370206 918 2943 0 426095 0
[pid=13324/tid=13325] ppid=13321 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 1758007296 370206 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 1758007296 370206 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 1758007296 370206 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1716804

[startup+102.3 s]
/proc/loadavg: 2.09 2.11 2.15 3/183 13330
/proc/meminfo: memFree=27761992/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=1957444 CPUtime=102.28 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 430068 0 0 0 10171 57 0 0 20 0 4 0 108569910 2004422656 430366 33554432000 4194304 16246674 140733240637760 140733240619648 4225167 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 489361 430366 918 2943 0 486255 0
[pid=13324/tid=13325] ppid=13321 vsize=1957444 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 2004422656 430366 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=1957444 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 2004422656 430366 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=1957444 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 2004422656 430366 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1957444


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

/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 7913988 0 0 0 134909 1295 0 0 20 0 4 0 108569910 5516103680 1287975 33554432000 4194304 16246674 140733240637760 140733240637072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1346705 1287975 919 2943 0 1343599 0
[pid=13324/tid=13325] ppid=13321 vsize=5386820 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5516103680 1287975 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5386820 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5516103680 1287975 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5386820 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5516103680 1287975 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 5386820

[startup+1422.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 13509
/proc/meminfo: memFree=17273444/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5499460 CPUtime=1422.04 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 8348933 0 0 0 140840 1364 0 0 20 0 4 0 108569910 5631447040 1316136 33554432000 4194304 16246674 140733240637760 140733240636856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1374865 1316136 919 2943 0 1371759 0
[pid=13324/tid=13325] ppid=13321 vsize=5499460 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5631447040 1316136 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5499460 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5631447040 1316136 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5499460 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5631447040 1316136 33554432000 4194304 16246674 140733240637760 140236632870064 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) 5499460

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.08 4/184 13513
/proc/meminfo: memFree=17067012/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5524036 CPUtime=1482.03 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 8670213 0 0 0 146784 1419 0 0 20 0 4 0 108569910 5656612864 1322280 33554432000 4194304 16246674 140733240637760 140733240636856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1381009 1322280 919 2943 0 1377903 0
[pid=13324/tid=13325] ppid=13321 vsize=5524036 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5656612864 1322280 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5524036 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5656612864 1322280 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5524036 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5656612864 1322280 33554432000 4194304 16246674 140733240637760 140236632870064 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) 5524036

[startup+1542.31 s]
/proc/loadavg: 2.14 2.08 2.08 4/183 13514
/proc/meminfo: memFree=17503804/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5003844 CPUtime=1542.02 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 8902150 0 0 0 152737 1465 0 0 20 0 4 0 108569910 5123936256 1192232 33554432000 4194304 16246674 140733240637760 140733240635584 4207014 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1250961 1192232 919 2943 0 1247855 0
[pid=13324/tid=13325] ppid=13321 vsize=5003844 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5123936256 1192232 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5003844 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5123936256 1192232 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5003844 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5123936256 1192232 33554432000 4194304 16246674 140733240637760 140236632870064 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) 5003844

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 13516
/proc/meminfo: memFree=17049520/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5290564 CPUtime=1602 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 9284359 0 0 0 158674 1526 0 0 20 0 4 0 108569910 5417537536 1263913 33554432000 4194304 16246674 140733240637760 140733240635584 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1322641 1263913 919 2943 0 1319535 0
[pid=13324/tid=13325] ppid=13321 vsize=5290564 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5417537536 1263913 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5290564 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5417537536 1263913 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5290564 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5417537536 1263913 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 5290564

[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 13517
/proc/meminfo: memFree=17189272/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5069380 CPUtime=1661.99 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 9582601 0 0 0 164625 1574 0 0 20 0 4 0 108569910 5191045120 1208617 33554432000 4194304 16246674 140733240637760 140733240637072 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1267345 1208617 919 2943 0 1264239 0
[pid=13324/tid=13325] ppid=13321 vsize=5069380 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5191045120 1208617 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5069380 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5191045120 1208617 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5069380 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5191045120 1208617 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 5069380

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 13518
/proc/meminfo: memFree=16356264/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5751364 CPUtime=1721.97 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 9910281 0 0 0 170570 1627 0 0 20 0 4 0 108569910 5889396736 1379113 33554432000 4194304 16246674 140733240637760 140733240635584 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1437841 1379113 919 2943 0 1434735 0
[pid=13324/tid=13325] ppid=13321 vsize=5751364 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5889396736 1379113 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5751364 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108569911 5889396736 1379113 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5751364 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5889396736 1379113 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 5751364

[startup+1782.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/183 13519
/proc/meminfo: memFree=16321156/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5687876 CPUtime=1781.97 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 10098442 0 0 0 176535 1662 0 0 20 0 4 0 108569910 5824385024 1363242 33554432000 4194304 16246674 140733240637760 140733240635648 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1421969 1363242 919 2943 0 1418863 0
[pid=13324/tid=13325] ppid=13321 vsize=5687876 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5824385024 1363242 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5687876 CPUtime=0.01 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108569911 5824385024 1363242 33554432000 4194304 16246674 140733240637760 140236643343376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5687876 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5824385024 1363242 33554432000 4194304 16246674 140733240637760 140236632870064 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) 5687876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 13520
/proc/meminfo: memFree=16576564/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=5364292 CPUtime=1800.06 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) R 13321 13324 9895 0 -1 4202496 10134028 0 0 0 178335 1671 0 0 20 0 4 0 108569910 5493035008 1282346 33554432000 4194304 16246674 140733240637760 140733240637072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 1341073 1282346 919 2943 0 1337967 0
[pid=13324/tid=13325] ppid=13321 vsize=5364292 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13325/stat : 13325 (toysat) S 13321 13324 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108569911 5493035008 1282346 33554432000 4194304 16246674 140733240637760 140236653833456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=5364292 CPUtime=0.01 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) S 13321 13324 9895 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108569911 5493035008 1282346 33554432000 4194304 16246674 140733240637760 140236643343600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13324/tid=13327] ppid=13321 vsize=5364292 CPUtime=0 cores=0,2,4,6
/proc/13324/task/13327/stat : 13327 (toysat) S 13321 13324 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108569911 5493035008 1282346 33554432000 4194304 16246674 140733240637760 140236632870064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 5364292

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

[startup+1800.6 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 13520
/proc/meminfo: memFree=16576564/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) Z 13321 13324 9895 0 -1 4203532 10134028 0 0 0 178336 1690 0 0 20 0 2 0 108569910 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 0 0 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=0 CPUtime=0.2 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) R 13321 13324 9895 0 -1 4203588 8 0 0 0 1 19 0 0 20 0 2 0 108569911 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.11 2.09 2.09 3/181 13520
/proc/meminfo: memFree=21436272/32872528 swapFree=12208/1156848
[pid=13324] ppid=13321 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/13324/stat : 13324 (toysat) Z 13321 13324 9895 0 -1 4203532 10134028 0 0 0 178336 1701 0 0 20 0 2 0 108569910 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13324/statm: 0 0 0 0 0 0 0
[pid=13324/tid=13326] ppid=13321 vsize=0 CPUtime=0.31 cores=0,2,4,6
/proc/13324/task/13326/stat : 13326 (toysat) R 13321 13324 9895 0 -1 4203588 8 0 0 0 1 30 0 0 20 0 2 0 108569911 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.41
CPU user time (s): 1783.38
CPU system time (s): 17.0294
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 5830212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.38
system time used= 17.0294
maximum resident set size= 5595304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10134028
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= 1529
involuntary context switches= 1815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6303 second user time and 6.83696 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 04:25:53
IDJOB=4079120
IDBENCH=71860
IDSOLVER=2542
FILE ID=node114/4079120-1465266353
RUNJOBID= node114-1465241547-9911
PBS_JOBID= 19843245
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_2000_5__647_1792__8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079120-1465266353/watcher-4079120-1465266353 -o /tmp/evaluation-result-4079120-1465266353/solver-4079120-1465266353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079120-1465266353.opb

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

MD5SUM BENCH= 72861eeea573496d1666702a4f8ef4b3
RANDOM SEED=1896623323

node114.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.852
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.70
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.852
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.852
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.852
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.852
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.852
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.852
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.54
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.852
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:        29484748 kB
Buffers:          124600 kB
Cached:           231364 kB
SwapCached:         1696 kB
Active:          1280560 kB
Inactive:         215084 kB
Active(anon):    1140668 kB
Inactive(anon):     1252 kB
Active(file):     139892 kB
Inactive(file):   213832 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             19852 kB
Writeback:             0 kB
AnonPages:       2297688 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             601188 kB
SReclaimable:      45200 kB
SUnreclaim:       555988 kB
KernelStack:        1512 kB
PageTables:         8408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2440084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1961984 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= 71700 MiB
End job on node114 at 2016-06-07 04:55:54