Trace number 3446970

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.07 1800.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
MD5SUMbcc83dde29b6f868056a0bfa1b1372de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark16.8374
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints928
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 47257
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 47256
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
Number of bits of the biggest sum of numbers10
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3446970-1307905426.wbo.
0.00/0.00	c Instance file HOME/instance-3446970-1307905426.wbo
0.00/0.00	c File size is 88021 bytes.
0.00/0.00	c Highest Coefficient sum: 813
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     231     2707     8338 |     5500      101     18 |  0.002 % |
0.00/0.01	c |       253 |     231     2707     8338 |     6050      253     22 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     24 |  0.002 % |
0.00/0.02	c |       816 |     231     2707     8338 |     7320      816     28 |  0.002 % |
0.00/0.03	c |      1323 |     231     2707     8338 |     8052     1323     29 |  0.002 % |
0.00/0.05	c |      2082 |     231     2707     8338 |     8857     2082     28 |  0.002 % |
0.00/0.08	c |      3222 |     231     2707     8338 |     9743     3222     28 |  0.002 % |
0.09/0.14	c |      4930 |     231     2707     8338 |    10717     4930     29 |  0.002 % |
0.19/0.23	c |      7493 |     231     2707     8338 |    11789     7493     30 |  0.002 % |
0.39/0.40	c |     11337 |     231     2707     8338 |    12968    11337     31 |  0.002 % |
0.69/0.72	c |     17104 |     231     2707     8338 |    14265    10573     34 |  0.002 % |
1.18/1.21	c |     25754 |     231     2707     8338 |    15692    12048     33 |  0.002 % |
1.99/2.02	c |     38731 |     231     2707     8338 |    17261     9250     33 |  0.002 % |
3.20/3.23	c |     58193 |     231     2707     8338 |    18987    11390     34 |  0.002 % |
4.48/4.52	c ===============================================================================
4.78/4.82	c core #1
4.78/4.82	c 
4.78/4.82	c 
4.78/4.82	c Core size: 812	Core Weight: 1	Total Weight: 1
4.78/4.82	c Current CPU time: 4.69629 s
4.78/4.82	c
4.78/4.82	c ============================[ Search Statistics ]==============================
4.78/4.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.78/4.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.78/4.82	c ===============================================================================
4.78/4.82	c |         0 |     690     3494    11996 |     5000        0   -nan |  0.000 % |
4.78/4.82	c |       101 |     690     3494    11996 |     5500      101     20 |  0.000 % |
4.78/4.83	c |       251 |     690     3494    11996 |     6050      251     25 |  0.000 % |
4.78/4.83	c |       478 |     690     3494    11996 |     6655      478     25 |  0.000 % |
4.78/4.84	c |       815 |     690     3494    11996 |     7320      815     23 |  0.000 % |
4.78/4.85	c |      1322 |     690     3494    11996 |     8052     1322     24 |  0.000 % |
4.78/4.87	c |      2081 |     690     3494    11996 |     8857     2081     25 |  0.000 % |
4.89/4.90	c |      3221 |     690     3494    11996 |     9743     3221     27 |  0.000 % |
4.89/4.95	c |      4931 |     690     3494    11996 |    10717     4931     28 |  0.000 % |
4.99/5.06	c |      7494 |     690     3494    11996 |    11789     7494     30 |  0.000 % |
5.19/5.23	c |     11338 |     690     3494    11996 |    12968    11338     31 |  0.000 % |
5.49/5.51	c |     17104 |     690     3494    11996 |    14265    10595     30 |  0.000 % |
5.99/6.06	c |     25753 |     690     3494    11996 |    15692    12071     34 |  0.000 % |
6.79/6.84	c |     38728 |     690     3494    11996 |    17261     9263     34 |  0.000 % |
8.09/8.13	c |     58190 |     690     3494    11996 |    18987    11376     35 |  0.000 % |
9.90/9.97	c ===============================================================================
10.29/10.31	c core #2
10.29/10.31	c 
10.29/10.31	c 
10.29/10.31	c Core size: 817	Core Weight: 1	Total Weight: 2
10.29/10.31	c Current CPU time: 10.0545 s
10.29/10.31	c
10.29/10.31	c ============================[ Search Statistics ]==============================
10.29/10.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.29/10.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.29/10.31	c ===============================================================================
10.29/10.31	c |         0 |    1147     4281    15650 |     5000        0   -nan |  0.000 % |
10.29/10.31	c |       101 |    1147     4281    15650 |     5500      101     20 |  0.000 % |
10.29/10.31	c |       252 |    1147     4281    15650 |     6050      252     27 |  0.000 % |
10.29/10.32	c |       477 |    1147     4281    15650 |     6655      477     31 |  0.000 % |
10.29/10.33	c |       819 |    1147     4281    15650 |     7320      819     31 |  0.000 % |
10.29/10.34	c |      1325 |    1147     4281    15650 |     8052     1325     32 |  0.000 % |
10.29/10.36	c |      2085 |    1147     4281    15650 |     8857     2085     32 |  0.000 % |
10.39/10.40	c |      3226 |    1147     4281    15650 |     9743     3226     31 |  0.000 % |
10.39/10.45	c |      4935 |    1147     4281    15650 |    10717     4935     31 |  0.000 % |
10.49/10.55	c |      7497 |    1147     4281    15650 |    11789     7497     31 |  0.000 % |
10.69/10.74	c |     11342 |    1147     4281    15650 |    12968    11342     32 |  0.000 % |
11.00/11.08	c |     17109 |    1147     4281    15650 |    14265    10584     34 |  0.000 % |
11.49/11.58	c |     25765 |    1147     4281    15650 |    15692    12073     31 |  0.000 % |
12.29/12.36	c |     38740 |    1147     4281    15650 |    17261     9268     34 |  0.000 % |
13.49/13.57	c |     58202 |    1147     4281    15650 |    18987    11398     36 |  0.000 % |
15.58/15.60	c |     87394 |    1146     4281    15650 |    20886    11988     33 |  0.087 % |
16.79/16.89	c ===============================================================================
17.29/17.32	c core #3
17.29/17.32	c 
17.29/17.32	c 
17.29/17.32	c Core size: 787	Core Weight: 1	Total Weight: 3
17.29/17.32	c Current CPU time: 16.9164 s
17.29/17.32	c
17.29/17.32	c ============================[ Search Statistics ]==============================
17.29/17.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.29/17.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.29/17.32	c ===============================================================================
17.29/17.32	c |         0 |    1601     5039    19190 |     5000        0   -nan |  0.000 % |
17.29/17.33	c |       100 |    1601     5039    19190 |     5500      100     22 |  0.000 % |
17.29/17.33	c |       250 |    1601     5039    19190 |     6050      250     23 |  0.000 % |
17.29/17.34	c |       475 |    1601     5039    19190 |     6655      475     24 |  0.000 % |
17.29/17.34	c |       812 |    1601     5039    19190 |     7320      812     24 |  0.000 % |
17.29/17.36	c |      1319 |    1601     5039    19190 |     8052     1319     27 |  0.000 % |
17.29/17.38	c |      2081 |    1601     5039    19190 |     8857     2081     29 |  0.000 % |
17.39/17.41	c |      3220 |    1601     5039    19190 |     9743     3220     30 |  0.000 % |
17.39/17.47	c |      4928 |    1601     5039    19190 |    10717     4928     31 |  0.000 % |
17.50/17.58	c |      7491 |    1601     5039    19190 |    11789     7491     31 |  0.000 % |
17.69/17.77	c |     11335 |    1601     5039    19190 |    12968    11335     31 |  0.000 % |
17.99/18.06	c |     17102 |    1601     5039    19190 |    14265    10564     32 |  0.000 % |
18.49/18.54	c |     25753 |    1601     5039    19190 |    15692    12029     37 |  0.000 % |
19.29/19.35	c |     38727 |    1601     5039    19190 |    17261     9208     35 |  0.000 % |
20.49/20.54	c |     58188 |    1601     5039    19190 |    18987    11305     36 |  0.000 % |
21.39/21.46	c ===============================================================================
21.69/21.72	c core #4
21.69/21.72	c 
21.69/21.72	c 
21.69/21.72	c Core size: 831	Core Weight: 1	Total Weight: 4
21.69/21.72	c Current CPU time: 21.2478 s
21.69/21.72	c
21.69/21.72	c ============================[ Search Statistics ]==============================
21.69/21.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.69/21.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.69/21.72	c ===============================================================================
21.69/21.72	c |         0 |    2067     5840    22926 |     5000        0   -nan |  0.000 % |
21.69/21.72	c |       101 |    2067     5840    22926 |     5500      101     20 |  0.000 % |
21.69/21.72	c |       251 |    2067     5840    22926 |     6050      251     18 |  0.000 % |
21.69/21.73	c |       476 |    2067     5840    22926 |     6655      476     27 |  0.000 % |
21.69/21.74	c |       813 |    2067     5840    22926 |     7320      813     27 |  0.000 % |
21.69/21.75	c |      1319 |    2067     5840    22926 |     8052     1319     27 |  0.000 % |
21.69/21.77	c |      2079 |    2067     5840    22926 |     8857     2079     28 |  0.000 % |
21.79/21.81	c |      3218 |    2067     5840    22926 |     9743     3218     28 |  0.000 % |
21.79/21.87	c |      4926 |    2067     5840    22926 |    10717     4926     28 |  0.000 % |
21.90/21.97	c |      7491 |    2067     5840    22926 |    11789     7491     30 |  0.000 % |
22.09/22.16	c |     11335 |    2067     5840    22926 |    12968    11335     30 |  0.000 % |
22.39/22.48	c |     17103 |    2067     5840    22926 |    14265    10574     33 |  0.000 % |
22.89/23.00	c |     25753 |    2067     5840    22926 |    15692    12058     35 |  0.000 % |
23.89/23.96	c |     38730 |    2067     5840    22926 |    17261     9256     36 |  0.000 % |
25.20/25.25	c |     58192 |    2067     5840    22926 |    18987    11383     37 |  0.000 % |
27.29/27.30	c |     87384 |    2067     5840    22926 |    20886    11956     37 |  0.000 % |
28.89/28.99	c ===============================================================================
29.39/29.45	c core #5
29.39/29.45	c 
29.39/29.45	c 
29.39/29.45	c Core size: 810	Core Weight: 1	Total Weight: 5
29.39/29.45	c Current CPU time: 28.8116 s
29.39/29.45	c
29.39/29.45	c ============================[ Search Statistics ]==============================
29.39/29.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.39/29.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.39/29.45	c ===============================================================================
29.39/29.45	c |         0 |    2528     6602    26514 |     5000        0   -nan |  0.000 % |
29.39/29.46	c |       100 |    2528     6602    26514 |     5500      100     21 |  0.000 % |
29.39/29.46	c |       251 |    2528     6602    26514 |     6050      251     26 |  0.000 % |
29.39/29.47	c |       476 |    2528     6602    26514 |     6655      476     24 |  0.000 % |
29.39/29.48	c |       813 |    2528     6602    26514 |     7320      813     26 |  0.000 % |
29.39/29.49	c |      1323 |    2528     6602    26514 |     8052     1323     28 |  0.000 % |
29.49/29.51	c |      2082 |    2528     6602    26514 |     8857     2082     28 |  0.000 % |
29.49/29.55	c |      3222 |    2528     6602    26514 |     9743     3222     27 |  0.000 % |
29.59/29.61	c |      4930 |    2528     6602    26514 |    10717     4930     28 |  0.000 % |
29.70/29.71	c |      7495 |    2528     6602    26514 |    11789     7495     29 |  0.000 % |
29.89/29.90	c |     11340 |    2528     6602    26514 |    12968    11340     29 |  0.000 % |
30.09/30.17	c |     17107 |    2528     6602    26514 |    14265    10568     32 |  0.000 % |
30.59/30.66	c |     25758 |    2528     6602    26514 |    15692    12040     33 |  0.000 % |
31.39/31.47	c |     38734 |    2528     6602    26514 |    17261     9237     30 |  0.000 % |
32.69/32.75	c |     58202 |    2528     6602    26514 |    18987    11364     34 |  0.000 % |
34.69/34.70	c |     87396 |    2528     6602    26514 |    20886    11958     31 |  0.000 % |
36.99/37.05	c ===============================================================================
37.49/37.52	c core #6
37.49/37.52	c 
37.49/37.52	c 
37.49/37.52	c Core size: 855	Core Weight: 1	Total Weight: 6
37.49/37.52	c Current CPU time: 36.7084 s
37.49/37.52	c
37.49/37.52	c ============================[ Search Statistics ]==============================
37.49/37.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.49/37.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.49/37.52	c ===============================================================================
37.49/37.52	c |         0 |    3007     7392    30246 |     5000        0   -nan |  0.000 % |
37.49/37.52	c |       101 |    3007     7392    30246 |     5500      101     23 |  0.000 % |
37.49/37.53	c |       251 |    3007     7392    30246 |     6050      251     27 |  0.000 % |
37.49/37.53	c |       477 |    3007     7392    30246 |     6655      477     29 |  0.000 % |
37.49/37.54	c |       814 |    3007     7392    30246 |     7320      814     26 |  0.000 % |
37.49/37.56	c |      1322 |    3007     7392    30246 |     8052     1322     28 |  0.000 % |
37.49/37.58	c |      2083 |    3007     7392    30246 |     8857     2083     25 |  0.000 % |
37.59/37.62	c |      3223 |    3007     7392    30246 |     9743     3223     27 |  0.000 % |
37.59/37.68	c |      4932 |    3007     7392    30246 |    10717     4932     28 |  0.000 % |
37.69/37.79	c |      7495 |    3007     7392    30246 |    11789     7495     28 |  0.000 % |
37.89/37.97	c |     11341 |    3007     7392    30246 |    12968    11341     28 |  0.000 % |
38.19/38.28	c |     17107 |    3007     7392    30246 |    14265    10589     30 |  0.000 % |
38.69/38.73	c |     25756 |    3007     7392    30246 |    15692    12067     34 |  0.000 % |
39.50/39.59	c |     38731 |    3007     7392    30246 |    17261     9258     36 |  0.000 % |
40.69/40.72	c |     58193 |    3007     7392    30246 |    18987    11392     31 |  0.000 % |
42.59/42.68	c |     87388 |    3007     7392    30246 |    20886    12022     33 |  0.000 % |
45.69/45.79	c |    131178 |    3007     7392    30246 |    22974    13865     34 |  0.000 % |
46.69/46.74	c ===============================================================================
47.29/47.31	c core #7
47.29/47.31	c 
47.29/47.31	c 
47.29/47.31	c Core size: 813	Core Weight: 1	Total Weight: 7
47.29/47.31	c Current CPU time: 46.295 s
47.29/47.31	c
47.29/47.31	c ============================[ Search Statistics ]==============================
47.29/47.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.29/47.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.29/47.31	c ===============================================================================
47.29/47.31	c |         0 |    3463     8163    33862 |     5000        0   -nan |  0.000 % |
47.29/47.32	c |       103 |    3463     8163    33862 |     5500      103     26 |  0.000 % |
47.29/47.32	c |       254 |    3463     8163    33862 |     6050      254     24 |  0.000 % |
47.29/47.33	c |       481 |    3463     8163    33862 |     6655      481     29 |  0.000 % |
47.29/47.34	c |       819 |    3463     8163    33862 |     7320      819     26 |  0.000 % |
47.29/47.35	c |      1325 |    3463     8163    33862 |     8052     1325     26 |  0.000 % |
47.29/47.38	c |      2084 |    3463     8163    33862 |     8857     2084     26 |  0.000 % |
47.39/47.42	c |      3224 |    3463     8163    33862 |     9743     3224     27 |  0.000 % |
47.39/47.49	c |      4935 |    3463     8163    33862 |    10717     4935     28 |  0.000 % |
47.59/47.62	c |      7497 |    3463     8163    33862 |    11789     7497     30 |  0.000 % |
47.79/47.85	c |     11341 |    3463     8163    33862 |    12968    11341     32 |  0.000 % |
48.09/48.19	c |     17109 |    3463     8163    33862 |    14265    10577     31 |  0.000 % |
48.69/48.71	c |     25758 |    3463     8163    33862 |    15692    12040     32 |  0.000 % |
49.49/49.57	c |     38732 |    3463     8163    33862 |    17261     9229     34 |  0.000 % |
50.89/50.97	c |     58195 |    3463     8163    33862 |    18987    11340     33 |  0.000 % |
52.99/53.06	c |     87387 |    3463     8163    33862 |    20886    11889     32 |  0.000 % |
56.59/56.64	c |    131176 |    3463     8163    33862 |    22974    13714     32 |  0.000 % |
60.40/60.47	c ===============================================================================
61.19/61.23	c core #8
61.19/61.23	c 
61.19/61.23	c 
61.19/61.23	c Core size: 878	Core Weight: 1	Total Weight: 8
61.19/61.23	c Current CPU time: 59.9689 s
61.19/61.23	c
61.19/61.23	c ============================[ Search Statistics ]==============================
61.19/61.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.19/61.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
61.19/61.23	c ===============================================================================
61.19/61.23	c |         0 |    3976     8911    37518 |     5000        0   -nan |  0.000 % |
61.19/61.24	c |       100 |    3976     8911    37518 |     5500      100     23 |  0.000 % |
61.19/61.24	c |       251 |    3976     8911    37518 |     6050      251     30 |  0.000 % |
61.19/61.25	c |       476 |    3976     8911    37518 |     6655      476     29 |  0.000 % |
61.19/61.26	c |       813 |    3976     8911    37518 |     7320      813     28 |  0.000 % |
61.19/61.27	c |      1320 |    3976     8911    37518 |     8052     1320     30 |  0.000 % |
61.29/61.30	c |      2080 |    3976     8911    37518 |     8857     2080     28 |  0.000 % |
61.29/61.34	c |      3219 |    3976     8911    37518 |     9743     3219     29 |  0.000 % |
61.39/61.41	c |      4929 |    3976     8911    37518 |    10717     4929     29 |  0.000 % |
61.49/61.52	c |      7492 |    3976     8911    37518 |    11789     7492     30 |  0.000 % |
61.69/61.73	c |     11336 |    3976     8911    37518 |    12968    11336     31 |  0.000 % |
61.99/62.04	c |     17102 |    3976     8911    37518 |    14265    10563     35 |  0.000 % |
62.49/62.57	c |     25752 |    3976     8911    37518 |    15692    12043     36 |  0.000 % |
63.39/63.43	c |     38728 |    3976     8911    37518 |    17261     9218     31 |  0.000 % |
64.69/64.71	c |     58189 |    3976     8911    37518 |    18987    11310     31 |  0.000 % |
66.59/66.62	c |     87382 |    3976     8911    37518 |    20886    11863     31 |  0.000 % |
69.99/70.04	c |    131171 |    3976     8911    37518 |    22974    13701     33 |  0.000 % |
72.79/72.84	c ===============================================================================
73.40/73.49	c core #9
73.40/73.49	c 
73.40/73.49	c 
73.40/73.49	c Core size: 930	Core Weight: 1	Total Weight: 9
73.40/73.49	c Current CPU time: 72.0201 s
73.40/73.49	c
73.40/73.49	c ============================[ Search Statistics ]==============================
73.40/73.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
73.40/73.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
73.40/73.49	c ===============================================================================
73.40/73.49	c |         0 |    4526     9686    41354 |     5000        0   -nan |  0.000 % |
73.40/73.50	c |       101 |    4526     9686    41354 |     5500      101     24 |  0.000 % |
73.49/73.50	c |       252 |    4526     9686    41354 |     6050      252     25 |  0.000 % |
73.49/73.51	c |       482 |    4526     9686    41354 |     6655      482     23 |  0.000 % |
73.49/73.52	c |       821 |    4526     9686    41354 |     7320      821     29 |  0.000 % |
73.49/73.53	c |      1327 |    4526     9686    41354 |     8052     1327     26 |  0.000 % |
73.49/73.55	c |      2086 |    4526     9686    41354 |     8857     2086     26 |  0.000 % |
73.49/73.59	c |      3225 |    4526     9686    41354 |     9743     3225     27 |  0.000 % |
73.59/73.66	c |      4933 |    4526     9686    41354 |    10717     4933     28 |  0.000 % |
73.70/73.78	c |      7495 |    4526     9686    41354 |    11789     7495     30 |  0.000 % |
73.89/74.00	c |     11339 |    4526     9686    41354 |    12968    11339     30 |  0.000 % |
74.30/74.33	c |     17108 |    4526     9686    41354 |    14265    10576     32 |  0.000 % |
74.89/74.91	c |     25759 |    4526     9686    41354 |    15692    12050     36 |  0.000 % |
75.89/75.93	c |     38734 |    4526     9686    41354 |    17261     9250     35 |  0.000 % |
77.29/77.33	c |     58196 |    4526     9686    41354 |    18987    11374     35 |  0.000 % |
79.49/79.56	c |     87388 |    4526     9686    41354 |    20886    11944     34 |  0.000 % |
83.19/83.26	c |    131177 |    4526     9686    41354 |    22974    13806     36 |  0.000 % |
86.80/86.85	c ===============================================================================
87.49/87.59	c core #10
87.49/87.59	c 
87.49/87.59	c 
87.49/87.59	c Core size: 916	Core Weight: 1	Total Weight: 10
87.49/87.59	c Current CPU time: 85.8719 s
87.49/87.59	c
87.49/87.59	c ============================[ Search Statistics ]==============================
87.49/87.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.49/87.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.49/87.59	c ===============================================================================
87.49/87.59	c |         0 |    5071    10455    45160 |     5000        0   -nan |  0.000 % |
87.49/87.59	c |       100 |    5071    10455    45160 |     5500      100     20 |  0.000 % |
87.59/87.60	c |       251 |    5071    10455    45160 |     6050      251     26 |  0.000 % |
87.59/87.61	c |       476 |    5071    10455    45160 |     6655      476     26 |  0.000 % |
87.59/87.61	c |       813 |    5071    10455    45160 |     7320      813     27 |  0.000 % |
87.59/87.63	c |      1320 |    5071    10455    45160 |     8052     1320     28 |  0.000 % |
87.59/87.67	c |      2080 |    5071    10455    45160 |     8857     2080     28 |  0.000 % |
87.69/87.72	c |      3220 |    5071    10455    45160 |     9743     3220     29 |  0.000 % |
87.69/87.79	c |      4929 |    5071    10455    45160 |    10717     4929     29 |  0.000 % |
87.90/87.90	c |      7491 |    5071    10455    45160 |    11789     7491     29 |  0.000 % |
88.09/88.16	c |     11336 |    5071    10455    45160 |    12968    11336     32 |  0.000 % |
88.48/88.53	c |     17104 |    5071    10455    45160 |    14265    10574     35 |  0.000 % |
89.09/89.12	c |     25754 |    5071    10455    45160 |    15692    12027     34 |  0.000 % |
89.99/90.06	c |     38729 |    5071    10455    45160 |    17261     9201     35 |  0.000 % |
91.49/91.51	c |     58192 |    5071    10455    45160 |    18987    11302     33 |  0.000 % |
93.79/93.85	c |     87388 |    5071    10455    45160 |    20886    11887     34 |  0.000 % |
97.29/97.37	c |    131178 |    5071    10455    45160 |    22974    13741     33 |  0.000 % |
102.99/103.04	c |    196863 |    5071    10455    45160 |    25272    21810     36 |  0.000 % |
107.39/107.41	c ===============================================================================
108.39/108.49	c core #11
108.39/108.49	c 
108.39/108.49	c 
108.39/108.49	c Core size: 957	Core Weight: 1	Total Weight: 11
108.39/108.49	c Current CPU time: 106.406 s
108.39/108.49	c
108.39/108.49	c ============================[ Search Statistics ]==============================
108.39/108.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
108.39/108.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
108.39/108.49	c ===============================================================================
108.39/108.49	c |         0 |    5621    11227    49014 |     5000        0   -nan |  0.000 % |
108.49/108.50	c |       104 |    5621    11227    49014 |     5500      104     25 |  0.000 % |
108.49/108.51	c |       255 |    5621    11227    49014 |     6050      255     25 |  0.000 % |
108.49/108.51	c |       483 |    5621    11227    49014 |     6655      483     27 |  0.000 % |
108.49/108.52	c |       822 |    5621    11227    49014 |     7320      822     27 |  0.000 % |
108.49/108.54	c |      1329 |    5621    11227    49014 |     8052     1329     29 |  0.000 % |
108.49/108.56	c |      2089 |    5621    11227    49014 |     8857     2089     28 |  0.000 % |
108.59/108.61	c |      3228 |    5621    11227    49014 |     9743     3228     27 |  0.000 % |
108.59/108.68	c |      4936 |    5621    11227    49014 |    10717     4936     29 |  0.000 % |
108.69/108.80	c |      7498 |    5621    11227    49014 |    11789     7498     29 |  0.000 % |
108.99/109.00	c |     11342 |    5621    11227    49014 |    12968    11342     30 |  0.000 % |
109.28/109.35	c |     17108 |    5621    11227    49014 |    14265    10575     32 |  0.000 % |
109.90/109.92	c |     25757 |    5621    11227    49014 |    15692    12039     32 |  0.000 % |
110.69/110.74	c |     38731 |    5621    11227    49014 |    17261     9228     32 |  0.000 % |
111.99/112.02	c |     58195 |    5621    11227    49014 |    18987    11323     33 |  0.000 % |
114.19/114.30	c |     87387 |    5621    11227    49014 |    20886    11886     34 |  0.000 % |
118.19/118.20	c |    131177 |    5621    11227    49014 |    22974    13715     35 |  0.000 % |
123.89/123.97	c |    196862 |    5621    11227    49014 |    25272    21729     34 |  0.000 % |
131.19/131.22	c ===============================================================================
132.49/132.52	c core #12
132.49/132.52	c 
132.49/132.52	c 
132.49/132.52	c Core size: 945	Core Weight: 1	Total Weight: 12
132.49/132.52	c Current CPU time: 130.018 s
132.49/132.52	c
132.49/132.52	c ============================[ Search Statistics ]==============================
132.49/132.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
132.49/132.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
132.49/132.52	c ===============================================================================
132.49/132.52	c |         0 |    6170    11994    52833 |     5000        0   -nan |  0.000 % |
132.49/132.52	c |       100 |    6170    11994    52833 |     5500      100     24 |  0.000 % |
132.49/132.53	c |       252 |    6170    11994    52833 |     6050      252     24 |  0.000 % |
132.49/132.54	c |       477 |    6170    11994    52833 |     6655      477     25 |  0.000 % |
132.49/132.55	c |       815 |    6170    11994    52833 |     7320      815     26 |  0.000 % |
132.49/132.57	c |      1321 |    6170    11994    52833 |     8052     1321     27 |  0.000 % |
132.49/132.59	c |      2083 |    6170    11994    52833 |     8857     2083     27 |  0.000 % |
132.59/132.64	c |      3223 |    6170    11994    52833 |     9743     3223     28 |  0.000 % |
132.68/132.71	c |      4934 |    6170    11994    52833 |    10717     4934     30 |  0.000 % |
132.78/132.86	c |      7499 |    6170    11994    52833 |    11789     7499     33 |  0.000 % |
133.00/133.09	c |     11343 |    6170    11994    52833 |    12968    11343     34 |  0.000 % |
133.49/133.50	c |     17110 |    6170    11994    52833 |    14265    10576     34 |  0.000 % |
134.09/134.13	c |     25760 |    6170    11994    52833 |    15692    12034     35 |  0.000 % |
135.59/135.66	c |     38734 |    6170    11994    52833 |    17261     8624     44 |  0.000 % |
136.89/136.97	c |     58195 |    6170    11994    52833 |    18987    10714     35 |  0.000 % |
139.19/139.26	c |     87387 |    6170    11994    52833 |    20886    11260     36 |  0.000 % |
142.99/143.09	c |    131176 |    6170    11994    52833 |    22974    13106     34 |  0.000 % |
148.49/148.55	c |    196861 |    6170    11994    52833 |    25272    21162     34 |  0.000 % |
157.89/157.96	c |    295388 |    6170    11994    52833 |    27799    16363     38 |  0.000 % |
161.19/161.22	c ===============================================================================
162.59/162.70	c core #13
162.59/162.70	c 
162.59/162.70	c 
162.59/162.70	c Core size: 1085	Core Weight: 1	Total Weight: 13
162.59/162.70	c Current CPU time: 159.738 s
162.59/162.70	c
162.59/162.70	c ============================[ Search Statistics ]==============================
162.59/162.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
162.59/162.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
162.59/162.70	c ===============================================================================
162.59/162.70	c |         0 |    6812    12760    56872 |     5000        0   -nan |  0.000 % |
162.70/162.70	c |       101 |    6812    12760    56872 |     5500      101     37 |  0.000 % |
162.70/162.71	c |       252 |    6812    12760    56872 |     6050      252     36 |  0.000 % |
162.70/162.72	c |       477 |    6812    12760    56872 |     6655      477     35 |  0.000 % |
162.70/162.73	c |       815 |    6812    12760    56872 |     7320      815     33 |  0.000 % |
162.70/162.75	c |      1322 |    6812    12760    56872 |     8052     1322     30 |  0.000 % |
162.70/162.78	c |      2082 |    6812    12760    56872 |     8857     2082     31 |  0.000 % |
162.80/162.83	c |      3223 |    6812    12760    56872 |     9743     3223     31 |  0.000 % |
162.89/162.92	c |      4932 |    6812    12760    56872 |    10717     4932     32 |  0.000 % |
162.99/163.06	c |      7494 |    6812    12760    56872 |    11789     7494     32 |  0.000 % |
163.19/163.29	c |     11339 |    6812    12760    56872 |    12968    11339     34 |  0.000 % |
163.69/163.77	c |     17108 |    6812    12760    56872 |    14265    10571     34 |  0.000 % |
164.29/164.36	c |     25757 |    6812    12760    56872 |    15692    11994     36 |  0.000 % |
165.39/165.46	c |     38731 |    6812    12760    56872 |    17261     9169     38 |  0.000 % |
167.09/167.12	c |     58193 |    6812    12760    56872 |    18987    11271     35 |  0.000 % |
169.59/169.68	c |     87386 |    6812    12760    56872 |    20886    11854     34 |  0.000 % |
173.19/173.26	c |    131176 |    6812    12760    56872 |    22974    13695     35 |  0.000 % |
178.80/178.84	c |    196861 |    6812    12760    56872 |    25272    21693     35 |  0.000 % |
187.69/187.71	c ===============================================================================
188.99/189.06	c core #14
188.99/189.06	c 
188.99/189.06	c 
188.99/189.06	c Core size: 988	Core Weight: 1	Total Weight: 14
188.99/189.06	c Current CPU time: 185.715 s
188.99/189.06	c
188.99/189.06	c ============================[ Search Statistics ]==============================
188.99/189.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.99/189.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.99/189.06	c ===============================================================================
188.99/189.06	c |         0 |    7395    13509    60709 |     5000        0   -nan |  0.000 % |
188.99/189.07	c |       100 |    7395    13509    60709 |     5500      100     27 |  0.000 % |
188.99/189.07	c |       251 |    7395    13509    60709 |     6050      251     30 |  0.000 % |
188.99/189.08	c |       477 |    7395    13509    60709 |     6655      477     28 |  0.000 % |
188.99/189.09	c |       814 |    7395    13509    60709 |     7320      814     30 |  0.000 % |
189.09/189.11	c |      1322 |    7395    13509    60709 |     8052     1322     29 |  0.000 % |
189.09/189.14	c |      2083 |    7395    13509    60709 |     8857     2083     29 |  0.000 % |
189.09/189.20	c |      3222 |    7395    13509    60709 |     9743     3222     29 |  0.000 % |
189.19/189.28	c |      4930 |    7395    13509    60709 |    10717     4930     29 |  0.000 % |
189.39/189.42	c |      7494 |    7395    13509    60709 |    11789     7494     31 |  0.000 % |
189.59/189.67	c |     11340 |    7395    13509    60709 |    12968    11340     31 |  0.000 % |
189.99/190.09	c |     17109 |    7395    13509    60709 |    14265    10563     34 |  0.000 % |
190.79/190.80	c |     25760 |    7395    13509    60709 |    15692    12031     36 |  0.000 % |
192.09/192.16	c |     38734 |    7395    13509    60709 |    17261     9203     42 |  0.000 % |
193.69/193.75	c |     58198 |    7395    13509    60709 |    18987    11316     36 |  0.000 % |
195.99/196.05	c |     87390 |    7395    13509    60709 |    20886    11857     32 |  0.000 % |
201.19/201.21	c |    131181 |    7395    13509    60709 |    22974    12863     39 |  0.000 % |
207.29/207.31	c |    196867 |    7395    13509    60709 |    25272    20614     38 |  0.000 % |
233.59/233.66	c |    295396 |    7395    13509    60709 |    27799    20522     45 |  0.000 % |
262.69/262.74	c |    443187 |    7394    13509    60709 |    30579    19340     58 |  0.014 % |
287.59/287.66	c ===============================================================================
289.49/289.50	c core #15
289.49/289.50	c 
289.49/289.50	c 
289.49/289.50	c Core size: 1143	Core Weight: 1	Total Weight: 15
289.49/289.50	c Current CPU time: 285.322 s
289.49/289.50	c
289.49/289.50	c ============================[ Search Statistics ]==============================
289.49/289.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
289.49/289.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
289.49/289.50	c ===============================================================================
289.49/289.50	c |         0 |    8069    14260    64786 |     5000        0   -nan |  0.000 % |
289.49/289.51	c |       103 |    8069    14260    64786 |     5500      103     26 |  0.000 % |
289.49/289.51	c |       254 |    8069    14260    64786 |     6050      254     28 |  0.000 % |
289.49/289.52	c |       480 |    8069    14260    64786 |     6655      480     28 |  0.000 % |
289.49/289.53	c |       818 |    8069    14260    64786 |     7320      818     29 |  0.000 % |
289.49/289.55	c |      1325 |    8069    14260    64786 |     8052     1325     28 |  0.000 % |
289.49/289.58	c |      2086 |    8069    14260    64786 |     8857     2086     28 |  0.000 % |
289.59/289.63	c |      3225 |    8069    14260    64786 |     9743     3225     30 |  0.000 % |
289.69/289.72	c |      4934 |    8069    14260    64786 |    10717     4934     29 |  0.000 % |
289.80/289.86	c |      7496 |    8069    14260    64786 |    11789     7496     29 |  0.000 % |
289.99/290.08	c |     11340 |    8069    14260    64786 |    12968    11340     29 |  0.000 % |
290.40/290.48	c |     17109 |    8069    14260    64786 |    14265    10585     33 |  0.000 % |
292.10/292.10	c |     25765 |    8069    14260    64786 |    15692    11667     51 |  0.000 % |
293.00/293.02	c |     38743 |    8069    14260    64786 |    17261     8694     37 |  0.000 % |
294.49/294.54	c |     58204 |    8069    14260    64786 |    18987    10787     36 |  0.000 % |
298.19/298.28	c |     87396 |    8069    14260    64786 |    20886    10661     34 |  0.000 % |
303.89/303.99	c |    131187 |    8069    14260    64786 |    22974    11079     43 |  0.000 % |
309.79/309.82	c |    196871 |    8069    14260    64786 |    25272    18140     37 |  0.000 % |
324.40/324.45	c |    295398 |    8069    14260    64786 |    27799    23354     57 |  0.000 % |
353.70/353.72	c |    443187 |    8068    14260    64786 |    30579    14567     54 |  0.012 % |
398.90/398.92	c |    664873 |    8068    14260    64786 |    33637    19199     66 |  0.012 % |
488.00/488.02	c |    997400 |    8068    14260    64786 |    37001    26114     45 |  0.012 % |
677.51/677.52	c |   1496188 |    8068    14260    64786 |    40701    18430     61 |  0.012 % |
939.91/939.90	c |   2244371 |    8068    14260    64786 |    44771    21529     51 |  0.012 % |
1192.42/1192.46	c ===============================================================================
1206.72/1206.72	c core #16
1206.72/1206.72	c 
1206.72/1206.72	c 
1206.72/1206.72	c Core size: 1330	Core Weight: 1	Total Weight: 16
1206.72/1206.72	c Current CPU time: 1197.51 s
1206.72/1206.72	c
1206.72/1206.72	c ============================[ Search Statistics ]==============================
1206.72/1206.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1206.72/1206.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1206.72/1206.72	c ===============================================================================
1206.72/1206.72	c |         0 |    8908    15010    69244 |     5003        0   -nan |  0.000 % |
1206.72/1206.73	c |       101 |    8908    15010    69244 |     5503      101     41 |  0.000 % |
1206.72/1206.74	c |       252 |    8908    15010    69244 |     6054      252     35 |  0.000 % |
1206.72/1206.75	c |       477 |    8908    15010    69244 |     6659      477     33 |  0.000 % |
1206.72/1206.76	c |       816 |    8908    15010    69244 |     7325      816     29 |  0.000 % |
1206.72/1206.78	c |      1322 |    8908    15010    69244 |     8057     1322     28 |  0.000 % |
1206.82/1206.81	c |      2081 |    8908    15010    69244 |     8863     2081     27 |  0.000 % |
1206.82/1206.87	c |      3220 |    8908    15010    69244 |     9750     3220     30 |  0.000 % |
1206.92/1206.96	c |      4929 |    8908    15010    69244 |    10725     4929     30 |  0.000 % |
1207.12/1207.11	c |      7491 |    8908    15010    69244 |    11797     7491     31 |  0.000 % |
1207.42/1207.40	c |     11335 |    8908    15010    69244 |    12977    11335     33 |  0.000 % |
1207.83/1207.88	c |     17101 |    8908    15010    69244 |    14275    10567     37 |  0.000 % |
1208.62/1208.63	c |     25750 |    8908    15010    69244 |    15702    12017     38 |  0.000 % |
1210.32/1210.38	c |     38732 |    8908    15010    69244 |    17272    17108     52 |  0.000 % |
1211.92/1211.96	c |     58194 |    8908    15010    69244 |    19000    10227     37 |  0.000 % |
1214.32/1214.39	c |     87387 |    8908    15010    69244 |    20900    10786     36 |  0.000 % |
1221.32/1221.34	c |    131177 |    8908    15010    69244 |    22990    22034     61 |  0.000 % |
1229.92/1229.90	c |    196864 |    8908    15010    69244 |    25289    17386     44 |  0.000 % |
1240.02/1240.05	c |    295392 |    8908    15010    69244 |    27818    24642     40 |  0.000 % |
1290.72/1290.76	c |    443183 |    8908    15010    69244 |    30599    18805     72 |  0.000 % |
1324.22/1324.28	c |    664866 |    8908    15010    69244 |    33659    21179     56 |  0.000 % |
1363.82/1363.88	c |    997391 |    8908    15010    69244 |    37025    25526     41 |  0.000 % |
1574.33/1574.30	c |   1496180 |    8908    15010    69244 |    40728    33991     81 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3446970-1307905426/watcher-3446970-1307905426 -o /var/tmp/evaluation-result-3446970-1307905426/solver-3446970-1307905426 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446970-1307905426.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 1.94 1.61 3/177 25565
/proc/meminfo: memFree=11122584/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=2196 CPUtime=0 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 318 0 0 0 0 0 0 0 25 0 1 0 980773196 2248704 269 33554432000 4194304 5714214 140736688168176 18446744073709551615 4223035 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 549 270 177 372 0 152 0

