Trace number 3705595

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
wbo 1.7? 1800.04 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUM6f3eb6421078a0de6a5b5f585e0aca61
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-5280
Best CPU time to get the best result obtained on this benchmark1781.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 367542
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 367542
Number of bits of the biggest sum of numbers19
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705595-1338161096.opb.
0.00/0.00	c Instance file HOME/instance-3705595-1338161096.opb
0.00/0.00	c File size is 28226022 bytes.
2.89/2.93	c Cost Offset: -367542
2.89/2.93	c Highest Coefficient sum: 66266
2.89/2.93	c ============================[ Problem Statistics ]=============================
2.89/2.93	c |                                                                             |
2.89/2.93	c |  Parsing time:          2.94         s                                      |
2.89/2.93	c |  Number Variables:      400896                                              |
2.89/2.93	c |  Number Clauses:        400785                                              |
2.89/2.93	c |  Number Cardinality:    1977                                                |
2.89/2.93	c |  Number PB Constraints: 1                                                   |
2.89/2.93	c |                                                                             |
3.19/3.21	c |  Problem Type:          Optimization                                        |
3.19/3.21	c |  Objective Function:    PB Constraint                                       |
3.19/3.21	c |                                                                             |
3.19/3.21	c ============================[ Search Statistics ]==============================
3.19/3.21	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.19/3.21	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.19/3.21	c ===============================================================================
3.59/3.67	c | 3.67      | 0  | -367541      lb |  0                0                0.00  |
3.99/4.08	c | 4.09      | 0  | -367540      lb |  0                0                0.00  |
4.39/4.47	c | 4.47      | 0  | -367538      lb |  0                0                0.00  |
4.79/4.84	c | 4.85      | 0  | -367534      lb |  0                0                0.00  |
5.19/5.21	c | 5.21      | 0  | -367526      lb |  0                0                0.00  |
5.50/5.59	c | 5.59      | 0  | -367510      lb |  0                0                0.00  |
5.89/5.96	c | 5.97      | 0  | -367478      lb |  0                0                0.00  |
6.29/6.35	c | 6.36      | 0  | -367414      lb |  0                0                0.00  |
6.69/6.74	c | 6.74      | 0  | -367030      lb |  0                0                0.00  |
7.09/7.13	c | 7.13      | 0  | -366518      lb |  0                0                0.00  |
7.60/7.69	c | 7.69      | 0  | -366517      lb |  0                0                0.00  |
8.09/8.15	c | 8.15      | 0  | -366516      lb |  0                0                0.00  |
8.58/8.69	c | 8.70      | 0  | -366515      lb |  0                0                0.00  |
9.19/9.25	c | 9.26      | 0  | -366514      lb |  0                0                0.00  |
9.69/9.80	c | 9.80      | 0  | -366513      lb |  0                0                0.00  |
10.29/10.35	c | 10.35     | 0  | -366512      lb |  0                0                0.00  |
10.89/10.91	c | 10.91     | 0  | -366511      lb |  0                0                0.00  |
11.38/11.46	c | 11.46     | 0  | -366510      lb |  0                0                0.00  |
11.99/12.00	c | 12.01     | 0  | -366509      lb |  0                0                0.00  |
12.49/12.55	c | 12.56     | 0  | -366508      lb |  0                0                0.00  |
13.09/13.10	c | 13.11     | 0  | -366507      lb |  0                0                0.00  |
13.59/13.66	c | 13.67     | 0  | -366506      lb |  0                0                0.00  |
14.19/14.22	c | 14.22     | 0  | -366505      lb |  0                0                0.00  |
14.68/14.78	c | 14.78     | 0  | -366504      lb |  0                0                0.00  |
15.30/15.33	c | 15.33     | 0  | -366503      lb |  0                0                0.00  |
15.79/15.89	c | 15.90     | 0  | -366502      lb |  0                0                0.00  |
16.39/16.44	c | 16.45     | 0  | -366501      lb |  0                0                0.00  |
16.98/17.00	c | 17.01     | 0  | -366500      lb |  0                0                0.00  |
17.49/17.56	c | 17.56     | 0  | -366499      lb |  0                0                0.00  |
17.99/18.02	c | 18.02     | 0  | -366498      lb |  0                0                0.00  |
18.49/18.58	c | 18.59     | 0  | -366497      lb |  0                0                0.00  |
19.08/19.15	c | 19.15     | 0  | -366496      lb |  0                0                0.00  |
19.69/19.71	c | 19.72     | 0  | -366495      lb |  0                0                0.00  |
20.18/20.28	c | 20.28     | 0  | -366494      lb |  0                0                0.00  |
20.79/20.85	c | 20.85     | 0  | -366493      lb |  0                0                0.00  |
21.38/21.43	c | 21.43     | 0  | -366492      lb |  0                0                0.00  |
22.00/22.00	c | 22.01     | 0  | -366491      lb |  0                0                0.00  |
22.49/22.57	c | 22.57     | 0  | -366490      lb |  0                0                0.00  |
23.10/23.14	c | 23.15     | 0  | -366489      lb |  0                0                0.00  |
23.69/23.72	c | 23.72     | 0  | -366488      lb |  0                0                0.00  |
24.19/24.29	c | 24.29     | 0  | -366487      lb |  0                0                0.00  |
24.79/24.86	c | 24.86     | 0  | -366486      lb |  0                0                0.00  |
25.38/25.43	c | 25.44     | 0  | -366485      lb |  0                0                0.00  |
25.98/26.01	c | 26.01     | 0  | -366484      lb |  0                0                0.00  |
26.49/26.58	c | 26.59     | 0  | -366483      lb |  0                0                0.00  |
27.09/27.16	c | 27.16     | 0  | -366481      lb |  0                0                0.00  |
27.69/27.74	c | 27.74     | 0  | -366480      lb |  0                0                0.00  |
28.28/28.32	c | 28.32     | 0  | -366479      lb |  0                0                0.00  |
28.88/28.90	c | 28.90     | 0  | -366476      lb |  0                0                0.00  |
29.38/29.48	c | 29.48     | 0  | -366473      lb |  0                0                0.00  |
29.99/30.06	c | 30.06     | 0  | -366472      lb |  0                0                0.00  |
30.59/30.63	c | 30.64     | 0  | -366471      lb |  0                0                0.00  |
31.19/31.21	c | 31.22     | 0  | -366470      lb |  0                0                0.00  |
31.68/31.79	c | 31.80     | 0  | -366468      lb |  0                0                0.00  |
32.28/32.38	c | 32.38     | 0  | -366467      lb |  0                0                0.00  |
32.99/33.02	c | 33.02     | 0  | -366466      lb |  0                0                0.00  |
33.59/33.62	c | 33.62     | 0  | -366446      lb |  0                0                0.00  |
34.09/34.19	c | 34.20     | 0  | -366444      lb |  0                0                0.00  |
34.68/34.78	c | 34.79     | 0  | -366443      lb |  0                0                0.00  |
35.28/35.36	c | 35.36     | 0  | -366442      lb |  0                0                0.00  |
35.88/35.95	c | 35.95     | 0  | -366441      lb |  0                0                0.00  |
36.48/36.59	c | 36.59     | 0  | -366078      lb |  0                0                0.00  |
37.19/37.20	c | 37.20     | 0  | -366077      lb |  0                0                0.00  |
37.68/37.77	c | 37.77     | 0  | -366076      lb |  0                0                0.00  |
38.39/38.44	c | 38.44     | 0  | -366006      lb |  0                0                0.00  |
39.08/39.11	c | 39.11     | 0  | -366004      lb |  0                0                0.00  |
39.79/39.83	c | 39.83     | 0  | -366003      lb |  0                0                0.00  |
40.48/40.51	c | 40.51     | 0  | -366002      lb |  0                0                0.00  |
41.08/41.18	c | 41.18     | 0  | -366001      lb |  0                0                0.00  |
41.79/41.85	c | 41.86     | 0  | -366000      lb |  0                0                0.00  |
42.48/42.52	c | 42.53     | 0  | -365999      lb |  0                0                0.00  |
43.09/43.19	c | 43.20     | 0  | -365998      lb |  0                0                0.00  |
43.79/43.87	c | 43.87     | 0  | -365997      lb |  0                0                0.00  |
44.48/44.55	c | 44.55     | 0  | -365996      lb |  0                0                0.00  |
45.18/45.22	c | 45.23     | 0  | -365989      lb |  0                0                0.00  |
45.88/45.90	c | 45.91     | 0  | -365988      lb |  0                0                0.00  |
46.48/46.58	c | 46.58     | 0  | -365987      lb |  0                0                0.00  |
47.19/47.26	c | 47.27     | 0  | -365985      lb |  0                0                0.00  |
47.89/47.94	c | 47.94     | 0  | -365981      lb |  0                0                0.00  |
48.58/48.62	c | 48.62     | 0  | -365973      lb |  0                0                0.00  |
49.28/49.30	c | 49.30     | 0  | -365971      lb |  0                0                0.00  |
49.88/49.98	c | 49.99     | 0  | -365970      lb |  0                0                0.00  |
50.59/50.68	c | 50.68     | 0  | -365969      lb |  0                0                0.00  |
51.28/51.37	c | 51.37     | 0  | -365958      lb |  0                0                0.00  |
51.98/52.06	c | 52.06     | 0  | -365956      lb |  0                0                0.00  |
52.69/52.75	c | 52.75     | 0  | -365954      lb |  0                0                0.00  |
53.38/53.45	c | 53.45     | 0  | -365949      lb |  0                0                0.00  |
54.08/54.14	c | 54.14     | 0  | -365941      lb |  0                0                0.00  |
54.78/54.83	c | 54.84     | 0  | -365928      lb |  0                0                0.00  |
55.48/55.53	c | 55.53     | 0  | -365909      lb |  0                0                0.00  |
56.18/56.23	c | 56.23     | 0  | -365895      lb |  0                0                0.00  |
56.88/56.92	c | 56.93     | 0  | -365893      lb |  0                0                0.00  |
57.58/57.62	c | 57.62     | 0  | -365891      lb |  0                0                0.00  |
58.29/58.31	c | 58.32     | 0  | -365878      lb |  0                0                0.00  |
59.18/59.25	c | 59.25     | 0  | -365877      lb |  0                0                0.00  |
59.97/60.06	c | 60.07     | 0  | -365876      lb |  0                0                0.00  |
60.97/61.03	c | 61.04     | 0  | -365875      lb |  0                0                0.00  |
61.98/62.01	c | 62.02     | 0  | -365874      lb |  0                0                0.00  |
62.98/63.00	c | 63.01     | 0  | -365873      lb |  0                0                0.00  |
63.88/63.94	c | 63.94     | 0  | -365872      lb |  0                0                0.00  |
64.88/64.93	c | 64.93     | 0  | -365871      lb |  0                0                0.00  |
65.68/65.72	c | 65.72     | 0  | -365621      lb |  0                0                0.00  |
66.48/66.53	c | 66.53     | 0  | -365604      lb |  0                0                0.00  |
67.28/67.33	c | 67.33     | 0  | -365603      lb |  0                0                0.00  |
68.18/68.28	c | 68.29     | 0  | -365602      lb |  0                0                0.00  |
69.28/69.39	c | 69.39     | 0  | -365601      lb |  0                0                0.00  |
70.28/70.38	c | 70.38     | 0  | -365600      lb |  0                0                0.00  |
71.28/71.30	c | 71.30     | 0  | -365599      lb |  0                0                0.00  |
72.28/72.33	c | 72.33     | 0  | -365598      lb |  0                0                0.00  |
72.98/73.08	c | 73.08     | 0  | -365593      lb |  0                0                0.00  |
73.78/73.83	c | 73.83     | 0  | -365592      lb |  0                0                0.00  |
74.48/74.59	c | 74.59     | 0  | -365585      lb |  0                0                0.00  |
75.18/75.23	c | 75.23     | 0  | -365572      lb |  0                0                0.00  |
75.78/75.86	c | 75.86     | 0  | -365544      lb |  0                0                0.00  |
76.47/76.50	c | 76.51     | 0  | -365542      lb |  0                0                0.00  |
77.08/77.15	c | 77.15     | 0  | -365541      lb |  0                0                0.00  |
77.68/77.78	c | 77.79     | 0  | -365491      lb |  0                0                0.00  |
78.38/78.46	c | 78.46     | 0  | -365486      lb |  0                0                0.00  |
79.08/79.13	c | 79.13     | 0  | -365478      lb |  0                0                0.00  |
79.77/79.80	c | 79.81     | 0  | -365477      lb |  0                0                0.00  |
80.88/80.93	c | 80.93     | 0  | -365476      lb |  0                0                0.00  |
81.58/81.60	c | 81.61     | 0  | -365475      lb |  0                0                0.00  |
82.18/82.28	c | 82.28     | 0  | -365471      lb |  0                0                0.00  |
82.88/82.95	c | 82.96     | 0  | -365470      lb |  0                0                0.00  |
83.59/83.64	c | 83.64     | 0  | -365469      lb |  0                0                0.00  |
84.69/84.78	c | 84.79     | 0  | -365468      lb |  0                0                0.00  |
85.38/85.46	c | 85.47     | 0  | -365450      lb |  0                0                0.00  |
86.08/86.14	c | 86.14     | 0  | -365448      lb |  0                0                0.00  |
86.78/86.81	c | 86.81     | 0  | -365447      lb |  0                0                0.00  |
87.37/87.49	c | 87.49     | 0  | -365400      lb |  0                0                0.00  |
88.37/88.41	c | 88.41     | 0  | -365399      lb |  0                0                0.00  |
89.08/89.17	c | 89.17     | 0  | -365397      lb |  0                0                0.00  |
89.77/89.89	c | 89.89     | 0  | -365384      lb |  0                0                0.00  |
90.58/90.62	c | 90.63     | 0  | -365357      lb |  0                0                0.00  |
91.28/91.35	c | 91.35     | 0  | -365355      lb |  0                0                0.00  |
91.97/92.08	c | 92.08     | 0  | -365354      lb |  0                0                0.00  |
92.67/92.77	c | 92.78     | 0  | -365307      lb |  0                0                0.00  |
93.48/93.52	c | 93.52     | 0  | -365294      lb |  0                0                0.00  |
94.17/94.24	c | 94.24     | 0  | -365267      lb |  0                0                0.00  |
94.87/94.92	c | 94.93     | 0  | -365265      lb |  0                0                0.00  |
95.58/95.65	c | 95.65     | 0  | -365264      lb |  0                0                0.00  |
96.78/96.81	c | 96.81     | 0  | -365263      lb |  0                0                0.00  |
97.88/97.92	c | 97.92     | 0  | -365262      lb |  0                0                0.00  |
98.57/98.67	c | 98.67     | 0  | -365232      lb |  0                0                0.00  |
99.57/99.63	c | 99.64     | 0  | -365231      lb |  0                0                0.00  |
100.67/100.72	c | 100.72    | 0  | -365230      lb |  0                0                0.00  |
101.78/101.87	c | 101.87    | 0  | -365229      lb |  0                0                0.00  |
102.98/103.03	c | 103.04    | 0  | -365228      lb |  0                0                0.00  |
104.08/104.13	c | 104.13    | 0  | -365227      lb |  0                0                0.00  |
105.17/105.24	c | 105.25    | 0  | -365226      lb |  0                0                0.00  |
105.87/105.95	c | 105.95    | 0  | -365225      lb |  0                0                0.00  |
106.97/107.01	c | 107.01    | 0  | -365224      lb |  0                0                0.00  |
107.78/107.88	c | 107.88    | 0  | -365219      lb |  0                0                0.00  |
108.88/108.93	c | 108.94    | 0  | -365218      lb |  0                0                0.00  |
109.57/109.68	c | 109.69    | 0  | -365217      lb |  0                0                0.00  |
110.67/110.79	c | 110.80    | 0  | -365216      lb |  0                0                0.00  |
111.87/111.98	c | 111.98    | 0  | -365215      lb |  0                0                0.00  |
113.17/113.24	c | 113.24    | 0  | -365214      lb |  0                0                0.00  |
114.47/114.51	c | 114.51    | 0  | -365213      lb |  0                0                0.00  |
115.87/115.93	c | 115.94    | 0  | -365212      lb |  0                0                0.00  |
117.07/117.16	c | 117.17    | 0  | -365211      lb |  0                0                0.00  |
118.27/118.32	c | 118.32    | 0  | -365210      lb |  0                0                0.00  |
119.97/120.00	c | 120.01    | 0  | -365209      lb |  0                0                0.00  |
121.87/121.96	c | 121.96    | 0  | -365208      lb |  0                0                0.00  |
123.67/123.74	c | 123.74    | 0  | -365207      lb |  0                0                0.00  |
124.67/124.71	c | 124.72    | 0  | -365206      lb |  0                0                0.00  |
126.57/126.66	c | 126.66    | 0  | -365205      lb |  0                0                0.00  |
128.47/128.58	c | 128.58    | 0  | -365204      lb |  0                0                0.00  |
129.97/130.02	c | 130.02    | 0  | -365203      lb |  0                0                0.00  |
131.77/131.90	c | 131.90    | 0  | -365202      lb |  0                0                0.00  |
133.37/133.40	c | 133.40    | 0  | -365201      lb |  0                0                0.00  |
135.07/135.11	c | 135.11    | 0  | -365200      lb |  0                0                0.00  |
136.66/136.73	c | 136.74    | 0  | -365199      lb |  0                0                0.00  |
138.17/138.26	c | 138.26    | 0  | -365198      lb |  0                0                0.00  |
139.77/139.87	c | 139.88    | 0  | -365197      lb |  0                0                0.00  |
141.37/141.47	c | 141.47    | 0  | -365196      lb |  0                0                0.00  |
143.07/143.17	c | 143.18    | 0  | -365195      lb |  0                0                0.00  |
144.77/144.87	c | 144.87    | 0  | -365194      lb |  0                0                0.00  |
146.56/146.68	c | 146.68    | 0  | -365193      lb |  0                0                0.00  |
148.97/149.06	c | 149.06    | 0  | -365192      lb |  0                0                0.00  |
150.47/150.52	c | 150.53    | 0  | -365191      lb |  0                0                0.00  |
151.36/151.42	c | 151.42    | 0  | -365190      lb |  0                0                0.00  |
152.16/152.24	c | 152.25    | 0  | -365189      lb |  0                0                0.00  |
153.27/153.31	c | 153.31    | 0  | -365188      lb |  0                0                0.00  |
154.36/154.45	c | 154.45    | 0  | -365176      lb |  0                0                0.00  |
155.27/155.34	c | 155.34    | 0  | -365175      lb |  0                0                0.00  |
156.57/156.63	c | 156.63    | 0  | -365174      lb |  0                0                0.00  |
158.17/158.24	c | 158.24    | 0  | -365173      lb |  0                0                0.00  |
159.87/159.95	c | 159.96    | 0  | -365172      lb |  0                0                0.00  |
161.06/161.14	c | 161.15    | 0  | -365171      lb |  0                0                0.00  |
162.36/162.41	c | 162.41    | 0  | -365170      lb |  0                0                0.00  |
163.16/163.27	c | 163.27    | 0  | -365169      lb |  0                0                0.00  |
164.46/164.55	c | 164.56    | 0  | -365168      lb |  0                0                0.00  |
165.76/165.83	c | 165.83    | 0  | -365167      lb |  0                0                0.00  |
167.27/167.35	c | 167.35    | 0  | -365165      lb |  0                0                0.00  |
168.37/168.48	c | 168.49    | 0  | -365164      lb |  0                0                0.00  |
169.76/169.83	c | 169.84    | 0  | -365163      lb |  0                0                0.00  |
171.26/171.39	c | 171.40    | 0  | -365162      lb |  0                0                0.00  |
173.26/173.30	c | 173.31    | 0  | -365161      lb |  0                0                0.00  |
174.67/174.74	c | 174.74    | 0  | -365160      lb |  0                0                0.00  |
176.36/176.40	c | 176.41    | 0  | -365157      lb |  0                0                0.00  |
177.86/177.96	c | 177.96    | 0  | -365156      lb |  0                0                0.00  |
179.36/179.46	c | 179.46    | 0  | -365155      lb |  0                0                0.00  |
181.26/181.33	c | 181.33    | 0  | -365154      lb |  0                0                0.00  |
183.16/183.25	c | 183.25    | 0  | -365153      lb |  0                0                0.00  |
185.96/186.05	c | 186.06    | 0  | -365111      lb |  0                0                0.00  |
189.36/189.47	c | 189.48    | 0  | -365109      lb |  0                0                0.00  |
193.16/193.21	c | 193.21    | 0  | -365108      lb |  0                0                0.00  |
195.06/195.18	c | 195.18    | 0  | -365107      lb |  0                0                0.00  |
199.46/199.57	c | 199.57    | 0  | -365106      lb |  0                0                0.00  |
202.27/202.31	c | 202.31    | 0  | -365105      lb |  0                0                0.00  |
204.26/204.35	c | 204.35    | 0  | -365104      lb |  0                0                0.00  |
207.35/207.45	c | 207.46    | 0  | -365103      lb |  0                0                0.00  |
210.96/211.06	c | 211.07    | 0  | -365102      lb |  0                0                0.00  |
215.46/215.58	c | 215.59    | 0  | -365101      lb |  0                0                0.00  |
217.76/217.83	c | 217.83    | 0  | -365100      lb |  0                0                0.00  |
220.76/220.80	c | 220.81    | 0  | -365099      lb |  0                0                0.00  |
223.06/223.10	c | 223.11    | 0  | -365098      lb |  0                0                0.00  |
225.75/225.80	c | 225.80    | 0  | -365097      lb |  0                0                0.00  |
229.15/229.27	c | 229.28    | 0  | -365096      lb |  0                0                0.00  |
231.25/231.35	c | 231.35    | 0  | -365095      lb |  0                0                0.00  |
239.35/239.45	c | 239.45    | 0  | -365094      lb |  0                0                0.00  |
241.75/241.86	c | 241.87    | 0  | -365093      lb |  0                0                0.00  |
248.35/248.48	c | 248.48    | 0  | -365092      lb |  0                0                0.00  |
250.05/250.15	c | 250.16    | 0  | -365091      lb |  0                0                0.00  |
255.15/255.28	c | 255.29    | 0  | -365090      lb |  0                0                0.00  |
260.15/260.26	c | 260.26    | 0  | -365089      lb |  0                0                0.00  |
270.25/270.36	c | 270.36    | 0  | -365088      lb |  0                0                0.00  |
276.64/276.75	c | 276.75    | 0  | -365087      lb |  0                0                0.00  |
278.26/278.30	c | 278.31    | 0  | -365086      lb |  0                0                0.00  |
280.54/280.67	c | 280.67    | 0  | -365085      lb |  0                0                0.00  |
282.66/282.71	c | 282.71    | 0  | -365084      lb |  0                0                0.00  |
284.95/285.06	c | 285.06    | 0  | -365083      lb |  0                0                0.00  |
287.05/287.17	c | 287.17    | 0  | -365080      lb |  0                0                0.00  |
290.14/290.24	c | 290.24    | 0  | -365079      lb |  0                0                0.00  |
292.24/292.36	c | 292.37    | 0  | -365078      lb |  0                0                0.00  |
294.44/294.58	c | 294.58    | 0  | -365077      lb |  0                0                0.00  |
296.54/296.69	c | 296.69    | 0  | -365076      lb |  0                0                0.00  |
298.74/298.80	c | 298.80    | 0  | -365075      lb |  0                0                0.00  |
301.44/301.51	c | 301.52    | 0  | -365074      lb |  0                0                0.00  |
303.55/303.68	c | 303.68    | 0  | -365073      lb |  0                0                0.00  |
306.04/306.10	c | 306.10    | 0  | -365072      lb |  0                0                0.00  |
307.95/308.03	c | 308.03    | 0  | -365071      lb |  0                0                0.00  |
312.04/312.11	c | 312.11    | 0  | -365070      lb |  0                0                0.00  |
316.83/316.92	c | 316.92    | 0  | -365069      lb |  0                0                0.00  |
319.14/319.25	c | 319.25    | 0  | -365068      lb |  0                0                0.00  |
322.74/322.81	c | 322.82    | 0  | -365067      lb |  0                0                0.00  |
324.84/324.92	c | 324.92    | 0  | -365066      lb |  0                0                0.00  |
326.34/326.40	c | 326.41    | 0  | -365065      lb |  0                0                0.00  |
329.04/329.12	c | 329.12    | 0  | -365064      lb |  0                0                0.00  |
331.24/331.36	c | 331.37    | 0  | -365063      lb |  0                0                0.00  |
333.44/333.52	c | 333.53    | 0  | -365062      lb |  0                0                0.00  |
336.34/336.44	c | 336.44    | 0  | -365061      lb |  0                0                0.00  |
340.54/340.67	c | 340.67    | 0  | -365060      lb |  0                0                0.00  |
342.74/342.85	c | 342.85    | 0  | -365059      lb |  0                0                0.00  |
350.44/350.58	c | 350.58    | 0  | -365058      lb |  0                0                0.00  |
352.63/352.75	c | 352.75    | 0  | -365057      lb |  0                0                0.00  |
356.34/356.49	c | 356.49    | 0  | -365056      lb |  0                0                0.00  |
360.64/360.72	c | 360.72    | 0  | -365055      lb |  0                0                0.00  |
363.43/363.57	c | 363.57    | 0  | -365054      lb |  0                0                0.00  |
366.73/366.86	c | 366.86    | 0  | -365053      lb |  0                0                0.00  |
370.03/370.11	c | 370.11    | 0  | -365052      lb |  0                0                0.00  |
373.94/374.01	c | 374.01    | 0  | -365051      lb |  0                0                0.00  |
377.53/377.67	c | 377.68    | 0  | -365050      lb |  0                0                0.00  |
380.44/380.55	c | 380.56    | 0  | -365049      lb |  0                0                0.00  |
383.43/383.53	c | 383.53    | 0  | -365048      lb |  0                0                0.00  |
386.33/386.46	c | 386.46    | 0  | -365047      lb |  0                0                0.00  |
389.53/389.64	c | 389.64    | 0  | -365046      lb |  0                0                0.00  |
393.92/394.01	c | 394.01    | 0  | -365045      lb |  0                0                0.00  |
398.93/399.05	c | 399.06    | 0  | -365044      lb |  0                0                0.00  |
401.93/402.06	c | 402.07    | 0  | -365043      lb |  0                0                0.00  |
404.83/404.96	c | 404.96    | 0  | -365042      lb |  0                0                0.00  |
407.82/407.99	c | 407.99    | 0  | -365041      lb |  0                0                0.00  |
412.23/412.39	c | 412.39    | 0  | -365040      lb |  0                0                0.00  |
416.13/416.21	c | 416.21    | 0  | -365039      lb |  0                0                0.00  |
419.12/419.23	c | 419.23    | 0  | -365038      lb |  0                0                0.00  |
423.33/423.44	c | 423.44    | 0  | -365037      lb |  0                0                0.00  |
427.02/427.17	c | 427.18    | 0  | -365036      lb |  0                0                0.00  |
431.82/431.97	c | 431.98    | 0  | -365035      lb |  0                0                0.00  |
434.83/434.98	c | 434.98    | 0  | -365034      lb |  0                0                0.00  |
438.42/438.57	c | 438.58    | 0  | -365033      lb |  0                0                0.00  |
442.82/442.96	c | 442.96    | 0  | -365032      lb |  0                0                0.00  |
446.22/446.32	c | 446.32    | 0  | -365031      lb |  0                0                0.00  |
449.42/449.56	c | 449.56    | 0  | -365029      lb |  0                0                0.00  |
452.52/452.68	c | 452.69    | 0  | -365028      lb |  0                0                0.00  |
455.42/455.57	c | 455.58    | 0  | -365027      lb |  0                0                0.00  |
457.72/457.89	c | 457.89    | 0  | -365026      lb |  0                0                0.00  |
461.02/461.14	c | 461.14    | 0  | -365025      lb |  0                0                0.00  |
463.72/463.82	c | 463.83    | 0  | -365024      lb |  0                0                0.00  |
467.12/467.25	c | 467.25    | 0  | -365023      lb |  0                0                0.00  |
471.21/471.36	c | 471.37    | 0  | -365017      lb |  0                0                0.00  |
474.51/474.63	c | 474.63    | 0  | -365016      lb |  0                0                0.00  |
478.22/478.37	c | 478.37    | 0  | -365005      lb |  0                0                0.00  |
481.22/481.31	c | 481.31    | 0  | -365004      lb |  0                0                0.00  |
484.51/484.65	c | 484.65    | 0  | -365003      lb |  0                0                0.00  |
487.82/487.96	c | 487.97    | 0  | -365002      lb |  0                0                0.00  |
490.82/490.99	c | 490.99    | 0  | -365001      lb |  0                0                0.00  |
494.21/494.34	c | 494.35    | 0  | -365000      lb |  0                0                0.00  |
497.72/497.83	c | 497.84    | 0  | -364835      lb |  0                0                0.00  |
502.92/503.09	c | 503.09    | 0  | -364834      lb |  0                0                0.00  |
506.11/506.25	c | 506.25    | 0  | -364833      lb |  0                0                0.00  |
509.31/509.43	c | 509.44    | 0  | -364832      lb |  0                0                0.00  |
512.11/512.24	c | 512.24    | 0  | -364831      lb |  0                0                0.00  |
515.50/515.68	c | 515.68    | 0  | -364830      lb |  0                0                0.00  |
517.20/517.37	c | 517.38    | 0  | -364829      lb |  0                0                0.00  |
521.50/521.65	c | 521.66    | 0  | -364828      lb |  0                0                0.00  |
527.10/527.28	c | 527.28    | 0  | -364827      lb |  0                0                0.00  |
529.70/529.86	c | 529.86    | 0  | -364826      lb |  0                0                0.00  |
533.80/533.97	c | 533.97    | 0  | -364825      lb |  0                0                0.00  |
537.49/537.61	c | 537.62    | 0  | -364824      lb |  0                0                0.00  |
541.50/541.65	c | 541.66    | 0  | -364823      lb |  0                0                0.00  |
543.00/543.18	c | 543.19    | 0  | -364822      lb |  0                0                0.00  |
546.19/546.39	c | 546.40    | 0  | -364821      lb |  0                0                0.00  |
548.09/548.26	c | 548.26    | 0  | -364820      lb |  0                0                0.00  |
550.79/550.90	c | 550.90    | 0  | -364819      lb |  0                0                0.00  |
552.90/553.08	c | 553.09    | 0  | -364818      lb |  0                0                0.00  |
555.99/556.13	c | 556.13    | 0  | -364817      lb |  0                0                0.00  |
558.39/558.54	c | 558.54    | 0  | -364517      lb |  0                0                0.00  |
561.09/561.25	c | 561.25    | 0  | -364516      lb |  0                0                0.00  |
564.99/565.15	c | 565.16    | 0  | -364515      lb |  0                0                0.00  |
567.79/567.90	c | 567.91    | 0  | -364514      lb |  0                0                0.00  |
569.89/570.05	c | 570.06    | 0  | -364513      lb |  0                0                0.00  |
572.59/572.73	c | 572.73    | 0  | -364512      lb |  0                0                0.00  |
574.99/575.10	c | 575.11    | 0  | -364511      lb |  0                0                0.00  |
577.79/577.94	c | 577.94    | 0  | -364510      lb |  0                0                0.00  |
579.99/580.16	c | 580.17    | 0  | -364509      lb |  0                0                0.00  |
582.19/582.31	c | 582.31    | 0  | -364508      lb |  0                0                0.00  |
584.19/584.36	c | 584.36    | 0  | -364507      lb |  0                0                0.00  |
591.59/591.79	c | 591.79    | 0  | -364506      lb |  0                0                0.00  |
594.18/594.31	c | 594.31    | 0  | -364505      lb |  0                0                0.00  |
595.48/595.60	c | 595.61    | 0  | -364504      lb |  0                0                0.00  |
599.48/599.64	c | 599.65    | 0  | -364503      lb |  0                0                0.00  |
601.59/601.76	c | 601.76    | 0  | -364502      lb |  0                0                0.00  |
607.78/607.92	c | 607.92    | 0  | -364501      lb |  0                0                0.00  |
611.77/611.91	c | 611.91    | 0  | -364500      lb |  0                0                0.00  |
614.17/614.37	c | 614.37    | 0  | -364499      lb |  0                0                0.00  |
617.78/617.93	c | 617.93    | 0  | -364498      lb |  0                0                0.00  |
620.38/620.57	c | 620.57    | 0  | -364497      lb |  0                0                0.00  |
624.58/624.71	c | 624.71    | 0  | -364496      lb |  0                0                0.00  |
631.78/631.93	c | 631.93    | 0  | -364495      lb |  0                0                0.00  |
633.57/633.72	c | 633.72    | 0  | -364494      lb |  0                0                0.00  |
635.47/635.62	c | 635.63    | 0  | -364493      lb |  0                0                0.00  |
637.97/638.17	c | 638.17    | 0  | -364492      lb |  0                0                0.00  |
641.47/641.69	c | 641.69    | 0  | -364491      lb |  0                0                0.00  |
643.77/643.90	c | 643.91    | 0  | -364490      lb |  0                0                0.00  |
646.07/646.29	c | 646.29    | 0  | -364489      lb |  0                0                0.00  |
648.57/648.79	c | 648.80    | 0  | -364488      lb |  0                0                0.00  |
651.57/651.72	c | 651.73    | 0  | -364487      lb |  0                0                0.00  |
653.66/653.87	c | 653.88    | 0  | -364486      lb |  0                0                0.00  |
655.47/655.67	c | 655.68    | 0  | -364485      lb |  0                0                0.00  |
659.47/659.61	c | 659.61    | 0  | -364484      lb |  0                0                0.00  |
661.47/661.68	c | 661.68    | 0  | -364483      lb |  0                0                0.00  |
663.67/663.82	c | 663.83    | 0  | -364482      lb |  0                0                0.00  |
665.37/665.59	c | 665.59    | 0  | -364481      lb |  0                0                0.00  |
667.47/667.63	c | 667.63    | 0  | -364480      lb |  0                0                0.00  |
670.77/670.95	c | 670.95    | 0  | -364479      lb |  0                0                0.00  |
673.86/674.09	c | 674.09    | 0  | -364478      lb |  0                0                0.00  |
676.57/676.75	c | 676.75    | 0  | -364477      lb |  0                0                0.00  |
678.76/678.95	c | 678.96    | 0  | -364476      lb |  0                0                0.00  |
682.27/682.49	c | 682.50    | 0  | -364475      lb |  0                0                0.00  |
684.86/685.05	c | 685.05    | 0  | -364474      lb |  0                0                0.00  |
687.46/687.64	c | 687.64    | 0  | -364473      lb |  0                0                0.00  |
690.17/690.35	c | 690.36    | 0  | -364472      lb |  0                0                0.00  |
692.66/692.80	c | 692.81    | 0  | -364471      lb |  0                0                0.00  |
695.16/695.30	c | 695.31    | 0  | -364470      lb |  0                0                0.00  |
701.16/701.33	c | 701.34    | 0  | -364469      lb |  0                0                0.00  |
703.56/703.77	c | 703.77    | 0  | -364468      lb |  0                0                0.00  |
705.76/705.96	c | 705.96    | 0  | -364467      lb |  0                0                0.00  |
708.36/708.56	c | 708.56    | 0  | -364466      lb |  0                0                0.00  |
712.46/712.60	c | 712.60    | 0  | -364465      lb |  0                0                0.00  |
715.46/715.65	c | 715.65    | 0  | -364464      lb |  0                0                0.00  |
718.06/718.22	c | 718.22    | 0  | -364463      lb |  0                0                0.00  |
720.27/720.42	c | 720.42    | 0  | -364462      lb |  0                0                0.00  |
723.46/723.64	c | 723.64    | 0  | -364460      lb |  0                0                0.00  |
725.76/725.99	c | 725.99    | 0  | -364459      lb |  0                0                0.00  |
728.95/729.17	c | 729.18    | 0  | -364458      lb |  0                0                0.00  |
732.06/732.23	c | 732.24    | 0  | -364457      lb |  0                0                0.00  |
734.16/734.39	c | 734.39    | 0  | -364456      lb |  0                0                0.00  |
736.05/736.25	c | 736.25    | 0  | -364455      lb |  0                0                0.00  |
738.75/738.94	c | 738.94    | 0  | -364454      lb |  0                0                0.00  |
742.05/742.22	c | 742.23    | 0  | -364453      lb |  0                0                0.00  |
745.15/745.33	c | 745.34    | 0  | -364452      lb |  0                0                0.00  |
748.55/748.72	c | 748.73    | 0  | -364451      lb |  0                0                0.00  |
751.35/751.54	c | 751.54    | 0  | -364449      lb |  0                0                0.00  |
752.35/752.53	c | 752.53    | 0  | -364448      lb |  0                0                0.00  |
755.25/755.49	c | 755.49    | 0  | -364447      lb |  0                0                0.00  |
757.35/757.55	c | 757.55    | 0  | -364446      lb |  0                0                0.00  |
759.75/759.91	c | 759.91    | 0  | -364445      lb |  0                0                0.00  |
762.45/762.66	c | 762.66    | 0  | -364444      lb |  0                0                0.00  |
764.65/764.82	c | 764.83    | 0  | -364443      lb |  0                0                0.00  |
768.34/768.57	c | 768.57    | 0  | -364442      lb |  0                0                0.00  |
771.44/771.64	c | 771.65    | 0  | -364441      lb |  0                0                0.00  |
774.54/774.79	c | 774.80    | 0  | -364440      lb |  0                0                0.00  |
776.65/776.81	c | 776.81    | 0  | -364439      lb |  0                0                0.00  |
778.65/778.88	c | 778.89    | 0  | -364438      lb |  0                0                0.00  |
781.24/781.41	c | 781.41    | 0  | -364437      lb |  0                0                0.00  |
784.25/784.46	c | 784.47    | 0  | -364436      lb |  0                0                0.00  |
785.25/785.40	c | 785.40    | 0  | -364435      lb |  0                0                0.00  |
789.25/789.48	c | 789.49    | 0  | -364434      lb |  0                0                0.00  |
793.54/793.70	c | 793.70    | 0  | -364433      lb |  0                0                0.00  |
797.54/797.72	c | 797.73    | 0  | -364432      lb |  0                0                0.00  |
801.65/801.83	c | 801.84    | 0  | -364431      lb |  0                0                0.00  |
805.74/805.97	c | 805.97    | 0  | -364430      lb |  0                0                0.00  |
808.24/808.47	c | 808.47    | 0  | -364429      lb |  0                0                0.00  |
810.73/810.97	c | 810.97    | 0  | -364428      lb |  0                0                0.00  |
813.24/813.48	c | 813.48    | 0  | -364427      lb |  0                0                0.00  |
816.64/816.83	c | 816.83    | 0  | -364426      lb |  0                0                0.00  |
818.24/818.46	c | 818.47    | 0  | -364425      lb |  0                0                0.00  |
822.73/822.94	c | 822.94    | 0  | -364424      lb |  0                0                0.00  |
827.33/827.54	c | 827.54    | 0  | -364423      lb |  0                0                0.00  |
829.33/829.54	c | 829.54    | 0  | -364422      lb |  0                0                0.00  |
832.22/832.48	c | 832.49    | 0  | -364421      lb |  0                0                0.00  |
835.23/835.48	c | 835.48    | 0  | -364420      lb |  0                0                0.00  |
839.04/839.23	c | 839.24    | 0  | -364419      lb |  0                0                0.00  |
845.53/845.73	c | 845.74    | 0  | -364418      lb |  0                0                0.00  |
848.33/848.50	c | 848.50    | 0  | -364417      lb |  0                0                0.00  |
852.23/852.46	c | 852.46    | 0  | -364416      lb |  0                0                0.00  |
854.32/854.60	c | 854.60    | 0  | -364415      lb |  0                0                0.00  |
857.22/857.40	c | 857.40    | 0  | -364414      lb |  0                0                0.00  |
859.22/859.46	c | 859.46    | 0  | -364413      lb |  0                0                0.00  |
861.13/861.32	c | 861.32    | 0  | -364412      lb |  0                0                0.00  |
863.82/864.04	c | 864.04    | 0  | -364410      lb |  0                0                0.00  |
868.51/868.73	c | 868.73    | 0  | -364409      lb |  0                0                0.00  |
872.52/872.71	c | 872.71    | 0  | -364408      lb |  0                0                0.00  |
874.72/874.96	c | 874.96    | 0  | -364407      lb |  0                0                0.00  |
879.72/879.96	c | 879.96    | 0  | -364406      lb |  0                0                0.00  |
882.21/882.46	c | 882.46    | 0  | -364405      lb |  0                0                0.00  |
885.51/885.76	c | 885.76    | 0  | -364404      lb |  0                0                0.00  |
888.31/888.54	c | 888.54    | 0  | -364403      lb |  0                0                0.00  |
890.71/891.00	c | 891.00    | 0  | -364402      lb |  0                0                0.00  |
894.60/894.89	c | 894.89    | 0  | -364401      lb |  0                0                0.00  |
896.80/897.02	c | 897.03    | 0  | -364400      lb |  0                0                0.00  |
899.31/899.56	c | 899.57    | 0  | -364399      lb |  0                0                0.00  |
904.70/904.90	c | 904.90    | 0  | -364398      lb |  0                0                0.00  |
907.90/908.12	c | 908.13    | 0  | -364397      lb |  0                0                0.00  |
910.40/910.70	c | 910.70    | 0  | -364396      lb |  0                0                0.00  |
913.80/914.08	c | 914.09    | 0  | -364395      lb |  0                0                0.00  |
917.20/917.48	c | 917.49    | 0  | -364394      lb |  0                0                0.00  |
919.49/919.77	c | 919.78    | 0  | -364393      lb |  0                0                0.00  |
922.00/922.20	c | 922.20    | 0  | -364392      lb |  0                0                0.00  |
926.79/927.06	c | 927.07    | 0  | -364391      lb |  0                0                0.00  |
930.19/930.44	c | 930.44    | 0  | -364389      lb |  0                0                0.00  |
932.39/932.65	c | 932.66    | 0  | -364388      lb |  0                0                0.00  |
935.39/935.68	c | 935.68    | 0  | -364387      lb |  0                0                0.00  |
940.30/940.57	c | 940.58    | 0  | -364386      lb |  0                0                0.00  |
943.69/943.90	c | 943.90    | 0  | -364385      lb |  0                0                0.00  |
946.80/947.05	c | 947.06    | 0  | -364384      lb |  0                0                0.00  |
949.99/950.21	c | 950.21    | 0  | -364383      lb |  0                0                0.00  |
952.49/952.76	c | 952.77    | 0  | -364382      lb |  0                0                0.00  |
955.69/955.93	c | 955.93    | 0  | -364381      lb |  0                0                0.00  |
958.18/958.44	c | 958.45    | 0  | -364380      lb |  0                0                0.00  |
960.48/960.76	c | 960.76    | 0  | -364379      lb |  0                0                0.00  |
962.98/963.21	c | 963.21    | 0  | -364378      lb |  0                0                0.00  |
964.18/964.47	c | 964.48    | 0  | -364377      lb |  0                0                0.00  |
967.89/968.18	c | 968.19    | 0  | -364376      lb |  0                0                0.00  |
971.98/972.30	c | 972.30    | 0  | -364375      lb |  0                0                0.00  |
974.68/974.99	c | 974.99    | 0  | -364374      lb |  0                0                0.00  |
978.38/978.60	c | 978.60    | 0  | -364373      lb |  0                0                0.00  |
980.79/981.06	c | 981.06    | 0  | -364372      lb |  0                0                0.00  |
982.38/982.68	c | 982.68    | 0  | -364371      lb |  0                0                0.00  |
986.18/986.45	c | 986.46    | 0  | -364370      lb |  0                0                0.00  |
990.89/991.14	c | 991.14    | 0  | -364369      lb |  0                0                0.00  |
993.28/993.57	c | 993.58    | 0  | -364368      lb |  0                0                0.00  |
996.98/997.25	c | 997.25    | 0  | -364367      lb |  0                0                0.00  |
999.07/999.32	c | 999.32    | 0  | -364366      lb |  0                0                0.00  |
1002.07/1002.36	c | 1002.37   | 0  | -364365      lb |  0                0                0.00  |
1004.88/1005.10	c | 1005.11   | 0  | -364364      lb |  0                0                0.00  |
1007.38/1007.69	c | 1007.69   | 0  | -364363      lb |  0                0                0.00  |
1009.58/1009.87	c | 1009.88   | 0  | -364362      lb |  0                0                0.00  |
1012.27/1012.50	c | 1012.50   | 0  | -364361      lb |  0                0                0.00  |
1014.88/1015.20	c | 1015.20   | 0  | -364360      lb |  0                0                0.00  |
1022.78/1023.06	c | 1023.07   | 0  | -364359      lb |  0                0                0.00  |
1026.08/1026.34	c | 1026.35   | 0  | -364358      lb |  0                0                0.00  |
1029.18/1029.47	c | 1029.47   | 0  | -364357      lb |  0                0                0.00  |
1032.17/1032.44	c | 1032.44   | 0  | -364356      lb |  0                0                0.00  |
1034.57/1034.85	c | 1034.85   | 0  | -364355      lb |  0                0                0.00  |
1038.17/1038.49	c | 1038.50   | 0  | -364354      lb |  0                0                0.00  |
1042.48/1042.78	c | 1042.78   | 0  | -364353      lb |  0                0                0.00  |
1045.27/1045.58	c | 1045.58   | 0  | -364352      lb |  0                0                0.00  |
1048.47/1048.79	c | 1048.79   | 0  | -364351      lb |  0                0                0.00  |
1051.28/1051.56	c | 1051.57   | 0  | -364350      lb |  0                0                0.00  |
1054.77/1055.08	c | 1055.08   | 0  | -364349      lb |  0                0                0.00  |
1058.86/1059.10	c | 1059.10   | 0  | -364348      lb |  0                0                0.00  |
1061.17/1061.46	c | 1061.47   | 0  | -364347      lb |  0                0                0.00  |
1063.87/1064.14	c | 1064.14   | 0  | -364346      lb |  0                0                0.00  |
1067.07/1067.37	c | 1067.38   | 0  | -364345      lb |  0                0                0.00  |
1069.37/1069.65	c | 1069.66   | 0  | -364344      lb |  0                0                0.00  |
1073.57/1073.86	c | 1073.87   | 0  | -364343      lb |  0                0                0.00  |
1076.37/1076.60	c | 1076.60   | 0  | -364342      lb |  0                0                0.00  |
1078.57/1078.84	c | 1078.84   | 0  | -364341      lb |  0                0                0.00  |
1080.97/1081.30	c | 1081.30   | 0  | -364339      lb |  0                0                0.00  |
1083.66/1083.94	c | 1083.94   | 0  | -364338      lb |  0                0                0.00  |
1087.57/1087.86	c | 1087.87   | 0  | -364337      lb |  0                0                0.00  |
1090.57/1090.80	c | 1090.80   | 0  | -364336      lb |  0                0                0.00  |
1093.47/1093.77	c | 1093.77   | 0  | -364335      lb |  0                0                0.00  |
1097.67/1097.98	c | 1097.98   | 0  | -364331      lb |  0                0                0.00  |
1101.56/1101.80	c | 1101.81   | 0  | -364330      lb |  0                0                0.00  |
1105.06/1105.37	c | 1105.37   | 0  | -364329      lb |  0                0                0.00  |
1108.76/1109.07	c | 1109.08   | 0  | -364328      lb |  0                0                0.00  |
1111.16/1111.44	c | 1111.44   | 0  | -364327      lb |  0                0                0.00  |
1113.46/1113.79	c | 1113.79   | 0  | -364326      lb |  0                0                0.00  |
1116.66/1116.98	c | 1116.98   | 0  | -364325      lb |  0                0                0.00  |
1118.96/1119.26	c | 1119.26   | 0  | -364324      lb |  0                0                0.00  |
1121.96/1122.28	c | 1122.28   | 0  | -364323      lb |  0                0                0.00  |
1124.36/1124.66	c | 1124.66   | 0  | -364322      lb |  0                0                0.00  |
1126.85/1127.12	c | 1127.12   | 0  | -364317      lb |  0                0                0.00  |
1129.66/1129.93	c | 1129.94   | 0  | -364316      lb |  0                0                0.00  |
1134.97/1135.24	c | 1135.24   | 0  | -364315      lb |  0                0                0.00  |
1139.76/1140.02	c | 1140.02   | 0  | -364314      lb |  0                0                0.00  |
1143.25/1143.54	c | 1143.54   | 0  | -364313      lb |  0                0                0.00  |
1170.25/1170.57	c | 1170.57   | 0  | -364312      lb |  0                0                0.00  |
1173.05/1173.33	c | 1173.33   | 0  | -364311      lb |  0                0                0.00  |
1175.66/1175.94	c | 1175.94   | 0  | -364310      lb |  0                0                0.00  |
1179.55/1179.85	c | 1179.85   | 0  | -364309      lb |  0                0                0.00  |
1185.35/1185.66	c | 1185.66   | 0  | -364308      lb |  0                0                0.00  |
1189.65/1189.91	c | 1189.92   | 0  | -364307      lb |  0                0                0.00  |
1195.94/1196.26	c | 1196.27   | 0  | -364306      lb |  0                0                0.00  |
1198.14/1198.43	c | 1198.43   | 0  | -364305      lb |  0                0                0.00  |
1203.25/1203.58	c | 1203.58   | 0  | -364304      lb |  0                0                0.00  |
1206.25/1206.52	c | 1206.52   | 0  | -364291      lb |  0                0                0.00  |
1208.65/1208.97	c | 1208.97   | 0  | -364290      lb |  0                0                0.00  |
1211.65/1211.98	c | 1211.98   | 0  | -364279      lb |  0                0                0.00  |
1213.75/1214.01	c | 1214.01   | 0  | -364278      lb |  0                0                0.00  |
1216.85/1217.10	c | 1217.11   | 0  | -364277      lb |  0                0                0.00  |
1222.34/1222.69	c | 1222.69   | 0  | -364276      lb |  0                0                0.00  |
1225.54/1225.89	c | 1225.90   | 0  | -364275      lb |  0                0                0.00  |
1228.55/1228.82	c | 1228.82   | 0  | -364274      lb |  0                0                0.00  |
1232.24/1232.57	c | 1232.57   | 0  | -364273      lb |  0                0                0.00  |
1235.64/1235.95	c | 1235.95   | 0  | -364272      lb |  0                0                0.00  |
1237.74/1238.06	c | 1238.06   | 0  | -364271      lb |  0                0                0.00  |
1242.24/1242.52	c | 1242.52   | 0  | -364270      lb |  0                0                0.00  |
1244.74/1245.09	c | 1245.09   | 0  | -364269      lb |  0                0                0.00  |
1247.94/1248.26	c | 1248.26   | 0  | -364268      lb |  0                0                0.00  |
1253.04/1253.34	c | 1253.34   | 0  | -364267      lb |  0                0                0.00  |
1259.15/1259.48	c | 1259.48   | 0  | -364266      lb |  0                0                0.00  |
1265.14/1265.40	c | 1265.41   | 0  | -364265      lb |  0                0                0.00  |
1274.64/1274.95	c | 1274.95   | 0  | -364264      lb |  0                0                0.00  |
1278.64/1278.97	c | 1278.97   | 0  | -364263      lb |  0                0                0.00  |
1282.44/1282.77	c | 1282.77   | 0  | -364262      lb |  0                0                0.00  |
1285.54/1285.89	c | 1285.89   | 0  | -364261      lb |  0                0                0.00  |
1292.44/1292.79	c | 1292.80   | 0  | -364260      lb |  0                0                0.00  |
1294.74/1295.07	c | 1295.08   | 0  | -364259      lb |  0                0                0.00  |
1299.04/1299.33	c | 1299.34   | 0  | -364258      lb |  0                0                0.00  |
1300.94/1301.20	c | 1301.20   | 0  | -364257      lb |  0                0                0.00  |
1303.44/1303.79	c | 1303.79   | 0  | -364256      lb |  0                0                0.00  |
1310.94/1311.24	c | 1311.24   | 0  | -364255      lb |  0                0                0.00  |
1314.93/1315.27	c | 1315.27   | 0  | -364254      lb |  0                0                0.00  |
1321.63/1321.98	c | 1321.99   | 0  | -364253      lb |  0                0                0.00  |
1325.23/1325.56	c | 1325.57   | 0  | -364252      lb |  0                0                0.00  |
1329.12/1329.45	c | 1329.46   | 0  | -364251      lb |  0                0                0.00  |
1333.03/1333.38	c | 1333.38   | 0  | -364250      lb |  0                0                0.00  |
1336.73/1337.06	c | 1337.07   | 0  | -364249      lb |  0                0                0.00  |
1340.23/1340.59	c | 1340.59   | 0  | -364248      lb |  0                0                0.00  |
1343.32/1343.69	c | 1343.70   | 0  | -364247      lb |  0                0                0.00  |
1348.72/1349.09	c | 1349.09   | 0  | -364246      lb |  0                0                0.00  |
1352.13/1352.40	c | 1352.40   | 0  | -364245      lb |  0                0                0.00  |
1356.32/1356.68	c | 1356.68   | 0  | -364244      lb |  0                0                0.00  |
1359.22/1359.51	c | 1359.52   | 0  | -364243      lb |  0                0                0.00  |
1362.13/1362.44	c | 1362.44   | 0  | -364242      lb |  0                0                0.00  |
1365.62/1365.99	c | 1366.00   | 0  | -364241      lb |  0                0                0.00  |
1369.82/1370.13	c | 1370.13   | 0  | -364240      lb |  0                0                0.00  |
1374.52/1374.86	c | 1374.86   | 0  | -364239      lb |  0                0                0.00  |
1378.03/1378.36	c | 1378.37   | 0  | -364238      lb |  0                0                0.00  |
1381.62/1381.98	c | 1381.98   | 0  | -364237      lb |  0                0                0.00  |
1386.21/1386.58	c | 1386.58   | 0  | -364236      lb |  0                0                0.00  |
1389.82/1390.13	c | 1390.14   | 0  | -364235      lb |  0                0                0.00  |
1394.02/1394.33	c | 1394.33   | 0  | -364234      lb |  0                0                0.00  |
1397.02/1397.39	c | 1397.40   | 0  | -364233      lb |  0                0                0.00  |
1399.72/1400.07	c | 1400.07   | 0  | -364232      lb |  0                0                0.00  |
1402.42/1402.76	c | 1402.76   | 0  | -364231      lb |  0                0                0.00  |
1404.91/1405.25	c | 1405.26   | 0  | -364230      lb |  0                0                0.00  |
1407.81/1408.16	c | 1408.16   | 0  | -364229      lb |  0                0                0.00  |
1410.11/1410.46	c | 1410.46   | 0  | -364228      lb |  0                0                0.00  |
1412.62/1412.98	c | 1412.98   | 0  | -364227      lb |  0                0                0.00  |
1416.12/1416.47	c | 1416.47   | 0  | -364226      lb |  0                0                0.00  |
1418.82/1419.18	c | 1419.18   | 0  | -364225      lb |  0                0                0.00  |
1421.82/1422.16	c | 1422.17   | 0  | -364218      lb |  0                0                0.00  |
1424.12/1424.47	c | 1424.47   | 0  | -364217      lb |  0                0                0.00  |
1429.31/1429.67	c | 1429.67   | 0  | -364216      lb |  0                0                0.00  |
1431.82/1432.12	c | 1432.12   | 0  | -364215      lb |  0                0                0.00  |
1434.31/1434.66	c | 1434.66   | 0  | -364214      lb |  0                0                0.00  |
1438.11/1438.43	c | 1438.43   | 0  | -364213      lb |  0                0                0.00  |
1441.11/1441.47	c | 1441.47   | 0  | -364212      lb |  0                0                0.00  |
1443.41/1443.76	c | 1443.77   | 0  | -364211      lb |  0                0                0.00  |
1525.60/1525.98	c | 1525.98   | 0  | -364210      lb |  0                0                0.00  |
1530.10/1530.44	c | 1530.45   | 0  | -364209      lb |  0                0                0.00  |
1532.70/1533.09	c | 1533.09   | 0  | -364208      lb |  0                0                0.00  |
1538.00/1538.39	c | 1538.39   | 0  | -364207      lb |  0                0                0.00  |
1543.90/1544.25	c | 1544.26   | 0  | -364206      lb |  0                0                0.00  |
1549.00/1549.38	c | 1549.38   | 0  | -364205      lb |  0                0                0.00  |
1552.90/1553.24	c | 1553.25   | 0  | -364204      lb |  0                0                0.00  |
1556.49/1556.83	c | 1556.83   | 0  | -364203      lb |  0                0                0.00  |
1562.00/1562.33	c | 1562.33   | 0  | -364202      lb |  0                0                0.00  |
1567.40/1567.78	c | 1567.79   | 0  | -364201      lb |  0                0                0.00  |
1571.19/1571.50	c | 1571.50   | 0  | -364200      lb |  0                0                0.00  |
1575.49/1575.82	c | 1575.83   | 0  | -364199      lb |  0                0                0.00  |
1580.30/1580.69	c | 1580.69   | 0  | -364198      lb |  0                0                0.00  |
1583.89/1584.25	c | 1584.25   | 0  | -364197      lb |  0                0                0.00  |
1587.99/1588.30	c | 1588.31   | 0  | -364196      lb |  0                0                0.00  |
1596.28/1596.63	c | 1596.64   | 0  | -364195      lb |  0                0                0.00  |
1599.19/1599.57	c | 1599.57   | 0  | -364194      lb |  0                0                0.00  |
1601.20/1601.53	c | 1601.53   | 0  | -364193      lb |  0                0                0.00  |
1602.69/1603.01	c | 1603.01   | 0  | -364192      lb |  0                0                0.00  |
1605.09/1605.43	c | 1605.43   | 0  | -364191      lb |  0                0                0.00  |
1607.79/1608.16	c | 1608.16   | 0  | -364190      lb |  0                0                0.00  |
1610.88/1611.25	c | 1611.25   | 0  | -364189      lb |  0                0                0.00  |
1613.88/1614.23	c | 1614.23   | 0  | -364188      lb |  0                0                0.00  |
1617.99/1618.35	c | 1618.35   | 0  | -364187      lb |  0                0                0.00  |
1621.48/1621.88	c | 1621.88   | 0  | -364186      lb |  0                0                0.00  |
1627.48/1627.85	c | 1627.85   | 0  | -364185      lb |  0                0                0.00  |
1630.78/1631.12	c | 1631.12   | 0  | -364184      lb |  0                0                0.00  |
1633.48/1633.81	c | 1633.81   | 0  | -364183      lb |  0                0                0.00  |
1636.48/1636.83	c | 1636.84   | 0  | -364182      lb |  0                0                0.00  |
1639.48/1639.87	c | 1639.88   | 0  | -364181      lb |  0                0                0.00  |
1644.68/1645.04	c | 1645.04   | 0  | -364180      lb |  0                0                0.00  |
1647.07/1647.49	c | 1647.49   | 0  | -364179      lb |  0                0                0.00  |
1649.58/1649.94	c | 1649.94   | 0  | -364178      lb |  0                0                0.00  |
1652.07/1652.42	c | 1652.42   | 0  | -364177      lb |  0                0                0.00  |
1654.37/1654.77	c | 1654.77   | 0  | -364174      lb |  0                0                0.00  |
1656.78/1657.11	c | 1657.11   | 0  | -364173      lb |  0                0                0.00  |
1659.67/1660.02	c | 1660.03   | 0  | -364172      lb |  0                0                0.00  |
1661.87/1662.26	c | 1662.26   | 0  | -364171      lb |  0                0                0.00  |
1665.17/1665.51	c | 1665.51   | 0  | -364170      lb |  0                0                0.00  |
1669.37/1669.73	c | 1669.73   | 0  | -364169      lb |  0                0                0.00  |
1672.27/1672.64	c | 1672.65   | 0  | -364168      lb |  0                0                0.00  |
1677.18/1677.54	c | 1677.54   | 0  | -364167      lb |  0                0                0.00  |
1680.07/1680.47	c | 1680.48   | 0  | -364165      lb |  0                0                0.00  |
1685.67/1686.02	c | 1686.02   | 0  | -364164      lb |  0                0                0.00  |
1692.17/1692.54	c | 1692.54   | 0  | -364163      lb |  0                0                0.00  |
1698.26/1698.60	c | 1698.61   | 0  | -364162      lb |  0                0                0.00  |
1700.66/1701.06	c | 1701.07   | 0  | -364161      lb |  0                0                0.00  |
1704.47/1704.87	c | 1704.87   | 0  | -364160      lb |  0                0                0.00  |
1706.66/1707.10	c | 1707.10   | 0  | -364159      lb |  0                0                0.00  |
1710.17/1710.53	c | 1710.54   | 0  | -364158      lb |  0                0                0.00  |
1713.46/1713.89	c | 1713.89   | 0  | -364157      lb |  0                0                0.00  |
1716.36/1716.79	c | 1716.80   | 0  | -364156      lb |  0                0                0.00  |
1720.35/1720.72	c | 1720.72   | 0  | -364155      lb |  0                0                0.00  |
1722.65/1723.01	c | 1723.01   | 0  | -364154      lb |  0                0                0.00  |
1727.46/1727.88	c | 1727.88   | 0  | -364153      lb |  0                0                0.00  |
1734.05/1734.46	c | 1734.46   | 0  | -364152      lb |  0                0                0.00  |
1740.86/1741.25	c | 1741.26   | 0  | -364151      lb |  0                0                0.00  |
1743.06/1743.46	c | 1743.47   | 0  | -364150      lb |  0                0                0.00  |
1751.75/1752.15	c | 1752.15   | 0  | -364149      lb |  0                0                0.00  |
1754.16/1754.52	c | 1754.53   | 0  | -364148      lb |  0                0                0.00  |
1757.25/1757.66	c | 1757.67   | 0  | -364147      lb |  0                0                0.00  |
1759.65/1760.01	c | 1760.01   | 0  | -364146      lb |  0                0                0.00  |
1761.75/1762.19	c | 1762.20   | 0  | -364145      lb |  0                0                0.00  |
1764.06/1764.46	c | 1764.47   | 0  | -364144      lb |  0                0                0.00  |
1767.85/1768.29	c | 1768.30   | 0  | -364143      lb |  0                0                0.00  |
1770.75/1771.11	c | 1771.11   | 0  | -364142      lb |  0                0                0.00  |
1774.14/1774.59	c | 1774.60   | 0  | -364141      lb |  0                0                0.00  |
1778.35/1778.74	c | 1778.74   | 0  | -364140      lb |  0                0                0.00  |
1781.44/1781.80	c | 1781.80   | 0  | -364139      lb |  0                0                0.00  |
1783.64/1784.03	c | 1784.04   | 0  | -364138      lb |  0                0                0.00  |
1785.94/1786.33	c | 1786.33   | 0  | -364137      lb |  0                0                0.00  |
1788.04/1788.41	c | 1788.42   | 0  | -364136      lb |  0                0                0.00  |
1790.64/1791.00	c | 1791.00   | 0  | -364133      lb |  0                0                0.00  |
1793.24/1793.67	c | 1793.68   | 0  | -364132      lb |  0                0                0.00  |
1796.64/1797.09	c | 1797.10   | 0  | -364131      lb |  0                0                0.00  |
1799.63/1800.01	c ===============================================================================
1799.63/1800.01	c Wall Clock Time: 1800.02 s
1799.63/1800.01	s UNKNOWN

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 /tmp/evaluation-result-3705595-1338161096/watcher-3705595-1338161096 -o /tmp/evaluation-result-3705595-1338161096/solver-3705595-1338161096 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705595-1338161096.opb 

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.00 2.00 2.00 2/176 15486
/proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=31488 CPUtime=0 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 282238288 32243712 457 33554432000 4194304 5963574 140734563585760 140735270022040 5301799 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 7872 457 172 432 0 545 0

