Trace number 3727855

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.72? 1799.57 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM13ec733a84b57b5245a7cfe0f2de4f86
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-144793
Best CPU time to get the best result obtained on this benchmark1797.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 300662
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 300662
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727855-1338672057.opb.
0.00/0.00	c Instance file HOME/instance-3727855-1338672057.opb
0.00/0.00	c File size is 2493606 bytes.
0.09/0.19	c Cost Offset: -300662
0.09/0.19	c Highest Coefficient sum: 12697
0.09/0.19	c ============================[ Problem Statistics ]=============================
0.09/0.19	c |                                                                             |
0.09/0.19	c |  Parsing time:          0.20         s                                      |
0.09/0.19	c |  Number Variables:      40937                                               |
0.09/0.19	c |  Number Clauses:        40882                                               |
0.09/0.19	c |  Number Cardinality:    553                                                 |
0.09/0.19	c |  Number PB Constraints: 1                                                   |
0.09/0.19	c |                                                                             |
0.18/0.22	c |  Problem Type:          Optimization                                        |
0.18/0.22	c |  Objective Function:    Cardinality Constraint                              |
0.18/0.22	c |                                                                             |
0.18/0.22	c ============================[ Search Statistics ]==============================
0.18/0.22	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.18/0.22	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.18/0.22	c ===============================================================================
0.18/0.27	c | 0.27      | 0  | -300661      lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | -300660      lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | -300659      lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | -300657      lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | -300654      lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | -300649      lb |  0                0                0.00  |
0.39/0.48	c | 0.48      | 0  | -300641      lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | -300628      lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | -300607      lb |  0                0                0.00  |
0.49/0.59	c | 0.60      | 0  | -300573      lb |  0                0                0.00  |
0.59/0.63	c | 0.63      | 0  | -300518      lb |  0                0                0.00  |
0.59/0.67	c | 0.67      | 0  | -300429      lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | -300285      lb |  0                0                0.00  |
0.69/0.74	c | 0.75      | 0  | -300052      lb |  0                0                0.00  |
0.69/0.78	c | 0.79      | 0  | -299675      lb |  0                0                0.00  |
0.78/0.83	c | 0.84      | 0  | -299674      lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | -299673      lb |  0                0                0.00  |
0.89/0.94	c | 0.94      | 0  | -299672      lb |  0                0                0.00  |
1.00/1.02	c | 1.02      | 0  | -299671      lb |  0                0                0.00  |
1.00/1.10	c | 1.10      | 0  | -299670      lb |  0                0                0.00  |
1.18/1.20	c | 1.21      | 0  | -299669      lb |  0                0                0.00  |
1.28/1.31	c | 1.31      | 0  | -299667      lb |  0                0                0.00  |
1.38/1.41	c | 1.41      | 0  | -299666      lb |  0                0                0.00  |
1.48/1.52	c | 1.53      | 0  | -299665      lb |  0                0                0.00  |
1.58/1.63	c | 1.63      | 0  | -299664      lb |  0                0                0.00  |
1.69/1.74	c | 1.75      | 0  | -299663      lb |  0                0                0.00  |
1.79/1.86	c | 1.86      | 0  | -299662      lb |  0                0                0.00  |
1.89/1.97	c | 1.97      | 0  | -299661      lb |  0                0                0.00  |
1.99/2.09	c | 2.09      | 0  | -299660      lb |  0                0                0.00  |
2.10/2.19	c | 2.19      | 0  | -299659      lb |  0                0                0.00  |
2.20/2.29	c | 2.30      | 0  | -299658      lb |  0                0                0.00  |
2.49/2.50	c | 2.50      | 0  | -299657      lb |  0                0                0.00  |
2.59/2.63	c | 2.63      | 0  | -299656      lb |  0                0                0.00  |
2.69/2.74	c | 2.75      | 0  | -299655      lb |  0                0                0.00  |
2.79/2.86	c | 2.87      | 0  | -299654      lb |  0                0                0.00  |
2.89/2.98	c | 2.98      | 0  | -299653      lb |  0                0                0.00  |
3.09/3.17	c | 3.18      | 0  | -299652      lb |  0                0                0.00  |
3.20/3.29	c | 3.29      | 0  | -299651      lb |  0                0                0.00  |
3.39/3.41	c | 3.42      | 0  | -299650      lb |  0                0                0.00  |
3.49/3.53	c | 3.54      | 0  | -299649      lb |  0                0                0.00  |
3.59/3.65	c | 3.65      | 0  | -299648      lb |  0                0                0.00  |
3.69/3.77	c | 3.78      | 0  | -299647      lb |  0                0                0.00  |
3.79/3.89	c | 3.90      | 0  | -299646      lb |  0                0                0.00  |
3.99/4.00	c | 4.00      | 0  | -299645      lb |  0                0                0.00  |
4.09/4.12	c | 4.13      | 0  | -299644      lb |  0                0                0.00  |
4.19/4.25	c | 4.25      | 0  | -299641      lb |  0                0                0.00  |
4.29/4.35	c | 4.35      | 0  | -299640      lb |  0                0                0.00  |
4.48/4.55	c | 4.56      | 0  | -299639      lb |  0                0                0.00  |
4.68/4.78	c | 4.78      | 0  | -299637      lb |  0                0                0.00  |
4.98/5.03	c | 5.03      | 0  | -299636      lb |  0                0                0.00  |
5.08/5.15	c | 5.15      | 0  | -299619      lb |  0                0                0.00  |
5.18/5.28	c | 5.29      | 0  | -299618      lb |  0                0                0.00  |
5.40/5.41	c | 5.42      | 0  | -299617      lb |  0                0                0.00  |
5.50/5.54	c | 5.54      | 0  | -299616      lb |  0                0                0.00  |
5.59/5.67	c | 5.67      | 0  | -299615      lb |  0                0                0.00  |
5.79/5.80	c | 5.80      | 0  | -299613      lb |  0                0                0.00  |
5.89/5.94	c | 5.94      | 0  | -299612      lb |  0                0                0.00  |
5.99/6.06	c | 6.06      | 0  | -299611      lb |  0                0                0.00  |
6.09/6.13	c | 6.13      | 0  | -299610      lb |  0                0                0.00  |
6.19/6.26	c | 6.27      | 0  | -299609      lb |  0                0                0.00  |
6.29/6.39	c | 6.39      | 0  | -299608      lb |  0                0                0.00  |
6.49/6.54	c | 6.54      | 0  | -299607      lb |  0                0                0.00  |
6.59/6.69	c | 6.69      | 0  | -299606      lb |  0                0                0.00  |
6.78/6.86	c | 6.86      | 0  | -299605      lb |  0                0                0.00  |
6.88/6.99	c | 6.99      | 0  | -299604      lb |  0                0                0.00  |
7.08/7.13	c | 7.13      | 0  | -299603      lb |  0                0                0.00  |
7.18/7.26	c | 7.26      | 0  | -299602      lb |  0                0                0.00  |
7.28/7.39	c | 7.39      | 0  | -299601      lb |  0                0                0.00  |
7.48/7.52	c | 7.52      | 0  | -299600      lb |  0                0                0.00  |
7.48/7.60	c | 7.60      | 0  | -299599      lb |  0                0                0.00  |
7.69/7.72	c | 7.73      | 0  | -299598      lb |  0                0                0.00  |
7.78/7.85	c | 7.85      | 0  | -299597      lb |  0                0                0.00  |
7.98/8.00	c | 8.00      | 0  | -299596      lb |  0                0                0.00  |
8.08/8.13	c | 8.14      | 0  | -299578      lb |  0                0                0.00  |
8.19/8.28	c | 8.28      | 0  | -299577      lb |  0                0                0.00  |
8.39/8.47	c | 8.48      | 0  | -299576      lb |  0                0                0.00  |
8.59/8.62	c | 8.62      | 0  | -299575      lb |  0                0                0.00  |
8.69/8.78	c | 8.79      | 0  | -299574      lb |  0                0                0.00  |
8.89/8.92	c | 8.93      | 0  | -299573      lb |  0                0                0.00  |
8.99/9.07	c | 9.07      | 0  | -299572      lb |  0                0                0.00  |
9.19/9.21	c | 9.21      | 0  | -299571      lb |  0                0                0.00  |
9.28/9.38	c | 9.39      | 0  | -299570      lb |  0                0                0.00  |
9.48/9.52	c | 9.52      | 0  | -299568      lb |  0                0                0.00  |
9.58/9.64	c | 9.65      | 0  | -299567      lb |  0                0                0.00  |
9.68/9.76	c | 9.76      | 0  | -299565      lb |  0                0                0.00  |
9.80/9.90	c | 9.90      | 0  | -299561      lb |  0                0                0.00  |
9.99/10.04	c | 10.04     | 0  | -299560      lb |  0                0                0.00  |
10.09/10.17	c | 10.18     | 0  | -299559      lb |  0                0                0.00  |
10.18/10.29	c | 10.29     | 0  | -299556      lb |  0                0                0.00  |
10.38/10.42	c | 10.43     | 0  | -299555      lb |  0                0                0.00  |
10.48/10.56	c | 10.56     | 0  | -299554      lb |  0                0                0.00  |
10.68/10.70	c | 10.70     | 0  | -299552      lb |  0                0                0.00  |
10.79/10.85	c | 10.85     | 0  | -299510      lb |  0                0                0.00  |
10.90/10.95	c | 10.95     | 0  | -299509      lb |  0                0                0.00  |
11.00/11.08	c | 11.08     | 0  | -299508      lb |  0                0                0.00  |
11.19/11.23	c | 11.24     | 0  | -299507      lb |  0                0                0.00  |
11.29/11.36	c | 11.37     | 0  | -299506      lb |  0                0                0.00  |
11.38/11.50	c | 11.50     | 0  | -299505      lb |  0                0                0.00  |
11.58/11.63	c | 11.64     | 0  | -299504      lb |  0                0                0.00  |
11.68/11.78	c | 11.79     | 0  | -299503      lb |  0                0                0.00  |
11.89/11.93	c | 11.94     | 0  | -299502      lb |  0                0                0.00  |
12.10/12.15	c | 12.15     | 0  | -299501      lb |  0                0                0.00  |
12.19/12.29	c | 12.29     | 0  | -299500      lb |  0                0                0.00  |
12.39/12.45	c | 12.45     | 0  | -299498      lb |  0                0                0.00  |
12.49/12.59	c | 12.60     | 0  | -299495      lb |  0                0                0.00  |
12.69/12.75	c | 12.75     | 0  | -299494      lb |  0                0                0.00  |
12.79/12.89	c | 12.90     | 0  | -299493      lb |  0                0                0.00  |
12.99/13.04	c | 13.05     | 0  | -299492      lb |  0                0                0.00  |
13.19/13.21	c | 13.22     | 0  | -299491      lb |  0                0                0.00  |
13.28/13.37	c | 13.37     | 0  | -299490      lb |  0                0                0.00  |
13.48/13.50	c | 13.51     | 0  | -299480      lb |  0                0                0.00  |
13.58/13.66	c | 13.66     | 0  | -299472      lb |  0                0                0.00  |
13.78/13.81	c | 13.81     | 0  | -299471      lb |  0                0                0.00  |
13.98/14.02	c | 14.02     | 0  | -299470      lb |  0                0                0.00  |
14.08/14.17	c | 14.17     | 0  | -299466      lb |  0                0                0.00  |
14.29/14.33	c | 14.34     | 0  | -299453      lb |  0                0                0.00  |
14.38/14.48	c | 14.48     | 0  | -299451      lb |  0                0                0.00  |
14.59/14.65	c | 14.65     | 0  | -299450      lb |  0                0                0.00  |
14.79/14.83	c | 14.83     | 0  | -299436      lb |  0                0                0.00  |
14.89/14.99	c | 15.00     | 0  | -299415      lb |  0                0                0.00  |
15.09/15.14	c | 15.14     | 0  | -299414      lb |  0                0                0.00  |
15.29/15.30	c | 15.31     | 0  | -299413      lb |  0                0                0.00  |
15.39/15.44	c | 15.45     | 0  | -299412      lb |  0                0                0.00  |
15.59/15.62	c | 15.63     | 0  | -299411      lb |  0                0                0.00  |
15.69/15.80	c | 15.80     | 0  | -299409      lb |  0                0                0.00  |
15.88/15.95	c | 15.96     | 0  | -299399      lb |  0                0                0.00  |
15.98/16.10	c | 16.10     | 0  | -299397      lb |  0                0                0.00  |
16.18/16.23	c | 16.23     | 0  | -299396      lb |  0                0                0.00  |
16.39/16.42	c | 16.42     | 0  | -299391      lb |  0                0                0.00  |
16.58/16.65	c | 16.66     | 0  | -299389      lb |  0                0                0.00  |
16.78/16.82	c | 16.82     | 0  | -299388      lb |  0                0                0.00  |
16.88/16.95	c | 16.95     | 0  | -299387      lb |  0                0                0.00  |
17.08/17.10	c | 17.10     | 0  | -299386      lb |  0                0                0.00  |
17.18/17.27	c | 17.28     | 0  | -299385      lb |  0                0                0.00  |
17.38/17.43	c | 17.43     | 0  | -299382      lb |  0                0                0.00  |
17.59/17.61	c | 17.61     | 0  | -299381      lb |  0                0                0.00  |
17.68/17.77	c | 17.77     | 0  | -299380      lb |  0                0                0.00  |
17.89/17.92	c | 17.93     | 0  | -299379      lb |  0                0                0.00  |
17.99/18.09	c | 18.09     | 0  | -299377      lb |  0                0                0.00  |
18.19/18.25	c | 18.25     | 0  | -299376      lb |  0                0                0.00  |
18.39/18.40	c | 18.40     | 0  | -299303      lb |  0                0                0.00  |
18.48/18.56	c | 18.56     | 0  | -299302      lb |  0                0                0.00  |
18.69/18.72	c | 18.73     | 0  | -299301      lb |  0                0                0.00  |
18.78/18.89	c | 18.89     | 0  | -299300      lb |  0                0                0.00  |
18.98/19.07	c | 19.07     | 0  | -299298      lb |  0                0                0.00  |
19.18/19.22	c | 19.22     | 0  | -299297      lb |  0                0                0.00  |
19.28/19.37	c | 19.38     | 0  | -299295      lb |  0                0                0.00  |
19.49/19.53	c | 19.54     | 0  | -299294      lb |  0                0                0.00  |
19.59/19.69	c | 19.69     | 0  | -299293      lb |  0                0                0.00  |
19.79/19.89	c | 19.90     | 0  | -299292      lb |  0                0                0.00  |
19.98/20.06	c | 20.06     | 0  | -299291      lb |  0                0                0.00  |
20.18/20.21	c | 20.21     | 0  | -299259      lb |  0                0                0.00  |
20.28/20.35	c | 20.36     | 0  | -299258      lb |  0                0                0.00  |
20.48/20.52	c | 20.52     | 0  | -299257      lb |  0                0                0.00  |
20.59/20.68	c | 20.69     | 0  | -299202      lb |  0                0                0.00  |
20.89/20.91	c | 20.91     | 0  | -299201      lb |  0                0                0.00  |
20.99/21.09	c | 21.10     | 0  | -299200      lb |  0                0                0.00  |
21.29/21.31	c | 21.31     | 0  | -299199      lb |  0                0                0.00  |
21.49/21.54	c | 21.54     | 0  | -299198      lb |  0                0                0.00  |
21.69/21.78	c | 21.79     | 0  | -299197      lb |  0                0                0.00  |
21.89/21.98	c | 21.98     | 0  | -299196      lb |  0                0                0.00  |
22.08/22.17	c | 22.17     | 0  | -299195      lb |  0                0                0.00  |
22.28/22.36	c | 22.36     | 0  | -299194      lb |  0                0                0.00  |
22.48/22.55	c | 22.55     | 0  | -299193      lb |  0                0                0.00  |
22.68/22.78	c | 22.78     | 0  | -299192      lb |  0                0                0.00  |
22.88/22.97	c | 22.97     | 0  | -299191      lb |  0                0                0.00  |
23.09/23.16	c | 23.17     | 0  | -299190      lb |  0                0                0.00  |
23.28/23.38	c | 23.38     | 0  | -299189      lb |  0                0                0.00  |
23.48/23.57	c | 23.57     | 0  | -299188      lb |  0                0                0.00  |
23.69/23.76	c | 23.77     | 0  | -299187      lb |  0                0                0.00  |
23.89/23.93	c | 23.93     | 0  | -299181      lb |  0                0                0.00  |
24.09/24.11	c | 24.11     | 0  | -299180      lb |  0                0                0.00  |
24.19/24.27	c | 24.27     | 0  | -299177      lb |  0                0                0.00  |
24.39/24.46	c | 24.47     | 0  | -299176      lb |  0                0                0.00  |
24.59/24.64	c | 24.64     | 0  | -299175      lb |  0                0                0.00  |
24.78/24.81	c | 24.82     | 0  | -299174      lb |  0                0                0.00  |
24.98/25.00	c | 25.00     | 0  | -299173      lb |  0                0                0.00  |
25.19/25.21	c | 25.21     | 0  | -299172      lb |  0                0                0.00  |
25.38/25.42	c | 25.42     | 0  | -299171      lb |  0                0                0.00  |
25.59/25.62	c | 25.62     | 0  | -299170      lb |  0                0                0.00  |
25.79/25.82	c | 25.83     | 0  | -299169      lb |  0                0                0.00  |
25.98/26.01	c | 26.02     | 0  | -299168      lb |  0                0                0.00  |
26.08/26.18	c | 26.18     | 0  | -299167      lb |  0                0                0.00  |
26.29/26.37	c | 26.38     | 0  | -299166      lb |  0                0                0.00  |
26.58/26.62	c | 26.62     | 0  | -299165      lb |  0                0                0.00  |
26.78/26.81	c | 26.81     | 0  | -299164      lb |  0                0                0.00  |
26.98/27.00	c | 27.01     | 0  | -299163      lb |  0                0                0.00  |
27.08/27.18	c | 27.18     | 0  | -299162      lb |  0                0                0.00  |
27.28/27.36	c | 27.36     | 0  | -299161      lb |  0                0                0.00  |
27.49/27.56	c | 27.56     | 0  | -299160      lb |  0                0                0.00  |
27.69/27.74	c | 27.74     | 0  | -299159      lb |  0                0                0.00  |
27.88/27.93	c | 27.94     | 0  | -299158      lb |  0                0                0.00  |
28.08/28.14	c | 28.14     | 0  | -299157      lb |  0                0                0.00  |
28.28/28.33	c | 28.33     | 0  | -299156      lb |  0                0                0.00  |
28.49/28.54	c | 28.54     | 0  | -299155      lb |  0                0                0.00  |
28.68/28.75	c | 28.75     | 0  | -299154      lb |  0                0                0.00  |
28.88/28.98	c | 28.99     | 0  | -299153      lb |  0                0                0.00  |
29.19/29.23	c | 29.23     | 0  | -299152      lb |  0                0                0.00  |
29.39/29.43	c | 29.44     | 0  | -299151      lb |  0                0                0.00  |
29.59/29.64	c | 29.64     | 0  | -299150      lb |  0                0                0.00  |
29.79/29.84	c | 29.84     | 0  | -299149      lb |  0                0                0.00  |
29.98/30.06	c | 30.06     | 0  | -299148      lb |  0                0                0.00  |
30.18/30.28	c | 30.28     | 0  | -299147      lb |  0                0                0.00  |
30.38/30.49	c | 30.49     | 0  | -299146      lb |  0                0                0.00  |
30.58/30.63	c | 30.64     | 0  | -299145      lb |  0                0                0.00  |
30.79/30.85	c | 30.86     | 0  | -299144      lb |  0                0                0.00  |
30.98/31.08	c | 31.09     | 0  | -299143      lb |  0                0                0.00  |
31.18/31.29	c | 31.30     | 0  | -299142      lb |  0                0                0.00  |
31.48/31.55	c | 31.56     | 0  | -299141      lb |  0                0                0.00  |
31.68/31.76	c | 31.77     | 0  | -299140      lb |  0                0                0.00  |
31.89/31.98	c | 31.99     | 0  | -299139      lb |  0                0                0.00  |
32.08/32.18	c | 32.19     | 0  | -299138      lb |  0                0                0.00  |
32.38/32.44	c | 32.45     | 0  | -299137      lb |  0                0                0.00  |
32.58/32.69	c | 32.70     | 0  | -299136      lb |  0                0                0.00  |
32.89/32.92	c | 32.92     | 0  | -299135      lb |  0                0                0.00  |
33.08/33.19	c | 33.19     | 0  | -299134      lb |  0                0                0.00  |
33.38/33.40	c | 33.41     | 0  | -299133      lb |  0                0                0.00  |
33.58/33.63	c | 33.64     | 0  | -299132      lb |  0                0                0.00  |
33.78/33.87	c | 33.88     | 0  | -299131      lb |  0                0                0.00  |
34.08/34.11	c | 34.11     | 0  | -299130      lb |  0                0                0.00  |
34.27/34.37	c | 34.37     | 0  | -299129      lb |  0                0                0.00  |
34.57/34.65	c | 34.66     | 0  | -299128      lb |  0                0                0.00  |
34.87/34.91	c | 34.92     | 0  | -299127      lb |  0                0                0.00  |
35.09/35.17	c | 35.17     | 0  | -299126      lb |  0                0                0.00  |
35.38/35.42	c | 35.42     | 0  | -299125      lb |  0                0                0.00  |
35.68/35.70	c | 35.70     | 0  | -299124      lb |  0                0                0.00  |
35.88/35.95	c | 35.95     | 0  | -299123      lb |  0                0                0.00  |
36.08/36.19	c | 36.19     | 0  | -299122      lb |  0                0                0.00  |
36.38/36.43	c | 36.44     | 0  | -299121      lb |  0                0                0.00  |
36.67/36.71	c | 36.71     | 0  | -299120      lb |  0                0                0.00  |
36.88/36.94	c | 36.94     | 0  | -299119      lb |  0                0                0.00  |
37.18/37.23	c | 37.23     | 0  | -299118      lb |  0                0                0.00  |
37.38/37.49	c | 37.50     | 0  | -299117      lb |  0                0                0.00  |
37.68/37.75	c | 37.76     | 0  | -299116      lb |  0                0                0.00  |
37.88/37.98	c | 37.98     | 0  | -299115      lb |  0                0                0.00  |
38.18/38.20	c | 38.20     | 0  | -299114      lb |  0                0                0.00  |
38.38/38.49	c | 38.50     | 0  | -299113      lb |  0                0                0.00  |
38.67/38.76	c | 38.76     | 0  | -299112      lb |  0                0                0.00  |
38.97/39.01	c | 39.02     | 0  | -299111      lb |  0                0                0.00  |
39.17/39.26	c | 39.26     | 0  | -299110      lb |  0                0                0.00  |
39.48/39.50	c | 39.51     | 0  | -299109      lb |  0                0                0.00  |
39.67/39.74	c | 39.74     | 0  | -299108      lb |  0                0                0.00  |
39.88/39.97	c | 39.97     | 0  | -299107      lb |  0                0                0.00  |
40.08/40.17	c | 40.18     | 0  | -299106      lb |  0                0                0.00  |
40.38/40.46	c | 40.46     | 0  | -299105      lb |  0                0                0.00  |
40.88/40.91	c | 40.92     | 0  | -299104      lb |  0                0                0.00  |
41.18/41.25	c | 41.26     | 0  | -299103      lb |  0                0                0.00  |
41.38/41.44	c | 41.45     | 0  | -299102      lb |  0                0                0.00  |
41.68/41.71	c | 41.72     | 0  | -299101      lb |  0                0                0.00  |
41.87/41.95	c | 41.96     | 0  | -299100      lb |  0                0                0.00  |
42.07/42.16	c | 42.16     | 0  | -299099      lb |  0                0                0.00  |
42.27/42.38	c | 42.39     | 0  | -299098      lb |  0                0                0.00  |
42.47/42.57	c | 42.57     | 0  | -299097      lb |  0                0                0.00  |
42.67/42.75	c | 42.75     | 0  | -299092      lb |  0                0                0.00  |
42.88/42.98	c | 42.98     | 0  | -299091      lb |  0                0                0.00  |
43.17/43.22	c | 43.23     | 0  | -299090      lb |  0                0                0.00  |
43.37/43.46	c | 43.47     | 0  | -299085      lb |  0                0                0.00  |
43.67/43.72	c | 43.72     | 0  | -299084      lb |  0                0                0.00  |
43.88/43.97	c | 43.97     | 0  | -299083      lb |  0                0                0.00  |
44.17/44.23	c | 44.23     | 0  | -299082      lb |  0                0                0.00  |
44.37/44.47	c | 44.47     | 0  | -299081      lb |  0                0                0.00  |
44.68/44.72	c | 44.72     | 0  | -299080      lb |  0                0                0.00  |
44.88/44.96	c | 44.96     | 0  | -299079      lb |  0                0                0.00  |
45.27/45.32	c | 45.33     | 0  | -299078      lb |  0                0                0.00  |
45.47/45.57	c | 45.58     | 0  | -299077      lb |  0                0                0.00  |
45.77/45.83	c | 45.83     | 0  | -299076      lb |  0                0                0.00  |
45.97/46.07	c | 46.07     | 0  | -299075      lb |  0                0                0.00  |
46.27/46.31	c | 46.32     | 0  | -299074      lb |  0                0                0.00  |
46.47/46.56	c | 46.57     | 0  | -299073      lb |  0                0                0.00  |
46.77/46.81	c | 46.81     | 0  | -299072      lb |  0                0                0.00  |
47.17/47.25	c | 47.26     | 0  | -299071      lb |  0                0                0.00  |
47.57/47.62	c | 47.62     | 0  | -299070      lb |  0                0                0.00  |
48.28/48.37	c | 48.38     | 0  | -299069      lb |  0                0                0.00  |
48.67/48.74	c | 48.74     | 0  | -299068      lb |  0                0                0.00  |
48.87/48.96	c | 48.96     | 0  | -299067      lb |  0                0                0.00  |
49.26/49.30	c | 49.30     | 0  | -299066      lb |  0                0                0.00  |
49.47/49.55	c | 49.55     | 0  | -299065      lb |  0                0                0.00  |
50.07/50.13	c | 50.13     | 0  | -299064      lb |  0                0                0.00  |
50.57/50.60	c | 50.61     | 0  | -299063      lb |  0                0                0.00  |
51.16/51.20	c | 51.20     | 0  | -299062      lb |  0                0                0.00  |
51.76/51.87	c | 51.87     | 0  | -299061      lb |  0                0                0.00  |
52.17/52.27	c | 52.27     | 0  | -299060      lb |  0                0                0.00  |
52.57/52.68	c | 52.68     | 0  | -299059      lb |  0                0                0.00  |
52.96/53.07	c | 53.08     | 0  | -299058      lb |  0                0                0.00  |
53.37/53.43	c | 53.43     | 0  | -299057      lb |  0                0                0.00  |
53.97/54.02	c | 54.03     | 0  | -299056      lb |  0                0                0.00  |
54.26/54.33	c | 54.34     | 0  | -299055      lb |  0                0                0.00  |
54.67/54.71	c | 54.72     | 0  | -299054      lb |  0                0                0.00  |
55.07/55.15	c | 55.16     | 0  | -299053      lb |  0                0                0.00  |
55.36/55.48	c | 55.49     | 0  | -299052      lb |  0                0                0.00  |
55.76/55.80	c | 55.81     | 0  | -299051      lb |  0                0                0.00  |
56.07/56.16	c | 56.16     | 0  | -299050      lb |  0                0                0.00  |
56.46/56.50	c | 56.51     | 0  | -299049      lb |  0                0                0.00  |
56.86/56.90	c | 56.91     | 0  | -299048      lb |  0                0                0.00  |
57.07/57.20	c | 57.20     | 0  | -299047      lb |  0                0                0.00  |
57.56/57.68	c | 57.68     | 0  | -299046      lb |  0                0                0.00  |
57.96/58.00	c | 58.01     | 0  | -299045      lb |  0                0                0.00  |
58.46/58.50	c | 58.50     | 0  | -299044      lb |  0                0                0.00  |
58.76/58.85	c | 58.86     | 0  | -299043      lb |  0                0                0.00  |
59.28/59.38	c | 59.38     | 0  | -299042      lb |  0                0                0.00  |
59.87/59.92	c | 59.92     | 0  | -299041      lb |  0                0                0.00  |
60.27/60.33	c | 60.34     | 0  | -299040      lb |  0                0                0.00  |
60.57/60.65	c | 60.65     | 0  | -299039      lb |  0                0                0.00  |
60.87/60.97	c | 60.98     | 0  | -299038      lb |  0                0                0.00  |
61.26/61.36	c | 61.36     | 0  | -299037      lb |  0                0                0.00  |
61.66/61.75	c | 61.75     | 0  | -299036      lb |  0                0                0.00  |
62.06/62.13	c | 62.13     | 0  | -299035      lb |  0                0                0.00  |
62.36/62.49	c | 62.49     | 0  | -299034      lb |  0                0                0.00  |
62.76/62.85	c | 62.85     | 0  | -299033      lb |  0                0                0.00  |
63.17/63.23	c | 63.23     | 0  | -299032      lb |  0                0                0.00  |
63.57/63.64	c | 63.64     | 0  | -299031      lb |  0                0                0.00  |
63.86/63.98	c | 63.98     | 0  | -299030      lb |  0                0                0.00  |
64.26/64.39	c | 64.39     | 0  | -299029      lb |  0                0                0.00  |
64.66/64.75	c | 64.75     | 0  | -299028      lb |  0                0                0.00  |
65.06/65.10	c | 65.10     | 0  | -299027      lb |  0                0                0.00  |
65.37/65.47	c | 65.48     | 0  | -299026      lb |  0                0                0.00  |
65.67/65.78	c | 65.78     | 0  | -299025      lb |  0                0                0.00  |
66.07/66.10	c | 66.10     | 0  | -299024      lb |  0                0                0.00  |
66.27/66.38	c | 66.39     | 0  | -299023      lb |  0                0                0.00  |
66.67/66.78	c | 66.79     | 0  | -299022      lb |  0                0                0.00  |
67.07/67.10	c | 67.11     | 0  | -299021      lb |  0                0                0.00  |
67.46/67.52	c | 67.53     | 0  | -299020      lb |  0                0                0.00  |
67.76/67.82	c | 67.83     | 0  | -299019      lb |  0                0                0.00  |
68.06/68.14	c | 68.15     | 0  | -299018      lb |  0                0                0.00  |
68.37/68.48	c | 68.48     | 0  | -299017      lb |  0                0                0.00  |
68.76/68.81	c | 68.81     | 0  | -299016      lb |  0                0                0.00  |
69.06/69.15	c | 69.15     | 0  | -299015      lb |  0                0                0.00  |
69.36/69.45	c | 69.46     | 0  | -299014      lb |  0                0                0.00  |
69.76/69.80	c | 69.80     | 0  | -299013      lb |  0                0                0.00  |
70.06/70.11	c | 70.12     | 0  | -299012      lb |  0                0                0.00  |
70.46/70.59	c | 70.60     | 0  | -299011      lb |  0                0                0.00  |
70.86/70.90	c | 70.91     | 0  | -299010      lb |  0                0                0.00  |
71.17/71.20	c | 71.20     | 0  | -299009      lb |  0                0                0.00  |
71.57/71.61	c | 71.61     | 0  | -299008      lb |  0                0                0.00  |
71.96/72.09	c | 72.09     | 0  | -299007      lb |  0                0                0.00  |
72.36/72.43	c | 72.44     | 0  | -299006      lb |  0                0                0.00  |
72.66/72.77	c | 72.78     | 0  | -299005      lb |  0                0                0.00  |
73.36/73.40	c | 73.41     | 0  | -299004      lb |  0                0                0.00  |
73.66/73.72	c | 73.72     | 0  | -299003      lb |  0                0                0.00  |
73.96/74.03	c | 74.03     | 0  | -299002      lb |  0                0                0.00  |
74.27/74.35	c | 74.35     | 0  | -299001      lb |  0                0                0.00  |
74.56/74.65	c | 74.66     | 0  | -299000      lb |  0                0                0.00  |
74.86/74.98	c | 74.99     | 0  | -298999      lb |  0                0                0.00  |
75.26/75.35	c | 75.36     | 0  | -298998      lb |  0                0                0.00  |
75.67/75.70	c | 75.70     | 0  | -298997      lb |  0                0                0.00  |
75.97/76.01	c | 76.01     | 0  | -298996      lb |  0                0                0.00  |
76.26/76.31	c | 76.31     | 0  | -298995      lb |  0                0                0.00  |
76.56/76.60	c | 76.61     | 0  | -298994      lb |  0                0                0.00  |
76.87/76.95	c | 76.95     | 0  | -298993      lb |  0                0                0.00  |
77.16/77.24	c | 77.24     | 0  | -298992      lb |  0                0                0.00  |
77.47/77.59	c | 77.59     | 0  | -298991      lb |  0                0                0.00  |
77.86/77.95	c | 77.96     | 0  | -298990      lb |  0                0                0.00  |
78.16/78.29	c | 78.30     | 0  | -298989      lb |  0                0                0.00  |
78.56/78.60	c | 78.61     | 0  | -298988      lb |  0                0                0.00  |
78.86/78.94	c | 78.95     | 0  | -298987      lb |  0                0                0.00  |
79.16/79.29	c | 79.30     | 0  | -298986      lb |  0                0                0.00  |
79.56/79.68	c | 79.69     | 0  | -298985      lb |  0                0                0.00  |
79.97/80.02	c | 80.02     | 0  | -298984      lb |  0                0                0.00  |
80.27/80.34	c | 80.35     | 0  | -298983      lb |  0                0                0.00  |
80.56/80.65	c | 80.66     | 0  | -298982      lb |  0                0                0.00  |
80.86/80.99	c | 80.99     | 0  | -298981      lb |  0                0                0.00  |
81.16/81.22	c | 81.23     | 0  | -298980      lb |  0                0                0.00  |
81.46/81.54	c | 81.55     | 0  | -298979      lb |  0                0                0.00  |
81.76/81.87	c | 81.87     | 0  | -298978      lb |  0                0                0.00  |
82.16/82.24	c | 82.25     | 0  | -298977      lb |  0                0                0.00  |
82.46/82.56	c | 82.56     | 0  | -298976      lb |  0                0                0.00  |
82.76/82.90	c | 82.90     | 0  | -298975      lb |  0                0                0.00  |
83.15/83.21	c | 83.21     | 0  | -298974      lb |  0                0                0.00  |
83.46/83.52	c | 83.52     | 0  | -298973      lb |  0                0                0.00  |
83.75/83.83	c | 83.83     | 0  | -298972      lb |  0                0                0.00  |
84.05/84.13	c | 84.13     | 0  | -298971      lb |  0                0                0.00  |
84.45/84.50	c | 84.50     | 0  | -298970      lb |  0                0                0.00  |
84.75/84.83	c | 84.84     | 0  | -298969      lb |  0                0                0.00  |
85.05/85.15	c | 85.15     | 0  | -298968      lb |  0                0                0.00  |
85.35/85.46	c | 85.46     | 0  | -298967      lb |  0                0                0.00  |
85.66/85.76	c | 85.76     | 0  | -298966      lb |  0                0                0.00  |
86.06/86.10	c | 86.10     | 0  | -298965      lb |  0                0                0.00  |
86.35/86.44	c | 86.44     | 0  | -298964      lb |  0                0                0.00  |
86.65/86.79	c | 86.79     | 0  | -298963      lb |  0                0                0.00  |
87.05/87.10	c | 87.10     | 0  | -298962      lb |  0                0                0.00  |
87.35/87.42	c | 87.42     | 0  | -298961      lb |  0                0                0.00  |
87.66/87.74	c | 87.74     | 0  | -298960      lb |  0                0                0.00  |
87.96/88.09	c | 88.10     | 0  | -298957      lb |  0                0                0.00  |
88.36/88.43	c | 88.44     | 0  | -298956      lb |  0                0                0.00  |
88.65/88.75	c | 88.76     | 0  | -298955      lb |  0                0                0.00  |
88.96/89.09	c | 89.10     | 0  | -298954      lb |  0                0                0.00  |
89.35/89.44	c | 89.44     | 0  | -298953      lb |  0                0                0.00  |
89.65/89.76	c | 89.77     | 0  | -298952      lb |  0                0                0.00  |
89.95/90.08	c | 90.09     | 0  | -298949      lb |  0                0                0.00  |
90.35/90.40	c | 90.40     | 0  | -298948      lb |  0                0                0.00  |
90.65/90.80	c | 90.80     | 0  | -298947      lb |  0                0                0.00  |
91.05/91.13	c | 91.13     | 0  | -298944      lb |  0                0                0.00  |
91.45/91.52	c | 91.53     | 0  | -298943      lb |  0                0                0.00  |
91.75/91.85	c | 91.85     | 0  | -298942      lb |  0                0                0.00  |
92.15/92.20	c | 92.20     | 0  | -298941      lb |  0                0                0.00  |
92.45/92.50	c | 92.50     | 0  | -298940      lb |  0                0                0.00  |
92.75/92.86	c | 92.87     | 0  | -298939      lb |  0                0                0.00  |
93.05/93.19	c | 93.20     | 0  | -298938      lb |  0                0                0.00  |
93.45/93.52	c | 93.53     | 0  | -298937      lb |  0                0                0.00  |
93.75/93.88	c | 93.89     | 0  | -298936      lb |  0                0                0.00  |
94.15/94.20	c | 94.21     | 0  | -298935      lb |  0                0                0.00  |
94.46/94.52	c | 94.52     | 0  | -298934      lb |  0                0                0.00  |
94.75/94.85	c | 94.86     | 0  | -298933      lb |  0                0                0.00  |
95.05/95.17	c | 95.18     | 0  | -298932      lb |  0                0                0.00  |
95.35/95.48	c | 95.48     | 0  | -298931      lb |  0                0                0.00  |
95.75/95.85	c | 95.85     | 0  | -298930      lb |  0                0                0.00  |
96.05/96.17	c | 96.17     | 0  | -298929      lb |  0                0                0.00  |
96.45/96.52	c | 96.52     | 0  | -298928      lb |  0                0                0.00  |
96.76/96.84	c | 96.84     | 0  | -298927      lb |  0                0                0.00  |
97.05/97.19	c | 97.19     | 0  | -298926      lb |  0                0                0.00  |
97.45/97.54	c | 97.54     | 0  | -298925      lb |  0                0                0.00  |
97.76/97.90	c | 97.90     | 0  | -298924      lb |  0                0                0.00  |
98.15/98.23	c | 98.23     | 0  | -298923      lb |  0                0                0.00  |
98.55/98.60	c | 98.60     | 0  | -298922      lb |  0                0                0.00  |
98.85/98.96	c | 98.96     | 0  | -298921      lb |  0                0                0.00  |
99.25/99.34	c | 99.34     | 0  | -298920      lb |  0                0                0.00  |
99.65/99.79	c | 99.79     | 0  | -298919      lb |  0                0                0.00  |
100.25/100.32	c | 100.33    | 0  | -298918      lb |  0                0                0.00  |
100.55/100.67	c | 100.68    | 0  | -298917      lb |  0                0                0.00  |
100.95/101.04	c | 101.04    | 0  | -298916      lb |  0                0                0.00  |
101.44/101.54	c | 101.55    | 0  | -298915      lb |  0                0                0.00  |
101.84/101.96	c | 101.97    | 0  | -298914      lb |  0                0                0.00  |
102.34/102.43	c | 102.43    | 0  | -298913      lb |  0                0                0.00  |
102.75/102.86	c | 102.86    | 0  | -298912      lb |  0                0                0.00  |
103.15/103.24	c | 103.25    | 0  | -298911      lb |  0                0                0.00  |
103.55/103.65	c | 103.65    | 0  | -298910      lb |  0                0                0.00  |
103.95/104.02	c | 104.03    | 0  | -298909      lb |  0                0                0.00  |
104.36/104.42	c | 104.42    | 0  | -298908      lb |  0                0                0.00  |
104.75/104.86	c | 104.86    | 0  | -298907      lb |  0                0                0.00  |
105.25/105.35	c | 105.36    | 0  | -298906      lb |  0                0                0.00  |
105.75/105.87	c | 105.88    | 0  | -298905      lb |  0                0                0.00  |
106.15/106.29	c | 106.29    | 0  | -298904      lb |  0                0                0.00  |
106.65/106.73	c | 106.73    | 0  | -298903      lb |  0                0                0.00  |
106.94/107.07	c | 107.07    | 0  | -298902      lb |  0                0                0.00  |
107.34/107.47	c | 107.48    | 0  | -298901      lb |  0                0                0.00  |
107.84/107.96	c | 107.96    | 0  | -298900      lb |  0                0                0.00  |
108.25/108.38	c | 108.38    | 0  | -298899      lb |  0                0                0.00  |
108.65/108.75	c | 108.75    | 0  | -298898      lb |  0                0                0.00  |
108.95/109.08	c | 109.09    | 0  | -298897      lb |  0                0                0.00  |
109.35/109.44	c | 109.44    | 0  | -298896      lb |  0                0                0.00  |
109.75/109.85	c | 109.86    | 0  | -298895      lb |  0                0                0.00  |
110.25/110.30	c | 110.30    | 0  | -298894      lb |  0                0                0.00  |
110.54/110.70	c | 110.70    | 0  | -298893      lb |  0                0                0.00  |
110.95/111.05	c | 111.05    | 0  | -298892      lb |  0                0                0.00  |
111.44/111.50	c | 111.50    | 0  | -298891      lb |  0                0                0.00  |
111.84/111.93	c | 111.93    | 0  | -298890      lb |  0                0                0.00  |
112.34/112.40	c | 112.41    | 0  | -298889      lb |  0                0                0.00  |
112.65/112.78	c | 112.79    | 0  | -298888      lb |  0                0                0.00  |
113.05/113.16	c | 113.16    | 0  | -298887      lb |  0                0                0.00  |
113.45/113.56	c | 113.56    | 0  | -298886      lb |  0                0                0.00  |
113.85/113.95	c | 113.95    | 0  | -298885      lb |  0                0                0.00  |
114.14/114.29	c | 114.30    | 0  | -298884      lb |  0                0                0.00  |
114.64/114.74	c | 114.74    | 0  | -298883      lb |  0                0                0.00  |
115.04/115.12	c | 115.12    | 0  | -298882      lb |  0                0                0.00  |
115.35/115.49	c | 115.49    | 0  | -298881      lb |  0                0                0.00  |
115.74/115.85	c | 115.86    | 0  | -298880      lb |  0                0                0.00  |
116.34/116.44	c | 116.44    | 0  | -298879      lb |  0                0                0.00  |
116.74/116.82	c | 116.83    | 0  | -298878      lb |  0                0                0.00  |
117.15/117.24	c | 117.25    | 0  | -298877      lb |  0                0                0.00  |
117.55/117.61	c | 117.62    | 0  | -298876      lb |  0                0                0.00  |
117.94/118.05	c | 118.06    | 0  | -298875      lb |  0                0                0.00  |
118.34/118.44	c | 118.45    | 0  | -298874      lb |  0                0                0.00  |
118.85/118.92	c | 118.92    | 0  | -298873      lb |  0                0                0.00  |
119.15/119.29	c | 119.29    | 0  | -298872      lb |  0                0                0.00  |
119.54/119.66	c | 119.67    | 0  | -298871      lb |  0                0                0.00  |
119.94/120.02	c | 120.02    | 0  | -298870      lb |  0                0                0.00  |
120.34/120.42	c | 120.42    | 0  | -298869      lb |  0                0                0.00  |
120.74/120.84	c | 120.85    | 0  | -298868      lb |  0                0                0.00  |
121.23/121.31	c | 121.32    | 0  | -298867      lb |  0                0                0.00  |
121.63/121.79	c | 121.79    | 0  | -298866      lb |  0                0                0.00  |
122.04/122.19	c | 122.19    | 0  | -298865      lb |  0                0                0.00  |
122.44/122.56	c | 122.57    | 0  | -298864      lb |  0                0                0.00  |
123.15/123.23	c | 123.23    | 0  | -298863      lb |  0                0                0.00  |
123.54/123.60	c | 123.60    | 0  | -298862      lb |  0                0                0.00  |
123.84/123.97	c | 123.97    | 0  | -298861      lb |  0                0                0.00  |
124.24/124.39	c | 124.39    | 0  | -298860      lb |  0                0                0.00  |
124.73/124.80	c | 124.80    | 0  | -298859      lb |  0                0                0.00  |
125.04/125.16	c | 125.16    | 0  | -298858      lb |  0                0                0.00  |
125.54/125.62	c | 125.63    | 0  | -298857      lb |  0                0                0.00  |
126.04/126.11	c | 126.12    | 0  | -298856      lb |  0                0                0.00  |
126.54/126.63	c | 126.63    | 0  | -298855      lb |  0                0                0.00  |
126.94/127.05	c | 127.05    | 0  | -298854      lb |  0                0                0.00  |
127.33/127.47	c | 127.47    | 0  | -298853      lb |  0                0                0.00  |
127.83/127.93	c | 127.93    | 0  | -298852      lb |  0                0                0.00  |
128.34/128.45	c | 128.45    | 0  | -298851      lb |  0                0                0.00  |
128.74/128.83	c | 128.83    | 0  | -298850      lb |  0                0                0.00  |
129.54/129.68	c | 129.68    | 0  | -298849      lb |  0                0                0.00  |
130.13/130.24	c | 130.24    | 0  | -298848      lb |  0                0                0.00  |
130.84/130.98	c | 130.98    | 0  | -298847      lb |  0                0                0.00  |
131.44/131.57	c | 131.57    | 0  | -298846      lb |  0                0                0.00  |
132.04/132.14	c | 132.14    | 0  | -298845      lb |  0                0                0.00  |
132.43/132.58	c | 132.58    | 0  | -298844      lb |  0                0                0.00  |
132.95/133.06	c | 133.06    | 0  | -298843      lb |  0                0                0.00  |
133.44/133.59	c | 133.59    | 0  | -298842      lb |  0                0                0.00  |
134.14/134.24	c | 134.24    | 0  | -298841      lb |  0                0                0.00  |
134.83/134.92	c | 134.92    | 0  | -298840      lb |  0                0                0.00  |
135.43/135.59	c | 135.59    | 0  | -298839      lb |  0                0                0.00  |
136.34/136.44	c | 136.45    | 0  | -298838      lb |  0                0                0.00  |
137.04/137.16	c | 137.17    | 0  | -298837      lb |  0                0                0.00  |
137.64/137.73	c | 137.73    | 0  | -298836      lb |  0                0                0.00  |
138.03/138.14	c | 138.14    | 0  | -298835      lb |  0                0                0.00  |
138.54/138.63	c | 138.63    | 0  | -298834      lb |  0                0                0.00  |
139.03/139.17	c | 139.17    | 0  | -298833      lb |  0                0                0.00  |
139.64/139.72	c | 139.73    | 0  | -298832      lb |  0                0                0.00  |
140.03/140.16	c | 140.16    | 0  | -298831      lb |  0                0                0.00  |
140.53/140.61	c | 140.61    | 0  | -298830      lb |  0                0                0.00  |
141.23/141.32	c | 141.32    | 0  | -298829      lb |  0                0                0.00  |
141.93/142.02	c | 142.03    | 0  | -298828      lb |  0                0                0.00  |
142.53/142.66	c | 142.66    | 0  | -298827      lb |  0                0                0.00  |
143.03/143.19	c | 143.19    | 0  | -298826      lb |  0                0                0.00  |
143.53/143.68	c | 143.68    | 0  | -298825      lb |  0                0                0.00  |
144.23/144.31	c | 144.31    | 0  | -298824      lb |  0                0                0.00  |
144.73/144.87	c | 144.87    | 0  | -298823      lb |  0                0                0.00  |
145.62/145.76	c | 145.77    | 0  | -298822      lb |  0                0                0.00  |
146.23/146.34	c | 146.34    | 0  | -298821      lb |  0                0                0.00  |
146.93/147.09	c | 147.09    | 0  | -298820      lb |  0                0                0.00  |
147.53/147.69	c | 147.69    | 0  | -298819      lb |  0                0                0.00  |
148.03/148.20	c | 148.20    | 0  | -298818      lb |  0                0                0.00  |
148.53/148.67	c | 148.68    | 0  | -298817      lb |  0                0                0.00  |
149.13/149.23	c | 149.23    | 0  | -298816      lb |  0                0                0.00  |
149.54/149.67	c | 149.68    | 0  | -298815      lb |  0                0                0.00  |
150.03/150.18	c | 150.19    | 0  | -298814      lb |  0                0                0.00  |
150.63/150.75	c | 150.75    | 0  | -298813      lb |  0                0                0.00  |
151.22/151.32	c | 151.32    | 0  | -298812      lb |  0                0                0.00  |
152.32/152.43	c | 152.43    | 0  | -298811      lb |  0                0                0.00  |
153.12/153.21	c | 153.21    | 0  | -298810      lb |  0                0                0.00  |
153.62/153.73	c | 153.74    | 0  | -298809      lb |  0                0                0.00  |
154.23/154.37	c | 154.37    | 0  | -298808      lb |  0                0                0.00  |
155.32/155.41	c | 155.42    | 0  | -298807      lb |  0                0                0.00  |
155.92/156.09	c | 156.09    | 0  | -298806      lb |  0                0                0.00  |
156.92/157.04	c | 157.04    | 0  | -298805      lb |  0                0                0.00  |
157.62/157.76	c | 157.76    | 0  | -298804      lb |  0                0                0.00  |
158.52/158.69	c | 158.70    | 0  | -298803      lb |  0                0                0.00  |
159.23/159.39	c | 159.39    | 0  | -298802      lb |  0                0                0.00  |
159.82/159.95	c | 159.95    | 0  | -298801      lb |  0                0                0.00  |
160.42/160.58	c | 160.58    | 0  | -298800      lb |  0                0                0.00  |
160.92/161.08	c | 161.09    | 0  | -298799      lb |  0                0                0.00  |
161.62/161.74	c | 161.75    | 0  | -298798      lb |  0                0                0.00  |
162.52/162.62	c | 162.63    | 0  | -298797      lb |  0                0                0.00  |
163.22/163.31	c | 163.31    | 0  | -298796      lb |  0                0                0.00  |
163.83/163.91	c | 163.91    | 0  | -298795      lb |  0                0                0.00  |
164.32/164.40	c | 164.41    | 0  | -298794      lb |  0                0                0.00  |
164.72/164.88	c | 164.89    | 0  | -298793      lb |  0                0                0.00  |
165.41/165.57	c | 165.57    | 0  | -298792      lb |  0                0                0.00  |
166.02/166.12	c | 166.12    | 0  | -298791      lb |  0                0                0.00  |
166.81/166.92	c | 166.93    | 0  | -298790      lb |  0                0                0.00  |
167.82/167.90	c | 167.91    | 0  | -298789      lb |  0                0                0.00  |
168.32/168.43	c | 168.44    | 0  | -298788      lb |  0                0                0.00  |
169.62/169.71	c | 169.72    | 0  | -298787      lb |  0                0                0.00  |
170.71/170.81	c | 170.82    | 0  | -298786      lb |  0                0                0.00  |
171.42/171.55	c | 171.55    | 0  | -298785      lb |  0                0                0.00  |
172.52/172.61	c | 172.62    | 0  | -298784      lb |  0                0                0.00  |
173.32/173.45	c | 173.45    | 0  | -298783      lb |  0                0                0.00  |
173.82/173.98	c | 173.98    | 0  | -298782      lb |  0                0                0.00  |
174.72/174.87	c | 174.88    | 0  | -298781      lb |  0                0                0.00  |
175.41/175.58	c | 175.58    | 0  | -298780      lb |  0                0                0.00  |
176.72/176.85	c | 176.85    | 0  | -298779      lb |  0                0                0.00  |
177.71/177.88	c | 177.88    | 0  | -298778      lb |  0                0                0.00  |
178.71/178.80	c | 178.80    | 0  | -298777      lb |  0                0                0.00  |
179.12/179.22	c | 179.23    | 0  | -298776      lb |  0                0                0.00  |
179.81/179.92	c | 179.92    | 0  | -298775      lb |  0                0                0.00  |
180.80/180.90	c | 180.91    | 0  | -298774      lb |  0                0                0.00  |
181.20/181.31	c | 181.32    | 0  | -298773      lb |  0                0                0.00  |
181.80/181.91	c | 181.92    | 0  | -298772      lb |  0                0                0.00  |
182.41/182.55	c | 182.56    | 0  | -298771      lb |  0                0                0.00  |
183.01/183.15	c | 183.15    | 0  | -298770      lb |  0                0                0.00  |
183.71/183.81	c | 183.81    | 0  | -298769      lb |  0                0                0.00  |
184.91/185.09	c | 185.09    | 0  | -298768      lb |  0                0                0.00  |
186.91/187.06	c | 187.07    | 0  | -298767      lb |  0                0                0.00  |
187.60/187.72	c | 187.73    | 0  | -298766      lb |  0                0                0.00  |
188.41/188.50	c | 188.50    | 0  | -298765      lb |  0                0                0.00  |
188.81/188.91	c | 188.92    | 0  | -298764      lb |  0                0                0.00  |
189.21/189.37	c | 189.38    | 0  | -298763      lb |  0                0                0.00  |
189.90/190.02	c | 190.03    | 0  | -298762      lb |  0                0                0.00  |
190.30/190.49	c | 190.49    | 0  | -298761      lb |  0                0                0.00  |
191.10/191.21	c | 191.21    | 0  | -298760      lb |  0                0                0.00  |
192.00/192.16	c | 192.17    | 0  | -298759      lb |  0                0                0.00  |
193.01/193.15	c | 193.15    | 0  | -298758      lb |  0                0                0.00  |
193.71/193.82	c | 193.83    | 0  | -298757      lb |  0                0                0.00  |
194.20/194.30	c | 194.30    | 0  | -298756      lb |  0                0                0.00  |
194.61/194.78	c | 194.79    | 0  | -298755      lb |  0                0                0.00  |
195.00/195.19	c | 195.20    | 0  | -298754      lb |  0                0                0.00  |
196.60/196.80	c | 196.80    | 0  | -298753      lb |  0                0                0.00  |
197.20/197.38	c | 197.38    | 0  | -298752      lb |  0                0                0.00  |
197.91/198.02	c | 198.02    | 0  | -298751      lb |  0                0                0.00  |
199.20/199.33	c | 199.34    | 0  | -298750      lb |  0                0                0.00  |
200.00/200.17	c | 200.17    | 0  | -298749      lb |  0                0                0.00  |
201.00/201.13	c | 201.14    | 0  | -298748      lb |  0                0                0.00  |
201.89/202.02	c | 202.03    | 0  | -298747      lb |  0                0                0.00  |
202.60/202.73	c | 202.74    | 0  | -298746      lb |  0                0                0.00  |
205.09/205.28	c | 205.28    | 0  | -298745      lb |  0                0                0.00  |
209.90/210.03	c | 210.03    | 0  | -298744      lb |  0                0                0.00  |
211.10/211.27	c | 211.27    | 0  | -298743      lb |  0                0                0.00  |
211.89/212.05	c | 212.06    | 0  | -298742      lb |  0                0                0.00  |
212.59/212.77	c | 212.78    | 0  | -298741      lb |  0                0                0.00  |
213.49/213.63	c | 213.64    | 0  | -298740      lb |  0                0                0.00  |
214.39/214.53	c | 214.53    | 0  | -298739      lb |  0                0                0.00  |
215.09/215.29	c | 215.29    | 0  | -298738      lb |  0                0                0.00  |
216.29/216.45	c | 216.46    | 0  | -298737      lb |  0                0                0.00  |
218.28/218.48	c | 218.48    | 0  | -298736      lb |  0                0                0.00  |
219.38/219.53	c | 219.53    | 0  | -298735      lb |  0                0                0.00  |
221.08/221.20	c | 221.20    | 0  | -298734      lb |  0                0                0.00  |
222.19/222.38	c | 222.39    | 0  | -298733      lb |  0                0                0.00  |
223.09/223.21	c | 223.22    | 0  | -298732      lb |  0                0                0.00  |
225.78/225.93	c | 225.93    | 0  | -298731      lb |  0                0                0.00  |
229.48/229.64	c | 229.65    | 0  | -298730      lb |  0                0                0.00  |
230.58/230.70	c | 230.71    | 0  | -298729      lb |  0                0                0.00  |
231.38/231.52	c | 231.53    | 0  | -298728      lb |  0                0                0.00  |
232.18/232.39	c | 232.39    | 0  | -298727      lb |  0                0                0.00  |
233.17/233.31	c | 233.31    | 0  | -298726      lb |  0                0                0.00  |
233.97/234.17	c | 234.17    | 0  | -298725      lb |  0                0                0.00  |
234.88/235.03	c | 235.03    | 0  | -298724      lb |  0                0                0.00  |
235.88/236.01	c | 236.01    | 0  | -298723      lb |  0                0                0.00  |
236.58/236.78	c | 236.78    | 0  | -298722      lb |  0                0                0.00  |
239.77/239.99	c | 239.99    | 0  | -298721      lb |  0                0                0.00  |
240.68/240.81	c | 240.81    | 0  | -298720      lb |  0                0                0.00  |
241.97/242.10	c | 242.10    | 0  | -298719      lb |  0                0                0.00  |
242.97/243.18	c | 243.18    | 0  | -298718      lb |  0                0                0.00  |
243.88/244.09	c | 244.10    | 0  | -298717      lb |  0                0                0.00  |
245.27/245.40	c | 245.41    | 0  | -298716      lb |  0                0                0.00  |
246.18/246.34	c | 246.34    | 0  | -298715      lb |  0                0                0.00  |
247.67/247.86	c | 247.87    | 0  | -298714      lb |  0                0                0.00  |
248.87/249.01	c | 249.01    | 0  | -298713      lb |  0                0                0.00  |
250.76/250.95	c | 250.96    | 0  | -298712      lb |  0                0                0.00  |
251.97/252.14	c | 252.15    | 0  | -298711      lb |  0                0                0.00  |
253.97/254.19	c | 254.20    | 0  | -298710      lb |  0                0                0.00  |
258.27/258.43	c | 258.43    | 0  | -298709      lb |  0                0                0.00  |
261.15/261.30	c | 261.31    | 0  | -298708      lb |  0                0                0.00  |
262.55/262.75	c | 262.75    | 0  | -298707      lb |  0                0                0.00  |
264.36/264.56	c | 264.56    | 0  | -298706      lb |  0                0                0.00  |
276.76/276.95	c | 276.96    | 0  | -298705      lb |  0                0                0.00  |
277.86/278.05	c | 278.05    | 0  | -298704      lb |  0                0                0.00  |
281.05/281.29	c | 281.30    | 0  | -298703      lb |  0                0                0.00  |
283.15/283.31	c | 283.31    | 0  | -298702      lb |  0                0                0.00  |
290.35/290.58	c | 290.59    | 0  | -298701      lb |  0                0                0.00  |
294.15/294.39	c | 294.39    | 0  | -298700      lb |  0                0                0.00  |
295.25/295.46	c | 295.46    | 0  | -298699      lb |  0                0                0.00  |
297.25/297.41	c | 297.41    | 0  | -298698      lb |  0                0                0.00  |
298.55/298.73	c | 298.73    | 0  | -298697      lb |  0                0                0.00  |
299.65/299.81	c | 299.82    | 0  | -298696      lb |  0                0                0.00  |
301.35/301.59	c | 301.59    | 0  | -298695      lb |  0                0                0.00  |
303.05/303.22	c | 303.23    | 0  | -298694      lb |  0                0                0.00  |
305.25/305.43	c | 305.43    | 0  | -298693      lb |  0                0                0.00  |
307.55/307.70	c | 307.70    | 0  | -298692      lb |  0                0                0.00  |
316.55/316.73	c | 316.73    | 0  | -298691      lb |  0                0                0.00  |
320.04/320.28	c | 320.28    | 0  | -298690      lb |  0                0                0.00  |
323.35/323.52	c | 323.53    | 0  | -298689      lb |  0                0                0.00  |
324.85/325.01	c | 325.01    | 0  | -298688      lb |  0                0                0.00  |
327.35/327.51	c | 327.52    | 0  | -298687      lb |  0                0                0.00  |
331.95/332.19	c | 332.19    | 0  | -298686      lb |  0                0                0.00  |
334.74/334.98	c | 334.98    | 0  | -298685      lb |  0                0                0.00  |
341.44/341.67	c | 341.67    | 0  | -298684      lb |  0                0                0.00  |
350.54/350.73	c | 350.73    | 0  | -298683      lb |  0                0                0.00  |
351.94/352.11	c | 352.11    | 0  | -298682      lb |  0                0                0.00  |
363.54/363.74	c | 363.74    | 0  | -298681      lb |  0                0                0.00  |
371.23/371.47	c | 371.48    | 0  | -298680      lb |  0                0                0.00  |
375.73/375.96	c | 375.96    | 0  | -298679      lb |  0                0                0.00  |
378.03/378.25	c | 378.25    | 0  | -298678      lb |  0                0                0.00  |
380.63/380.85	c | 380.85    | 0  | -298677      lb |  0                0                0.00  |
509.51/509.75	c | 509.76    | 0  | -298676      lb |  0                0                0.00  |
512.31/512.57	c | 512.57    | 0  | -298675      lb |  0                0                0.00  |
517.81/518.06	c | 518.06    | 0  | -298674      lb |  0                0                0.00  |
521.89/522.17	c | 522.18    | 0  | -298673      lb |  0                0                0.00  |
525.29/525.56	c | 525.56    | 0  | -298672      lb |  0                0                0.00  |
527.80/528.01	c | 528.01    | 0  | -298671      lb |  0                0                0.00  |
580.48/580.80	c | 580.80    | 0  | -298670      lb |  0                0                0.00  |
582.38/582.63	c | 582.64    | 0  | -298669      lb |  0                0                0.00  |
588.87/589.18	c | 589.18    | 0  | -298668      lb |  0                0                0.00  |
602.07/602.35	c | 602.36    | 0  | -298667      lb |  0                0                0.00  |
610.37/610.64	c | 610.64    | 0  | -298666      lb |  0                0                0.00  |
613.97/614.28	c | 614.29    | 0  | -298665      lb |  0                0                0.00  |
618.17/618.48	c | 618.48    | 0  | -298664      lb |  0                0                0.00  |
658.76/659.03	c | 659.03    | 0  | -298663      lb |  0                0                0.00  |
664.17/664.46	c | 664.47    | 0  | -298662      lb |  0                0                0.00  |
695.36/695.67	c | 695.67    | 0  | -298661      lb |  0                0                0.00  |
765.14/765.46	c | 765.46    | 0  | -298660      lb |  0                0                0.00  |
804.64/804.93	c | 804.93    | 0  | -298659      lb |  0                0                0.00  |
807.54/807.85	c | 807.86    | 0  | -298658      lb |  0                0                0.00  |
817.83/818.16	c | 818.17    | 0  | -298657      lb |  0                0                0.00  |
828.93/829.27	c | 829.28    | 0  | -298656      lb |  0                0                0.00  |
846.93/847.24	c | 847.25    | 0  | -298655      lb |  0                0                0.00  |
912.83/913.19	c | 913.19    | 0  | -298654      lb |  0                0                0.00  |
946.52/946.85	c | 946.85    | 0  | -298653      lb |  0                0                0.00  |
963.02/963.36	c | 963.37    | 0  | -298652      lb |  0                0                0.00  |
969.32/969.60	c | 969.61    | 0  | -298651      lb |  0                0                0.00  |
976.91/977.28	c | 977.28    | 0  | -298650      lb |  0                0                0.00  |
1053.18/1053.51	c | 1053.51   | 0  | -298649      lb |  0                0                0.00  |
1241.46/1241.81	c | 1241.81   | 0  | -298648      lb |  0                0                0.00  |
1308.65/1309.02	c | 1309.02   | 0  | -298647      lb |  0                0                0.00  |
1313.24/1313.61	c | 1313.62   | 0  | -298646      lb |  0                0                0.00  |
1332.54/1332.95	c | 1332.95   | 0  | -298645      lb |  0                0                0.00  |
1345.44/1345.85	c | 1345.86   | 0  | -298644      lb |  0                0                0.00  |
1372.64/1373.01	c | 1373.01   | 0  | -298643      lb |  0                0                0.00  |
1394.13/1394.58	c | 1394.59   | 0  | -298642      lb |  0                0                0.00  |
1799.57/1800.00	c ===============================================================================
1799.57/1800.00	c Wall Clock Time: 1800.01 s
1799.57/1800.00	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-3727855-1338672057/watcher-3727855-1338672057 -o /tmp/evaluation-result-3727855-1338672057/solver-3727855-1338672057 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727855-1338672057.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 3/177 11231
/proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=6300 CPUtime=0 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 333332549 6451200 458 33554432000 4194304 5964350 140735611256384 140735995787224 4339092 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 1575 459 176 433 0 530 0