[startup+0.094565 s]
/proc/loadavg: 2.03 1.94 1.61 3/177 25565
/proc/meminfo: memFree=11122584/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=3296 CPUtime=0.08 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 645 0 0 0 8 0 0 0 25 0 1 0 980773196 3375104 574 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 824 574 177 372 0 449 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3296

[startup+0.100563 s]
/proc/loadavg: 2.03 1.94 1.61 3/177 25565
/proc/meminfo: memFree=11122584/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=3296 CPUtime=0.09 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 658 0 0 0 9 0 0 0 25 0 1 0 980773196 3375104 587 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 824 587 177 372 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3296

[startup+0.300516 s]
/proc/loadavg: 2.03 1.94 1.61 3/177 25565
/proc/meminfo: memFree=11122584/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=5164 CPUtime=0.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 1090 0 0 0 28 1 0 0 25 0 1 0 980773196 5287936 1019 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 1291 1019 177 372 0 916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5164

[startup+0.700454 s]
/proc/loadavg: 2.03 1.94 1.61 3/177 25565
/proc/meminfo: memFree=11122584/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=6640 CPUtime=0.69 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 1463 0 0 0 67 2 0 0 25 0 1 0 980773196 6799360 1392 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 1660 1392 177 372 0 1285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6640

[startup+1.5003 s]
/proc/loadavg: 2.02 1.94 1.62 3/178 25566
/proc/meminfo: memFree=11115532/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=9432 CPUtime=1.49 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 2167 0 0 0 146 3 0 0 25 0 1 0 980773196 9658368 2096 33554432000 4194304 5714214 140736688168176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 2358 2096 177 372 0 1983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9432