[startup+0.091671 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 15486
/proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=41524 CPUtime=0.08 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 3000 0 0 0 8 0 0 0 20 0 1 0 282238288 42520576 2903 33554432000 4194304 5963574 140734563585760 140735270022040 5159036 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 10381 2905 443 432 0 3054 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41524

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 15486
/proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=42044 CPUtime=0.09 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 3220 0 0 0 9 0 0 0 20 0 1 0 282238288 43053056 3058 33554432000 4194304 5963574 140734563585760 140735270022040 4352784 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 10511 3059 467 432 0 3184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42044

[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 15486
/proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=53152 CPUtime=0.29 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 6847 0 0 0 28 1 0 0 20 0 1 0 282238288 54427648 6548 33554432000 4194304 5963574 140734563585760 140734563584184 5155378 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 13288 6548 1054 432 0 5961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53152

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 15486
/proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=85780 CPUtime=0.69 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 15851 0 0 0 66 3 0 0 20 0 1 0 282238288 87838720 14894 33554432000 4194304 5963574 140734563585760 140734563584184 5138264 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 21445 14894 2209 432 0 14118 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85780

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15488
/proc/meminfo: memFree=30765424/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=145352 CPUtime=1.49 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 30495 0 0 0 144 5 0 0 20 0 1 0 282238288 148840448 30016 33554432000 4194304 5963574 140734563585760 140734563584104 4344567 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 36338 30016 4120 432 0 29011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145352

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15488
/proc/meminfo: memFree=30457740/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=293140 CPUtime=3.08 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 64868 0 0 0 297 11 0 0 20 0 2 0 282238288 300175360 64080 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 73285 64080 177 432 0 72850 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293140

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15489
/proc/meminfo: memFree=30059524/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=565660 CPUtime=6.29 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 114132 0 0 0 607 22 0 0 20 0 2 0 282238288 579235840 129175 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 141415 129175 194 432 0 140980 0
[pid=15486/tid=15489] ppid=15484 vsize=565660 CPUtime=3.35 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 67611 0 0 0 321 14 0 0 20 0 2 0 282238582 579235840 129175 33554432000 4194304 5963574 140734563585760 140026761079128 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565660

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15489
/proc/meminfo: memFree=30031788/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=631196 CPUtime=12.69 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 117349 0 0 0 1244 25 0 0 20 0 2 0 282238288 646344704 138041 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 157799 138041 195 432 0 157364 0
[pid=15486/tid=15489] ppid=15484 vsize=631196 CPUtime=9.75 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 70828 0 0 0 958 17 0 0 20 0 2 0 282238582 646344704 138041 33554432000 4194304 5963574 140734563585760 140026761079320 4418639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 631196

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15489
/proc/meminfo: memFree=29976532/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=631196 CPUtime=25.48 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 124354 0 0 0 2519 29 0 0 20 0 2 0 282238288 646344704 144359 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 157799 144359 196 432 0 157364 0
[pid=15486/tid=15489] ppid=15484 vsize=631196 CPUtime=22.55 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 77833 0 0 0 2233 22 0 0 20 0 2 0 282238582 646344704 144359 33554432000 4194304 5963574 140734563585760 140026761079624 5138318 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 631196

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 15489
/proc/meminfo: memFree=29878436/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=778788 CPUtime=51.08 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 147637 0 0 0 5069 39 0 0 20 0 2 0 282238288 797478912 171676 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 194697 171676 196 432 0 194262 0
[pid=15486/tid=15489] ppid=15484 vsize=778788 CPUtime=48.15 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 101116 0 0 0 4784 31 0 0 20 0 2 0 282238582 797478912 171676 33554432000 4194304 5963574 140734563585760 140026761079128 5129994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 778788

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15490
/proc/meminfo: memFree=29687644/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=909860 CPUtime=102.28 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 167168 0 0 0 10179 49 0 0 20 0 2 0 282238288 931696640 208383 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 227465 208383 197 432 0 227030 0
[pid=15486/tid=15489] ppid=15484 vsize=909860 CPUtime=99.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 120647 0 0 0 9894 42 0 0 20 0 2 0 282238582 931696640 208383 33554432000 4194304 5963574 140734563585760 140026761079320 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 909860

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15490
/proc/meminfo: memFree=29579624/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=975396 CPUtime=162.26 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 190130 0 0 0 16167 59 0 0 20 0 2 0 282238288 998805504 220284 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 243849 220284 197 432 0 243414 0
[pid=15486/tid=15489] ppid=15484 vsize=975396 CPUtime=159.35 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 143609 0 0 0 15881 54 0 0 20 0 2 0 282238582 998805504 220284 33554432000 4194304 5963574 140734563585760 140026761079624 4402903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 975396

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15490
/proc/meminfo: memFree=29509756/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=1040932 CPUtime=222.26 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 209934 0 0 0 22159 67 0 0 20 0 2 0 282238288 1065914368 241976 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 260233 241976 197 432 0 259798 0
[pid=15486/tid=15489] ppid=15484 vsize=1040932 CPUtime=219.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 163413 0 0 0 21874 62 0 0 20 0 2 0 282238582 1065914368 241976 33554432000 4194304 5963574 140734563585760 140026761079624 4400164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1040932

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15490
/proc/meminfo: memFree=29392516/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=1128424 CPUtime=282.25 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 217077 0 0 0 28152 73 0 0 20 0 2 0 282238288 1155506176 263730 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 282106 263730 197 432 0 281671 0
[pid=15486/tid=15489] ppid=15484 vsize=1128424 CPUtime=279.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 170556 0 0 0 27867 69 0 0 20 0 2 0 282238582 1155506176 263730 33554432000 4194304 5963574 140734563585760 140026761079112 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1128424

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15493
/proc/meminfo: memFree=29386796/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=1155600 CPUtime=342.24 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 231710 0 0 0 34143 81 0 0 20 0 2 0 282238288 1183334400 265495 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 288900 265495 197 432 0 288465 0
[pid=15486/tid=15489] ppid=15484 vsize=1155600 CPUtime=339.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 185189 0 0 0 33858 78 0 0 20 0 2 0 282238582 1183334400 265495 33554432000 4194304 5963574 140734563585760 140026761079128 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1155600

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15494
/proc/meminfo: memFree=29351408/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=1172004 CPUtime=402.23 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 249840 0 0 0 40136 87 0 0 20 0 2 0 282238288 1200132096 273742 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 293001 273742 197 432 0 292566 0
[pid=15486/tid=15489] ppid=15484 vsize=1172004 CPUtime=399.37 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 203319 0 0 0 39852 85 0 0 20 0 2 0 282238582 1200132096 273742 33554432000 4194304 5963574 140734563585760 140026761079624 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1172004

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15494
/proc/meminfo: memFree=29282252/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=1237540 CPUtime=462.22 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 259677 0 0 0 46131 91 0 0 20 0 2 0 282238288 1267240960 287138 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 309385 287138 197 432 0 308950 0
[pid=15486/tid=15489] ppid=15484 vsize=1237540 CPUtime=459.37 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 213156 0 0 0 45848 89 0 0 20 0 2 0 282238582 1267240960 287138 33554432000 4194304 5963574 140734563585760 140026761079320 4388665 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

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

/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 400183 0 0 0 129754 181 0 0 20 0 2 0 282238582 1988640768 442827 33554432000 4194304 5963574 140734563585760 140026761079320 4390404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1942032

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15500
/proc/meminfo: memFree=28487676/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2032176 CPUtime=1362.03 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 449428 0 0 0 136030 173 0 0 20 0 2 0 282238288 2080948224 458106 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 508044 458106 197 432 0 507609 0
[pid=15486/tid=15489] ppid=15484 vsize=2032176 CPUtime=1359.35 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 402907 0 0 0 135750 185 0 0 20 0 2 0 282238582 2080948224 458106 33554432000 4194304 5963574 140734563585760 140026761079624 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2032176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15500
/proc/meminfo: memFree=28434740/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2097712 CPUtime=1422.02 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 453624 0 0 0 142025 177 0 0 20 0 2 0 282238288 2148057088 471402 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 524428 471402 197 432 0 523993 0
[pid=15486/tid=15489] ppid=15484 vsize=2097712 CPUtime=1419.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 407103 0 0 0 141746 190 0 0 20 0 2 0 282238582 2148057088 471402 33554432000 4194304 5963574 140734563585760 140026761079624 4444334 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2097712

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15500
/proc/meminfo: memFree=28397940/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2163248 CPUtime=1482.01 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 454157 0 0 0 148023 178 0 0 20 0 2 0 282238288 2215165952 480612 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 540812 480612 197 432 0 540377 0
[pid=15486/tid=15489] ppid=15484 vsize=2163248 CPUtime=1479.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 407636 0 0 0 147744 192 0 0 20 0 2 0 282238582 2215165952 480612 33554432000 4194304 5963574 140734563585760 140026761079128 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2163248

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15503
/proc/meminfo: memFree=28396752/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2163248 CPUtime=1542 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 454690 0 0 0 154021 179 0 0 20 0 2 0 282238288 2215165952 480839 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 540812 480839 197 432 0 540377 0
[pid=15486/tid=15489] ppid=15484 vsize=2163248 CPUtime=1539.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 408169 0 0 0 153742 194 0 0 20 0 2 0 282238582 2215165952 480839 33554432000 4194304 5963574 140734563585760 140026761079128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2163248

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15503
/proc/meminfo: memFree=28386328/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2228784 CPUtime=1601.99 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 458576 0 0 0 160016 183 0 0 20 0 2 0 282238288 2282274816 488004 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 557196 488004 197 432 0 556761 0
[pid=15486/tid=15489] ppid=15484 vsize=2228784 CPUtime=1599.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 412055 0 0 0 159737 199 0 0 20 0 2 0 282238582 2282274816 488004 33554432000 4194304 5963574 140734563585760 140026761079080 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2228784

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15504
/proc/meminfo: memFree=28312528/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2294320 CPUtime=1661.97 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 459668 0 0 0 166012 185 0 0 20 0 2 0 282238288 2349383680 501856 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 573580 501856 197 432 0 573145 0
[pid=15486/tid=15489] ppid=15484 vsize=2294320 CPUtime=1659.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 413147 0 0 0 165734 202 0 0 20 0 2 0 282238582 2349383680 501856 33554432000 4194304 5963574 140734563585760 140026761079080 4394809 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2294320

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15504
/proc/meminfo: memFree=28311876/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2294320 CPUtime=1721.95 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 461852 0 0 0 172008 187 0 0 20 0 2 0 282238288 2349383680 501888 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 573580 501888 197 432 0 573145 0
[pid=15486/tid=15489] ppid=15484 vsize=2294320 CPUtime=1719.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 415331 0 0 0 171730 206 0 0 20 0 2 0 282238582 2349383680 501888 33554432000 4194304 5963574 140734563585760 140026761079624 4388360 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2294320

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15504
/proc/meminfo: memFree=28246320/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1781.94 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 463468 0 0 0 178003 191 0 0 20 0 2 0 282238288 2416492544 518256 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 518256 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1779.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 416947 0 0 0 177726 210 0 0 20 0 2 0 282238582 2416492544 518256 33554432000 4194304 5963574 140734563585760 140026761079320 5130146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2359856

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15504
/proc/meminfo: memFree=28256244/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1791.55 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464143 0 0 0 178963 192 0 0 20 0 2 0 282238288 2416492544 515735 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 515735 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1788.96 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 417622 0 0 0 178685 211 0 0 20 0 2 0 282238582 2416492544 515735 33554432000 4194304 5963574 140734563585760 140026761079624 5134809 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 2359856

[startup+1795.1 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 15504
/proc/meminfo: memFree=28221244/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2425392 CPUtime=1794.74 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464820 0 0 0 179282 192 0 0 20 0 2 0 282238288 2483601408 524588 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 606348 524588 197 432 0 605913 0
[pid=15486/tid=15489] ppid=15484 vsize=2425392 CPUtime=1792.16 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418299 0 0 0 179004 212 0 0 20 0 2 0 282238582 2483601408 524588 33554432000 4194304 5963574 140734563585760 140026761079080 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 2425392

[startup+1798.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 15504
/proc/meminfo: memFree=28221244/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1797.93 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464820 0 0 0 179601 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 519979 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1795.36 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418299 0 0 0 179324 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403231 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 2359856

[startup+1799.1 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 15532
/proc/meminfo: memFree=28972488/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1798.73 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179681 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 519979 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.15 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179403 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 2359856

[startup+1799.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 15542
/proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.14 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179722 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 519979 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.56 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179444 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 2359856

[startup+1799.9 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 15542
/proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.53 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179761 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 519979 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.95 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179483 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 2359856

[startup+1800 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 15542
/proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108
[pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.63 cores=0,2,4,6
/proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179771 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15486/statm: 589964 519979 197 432 0 589529 0
[pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1797.05 cores=0,2,4,6
/proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179493 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 2359856

Child status: 255
Real time (s): 1800.04
CPU time (s): 1800.04
CPU user time (s): 1797.81
CPU system time (s): 2.23566
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2425392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.81
system time used= 2.23566
maximum resident set size= 2098352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464823
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= 93
involuntary context switches= 1841

runsolver used 5.65414 second user time and 19.863 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-28 01:24:57
IDJOB=3705595
IDBENCH=90934
IDSOLVER=2283
FILE ID=node103/3705595-1338161096
RUNJOBID= node103-1338157493-15246
PBS_JOBID= 14624530
Free space on /tmp= 71516 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705595-1338161096/watcher-3705595-1338161096 -o /tmp/evaluation-result-3705595-1338161096/solver-3705595-1338161096 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705595-1338161096.opb

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

MD5SUM BENCH= 6f3eb6421078a0de6a5b5f585e0aca61
RANDOM SEED=300307666

node103.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.189
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	: 5332.37
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.189
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	: 5331.91
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.189
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	: 5331.92
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.189
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	: 5331.91
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.189
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	: 5331.91
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.189
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	: 5411.36
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.189
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	: 5331.91
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.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30904484 kB
Buffers:          347228 kB
Cached:           642884 kB
SwapCached:         4508 kB
Active:           793716 kB
Inactive:         338276 kB
Active(anon):     137848 kB
Inactive(anon):     6220 kB
Active(file):     655868 kB
Inactive(file):   332056 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099564 kB
Dirty:             66168 kB
Writeback:             0 kB
AnonPages:        139276 kB
Mapped:            31592 kB
Shmem:                 8 kB
Slab:             695860 kB
SReclaimable:     137164 kB
SUnreclaim:       558696 kB
KernelStack:        1448 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     271908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71508 MiB
End job on node103 at 2012-05-28 01:54:57