[startup+0.0941419 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=14852 CPUtime=0.08 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 2875 0 0 0 8 0 0 0 20 0 1 0 333332549 15208448 2778 33554432000 4194304 5964350 140735611256384 140735995787224 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 3713 2782 462 433 0 2668 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14852

[startup+0.100354 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=15760 CPUtime=0.09 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 3078 0 0 0 9 0 0 0 20 0 1 0 333332549 16138240 2981 33554432000 4194304 5964350 140735611256384 140735995787224 4344800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 3940 2982 481 433 0 2895 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15760

[startup+0.300157 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=104056 CPUtime=0.29 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 14093 0 0 0 27 2 0 0 20 0 2 0 333332549 106553344 12182 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 26014 12182 193 433 0 25578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104056

[startup+0.700171 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=100036 CPUtime=0.69 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 17838 0 0 0 67 2 0 0 20 0 2 0 333332549 102436864 14431 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 25009 14431 194 433 0 24573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100036

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11234
/proc/meminfo: memFree=28024844/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=100036 CPUtime=1.48 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 23521 0 0 0 145 3 0 0 20 0 2 0 333332549 102436864 15647 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 25009 15647 198 433 0 24573 0
[pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=1.28 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 18001 0 0 0 126 2 0 0 20 0 2 0 333332569 102436864 15647 33554432000 4194304 5964350 140735611256384 140666532436920 4388992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100036

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11234
/proc/meminfo: memFree=28015776/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=100036 CPUtime=3.09 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 26718 0 0 0 305 4 0 0 20 0 2 0 333332549 102436864 16969 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 25009 16969 198 433 0 24573 0
[pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=2.88 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 21198 0 0 0 285 3 0 0 20 0 2 0 333332569 102436864 16969 33554432000 4194304 5964350 140735611256384 140666532436312 4392779 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100036

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11234
/proc/meminfo: memFree=28001844/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=100036 CPUtime=6.29 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 34617 0 0 0 624 5 0 0 20 0 2 0 333332549 102436864 20481 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 25009 20481 198 433 0 24573 0
[pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=6.07 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 29097 0 0 0 603 4 0 0 20 0 2 0 333332569 102436864 20481 33554432000 4194304 5964350 140735611256384 140666532436376 5139086 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100036

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11234
/proc/meminfo: memFree=27955180/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=165572 CPUtime=12.69 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 53266 0 0 0 1260 9 0 0 20 0 2 0 333332549 169545728 26931 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 41393 26931 198 433 0 40957 0
[pid=11231/tid=11234] ppid=11229 vsize=165572 CPUtime=12.45 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 47746 0 0 0 1237 8 0 0 20 0 2 0 333332569 169545728 26931 33554432000 4194304 5964350 140735611256384 140666532436504 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 165572

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11234
/proc/meminfo: memFree=27910832/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=165572 CPUtime=25.49 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 84635 0 0 0 2534 15 0 0 20 0 2 0 333332549 169545728 33997 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 41393 33997 198 433 0 40957 0
[pid=11231/tid=11234] ppid=11229 vsize=165572 CPUtime=25.22 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 79115 0 0 0 2508 14 0 0 20 0 2 0 333332569 169545728 33997 33554432000 4194304 5964350 140735611256384 140666532436808 5122344 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165572

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11234
/proc/meminfo: memFree=27823408/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=231224 CPUtime=51.06 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 143380 0 0 0 5081 25 0 0 20 0 2 0 333332549 236773376 51111 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 57806 51111 198 433 0 57370 0
[pid=11231/tid=11234] ppid=11229 vsize=231224 CPUtime=50.74 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 137860 0 0 0 5050 24 0 0 20 0 2 0 333332569 236773376 51111 33554432000 4194304 5964350 140735611256384 140666532436808 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 231224

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11234
/proc/meminfo: memFree=27680488/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=362296 CPUtime=102.25 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 231742 0 0 0 10182 43 0 0 20 0 2 0 333332549 370991104 83235 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 90574 83235 198 433 0 90138 0
[pid=11231/tid=11234] ppid=11229 vsize=362296 CPUtime=101.81 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 226222 0 0 0 10138 43 0 0 20 0 2 0 333332569 370991104 83235 33554432000 4194304 5964350 140735611256384 140666532436504 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 362296

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11234
/proc/meminfo: memFree=27542472/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=500660 CPUtime=162.22 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 307239 0 0 0 16161 61 0 0 20 0 2 0 333332549 512675840 112663 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 125165 112663 198 433 0 124729 0
[pid=11231/tid=11234] ppid=11229 vsize=500660 CPUtime=161.62 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 301719 0 0 0 16100 62 0 0 20 0 2 0 333332569 512675840 112663 33554432000 4194304 5964350 140735611256384 140666532436312 4403200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 500660

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11234
/proc/meminfo: memFree=27426556/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=631732 CPUtime=222.19 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 348143 0 0 0 22147 72 0 0 20 0 2 0 333332549 646893568 139760 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 157933 139760 198 433 0 157497 0
[pid=11231/tid=11234] ppid=11229 vsize=631732 CPUtime=221.44 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 342623 0 0 0 22070 74 0 0 20 0 2 0 333332569 646893568 139760 33554432000 4194304 5964350 140735611256384 140666532436312 4403252 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 631732

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11235
/proc/meminfo: memFree=27380332/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=631732 CPUtime=282.15 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 363830 0 0 0 28139 76 0 0 20 0 2 0 333332549 646893568 146362 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 157933 146362 198 433 0 157497 0
[pid=11231/tid=11234] ppid=11229 vsize=631732 CPUtime=281.26 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 358310 0 0 0 28047 79 0 0 20 0 2 0 333332569 646893568 146362 33554432000 4194304 5964350 140735611256384 140666532436808 4403326 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 631732

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11235
/proc/meminfo: memFree=27354072/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=646316 CPUtime=342.14 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 369479 0 0 0 34136 78 0 0 20 0 2 0 333332549 661827584 152241 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 161579 152241 198 433 0 161143 0
[pid=11231/tid=11234] ppid=11229 vsize=646316 CPUtime=341.11 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 363959 0 0 0 34029 82 0 0 20 0 2 0 333332569 661827584 152241 33554432000 4194304 5964350 140735611256384 140666532436232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 646316

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11235
/proc/meminfo: memFree=27349296/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=646316 CPUtime=402.13 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 369493 0 0 0 40135 78 0 0 20 0 2 0 333332549 661827584 152241 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 161579 152241 198 433 0 161143 0
[pid=11231/tid=11234] ppid=11229 vsize=646316 CPUtime=400.96 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 363973 0 0 0 40013 83 0 0 20 0 2 0 333332569 661827584 152241 33554432000 4194304 5964350 140735611256384 140666532436232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 646316

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11235
/proc/meminfo: memFree=27313544/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=646316 CPUtime=462.11 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11244
/proc/meminfo: memFree=27014732/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1421.93 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 142106 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180064 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1418.31 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 141724 107 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 755512

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11244
/proc/meminfo: memFree=27002900/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1481.91 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 148104 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180064 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1478.15 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 147707 108 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 755512

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11245
/proc/meminfo: memFree=26992636/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1541.91 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 154104 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180064 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1538 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 153691 109 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 755512

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 11245
/proc/meminfo: memFree=26988916/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1601.9 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 160103 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180064 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1597.84 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 159674 110 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399998 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 755512

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 11245
/proc/meminfo: memFree=26988300/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1661.89 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 166102 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180064 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1657.69 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 165658 111 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 755512

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11245
/proc/meminfo: memFree=26986988/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1721.87 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 172100 87 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1717.53 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 171641 112 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 755512

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 11248
/proc/meminfo: memFree=26982952/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1781.87 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 178099 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1777.38 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 177624 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4389090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 755512

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 11248
/proc/meminfo: memFree=26981464/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1791.48 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179060 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1786.96 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 178582 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4379168 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 755512

[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 11248
/proc/meminfo: memFree=26980968/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1794.68 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179380 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1790.15 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 178901 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4378925 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 755512

[startup+1798.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 11248
/proc/meminfo: memFree=26980348/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1797.87 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179699 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1793.34 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179220 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4400029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 755512

[startup+1799.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11248
/proc/meminfo: memFree=26980232/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1798.67 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179779 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.14 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179300 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 755512

[startup+1799.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11248
/proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1799.08 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179820 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.54 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179340 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 755512

[startup+1799.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11248
/proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1799.47 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179859 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.94 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179380 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4392699 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 755512

[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11248
/proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864
[pid=11231] ppid=11229 vsize=755512 CPUtime=1799.57 cores=0,2,4,6
/proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179869 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11231/statm: 188878 180099 198 433 0 188442 0
[pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1795.04 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179390 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4403540 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 755512

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11231 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=93256
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=162823
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.57
CPU user time (s): 1798.69
CPU system time (s): 0.88
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 821048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 1.16282
maximum resident set size= 740760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390345
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= 202
involuntary context switches= 2492

runsolver used 6.596 second user time and 18.7551 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-02 23:20:57
IDJOB=3727855
IDBENCH=90677
IDSOLVER=2313
FILE ID=node113/3727855-1338672057
RUNJOBID= node113-1338668456-10993
PBS_JOBID= 14636517
Free space on /tmp= 70968 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727855-1338672057/watcher-3727855-1338672057 -o /tmp/evaluation-result-3727855-1338672057/solver-3727855-1338672057 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727855-1338672057.opb

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

MD5SUM BENCH= 13ec733a84b57b5245a7cfe0f2de4f86
RANDOM SEED=72810581

node113.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		: 2667.026
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	: 5334.05
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		: 2667.026
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.90
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		: 2667.026
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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		: 2667.026
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		: 2667.026
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	: 5331.91
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		: 2667.026
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.92
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		: 2667.026
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:       32873648 kB
MemFree:        28125192 kB
Buffers:          498236 kB
Cached:          3346412 kB
SwapCached:         2020 kB
Active:          1688656 kB
Inactive:        2174064 kB
Active(anon):      17324 kB
Inactive(anon):     1800 kB
Active(file):    1671332 kB
Inactive(file):  2172264 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:             15540 kB
Writeback:             0 kB
AnonPages:        126332 kB
Mapped:            13348 kB
Shmem:                 0 kB
Slab:             749692 kB
SReclaimable:     193372 kB
SUnreclaim:       556320 kB
KernelStack:        1496 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70972 MiB
End job on node113 at 2012-06-02 23:50:57