[startup+3.10101 s]
/proc/loadavg: 2.02 1.94 1.62 3/178 25566
/proc/meminfo: memFree=11112440/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=13552 CPUtime=3.09 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 3178 0 0 0 302 7 0 0 25 0 1 0 980773196 13877248 3107 33554432000 4194304 5714214 140736688168176 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 3388 3107 177 372 0 3013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13552

[startup+6.30042 s]
/proc/loadavg: 2.02 1.94 1.62 3/178 25566
/proc/meminfo: memFree=11101776/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=19264 CPUtime=6.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 4649 0 0 0 615 14 0 0 25 0 1 0 980773196 19726336 4540 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 4816 4540 178 372 0 4441 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19264

[startup+12.7002 s]
/proc/loadavg: 2.02 1.94 1.62 3/178 25566
/proc/meminfo: memFree=11098336/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=20512 CPUtime=12.69 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 4978 0 0 0 1242 27 0 0 25 0 1 0 980773196 21004288 4869 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 5128 4869 178 372 0 4753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20512

[startup+25.5009 s]
/proc/loadavg: 2.02 1.94 1.62 3/178 25566
/proc/meminfo: memFree=11089904/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=24380 CPUtime=25.49 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 5957 0 0 0 2496 53 0 0 25 0 1 0 980773196 24965120 5848 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 6095 5848 178 372 0 5720 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24380

[startup+51.1002 s]
/proc/loadavg: 2.01 1.94 1.63 3/178 25567
/proc/meminfo: memFree=11072364/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=32100 CPUtime=51.09 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 7841 0 0 0 5006 103 0 0 25 0 1 0 980773196 32870400 7732 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 8025 7732 178 372 0 7650 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32100

[startup+102.307 s]
/proc/loadavg: 2.00 1.95 1.65 3/178 25568
/proc/meminfo: memFree=11049244/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=39804 CPUtime=102.3 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 9806 0 0 0 10039 191 0 0 25 0 1 0 980773196 40759296 9697 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 9951 9697 178 372 0 9576 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39804

[startup+162.301 s]
/proc/loadavg: 2.00 1.96 1.67 3/178 25570
/proc/meminfo: memFree=11012228/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=65156 CPUtime=162.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 16086 0 0 0 15949 280 0 0 25 0 1 0 980773196 66719744 15977 33554432000 4194304 5714214 140736688168176 18446744073709551615 4324865 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25565/statm: 16289 15977 178 372 0 15914 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65156

[startup+222.301 s]
/proc/loadavg: 2.00 1.96 1.69 3/178 25572
/proc/meminfo: memFree=10987996/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=66216 CPUtime=222.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 16538 0 0 0 21873 356 0 0 25 0 1 0 980773196 67805184 16277 33554432000 4194304 5714214 140736688168176 18446744073709551615 4322911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 16554 16277 178 372 0 16179 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 66216

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.70 3/178 25573
/proc/meminfo: memFree=10947268/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=90204 CPUtime=282.3 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 22375 0 0 0 27839 391 0 0 25 0 1 0 980773196 92368896 22114 33554432000 4194304 5714214 140736688168176 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 22551 22114 178 372 0 22176 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 90204

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.72 3/178 25575
/proc/meminfo: memFree=10910132/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=107704 CPUtime=342.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 26848 0 0 0 33780 449 0 0 25 0 1 0 980773196 110288896 26587 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 26926 26587 178 372 0 26551 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 107704

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 25576
/proc/meminfo: memFree=10890732/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=115276 CPUtime=402.3 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 28724 0 0 0 39741 489 0 0 25 0 1 0 980773196 118042624 28463 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 28819 28463 178 372 0 28444 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 115276

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.75 3/178 25578
/proc/meminfo: memFree=10841824/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=149936 CPUtime=462.29 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 37137 0 0 0 45712 517 0 0 25 0 1 0 980773196 153534464 36876 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 37484 36876 178 372 0 37109 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 149936

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 25580
/proc/meminfo: memFree=10793908/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=178716 CPUtime=522.3 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 44166 0 0 0 51687 543 0 0 25 0 1 0 980773196 183005184 43905 33554432000 4194304 5714214 140736688168176 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 44679 43905 178 372 0 44304 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 178716

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 25581
/proc/meminfo: memFree=10751556/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=205624 CPUtime=582.3 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 50662 0 0 0 57665 565 0 0 25 0 1 0 980773196 210558976 50401 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 51406 50401 178 372 0 51031 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 205624

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.08 1.99 1.82 3/178 25588
/proc/meminfo: memFree=10591064/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=297520 CPUtime=822.31 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 73102 0 0 0 81581 650 0 0 25 0 1 0 980773196 304660480 72841 33554432000 4194304 5714214 140736688168176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 74380 72841 178 372 0 74005 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 297520

[startup+882.301 s]
/proc/loadavg: 2.03 1.99 1.83 3/178 25589
/proc/meminfo: memFree=10551456/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=320720 CPUtime=882.31 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 78804 0 0 0 87559 672 0 0 25 0 1 0 980773196 328417280 78543 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 80180 78543 178 372 0 79805 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 320720

[startup+942.301 s]
/proc/loadavg: 2.01 1.99 1.83 3/178 25591
/proc/meminfo: memFree=10513416/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=341940 CPUtime=942.31 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 83980 0 0 0 93536 695 0 0 25 0 1 0 980773196 350146560 83719 33554432000 4194304 5714214 140736688168176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 85485 83719 178 372 0 85110 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 341940

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 25592
/proc/meminfo: memFree=10474064/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=362028 CPUtime=1002.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 88909 0 0 0 99518 714 0 0 25 0 1 0 980773196 370716672 88648 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 90507 88648 178 372 0 90132 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 362028

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/178 25594
/proc/meminfo: memFree=10431472/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=387440 CPUtime=1062.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 95189 0 0 0 105495 737 0 0 25 0 1 0 980773196 396738560 94928 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 96860 94928 178 372 0 96485 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 387440

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/178 25596
/proc/meminfo: memFree=10391112/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=408760 CPUtime=1122.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 100454 0 0 0 111475 757 0 0 25 0 1 0 980773196 418570240 100193 33554432000 4194304 5714214 140736688168176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 102190 100193 178 372 0 101815 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 408760

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 25597
/proc/meminfo: memFree=10357200/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=426260 CPUtime=1182.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 104764 0 0 0 117457 775 0 0 25 0 1 0 980773196 436490240 104503 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 106565 104503 178 372 0 106190 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 426260

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 25599
/proc/meminfo: memFree=10244396/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1242.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128528 0 0 0 123405 827 0 0 25 0 1 0 980773196 531054592 127754 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127754 178 372 0 129277 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 518608

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 25600
/proc/meminfo: memFree=10230428/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1302.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128528 0 0 0 129373 860 0 0 25 0 1 0 980773196 531054592 127754 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127754 178 372 0 129277 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 518608

[startup+1362.3 s]
/proc/loadavg: 1.96 1.97 1.87 3/178 25641
/proc/meminfo: memFree=10640628/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1362.32 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128528 0 0 0 135290 942 0 0 25 0 1 0 980773196 531054592 127754 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127754 178 372 0 129277 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 518608

[startup+1422.31 s]
/proc/loadavg: 1.98 1.97 1.88 3/178 25681
/proc/meminfo: memFree=10699960/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1422.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128528 0 0 0 141270 963 0 0 25 0 1 0 980773196 531054592 127754 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127754 178 372 0 129277 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 518608

[startup+1482.3 s]
/proc/loadavg: 2.05 1.99 1.89 3/178 25682
/proc/meminfo: memFree=10572980/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1482.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128542 0 0 0 147254 979 0 0 25 0 1 0 980773196 531054592 127768 33554432000 4194304 5714214 140736688168176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127768 178 372 0 129277 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 518608

[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.89 3/178 25722
/proc/meminfo: memFree=10643148/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1542.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128628 0 0 0 153236 997 0 0 25 0 1 0 980773196 531054592 127854 33554432000 4194304 5714214 140736688168176 18446744073709551615 4322755 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 127854 178 372 0 129277 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 518608

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 25761
/proc/meminfo: memFree=10642180/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1602.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128788 0 0 0 159198 1035 0 0 25 0 1 0 980773196 531054592 128014 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 128014 178 372 0 129277 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 518608

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 25763
/proc/meminfo: memFree=10526588/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1662.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128915 0 0 0 165182 1051 0 0 25 0 1 0 980773196 531054592 128141 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 128141 178 372 0 129277 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 518608

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 25765
/proc/meminfo: memFree=10422120/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1722.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 128980 0 0 0 171165 1068 0 0 25 0 1 0 980773196 531054592 128206 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 128206 178 372 0 129277 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 518608

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 25766
/proc/meminfo: memFree=10348516/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1782.33 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 129043 0 0 0 177150 1083 0 0 25 0 1 0 980773196 531054592 128269 33554432000 4194304 5714214 140736688168176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 128269 178 372 0 129277 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 518608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 25767
/proc/meminfo: memFree=10348492/32951124 swapFree=67056304/67111528
[pid=25565] ppid=25563 vsize=518608 CPUtime=1800.04 cores=1,3,5,7
/proc/25565/stat : 25565 (wbo1.6) R 25563 25565 24181 0 -1 4202496 129049 0 0 0 178917 1087 0 0 25 0 1 0 980773196 531054592 128275 33554432000 4194304 5714214 140736688168176 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25565/statm: 129652 128275 178 372 0 129277 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 518608

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1789.17
CPU system time (s): 10.8973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 521360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.18
system time used= 10.8973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129049
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= 12
involuntary context switches= 2973

runsolver used 2.58161 second user time and 5.76812 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-12 21:03:46
IDJOB=3446970
IDBENCH=78883
IDSOLVER=1943
FILE ID=node110/3446970-1307905426
RUNJOBID= node110-1307904606-24937
PBS_JOBID= 13559603
Free space on /var/tmp= 2880 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3446970-1307905426/watcher-3446970-1307905426 -o /var/tmp/evaluation-result-3446970-1307905426/solver-3446970-1307905426 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446970-1307905426.wbo

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

MD5SUM BENCH= bcc83dde29b6f868056a0bfa1b1372de
RANDOM SEED=1843192298

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11123136 kB
Buffers:         47112 kB
Cached:       20944280 kB
SwapCached:       9144 kB
Active:        5819952 kB
Inactive:     15294140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11123136 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            4288 kB
Writeback:           0 kB
AnonPages:      120428 kB
Mapped:          13892 kB
Slab:           649128 kB
PageTables:       4544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   312492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node110 at 2011-06-12 21:33:48