Trace number 3727480

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.39 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
MD5SUM6272f76e60106089ef6773ef02321eb2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark3.54446
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved YES
Number of variables4624
Total number of constraints5263
Number of constraints which are clauses4404
Number of constraints which are cardinality constraints (but not clauses)859
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Number of terms in the objective function 4624
Biggest coefficient in the objective function 2577
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 13335
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2577
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 13335
Number of bits of the biggest sum of numbers14
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-3727480-1338657223.opb.
0.00/0.00	c Instance file HOME/instance-3727480-1338657223.opb
0.00/0.00	c File size is 246533 bytes.
0.00/0.02	c Cost Offset: -2577
0.00/0.02	c Highest Coefficient sum: 25
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      4624                                                |
0.00/0.02	c |  Number Clauses:        4405                                                |
0.00/0.02	c |  Number Cardinality:    858                                                 |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c |                                                                             |
0.00/0.03	c |  Problem Type:          Optimization                                        |
0.00/0.03	c |  Objective Function:    PB Constraint                                       |
0.00/0.03	c |                                                                             |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.03	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.03	c ===============================================================================
0.00/0.03	c | 0.03      | 0  | -2576        lb |  0                0                0.00  |
0.00/0.04	c | 0.03      | 0  | -2575        lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | -2574        lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | -2573        lb |  0                0                0.00  |
0.00/0.05	c | 0.04      | 0  | -2572        lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | -2571        lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | -2570        lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | -2569        lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | -2568        lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | -2567        lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | -2566        lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | -2565        lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | -2564        lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | -2563        lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | -2562        lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | -2561        lb |  0                0                0.00  |
0.05/0.09	c | 0.08      | 0  | -2560        lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | -2559        lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | -2558        lb |  0                0                0.00  |
0.08/0.10	c | 0.09      | 0  | -2557        lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -2556        lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -2555        lb |  0                0                0.00  |
0.08/0.11	c | 0.10      | 0  | -2554        lb |  0                0                0.00  |
0.08/0.11	c | 0.11      | 0  | -2553        lb |  0                0                0.00  |
0.08/0.11	c | 0.11      | 0  | -2552        lb |  0                0                0.00  |
0.08/0.12	c | 0.11      | 0  | -2551        lb |  0                0                0.00  |
0.08/0.12	c | 0.12      | 0  | -2550        lb |  0                0                0.00  |
0.08/0.12	c | 0.12      | 0  | -2549        lb |  0                0                0.00  |
0.08/0.13	c | 0.12      | 0  | -2548        lb |  0                0                0.00  |
0.08/0.13	c | 0.13      | 0  | -2547        lb |  0                0                0.00  |
0.08/0.13	c | 0.13      | 0  | -2546        lb |  0                0                0.00  |
0.08/0.14	c | 0.13      | 0  | -2545        lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -2544        lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -2543        lb |  0                0                0.00  |
0.08/0.15	c | 0.14      | 0  | -2542        lb |  0                0                0.00  |
0.08/0.15	c | 0.15      | 0  | -2541        lb |  0                0                0.00  |
0.08/0.15	c | 0.15      | 0  | -2540        lb |  0                0                0.00  |
0.08/0.16	c | 0.15      | 0  | -2539        lb |  0                0                0.00  |
0.08/0.16	c | 0.16      | 0  | -2538        lb |  0                0                0.00  |
0.08/0.16	c | 0.16      | 0  | -2537        lb |  0                0                0.00  |
0.08/0.17	c | 0.17      | 0  | -2536        lb |  0                0                0.00  |
0.08/0.17	c | 0.17      | 0  | -2535        lb |  0                0                0.00  |
0.08/0.17	c | 0.17      | 0  | -2534        lb |  0                0                0.00  |
0.08/0.18	c | 0.18      | 0  | -2531        lb |  0                0                0.00  |
0.08/0.18	c | 0.18      | 0  | -2529        lb |  0                0                0.00  |
0.08/0.19	c | 0.18      | 0  | -2528        lb |  0                0                0.00  |
0.08/0.19	c | 0.19      | 0  | -2527        lb |  0                0                0.00  |
0.08/0.19	c | 0.19      | 0  | -2526        lb |  0                0                0.00  |
0.18/0.20	c | 0.19      | 0  | -2525        lb |  0                0                0.00  |
0.18/0.20	c | 0.20      | 0  | -2524        lb |  0                0                0.00  |
0.18/0.20	c | 0.20      | 0  | -2523        lb |  0                0                0.00  |
0.18/0.21	c | 0.20      | 0  | -2522        lb |  0                0                0.00  |
0.18/0.21	c | 0.21      | 0  | -2521        lb |  0                0                0.00  |
0.18/0.21	c | 0.21      | 0  | -2519        lb |  0                0                0.00  |
0.18/0.22	c | 0.21      | 0  | -2518        lb |  0                0                0.00  |
0.18/0.22	c | 0.22      | 0  | -2517        lb |  0                0                0.00  |
0.18/0.22	c | 0.22      | 0  | -2516        lb |  0                0                0.00  |
0.18/0.23	c | 0.23      | 0  | -2515        lb |  0                0                0.00  |
0.18/0.23	c | 0.23      | 0  | -2514        lb |  0                0                0.00  |
0.18/0.24	c | 0.23      | 0  | -2513        lb |  0                0                0.00  |
0.18/0.24	c | 0.24      | 0  | -2512        lb |  0                0                0.00  |
0.18/0.24	c | 0.24      | 0  | -2511        lb |  0                0                0.00  |
0.18/0.25	c | 0.24      | 0  | -2510        lb |  0                0                0.00  |
0.18/0.25	c | 0.25      | 0  | -2509        lb |  0                0                0.00  |
0.18/0.25	c | 0.25      | 0  | -2508        lb |  0                0                0.00  |
0.18/0.26	c | 0.26      | 0  | -2507        lb |  0                0                0.00  |
0.18/0.26	c | 0.26      | 0  | -2506        lb |  0                0                0.00  |
0.18/0.26	c | 0.26      | 0  | -2505        lb |  0                0                0.00  |
0.18/0.27	c | 0.27      | 0  | -2504        lb |  0                0                0.00  |
0.18/0.27	c | 0.27      | 0  | -2503        lb |  0                0                0.00  |
0.18/0.28	c | 0.27      | 0  | -2502        lb |  0                0                0.00  |
0.18/0.28	c | 0.28      | 0  | -2501        lb |  0                0                0.00  |
0.18/0.28	c | 0.28      | 0  | -2500        lb |  0                0                0.00  |
0.18/0.29	c | 0.28      | 0  | -2499        lb |  0                0                0.00  |
0.18/0.29	c | 0.29      | 0  | -2498        lb |  0                0                0.00  |
0.18/0.29	c | 0.29      | 0  | -2497        lb |  0                0                0.00  |
0.28/0.30	c | 0.30      | 0  | -2496        lb |  0                0                0.00  |
0.28/0.30	c | 0.30      | 0  | -2495        lb |  0                0                0.00  |
0.28/0.31	c | 0.30      | 0  | -2494        lb |  0                0                0.00  |
0.28/0.31	c | 0.31      | 0  | -2493        lb |  0                0                0.00  |
0.28/0.31	c | 0.31      | 0  | -2492        lb |  0                0                0.00  |
0.28/0.32	c | 0.32      | 0  | -2491        lb |  0                0                0.00  |
0.28/0.32	c | 0.32      | 0  | -2490        lb |  0                0                0.00  |
0.28/0.32	c | 0.32      | 0  | -2489        lb |  0                0                0.00  |
0.28/0.33	c | 0.33      | 0  | -2488        lb |  0                0                0.00  |
0.28/0.33	c | 0.33      | 0  | -2487        lb |  0                0                0.00  |
0.28/0.34	c | 0.33      | 0  | -2486        lb |  0                0                0.00  |
0.28/0.34	c | 0.34      | 0  | -2485        lb |  0                0                0.00  |
0.28/0.34	c | 0.34      | 0  | -2484        lb |  0                0                0.00  |
0.28/0.35	c | 0.34      | 0  | -2483        lb |  0                0                0.00  |
0.28/0.35	c | 0.35      | 0  | -2482        lb |  0                0                0.00  |
0.28/0.36	c | 0.35      | 0  | -2481        lb |  0                0                0.00  |
0.28/0.36	c | 0.36      | 0  | -2480        lb |  0                0                0.00  |
0.28/0.36	c | 0.36      | 0  | -2479        lb |  0                0                0.00  |
0.28/0.37	c | 0.36      | 0  | -2478        lb |  0                0                0.00  |
0.28/0.37	c | 0.37      | 0  | -2477        lb |  0                0                0.00  |
0.28/0.38	c | 0.37      | 0  | -2476        lb |  0                0                0.00  |
0.28/0.38	c | 0.38      | 0  | -2475        lb |  0                0                0.00  |
0.28/0.38	c | 0.38      | 0  | -2474        lb |  0                0                0.00  |
0.28/0.39	c | 0.39      | 0  | -2473        lb |  0                0                0.00  |
0.28/0.39	c | 0.39      | 0  | -2472        lb |  0                0                0.00  |
0.38/0.40	c | 0.39      | 0  | -2471        lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | -2470        lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | -2469        lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | -2468        lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | -2467        lb |  0                0                0.00  |
0.38/0.42	c | 0.41      | 0  | -2466        lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | -2465        lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | -2464        lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | -2463        lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | -2462        lb |  0                0                0.00  |
0.38/0.44	c | 0.43      | 0  | -2461        lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | -2460        lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | -2459        lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | -2458        lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | -2457        lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | -2456        lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | -2455        lb |  0                0                0.00  |
0.38/0.47	c | 0.46      | 0  | -2454        lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | -2453        lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | -2452        lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | -2451        lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | -2450        lb |  0                0                0.00  |
0.38/0.49	c | 0.48      | 0  | -2449        lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | -2448        lb |  0                0                0.00  |
0.47/0.50	c | 0.49      | 0  | -2447        lb |  0                0                0.00  |
0.47/0.50	c | 0.50      | 0  | -2446        lb |  0                0                0.00  |
0.47/0.50	c | 0.50      | 0  | -2444        lb |  0                0                0.00  |
0.47/0.51	c | 0.51      | 0  | -2443        lb |  0                0                0.00  |
0.47/0.51	c | 0.51      | 0  | -2442        lb |  0                0                0.00  |
0.47/0.52	c | 0.52      | 0  | -2441        lb |  0                0                0.00  |
0.47/0.52	c | 0.52      | 0  | -2440        lb |  0                0                0.00  |
0.47/0.53	c | 0.52      | 0  | -2439        lb |  0                0                0.00  |
0.47/0.53	c | 0.53      | 0  | -2438        lb |  0                0                0.00  |
0.47/0.54	c | 0.53      | 0  | -2437        lb |  0                0                0.00  |
0.47/0.54	c | 0.54      | 0  | -2436        lb |  0                0                0.00  |
0.47/0.54	c | 0.54      | 0  | -2435        lb |  0                0                0.00  |
0.47/0.55	c | 0.55      | 0  | -2434        lb |  0                0                0.00  |
0.47/0.55	c | 0.55      | 0  | -2433        lb |  0                0                0.00  |
0.47/0.56	c | 0.56      | 0  | -2432        lb |  0                0                0.00  |
0.47/0.56	c | 0.56      | 0  | -2431        lb |  0                0                0.00  |
0.47/0.57	c | 0.56      | 0  | -2430        lb |  0                0                0.00  |
0.47/0.57	c | 0.57      | 0  | -2429        lb |  0                0                0.00  |
0.47/0.58	c | 0.57      | 0  | -2428        lb |  0                0                0.00  |
0.47/0.58	c | 0.58      | 0  | -2427        lb |  0                0                0.00  |
0.47/0.59	c | 0.58      | 0  | -2426        lb |  0                0                0.00  |
0.47/0.59	c | 0.59      | 0  | -2425        lb |  0                0                0.00  |
0.47/0.59	c | 0.59      | 0  | -2424        lb |  0                0                0.00  |
0.57/0.60	c | 0.60      | 0  | -2423        lb |  0                0                0.00  |
0.57/0.60	c | 0.60      | 0  | -2422        lb |  0                0                0.00  |
0.57/0.61	c | 0.61      | 0  | -2421        lb |  0                0                0.00  |
0.57/0.61	c | 0.61      | 0  | -2420        lb |  0                0                0.00  |
0.57/0.62	c | 0.62      | 0  | -2419        lb |  0                0                0.00  |
0.57/0.62	c | 0.62      | 0  | -2418        lb |  0                0                0.00  |
0.57/0.63	c | 0.63      | 0  | -2417        lb |  0                0                0.00  |
0.57/0.63	c | 0.63      | 0  | -2416        lb |  0                0                0.00  |
0.57/0.64	c | 0.64      | 0  | -2415        lb |  0                0                0.00  |
0.57/0.64	c | 0.64      | 0  | -2414        lb |  0                0                0.00  |
0.57/0.65	c | 0.65      | 0  | -2413        lb |  0                0                0.00  |
0.57/0.65	c | 0.65      | 0  | -2412        lb |  0                0                0.00  |
0.57/0.66	c | 0.66      | 0  | -2411        lb |  0                0                0.00  |
0.57/0.66	c | 0.66      | 0  | -2410        lb |  0                0                0.00  |
0.57/0.67	c | 0.66      | 0  | -2409        lb |  0                0                0.00  |
0.57/0.67	c | 0.67      | 0  | -2408        lb |  0                0                0.00  |
0.57/0.68	c | 0.67      | 0  | -2407        lb |  0                0                0.00  |
0.57/0.68	c | 0.68      | 0  | -2406        lb |  0                0                0.00  |
0.57/0.69	c | 0.68      | 0  | -2405        lb |  0                0                0.00  |
0.57/0.69	c | 0.69      | 0  | -2404        lb |  0                0                0.00  |
0.68/0.70	c | 0.69      | 0  | -2403        lb |  0                0                0.00  |
0.68/0.70	c | 0.70      | 0  | -2402        lb |  0                0                0.00  |
0.68/0.71	c | 0.70      | 0  | -2401        lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | -2400        lb |  0                0                0.00  |
0.68/0.72	c | 0.71      | 0  | -2399        lb |  0                0                0.00  |
0.68/0.72	c | 0.72      | 0  | -2398        lb |  0                0                0.00  |
0.68/0.73	c | 0.72      | 0  | -2397        lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | -2396        lb |  0                0                0.00  |
0.68/0.74	c | 0.73      | 0  | -2395        lb |  0                0                0.00  |
0.68/0.74	c | 0.74      | 0  | -2394        lb |  0                0                0.00  |
0.68/0.75	c | 0.74      | 0  | -2393        lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | -2392        lb |  0                0                0.00  |
0.68/0.76	c | 0.75      | 0  | -2391        lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | -2390        lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | -2389        lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | -2388        lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | -2387        lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | -2386        lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | -2385        lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | -2384        lb |  0                0                0.00  |
0.78/0.80	c | 0.80      | 0  | -2383        lb |  0                0                0.00  |
0.78/0.80	c | 0.80      | 0  | -2382        lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | -2381        lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | -2380        lb |  0                0                0.00  |
0.78/0.82	c | 0.82      | 0  | -2379        lb |  0                0                0.00  |
0.78/0.82	c | 0.82      | 0  | -2378        lb |  0                0                0.00  |
0.78/0.83	c | 0.83      | 0  | -2377        lb |  0                0                0.00  |
0.78/0.83	c | 0.83      | 0  | -2376        lb |  0                0                0.00  |
0.78/0.84	c | 0.84      | 0  | -2375        lb |  0                0                0.00  |
0.78/0.84	c | 0.84      | 0  | -2374        lb |  0                0                0.00  |
0.78/0.85	c | 0.85      | 0  | -2373        lb |  0                0                0.00  |
0.78/0.86	c | 0.85      | 0  | -2372        lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | -2371        lb |  0                0                0.00  |
0.78/0.87	c | 0.86      | 0  | -2370        lb |  0                0                0.00  |
0.78/0.87	c | 0.87      | 0  | -2369        lb |  0                0                0.00  |
0.78/0.88	c | 0.88      | 0  | -2368        lb |  0                0                0.00  |
0.78/0.88	c | 0.88      | 0  | -2367        lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | -2366        lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | -2365        lb |  0                0                0.00  |
0.88/0.90	c | 0.90      | 0  | -2364        lb |  0                0                0.00  |
0.88/0.90	c | 0.90      | 0  | -2363        lb |  0                0                0.00  |
0.88/0.91	c | 0.91      | 0  | -2362        lb |  0                0                0.00  |
0.88/0.92	c | 0.91      | 0  | -2361        lb |  0                0                0.00  |
0.88/0.92	c | 0.92      | 0  | -2360        lb |  0                0                0.00  |
0.88/0.93	c | 0.93      | 0  | -2358        lb |  0                0                0.00  |
0.88/0.93	c | 0.93      | 0  | -2357        lb |  0                0                0.00  |
0.88/0.94	c | 0.94      | 0  | -2356        lb |  0                0                0.00  |
0.88/0.94	c | 0.94      | 0  | -2355        lb |  0                0                0.00  |
0.88/0.95	c | 0.95      | 0  | -2354        lb |  0                0                0.00  |
0.88/0.95	c | 0.95      | 0  | -2353        lb |  0                0                0.00  |
0.88/0.96	c | 0.96      | 0  | -2352        lb |  0                0                0.00  |
0.88/0.97	c | 0.96      | 0  | -2351        lb |  0                0                0.00  |
0.88/0.97	c | 0.97      | 0  | -2350        lb |  0                0                0.00  |
0.88/0.98	c | 0.97      | 0  | -2349        lb |  0                0                0.00  |
0.88/0.98	c | 0.98      | 0  | -2348        lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | -2347        lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | -2346        lb |  0                0                0.00  |
0.97/1.01	c | 1.00      | 0  | -2345        lb |  0                0                0.00  |
0.97/1.01	c | 1.01      | 0  | -2344        lb |  0                0                0.00  |
0.97/1.02	c | 1.02      | 0  | -2343        lb |  0                0                0.00  |
0.97/1.02	c | 1.02      | 0  | -2342        lb |  0                0                0.00  |
0.97/1.03	c | 1.03      | 0  | -2341        lb |  0                0                0.00  |
0.97/1.04	c | 1.03      | 0  | -2340        lb |  0                0                0.00  |
0.97/1.04	c | 1.04      | 0  | -2339        lb |  0                0                0.00  |
0.97/1.05	c | 1.04      | 0  | -2338        lb |  0                0                0.00  |
0.97/1.05	c | 1.05      | 0  | -2337        lb |  0                0                0.00  |
0.97/1.06	c | 1.06      | 0  | -2336        lb |  0                0                0.00  |
0.97/1.06	c | 1.06      | 0  | -2335        lb |  0                0                0.00  |
0.97/1.07	c | 1.07      | 0  | -2334        lb |  0                0                0.00  |
0.97/1.08	c | 1.07      | 0  | -2333        lb |  0                0                0.00  |
0.97/1.08	c | 1.08      | 0  | -2332        lb |  0                0                0.00  |
0.97/1.09	c | 1.09      | 0  | -2331        lb |  0                0                0.00  |
0.97/1.09	c | 1.09      | 0  | -2330        lb |  0                0                0.00  |
0.97/1.10	c | 1.10      | 0  | -2328        lb |  0                0                0.00  |
1.07/1.11	c | 1.10      | 0  | -2327        lb |  0                0                0.00  |
1.07/1.11	c | 1.11      | 0  | -2325        lb |  0                0                0.00  |
1.07/1.12	c | 1.12      | 0  | -2324        lb |  0                0                0.00  |
1.07/1.12	c | 1.12      | 0  | -2321        lb |  0                0                0.00  |
1.07/1.13	c | 1.13      | 0  | -2319        lb |  0                0                0.00  |
1.07/1.14	c | 1.13      | 0  | -2318        lb |  0                0                0.00  |
1.07/1.14	c | 1.14      | 0  | -2317        lb |  0                0                0.00  |
1.07/1.15	c | 1.15      | 0  | -2316        lb |  0                0                0.00  |
1.07/1.15	c | 1.15      | 0  | -2315        lb |  0                0                0.00  |
1.07/1.16	c | 1.16      | 0  | -2314        lb |  0                0                0.00  |
1.07/1.17	c | 1.16      | 0  | -2313        lb |  0                0                0.00  |
1.07/1.17	c | 1.17      | 0  | -2312        lb |  0                0                0.00  |
1.07/1.18	c | 1.18      | 0  | -2311        lb |  0                0                0.00  |
1.07/1.18	c | 1.18      | 0  | -2310        lb |  0                0                0.00  |
1.07/1.19	c | 1.19      | 0  | -2309        lb |  0                0                0.00  |
1.17/1.20	c | 1.20      | 0  | -2308        lb |  0                0                0.00  |
1.17/1.20	c | 1.20      | 0  | -2307        lb |  0                0                0.00  |
1.17/1.21	c | 1.21      | 0  | -2306        lb |  0                0                0.00  |
1.17/1.22	c | 1.21      | 0  | -2305        lb |  0                0                0.00  |
1.17/1.22	c | 1.22      | 0  | -2304        lb |  0                0                0.00  |
1.17/1.23	c | 1.23      | 0  | -2303        lb |  0                0                0.00  |
1.17/1.23	c | 1.23      | 0  | -2302        lb |  0                0                0.00  |
1.17/1.24	c | 1.24      | 0  | -2301        lb |  0                0                0.00  |
1.17/1.25	c | 1.25      | 0  | -2300        lb |  0                0                0.00  |
1.17/1.25	c | 1.25      | 0  | -2299        lb |  0                0                0.00  |
1.17/1.26	c | 1.26      | 0  | -2298        lb |  0                0                0.00  |
1.17/1.27	c | 1.26      | 0  | -2297        lb |  0                0                0.00  |
1.17/1.27	c | 1.27      | 0  | -2295        lb |  0                0                0.00  |
1.17/1.28	c | 1.28      | 0  | -2294        lb |  0                0                0.00  |
1.17/1.29	c | 1.28      | 0  | -2293        lb |  0                0                0.00  |
1.17/1.29	c | 1.29      | 0  | -2292        lb |  0                0                0.00  |
1.26/1.30	c | 1.30      | 0  | -2291        lb |  0                0                0.00  |
1.26/1.30	c | 1.30      | 0  | -2290        lb |  0                0                0.00  |
1.26/1.31	c | 1.31      | 0  | -2289        lb |  0                0                0.00  |
1.26/1.32	c | 1.32      | 0  | -2287        lb |  0                0                0.00  |
1.26/1.32	c | 1.32      | 0  | -2286        lb |  0                0                0.00  |
1.26/1.33	c | 1.33      | 0  | -2285        lb |  0                0                0.00  |
1.26/1.34	c | 1.33      | 0  | -2284        lb |  0                0                0.00  |
1.26/1.34	c | 1.34      | 0  | -2283        lb |  0                0                0.00  |
1.26/1.35	c | 1.35      | 0  | -2282        lb |  0                0                0.00  |
1.26/1.36	c | 1.35      | 0  | -2281        lb |  0                0                0.00  |
1.26/1.36	c | 1.36      | 0  | -2280        lb |  0                0                0.00  |
1.26/1.37	c | 1.37      | 0  | -2279        lb |  0                0                0.00  |
1.26/1.38	c | 1.37      | 0  | -2278        lb |  0                0                0.00  |
1.26/1.38	c | 1.38      | 0  | -2277        lb |  0                0                0.00  |
1.26/1.39	c | 1.39      | 0  | -2276        lb |  0                0                0.00  |
1.36/1.40	c | 1.39      | 0  | -2275        lb |  0                0                0.00  |
1.36/1.40	c | 1.40      | 0  | -2274        lb |  0                0                0.00  |
1.36/1.41	c | 1.41      | 0  | -2273        lb |  0                0                0.00  |
1.36/1.42	c | 1.41      | 0  | -2272        lb |  0                0                0.00  |
1.36/1.42	c | 1.42      | 0  | -2271        lb |  0                0                0.00  |
1.36/1.43	c | 1.43      | 0  | -2270        lb |  0                0                0.00  |
1.36/1.44	c | 1.43      | 0  | -2269        lb |  0                0                0.00  |
1.36/1.44	c | 1.44      | 0  | -2268        lb |  0                0                0.00  |
1.36/1.45	c | 1.45      | 0  | -2267        lb |  0                0                0.00  |
1.36/1.46	c | 1.46      | 0  | -2266        lb |  0                0                0.00  |
1.36/1.46	c | 1.46      | 0  | -2265        lb |  0                0                0.00  |
1.36/1.47	c | 1.47      | 0  | -2264        lb |  0                0                0.00  |
1.36/1.48	c | 1.48      | 0  | -2263        lb |  0                0                0.00  |
1.36/1.48	c | 1.48      | 0  | -2262        lb |  0                0                0.00  |
1.36/1.49	c | 1.49      | 0  | -2261        lb |  0                0                0.00  |
1.46/1.50	c | 1.50      | 0  | -2260        lb |  0                0                0.00  |
1.46/1.51	c | 1.50      | 0  | -2259        lb |  0                0                0.00  |
1.46/1.51	c | 1.51      | 0  | -2257        lb |  0                0                0.00  |
1.46/1.52	c | 1.52      | 0  | -2256        lb |  0                0                0.00  |
1.46/1.53	c | 1.52      | 0  | -2254        lb |  0                0                0.00  |
1.46/1.53	c | 1.53      | 0  | -2253        lb |  0                0                0.00  |
1.46/1.54	c | 1.54      | 0  | -2251        lb |  0                0                0.00  |
1.46/1.55	c | 1.55      | 0  | -2250        lb |  0                0                0.00  |
1.46/1.55	c | 1.55      | 0  | -2249        lb |  0                0                0.00  |
1.46/1.56	c | 1.56      | 0  | -2248        lb |  0                0                0.00  |
1.46/1.57	c | 1.57      | 0  | -2247        lb |  0                0                0.00  |
1.46/1.58	c | 1.57      | 0  | -2246        lb |  0                0                0.00  |
1.46/1.58	c | 1.58      | 0  | -2245        lb |  0                0                0.00  |
1.46/1.59	c | 1.59      | 0  | -2244        lb |  0                0                0.00  |
1.56/1.60	c | 1.59      | 0  | -2243        lb |  0                0                0.00  |
1.56/1.60	c | 1.60      | 0  | -2242        lb |  0                0                0.00  |
1.56/1.61	c | 1.61      | 0  | -2241        lb |  0                0                0.00  |
1.56/1.62	c | 1.62      | 0  | -2240        lb |  0                0                0.00  |
1.56/1.62	c | 1.62      | 0  | -2239        lb |  0                0                0.00  |
1.56/1.63	c | 1.63      | 0  | -2238        lb |  0                0                0.00  |
1.56/1.64	c | 1.64      | 0  | -2237        lb |  0                0                0.00  |
1.56/1.65	c | 1.65      | 0  | -2236        lb |  0                0                0.00  |
1.56/1.65	c | 1.65      | 0  | -2235        lb |  0                0                0.00  |
1.56/1.66	c | 1.66      | 0  | -2234        lb |  0                0                0.00  |
1.56/1.67	c | 1.67      | 0  | -2233        lb |  0                0                0.00  |
1.56/1.68	c | 1.67      | 0  | -2232        lb |  0                0                0.00  |
1.56/1.68	c | 1.68      | 0  | -2231        lb |  0                0                0.00  |
1.56/1.69	c | 1.69      | 0  | -2230        lb |  0                0                0.00  |
1.66/1.70	c | 1.70      | 0  | -2229        lb |  0                0                0.00  |
1.66/1.71	c | 1.70      | 0  | -2228        lb |  0                0                0.00  |
1.66/1.71	c | 1.71      | 0  | -2227        lb |  0                0                0.00  |
1.66/1.72	c | 1.72      | 0  | -2226        lb |  0                0                0.00  |
1.66/1.73	c | 1.73      | 0  | -2225        lb |  0                0                0.00  |
1.66/1.74	c | 1.73      | 0  | -2224        lb |  0                0                0.00  |
1.66/1.74	c | 1.74      | 0  | -2223        lb |  0                0                0.00  |
1.66/1.75	c | 1.75      | 0  | -2222        lb |  0                0                0.00  |
1.66/1.76	c | 1.76      | 0  | -2221        lb |  0                0                0.00  |
1.66/1.77	c | 1.76      | 0  | -2220        lb |  0                0                0.00  |
1.66/1.77	c | 1.77      | 0  | -2219        lb |  0                0                0.00  |
1.66/1.78	c | 1.78      | 0  | -2218        lb |  0                0                0.00  |
1.66/1.79	c | 1.79      | 0  | -2217        lb |  0                0                0.00  |
1.76/1.80	c | 1.79      | 0  | -2216        lb |  0                0                0.00  |
1.76/1.80	c | 1.80      | 0  | -2215        lb |  0                0                0.00  |
1.76/1.81	c | 1.81      | 0  | -2214        lb |  0                0                0.00  |
1.76/1.82	c | 1.82      | 0  | -2213        lb |  0                0                0.00  |
1.76/1.83	c | 1.82      | 0  | -2212        lb |  0                0                0.00  |
1.76/1.83	c | 1.83      | 0  | -2211        lb |  0                0                0.00  |
1.76/1.84	c | 1.84      | 0  | -2210        lb |  0                0                0.00  |
1.76/1.85	c | 1.85      | 0  | -2209        lb |  0                0                0.00  |
1.76/1.86	c | 1.86      | 0  | -2208        lb |  0                0                0.00  |
1.76/1.87	c | 1.86      | 0  | -2207        lb |  0                0                0.00  |
1.76/1.87	c | 1.87      | 0  | -2206        lb |  0                0                0.00  |
1.76/1.88	c | 1.88      | 0  | -2205        lb |  0                0                0.00  |
1.76/1.89	c | 1.89      | 0  | -2204        lb |  0                0                0.00  |
1.86/1.90	c | 1.90      | 0  | -2203        lb |  0                0                0.00  |
1.86/1.90	c | 1.90      | 0  | -2202        lb |  0                0                0.00  |
1.86/1.91	c | 1.91      | 0  | -2201        lb |  0                0                0.00  |
1.86/1.92	c | 1.92      | 0  | -2200        lb |  0                0                0.00  |
1.86/1.93	c | 1.93      | 0  | -2199        lb |  0                0                0.00  |
1.86/1.94	c | 1.93      | 0  | -2198        lb |  0                0                0.00  |
1.86/1.94	c | 1.94      | 0  | -2197        lb |  0                0                0.00  |
1.86/1.95	c | 1.95      | 0  | -2196        lb |  0                0                0.00  |
1.86/1.96	c | 1.96      | 0  | -2195        lb |  0                0                0.00  |
1.86/1.97	c | 1.97      | 0  | -2194        lb |  0                0                0.00  |
1.86/1.98	c | 1.97      | 0  | -2193        lb |  0                0                0.00  |
1.86/1.98	c | 1.98      | 0  | -2192        lb |  0                0                0.00  |
1.86/1.99	c | 1.99      | 0  | -2190        lb |  0                0                0.00  |
1.96/2.00	c | 2.00      | 0  | -2189        lb |  0                0                0.00  |
1.96/2.01	c | 2.01      | 0  | -2188        lb |  0                0                0.00  |
1.96/2.02	c | 2.02      | 0  | -2186        lb |  0                0                0.00  |
1.96/2.02	c | 2.02      | 0  | -2185        lb |  0                0                0.00  |
1.96/2.03	c | 2.03      | 0  | -2184        lb |  0                0                0.00  |
1.96/2.04	c | 2.04      | 0  | -2183        lb |  0                0                0.00  |
1.96/2.05	c | 2.05      | 0  | -2182        lb |  0                0                0.00  |
1.96/2.06	c | 2.06      | 0  | -2181        lb |  0                0                0.00  |
1.96/2.07	c | 2.06      | 0  | -2180        lb |  0                0                0.00  |
1.96/2.07	c | 2.07      | 0  | -2179        lb |  0                0                0.00  |
1.96/2.08	c | 2.08      | 0  | -2178        lb |  0                0                0.00  |
1.96/2.09	c | 2.09      | 0  | -2177        lb |  0                0                0.00  |
1.96/2.10	c | 2.10      | 0  | -2176        lb |  0                0                0.00  |
2.07/2.11	c | 2.11      | 0  | -2175        lb |  0                0                0.00  |
2.07/2.12	c | 2.12      | 0  | -2174        lb |  0                0                0.00  |
2.07/2.13	c | 2.13      | 0  | -2173        lb |  0                0                0.00  |
2.07/2.14	c | 2.13      | 0  | -2172        lb |  0                0                0.00  |
2.07/2.15	c | 2.14      | 0  | -2171        lb |  0                0                0.00  |
2.07/2.15	c | 2.15      | 0  | -2170        lb |  0                0                0.00  |
2.07/2.16	c | 2.16      | 0  | -2169        lb |  0                0                0.00  |
2.07/2.17	c | 2.17      | 0  | -2168        lb |  0                0                0.00  |
2.07/2.18	c | 2.18      | 0  | -2167        lb |  0                0                0.00  |
2.07/2.19	c | 2.19      | 0  | -2166        lb |  0                0                0.00  |
2.07/2.20	c | 2.20      | 0  | -2165        lb |  0                0                0.00  |
2.17/2.21	c | 2.21      | 0  | -2164        lb |  0                0                0.00  |
2.17/2.22	c | 2.22      | 0  | -2163        lb |  0                0                0.00  |
2.17/2.23	c | 2.23      | 0  | -2162        lb |  0                0                0.00  |
2.17/2.24	c | 2.23      | 0  | -2161        lb |  0                0                0.00  |
2.17/2.24	c | 2.24      | 0  | -2160        lb |  0                0                0.00  |
2.17/2.25	c | 2.25      | 0  | -2159        lb |  0                0                0.00  |
2.17/2.26	c | 2.26      | 0  | -2158        lb |  0                0                0.00  |
2.17/2.27	c | 2.27      | 0  | -2157        lb |  0                0                0.00  |
2.17/2.28	c | 2.28      | 0  | -2156        lb |  0                0                0.00  |
2.17/2.29	c | 2.29      | 0  | -2155        lb |  0                0                0.00  |
2.26/2.30	c | 2.30      | 0  | -2154        lb |  0                0                0.00  |
2.26/2.31	c | 2.31      | 0  | -2153        lb |  0                0                0.00  |
2.26/2.32	c | 2.32      | 0  | -2152        lb |  0                0                0.00  |
2.26/2.33	c | 2.33      | 0  | -2151        lb |  0                0                0.00  |
2.26/2.34	c | 2.34      | 0  | -2150        lb |  0                0                0.00  |
2.26/2.35	c | 2.35      | 0  | -2149        lb |  0                0                0.00  |
2.26/2.36	c | 2.36      | 0  | -2148        lb |  0                0                0.00  |
2.26/2.37	c | 2.37      | 0  | -2147        lb |  0                0                0.00  |
2.26/2.38	c | 2.38      | 0  | -2146        lb |  0                0                0.00  |
2.26/2.39	c | 2.38      | 0  | -2145        lb |  0                0                0.00  |
2.36/2.40	c | 2.40      | 0  | -2144        lb |  0                0                0.00  |
2.36/2.41	c | 2.40      | 0  | -2143        lb |  0                0                0.00  |
2.36/2.42	c | 2.42      | 0  | -2142        lb |  0                0                0.00  |
2.36/2.43	c | 2.42      | 0  | -2141        lb |  0                0                0.00  |
2.36/2.44	c | 2.43      | 0  | -2140        lb |  0                0                0.00  |
2.36/2.45	c | 2.44      | 0  | -2139        lb |  0                0                0.00  |
2.36/2.46	c | 2.46      | 0  | -2138        lb |  0                0                0.00  |
2.36/2.47	c | 2.46      | 0  | -2137        lb |  0                0                0.00  |
2.36/2.48	c | 2.48      | 0  | -2136        lb |  0                0                0.00  |
2.36/2.49	c | 2.48      | 0  | -2135        lb |  0                0                0.00  |
2.46/2.50	c | 2.50      | 0  | -2134        lb |  0                0                0.00  |
2.46/2.51	c | 2.50      | 0  | -2133        lb |  0                0                0.00  |
2.46/2.52	c | 2.52      | 0  | -2132        lb |  0                0                0.00  |
2.46/2.53	c | 2.52      | 0  | -2131        lb |  0                0                0.00  |
2.46/2.54	c | 2.53      | 0  | -2130        lb |  0                0                0.00  |
2.46/2.55	c | 2.54      | 0  | -2129        lb |  0                0                0.00  |
2.46/2.56	c | 2.55      | 0  | -2128        lb |  0                0                0.00  |
2.46/2.57	c | 2.56      | 0  | -2127        lb |  0                0                0.00  |
2.46/2.58	c | 2.57      | 0  | -2126        lb |  0                0                0.00  |
2.46/2.59	c | 2.58      | 0  | -2125        lb |  0                0                0.00  |
2.56/2.60	c | 2.59      | 0  | -2124        lb |  0                0                0.00  |
2.56/2.61	c | 2.60      | 0  | -2123        lb |  0                0                0.00  |
2.56/2.62	c | 2.62      | 0  | -2122        lb |  0                0                0.00  |
2.56/2.63	c | 2.62      | 0  | -2121        lb |  0                0                0.00  |
2.56/2.64	c | 2.63      | 0  | -2120        lb |  0                0                0.00  |
2.56/2.65	c | 2.65      | 0  | -2119        lb |  0                0                0.00  |
2.56/2.66	c | 2.65      | 0  | -2118        lb |  0                0                0.00  |
2.56/2.67	c | 2.67      | 0  | -2117        lb |  0                0                0.00  |
2.56/2.68	c | 2.68      | 0  | -2116        lb |  0                0                0.00  |
2.56/2.69	c | 2.69      | 0  | -2115        lb |  0                0                0.00  |
2.66/2.70	c | 2.70      | 0  | -2114        lb |  0                0                0.00  |
2.66/2.71	c | 2.71      | 0  | -2113        lb |  0                0                0.00  |
2.66/2.72	c | 2.72      | 0  | -2112        lb |  0                0                0.00  |
2.66/2.73	c | 2.73      | 0  | -2111        lb |  0                0                0.00  |
2.66/2.74	c | 2.74      | 0  | -2110        lb |  0                0                0.00  |
2.66/2.75	c | 2.75      | 0  | -2109        lb |  0                0                0.00  |
2.66/2.76	c | 2.76      | 0  | -2108        lb |  0                0                0.00  |
2.66/2.77	c | 2.77      | 0  | -2107        lb |  0                0                0.00  |
2.66/2.78	c | 2.78      | 0  | -2106        lb |  0                0                0.00  |
2.66/2.79	c | 2.79      | 0  | -2105        lb |  0                0                0.00  |
2.76/2.80	c | 2.80      | 0  | -2104        lb |  0                0                0.00  |
2.76/2.81	c | 2.81      | 0  | -2103        lb |  0                0                0.00  |
2.76/2.82	c | 2.82      | 0  | -2102        lb |  0                0                0.00  |
2.76/2.83	c | 2.83      | 0  | -2101        lb |  0                0                0.00  |
2.76/2.84	c | 2.84      | 0  | -2100        lb |  0                0                0.00  |
2.76/2.85	c | 2.85      | 0  | -2099        lb |  0                0                0.00  |
2.76/2.87	c | 2.86      | 0  | -2098        lb |  0                0                0.00  |
2.76/2.88	c | 2.87      | 0  | -2097        lb |  0                0                0.00  |
2.76/2.89	c | 2.88      | 0  | -2096        lb |  0                0                0.00  |
2.86/2.90	c | 2.90      | 0  | -2095        lb |  0                0                0.00  |
2.86/2.91	c | 2.91      | 0  | -2094        lb |  0                0                0.00  |
2.86/2.92	c | 2.92      | 0  | -2093        lb |  0                0                0.00  |
2.86/2.93	c | 2.93      | 0  | -2092        lb |  0                0                0.00  |
2.86/2.94	c | 2.94      | 0  | -2091        lb |  0                0                0.00  |
2.86/2.95	c | 2.95      | 0  | -2090        lb |  0                0                0.00  |
2.86/2.96	c | 2.96      | 0  | -2089        lb |  0                0                0.00  |
2.86/2.97	c | 2.97      | 0  | -2088        lb |  0                0                0.00  |
2.86/2.98	c | 2.98      | 0  | -2087        lb |  0                0                0.00  |
2.86/2.99	c | 2.99      | 0  | -2086        lb |  0                0                0.00  |
2.96/3.00	c | 3.00      | 0  | -2085        lb |  0                0                0.00  |
2.96/3.01	c | 3.01      | 0  | -2084        lb |  0                0                0.00  |
2.96/3.02	c | 3.02      | 0  | -2083        lb |  0                0                0.00  |
2.96/3.03	c | 3.03      | 0  | -2082        lb |  0                0                0.00  |
2.96/3.05	c | 3.04      | 0  | -2081        lb |  0                0                0.00  |
2.96/3.06	c | 3.05      | 0  | -2080        lb |  0                0                0.00  |
2.96/3.07	c | 3.06      | 0  | -2079        lb |  0                0                0.00  |
2.96/3.08	c | 3.08      | 0  | -2078        lb |  0                0                0.00  |
2.96/3.09	c | 3.09      | 0  | -2077        lb |  0                0                0.00  |
3.06/3.10	c | 3.10      | 0  | -2076        lb |  0                0                0.00  |
3.06/3.11	c | 3.11      | 0  | -2075        lb |  0                0                0.00  |
3.06/3.12	c | 3.12      | 0  | -2074        lb |  0                0                0.00  |
3.06/3.13	c | 3.13      | 0  | -2073        lb |  0                0                0.00  |
3.06/3.14	c | 3.14      | 0  | -2072        lb |  0                0                0.00  |
3.06/3.15	c | 3.15      | 0  | -2071        lb |  0                0                0.00  |
3.06/3.16	c | 3.16      | 0  | -2070        lb |  0                0                0.00  |
3.06/3.18	c | 3.17      | 0  | -2069        lb |  0                0                0.00  |
3.06/3.19	c | 3.19      | 0  | -2068        lb |  0                0                0.00  |
3.06/3.20	c | 3.20      | 0  | -2067        lb |  0                0                0.00  |
3.16/3.21	c | 3.21      | 0  | -2066        lb |  0                0                0.00  |
3.16/3.22	c | 3.22      | 0  | -2065        lb |  0                0                0.00  |
3.16/3.23	c | 3.23      | 0  | -2064        lb |  0                0                0.00  |
3.16/3.25	c | 3.24      | 0  | -2063        lb |  0                0                0.00  |
3.16/3.26	c | 3.25      | 0  | -2062        lb |  0                0                0.00  |
3.16/3.27	c | 3.27      | 0  | -2061        lb |  0                0                0.00  |
3.16/3.28	c | 3.28      | 0  | -2060        lb |  0                0                0.00  |
3.16/3.29	c | 3.29      | 0  | -2059        lb |  0                0                0.00  |
3.27/3.30	c | 3.30      | 0  | -2058        lb |  0                0                0.00  |
3.27/3.31	c | 3.31      | 0  | -2057        lb |  0                0                0.00  |
3.27/3.33	c | 3.32      | 0  | -2056        lb |  0                0                0.00  |
3.27/3.34	c | 3.34      | 0  | -2055        lb |  0                0                0.00  |
3.27/3.35	c | 3.35      | 0  | -2054        lb |  0                0                0.00  |
3.27/3.36	c | 3.36      | 0  | -2053        lb |  0                0                0.00  |
3.27/3.37	c | 3.37      | 0  | -2052        lb |  0                0                0.00  |
3.27/3.38	c | 3.38      | 0  | -2051        lb |  0                0                0.00  |
3.27/3.39	c | 3.39      | 0  | -2050        lb |  0                0                0.00  |
3.36/3.41	c | 3.40      | 0  | -2049        lb |  0                0                0.00  |
3.36/3.42	c | 3.42      | 0  | -2048        lb |  0                0                0.00  |
3.36/3.43	c | 3.43      | 0  | -2047        lb |  0                0                0.00  |
3.36/3.44	c | 3.44      | 0  | -2046        lb |  0                0                0.00  |
3.36/3.45	c | 3.45      | 0  | -2045        lb |  0                0                0.00  |
3.36/3.46	c | 3.46      | 0  | -2044        lb |  0                0                0.00  |
3.36/3.48	c | 3.47      | 0  | -2043        lb |  0                0                0.00  |
3.36/3.49	c | 3.48      | 0  | -2042        lb |  0                0                0.00  |
3.46/3.50	c | 3.50      | 0  | -2041        lb |  0                0                0.00  |
3.46/3.51	c | 3.51      | 0  | -2040        lb |  0                0                0.00  |
3.46/3.52	c | 3.52      | 0  | -2039        lb |  0                0                0.00  |
3.46/3.53	c | 3.53      | 0  | -2038        lb |  0                0                0.00  |
3.46/3.55	c | 3.54      | 0  | -2037        lb |  0                0                0.00  |
3.46/3.56	c | 3.56      | 0  | -2036        lb |  0                0                0.00  |
3.46/3.57	c | 3.57      | 0  | -2035        lb |  0                0                0.00  |
3.46/3.58	c | 3.58      | 0  | -2034        lb |  0                0                0.00  |
3.46/3.59	c | 3.59      | 0  | -2033        lb |  0                0                0.00  |
3.56/3.61	c | 3.60      | 0  | -2032        lb |  0                0                0.00  |
3.56/3.62	c | 3.62      | 0  | -2031        lb |  0                0                0.00  |
3.56/3.63	c | 3.63      | 0  | -2030        lb |  0                0                0.00  |
3.56/3.64	c | 3.64      | 0  | -2029        lb |  0                0                0.00  |
3.56/3.65	c | 3.65      | 0  | -2028        lb |  0                0                0.00  |
3.56/3.67	c | 3.66      | 0  | -2027        lb |  0                0                0.00  |
3.56/3.68	c | 3.68      | 0  | -2026        lb |  0                0                0.00  |
3.56/3.69	c | 3.69      | 0  | -2025        lb |  0                0                0.00  |
3.66/3.70	c | 3.70      | 0  | -2024        lb |  0                0                0.00  |
3.66/3.71	c | 3.71      | 0  | -2023        lb |  0                0                0.00  |
3.66/3.73	c | 3.73      | 0  | -2022        lb |  0                0                0.00  |
3.66/3.74	c | 3.74      | 0  | -2021        lb |  0                0                0.00  |
3.66/3.75	c | 3.75      | 0  | -2020        lb |  0                0                0.00  |
3.66/3.76	c | 3.76      | 0  | -2019        lb |  0                0                0.00  |
3.66/3.78	c | 3.77      | 0  | -2018        lb |  0                0                0.00  |
3.66/3.79	c | 3.79      | 0  | -2017        lb |  0                0                0.00  |
3.76/3.80	c | 3.80      | 0  | -2016        lb |  0                0                0.00  |
3.76/3.81	c | 3.81      | 0  | -2015        lb |  0                0                0.00  |
3.76/3.82	c | 3.82      | 0  | -2014        lb |  0                0                0.00  |
3.76/3.84	c | 3.83      | 0  | -2013        lb |  0                0                0.00  |
3.76/3.85	c | 3.85      | 0  | -2012        lb |  0                0                0.00  |
3.76/3.86	c | 3.86      | 0  | -2011        lb |  0                0                0.00  |
3.76/3.87	c | 3.87      | 0  | -2010        lb |  0                0                0.00  |
3.76/3.88	c | 3.88      | 0  | -2009        lb |  0                0                0.00  |
3.86/3.90	c | 3.89      | 0  | -2008        lb |  0                0                0.00  |
3.86/3.91	c | 3.91      | 0  | -2007        lb |  0                0                0.00  |
3.86/3.92	c | 3.92      | 0  | -2006        lb |  0                0                0.00  |
3.86/3.93	c | 3.93      | 0  | -2005        lb |  0                0                0.00  |
3.86/3.94	c | 3.94      | 0  | -2004        lb |  0                0                0.00  |
3.86/3.96	c | 3.95      | 0  | -2003        lb |  0                0                0.00  |
3.86/3.97	c | 3.97      | 0  | -2002        lb |  0                0                0.00  |
3.86/3.98	c | 3.98      | 0  | -2001        lb |  0                0                0.00  |
3.86/3.99	c | 3.99      | 0  | -2000        lb |  0                0                0.00  |
3.95/4.01	c | 4.00      | 0  | -1999        lb |  0                0                0.00  |
3.95/4.02	c | 4.02      | 0  | -1998        lb |  0                0                0.00  |
3.95/4.03	c | 4.03      | 0  | -1997        lb |  0                0                0.00  |
3.95/4.04	c | 4.04      | 0  | -1996        lb |  0                0                0.00  |
3.95/4.06	c | 4.05      | 0  | -1995        lb |  0                0                0.00  |
3.95/4.07	c | 4.07      | 0  | -1994        lb |  0                0                0.00  |
3.95/4.08	c | 4.08      | 0  | -1993        lb |  0                0                0.00  |
3.95/4.09	c | 4.09      | 0  | -1992        lb |  0                0                0.00  |
4.05/4.11	c | 4.10      | 0  | -1991        lb |  0                0                0.00  |
4.05/4.12	c | 4.12      | 0  | -1990        lb |  0                0                0.00  |
4.05/4.13	c | 4.13      | 0  | -1989        lb |  0                0                0.00  |
4.05/4.14	c | 4.14      | 0  | -1987        lb |  0                0                0.00  |
4.05/4.16	c | 4.15      | 0  | -1986        lb |  0                0                0.00  |
4.05/4.17	c | 4.17      | 0  | -1985        lb |  0                0                0.00  |
4.05/4.18	c | 4.18      | 0  | -1984        lb |  0                0                0.00  |
4.05/4.19	c | 4.19      | 0  | -1983        lb |  0                0                0.00  |
4.15/4.21	c | 4.20      | 0  | -1982        lb |  0                0                0.00  |
4.15/4.22	c | 4.22      | 0  | -1981        lb |  0                0                0.00  |
4.15/4.23	c | 4.23      | 0  | -1980        lb |  0                0                0.00  |
4.15/4.24	c | 4.24      | 0  | -1979        lb |  0                0                0.00  |
4.15/4.26	c | 4.25      | 0  | -1978        lb |  0                0                0.00  |
4.15/4.27	c | 4.27      | 0  | -1977        lb |  0                0                0.00  |
4.15/4.28	c | 4.28      | 0  | -1976        lb |  0                0                0.00  |
4.15/4.30	c | 4.29      | 0  | -1975        lb |  0                0                0.00  |
4.26/4.31	c | 4.31      | 0  | -1974        lb |  0                0                0.00  |
4.26/4.32	c | 4.32      | 0  | -1973        lb |  0                0                0.00  |
4.26/4.33	c | 4.33      | 0  | -1972        lb |  0                0                0.00  |
4.26/4.35	c | 4.34      | 0  | -1971        lb |  0                0                0.00  |
4.26/4.36	c | 4.36      | 0  | -1970        lb |  0                0                0.00  |
4.26/4.37	c | 4.37      | 0  | -1969        lb |  0                0                0.00  |
4.26/4.39	c | 4.38      | 0  | -1968        lb |  0                0                0.00  |
4.26/4.40	c | 4.40      | 0  | -1967        lb |  0                0                0.00  |
4.36/4.41	c | 4.41      | 0  | -1966        lb |  0                0                0.00  |
4.36/4.42	c | 4.42      | 0  | -1965        lb |  0                0                0.00  |
4.36/4.44	c | 4.43      | 0  | -1964        lb |  0                0                0.00  |
4.36/4.45	c | 4.45      | 0  | -1963        lb |  0                0                0.00  |
4.36/4.46	c | 4.46      | 0  | -1962        lb |  0                0                0.00  |
4.36/4.48	c | 4.47      | 0  | -1961        lb |  0                0                0.00  |
4.36/4.49	c | 4.49      | 0  | -1960        lb |  0                0                0.00  |
4.46/4.50	c | 4.50      | 0  | -1959        lb |  0                0                0.00  |
4.46/4.51	c | 4.51      | 0  | -1958        lb |  0                0                0.00  |
4.46/4.53	c | 4.53      | 0  | -1957        lb |  0                0                0.00  |
4.46/4.54	c | 4.54      | 0  | -1956        lb |  0                0                0.00  |
4.46/4.55	c | 4.55      | 0  | -1955        lb |  0                0                0.00  |
4.46/4.57	c | 4.56      | 0  | -1954        lb |  0                0                0.00  |
4.46/4.58	c | 4.58      | 0  | -1953        lb |  0                0                0.00  |
4.46/4.59	c | 4.59      | 0  | -1952        lb |  0                0                0.00  |
4.56/4.61	c | 4.61      | 0  | -1951        lb |  0                0                0.00  |
4.56/4.62	c | 4.62      | 0  | -1950        lb |  0                0                0.00  |
4.56/4.63	c | 4.63      | 0  | -1949        lb |  0                0                0.00  |
4.56/4.65	c | 4.64      | 0  | -1948        lb |  0                0                0.00  |
4.56/4.66	c | 4.66      | 0  | -1947        lb |  0                0                0.00  |
4.56/4.67	c | 4.67      | 0  | -1946        lb |  0                0                0.00  |
4.56/4.69	c | 4.68      | 0  | -1945        lb |  0                0                0.00  |
4.66/4.70	c | 4.70      | 0  | -1944        lb |  0                0                0.00  |
4.66/4.71	c | 4.71      | 0  | -1943        lb |  0                0                0.00  |
4.66/4.73	c | 4.72      | 0  | -1942        lb |  0                0                0.00  |
4.66/4.74	c | 4.74      | 0  | -1941        lb |  0                0                0.00  |
4.66/4.75	c | 4.75      | 0  | -1940        lb |  0                0                0.00  |
4.66/4.76	c | 4.76      | 0  | -1939        lb |  0                0                0.00  |
4.66/4.78	c | 4.78      | 0  | -1938        lb |  0                0                0.00  |
4.66/4.79	c | 4.79      | 0  | -1937        lb |  0                0                0.00  |
4.76/4.81	c | 4.80      | 0  | -1936        lb |  0                0                0.00  |
4.76/4.82	c | 4.82      | 0  | -1935        lb |  0                0                0.00  |
4.76/4.83	c | 4.83      | 0  | -1934        lb |  0                0                0.00  |
4.76/4.85	c | 4.84      | 0  | -1933        lb |  0                0                0.00  |
4.76/4.86	c | 4.86      | 0  | -1932        lb |  0                0                0.00  |
4.76/4.87	c | 4.87      | 0  | -1931        lb |  0                0                0.00  |
4.76/4.89	c | 4.88      | 0  | -1930        lb |  0                0                0.00  |
4.86/4.90	c | 4.90      | 0  | -1929        lb |  0                0                0.00  |
4.86/4.91	c | 4.91      | 0  | -1928        lb |  0                0                0.00  |
4.86/4.93	c | 4.92      | 0  | -1927        lb |  0                0                0.00  |
4.86/4.94	c | 4.94      | 0  | -1926        lb |  0                0                0.00  |
4.86/4.95	c | 4.95      | 0  | -1925        lb |  0                0                0.00  |
4.86/4.97	c | 4.96      | 0  | -1924        lb |  0                0                0.00  |
4.86/4.98	c | 4.98      | 0  | -1923        lb |  0                0                0.00  |
4.86/4.99	c | 4.99      | 0  | -1922        lb |  0                0                0.00  |
4.95/5.01	c | 5.01      | 0  | -1921        lb |  0                0                0.00  |
4.95/5.02	c | 5.02      | 0  | -1919        lb |  0                0                0.00  |
4.95/5.04	c | 5.03      | 0  | -1918        lb |  0                0                0.00  |
4.95/5.05	c | 5.05      | 0  | -1917        lb |  0                0                0.00  |
4.95/5.06	c | 5.06      | 0  | -1916        lb |  0                0                0.00  |
4.95/5.08	c | 5.07      | 0  | -1915        lb |  0                0                0.00  |
4.95/5.09	c | 5.09      | 0  | -1914        lb |  0                0                0.00  |
5.05/5.10	c | 5.10      | 0  | -1913        lb |  0                0                0.00  |
5.05/5.12	c | 5.12      | 0  | -1912        lb |  0                0                0.00  |
5.05/5.13	c | 5.13      | 0  | -1911        lb |  0                0                0.00  |
5.05/5.14	c | 5.14      | 0  | -1910        lb |  0                0                0.00  |
5.05/5.16	c | 5.16      | 0  | -1909        lb |  0                0                0.00  |
5.05/5.17	c | 5.17      | 0  | -1908        lb |  0                0                0.00  |
5.05/5.19	c | 5.18      | 0  | -1907        lb |  0                0                0.00  |
5.15/5.20	c | 5.20      | 0  | -1906        lb |  0                0                0.00  |
5.15/5.21	c | 5.21      | 0  | -1905        lb |  0                0                0.00  |
5.15/5.23	c | 5.22      | 0  | -1904        lb |  0                0                0.00  |
5.15/5.24	c | 5.24      | 0  | -1903        lb |  0                0                0.00  |
5.15/5.25	c | 5.25      | 0  | -1902        lb |  0                0                0.00  |
5.15/5.27	c | 5.27      | 0  | -1901        lb |  0                0                0.00  |
5.15/5.28	c | 5.28      | 0  | -1900        lb |  0                0                0.00  |
5.25/5.30	c | 5.29      | 0  | -1899        lb |  0                0                0.00  |
5.25/5.31	c | 5.31      | 0  | -1898        lb |  0                0                0.00  |
5.25/5.32	c | 5.32      | 0  | -1897        lb |  0                0                0.00  |
5.25/5.34	c | 5.34      | 0  | -1896        lb |  0                0                0.00  |
5.25/5.35	c | 5.35      | 0  | -1895        lb |  0                0                0.00  |
5.25/5.36	c | 5.36      | 0  | -1894        lb |  0                0                0.00  |
5.25/5.38	c | 5.38      | 0  | -1893        lb |  0                0                0.00  |
5.25/5.39	c | 5.39      | 0  | -1892        lb |  0                0                0.00  |
5.36/5.41	c | 5.41      | 0  | -1891        lb |  0                0                0.00  |
5.36/5.42	c | 5.42      | 0  | -1890        lb |  0                0                0.00  |
5.36/5.44	c | 5.43      | 0  | -1889        lb |  0                0                0.00  |
5.36/5.45	c | 5.45      | 0  | -1888        lb |  0                0                0.00  |
5.36/5.46	c | 5.46      | 0  | -1887        lb |  0                0                0.00  |
5.36/5.48	c | 5.48      | 0  | -1886        lb |  0                0                0.00  |
5.36/5.49	c | 5.49      | 0  | -1885        lb |  0                0                0.00  |
5.46/5.51	c | 5.50      | 0  | -1884        lb |  0                0                0.00  |
5.46/5.52	c | 5.52      | 0  | -1883        lb |  0                0                0.00  |
5.46/5.53	c | 5.53      | 0  | -1882        lb |  0                0                0.00  |
5.46/5.55	c | 5.55      | 0  | -1881        lb |  0                0                0.00  |
5.46/5.56	c | 5.56      | 0  | -1880        lb |  0                0                0.00  |
5.46/5.58	c | 5.58      | 0  | -1879        lb |  0                0                0.00  |
5.46/5.59	c | 5.59      | 0  | -1878        lb |  0                0                0.00  |
5.55/5.61	c | 5.60      | 0  | -1877        lb |  0                0                0.00  |
5.55/5.62	c | 5.62      | 0  | -1876        lb |  0                0                0.00  |
5.55/5.63	c | 5.63      | 0  | -1875        lb |  0                0                0.00  |
5.55/5.65	c | 5.65      | 0  | -1874        lb |  0                0                0.00  |
5.55/5.66	c | 5.66      | 0  | -1873        lb |  0                0                0.00  |
5.55/5.68	c | 5.68      | 0  | -1872        lb |  0                0                0.00  |
5.55/5.69	c | 5.69      | 0  | -1871        lb |  0                0                0.00  |
5.65/5.71	c | 5.71      | 0  | -1869        lb |  0                0                0.00  |
5.65/5.72	c | 5.72      | 0  | -1868        lb |  0                0                0.00  |
5.65/5.74	c | 5.73      | 0  | -1867        lb |  0                0                0.00  |
5.65/5.75	c | 5.75      | 0  | -1866        lb |  0                0                0.00  |
5.65/5.76	c | 5.76      | 0  | -1865        lb |  0                0                0.00  |
5.65/5.78	c | 5.78      | 0  | -1864        lb |  0                0                0.00  |
5.65/5.79	c | 5.79      | 0  | -1863        lb |  0                0                0.00  |
5.76/5.81	c | 5.81      | 0  | -1862        lb |  0                0                0.00  |
5.76/5.82	c | 5.82      | 0  | -1861        lb |  0                0                0.00  |
5.76/5.84	c | 5.83      | 0  | -1860        lb |  0                0                0.00  |
5.76/5.85	c | 5.85      | 0  | -1859        lb |  0                0                0.00  |
5.76/5.87	c | 5.86      | 0  | -1858        lb |  0                0                0.00  |
5.76/5.88	c | 5.88      | 0  | -1857        lb |  0                0                0.00  |
5.76/5.89	c | 5.89      | 0  | -1856        lb |  0                0                0.00  |
5.86/5.91	c | 5.91      | 0  | -1855        lb |  0                0                0.00  |
5.86/5.92	c | 5.92      | 0  | -1854        lb |  0                0                0.00  |
5.86/5.94	c | 5.94      | 0  | -1853        lb |  0                0                0.00  |
5.86/5.95	c | 5.95      | 0  | -1852        lb |  0                0                0.00  |
5.86/5.97	c | 5.97      | 0  | -1851        lb |  0                0                0.00  |
5.86/5.98	c | 5.98      | 0  | -1850        lb |  0                0                0.00  |
5.96/6.00	c | 6.00      | 0  | -1849        lb |  0                0                0.00  |
5.96/6.01	c | 6.01      | 0  | -1848        lb |  0                0                0.00  |
5.96/6.03	c | 6.03      | 0  | -1847        lb |  0                0                0.00  |
5.96/6.04	c | 6.04      | 0  | -1846        lb |  0                0                0.00  |
5.96/6.06	c | 6.05      | 0  | -1845        lb |  0                0                0.00  |
5.96/6.07	c | 6.07      | 0  | -1844        lb |  0                0                0.00  |
5.96/6.09	c | 6.08      | 0  | -1843        lb |  0                0                0.00  |
6.06/6.10	c | 6.10      | 0  | -1842        lb |  0                0                0.00  |
6.06/6.12	c | 6.12      | 0  | -1841        lb |  0                0                0.00  |
6.06/6.13	c | 6.13      | 0  | -1840        lb |  0                0                0.00  |
6.06/6.15	c | 6.14      | 0  | -1839        lb |  0                0                0.00  |
6.06/6.16	c | 6.16      | 0  | -1838        lb |  0                0                0.00  |
6.06/6.18	c | 6.17      | 0  | -1837        lb |  0                0                0.00  |
6.06/6.19	c | 6.19      | 0  | -1836        lb |  0                0                0.00  |
6.16/6.21	c | 6.20      | 0  | -1835        lb |  0                0                0.00  |
6.16/6.22	c | 6.22      | 0  | -1834        lb |  0                0                0.00  |
6.16/6.24	c | 6.23      | 0  | -1833        lb |  0                0                0.00  |
6.16/6.25	c | 6.25      | 0  | -1832        lb |  0                0                0.00  |
6.16/6.27	c | 6.26      | 0  | -1831        lb |  0                0                0.00  |
6.16/6.28	c | 6.28      | 0  | -1830        lb |  0                0                0.00  |
6.26/6.30	c | 6.29      | 0  | -1829        lb |  0                0                0.00  |
6.26/6.31	c | 6.31      | 0  | -1828        lb |  0                0                0.00  |
6.26/6.33	c | 6.32      | 0  | -1827        lb |  0                0                0.00  |
6.26/6.34	c | 6.34      | 0  | -1826        lb |  0                0                0.00  |
6.26/6.36	c | 6.35      | 0  | -1825        lb |  0                0                0.00  |
6.26/6.37	c | 6.37      | 0  | -1824        lb |  0                0                0.00  |
6.26/6.39	c | 6.38      | 0  | -1823        lb |  0                0                0.00  |
6.36/6.40	c | 6.40      | 0  | -1822        lb |  0                0                0.00  |
6.36/6.42	c | 6.42      | 0  | -1821        lb |  0                0                0.00  |
6.36/6.43	c | 6.43      | 0  | -1820        lb |  0                0                0.00  |
6.36/6.45	c | 6.45      | 0  | -1819        lb |  0                0                0.00  |
6.36/6.46	c | 6.46      | 0  | -1818        lb |  0                0                0.00  |
6.36/6.48	c | 6.48      | 0  | -1817        lb |  0                0                0.00  |
6.36/6.49	c | 6.49      | 0  | -1816        lb |  0                0                0.00  |
6.46/6.51	c | 6.51      | 0  | -1815        lb |  0                0                0.00  |
6.46/6.52	c | 6.52      | 0  | -1814        lb |  0                0                0.00  |
6.46/6.54	c | 6.54      | 0  | -1813        lb |  0                0                0.00  |
6.46/6.56	c | 6.55      | 0  | -1812        lb |  0                0                0.00  |
6.46/6.57	c | 6.57      | 0  | -1811        lb |  0                0                0.00  |
6.46/6.59	c | 6.58      | 0  | -1810        lb |  0                0                0.00  |
6.46/6.60	c | 6.60      | 0  | -1809        lb |  0                0                0.00  |
6.56/6.62	c | 6.62      | 0  | -1808        lb |  0                0                0.00  |
6.56/6.63	c | 6.63      | 0  | -1807        lb |  0                0                0.00  |
6.56/6.65	c | 6.64      | 0  | -1806        lb |  0                0                0.00  |
6.56/6.66	c | 6.66      | 0  | -1805        lb |  0                0                0.00  |
6.56/6.68	c | 6.68      | 0  | -1804        lb |  0                0                0.00  |
6.56/6.69	c | 6.69      | 0  | -1803        lb |  0                0                0.00  |
6.65/6.71	c | 6.71      | 0  | -1802        lb |  0                0                0.00  |
6.65/6.73	c | 6.72      | 0  | -1801        lb |  0                0                0.00  |
6.65/6.74	c | 6.74      | 0  | -1800        lb |  0                0                0.00  |
6.65/6.76	c | 6.75      | 0  | -1799        lb |  0                0                0.00  |
6.65/6.77	c | 6.77      | 0  | -1798        lb |  0                0                0.00  |
6.65/6.79	c | 6.79      | 0  | -1797        lb |  0                0                0.00  |
6.75/6.80	c | 6.80      | 0  | -1796        lb |  0                0                0.00  |
6.75/6.82	c | 6.82      | 0  | -1795        lb |  0                0                0.00  |
6.75/6.83	c | 6.83      | 0  | -1794        lb |  0                0                0.00  |
6.75/6.85	c | 6.85      | 0  | -1793        lb |  0                0                0.00  |
6.75/6.86	c | 6.86      | 0  | -1792        lb |  0                0                0.00  |
6.75/6.88	c | 6.88      | 0  | -1791        lb |  0                0                0.00  |
6.85/6.90	c | 6.89      | 0  | -1790        lb |  0                0                0.00  |
6.85/6.91	c | 6.91      | 0  | -1789        lb |  0                0                0.00  |
6.85/6.93	c | 6.93      | 0  | -1788        lb |  0                0                0.00  |
6.85/6.94	c | 6.94      | 0  | -1787        lb |  0                0                0.00  |
6.85/6.96	c | 6.96      | 0  | -1786        lb |  0                0                0.00  |
6.85/6.98	c | 6.97      | 0  | -1785        lb |  0                0                0.00  |
6.85/6.99	c | 6.99      | 0  | -1783        lb |  0                0                0.00  |
6.96/7.01	c | 7.01      | 0  | -1782        lb |  0                0                0.00  |
6.96/7.02	c | 7.02      | 0  | -1781        lb |  0                0                0.00  |
6.96/7.04	c | 7.04      | 0  | -1780        lb |  0                0                0.00  |
6.96/7.06	c | 7.05      | 0  | -1779        lb |  0                0                0.00  |
6.96/7.07	c | 7.07      | 0  | -1778        lb |  0                0                0.00  |
6.96/7.09	c | 7.08      | 0  | -1777        lb |  0                0                0.00  |
7.06/7.10	c | 7.10      | 0  | -1776        lb |  0                0                0.00  |
7.06/7.12	c | 7.12      | 0  | -1775        lb |  0                0                0.00  |
7.06/7.13	c | 7.13      | 0  | -1774        lb |  0                0                0.00  |
7.06/7.15	c | 7.15      | 0  | -1773        lb |  0                0                0.00  |
7.06/7.17	c | 7.16      | 0  | -1772        lb |  0                0                0.00  |
7.06/7.18	c | 7.18      | 0  | -1771        lb |  0                0                0.00  |
7.15/7.20	c | 7.20      | 0  | -1770        lb |  0                0                0.00  |
7.15/7.21	c | 7.21      | 0  | -1769        lb |  0                0                0.00  |
7.15/7.23	c | 7.23      | 0  | -1768        lb |  0                0                0.00  |
7.15/7.25	c | 7.25      | 0  | -1767        lb |  0                0                0.00  |
7.15/7.26	c | 7.26      | 0  | -1766        lb |  0                0                0.00  |
7.15/7.28	c | 7.28      | 0  | -1765        lb |  0                0                0.00  |
7.15/7.30	c | 7.29      | 0  | -1764        lb |  0                0                0.00  |
7.25/7.31	c | 7.31      | 0  | -1763        lb |  0                0                0.00  |
7.25/7.33	c | 7.33      | 0  | -1762        lb |  0                0                0.00  |
7.25/7.34	c | 7.34      | 0  | -1761        lb |  0                0                0.00  |
7.25/7.36	c | 7.36      | 0  | -1760        lb |  0                0                0.00  |
7.25/7.38	c | 7.38      | 0  | -1759        lb |  0                0                0.00  |
7.25/7.39	c | 7.39      | 0  | -1758        lb |  0                0                0.00  |
7.35/7.41	c | 7.41      | 0  | -1757        lb |  0                0                0.00  |
7.35/7.43	c | 7.42      | 0  | -1756        lb |  0                0                0.00  |
7.35/7.44	c | 7.44      | 0  | -1755        lb |  0                0                0.00  |
7.35/7.46	c | 7.46      | 0  | -1754        lb |  0                0                0.00  |
7.35/7.47	c | 7.47      | 0  | -1753        lb |  0                0                0.00  |
7.35/7.49	c | 7.49      | 0  | -1752        lb |  0                0                0.00  |
7.45/7.51	c | 7.50      | 0  | -1751        lb |  0                0                0.00  |
7.45/7.52	c | 7.52      | 0  | -1750        lb |  0                0                0.00  |
7.45/7.54	c | 7.54      | 0  | -1749        lb |  0                0                0.00  |
7.45/7.56	c | 7.55      | 0  | -1748        lb |  0                0                0.00  |
7.45/7.57	c | 7.57      | 0  | -1747        lb |  0                0                0.00  |
7.45/7.59	c | 7.59      | 0  | -1746        lb |  0                0                0.00  |
7.56/7.61	c | 7.60      | 0  | -1745        lb |  0                0                0.00  |
7.56/7.62	c | 7.62      | 0  | -1744        lb |  0                0                0.00  |
7.56/7.64	c | 7.64      | 0  | -1743        lb |  0                0                0.00  |
7.56/7.65	c | 7.65      | 0  | -1742        lb |  0                0                0.00  |
7.56/7.67	c | 7.67      | 0  | -1741        lb |  0                0                0.00  |
7.56/7.69	c | 7.69      | 0  | -1740        lb |  0                0                0.00  |
7.66/7.70	c | 7.70      | 0  | -1739        lb |  0                0                0.00  |
7.66/7.72	c | 7.72      | 0  | -1738        lb |  0                0                0.00  |
7.66/7.74	c | 7.74      | 0  | -1737        lb |  0                0                0.00  |
7.66/7.75	c | 7.75      | 0  | -1736        lb |  0                0                0.00  |
7.66/7.77	c | 7.77      | 0  | -1735        lb |  0                0                0.00  |
7.66/7.79	c | 7.79      | 0  | -1734        lb |  0                0                0.00  |
7.75/7.80	c | 7.80      | 0  | -1733        lb |  0                0                0.00  |
7.75/7.82	c | 7.82      | 0  | -1732        lb |  0                0                0.00  |
7.75/7.84	c | 7.83      | 0  | -1731        lb |  0                0                0.00  |
7.75/7.85	c | 7.85      | 0  | -1730        lb |  0                0                0.00  |
7.75/7.87	c | 7.87      | 0  | -1729        lb |  0                0                0.00  |
7.75/7.89	c | 7.88      | 0  | -1728        lb |  0                0                0.00  |
7.85/7.90	c | 7.90      | 0  | -1727        lb |  0                0                0.00  |
7.85/7.92	c | 7.92      | 0  | -1726        lb |  0                0                0.00  |
7.85/7.94	c | 7.94      | 0  | -1725        lb |  0                0                0.00  |
7.85/7.95	c | 7.95      | 0  | -1724        lb |  0                0                0.00  |
7.85/7.97	c | 7.97      | 0  | -1723        lb |  0                0                0.00  |
7.85/7.99	c | 7.99      | 0  | -1722        lb |  0                0                0.00  |
7.96/8.01	c | 8.00      | 0  | -1721        lb |  0                0                0.00  |
7.96/8.02	c | 8.02      | 0  | -1720        lb |  0                0                0.00  |
7.96/8.04	c | 8.04      | 0  | -1719        lb |  0                0                0.00  |
7.96/8.06	c | 8.06      | 0  | -1718        lb |  0                0                0.00  |
7.96/8.08	c | 8.07      | 0  | -1717        lb |  0                0                0.00  |
7.96/8.09	c | 8.09      | 0  | -1716        lb |  0                0                0.00  |
8.06/8.11	c | 8.11      | 0  | -1715        lb |  0                0                0.00  |
8.06/8.13	c | 8.13      | 0  | -1714        lb |  0                0                0.00  |
8.06/8.14	c | 8.14      | 0  | -1713        lb |  0                0                0.00  |
8.06/8.16	c | 8.16      | 0  | -1712        lb |  0                0                0.00  |
8.06/8.18	c | 8.18      | 0  | -1711        lb |  0                0                0.00  |
8.15/8.20	c | 8.20      | 0  | -1710        lb |  0                0                0.00  |
8.15/8.22	c | 8.21      | 0  | -1709        lb |  0                0                0.00  |
8.15/8.23	c | 8.23      | 0  | -1708        lb |  0                0                0.00  |
8.15/8.25	c | 8.25      | 0  | -1707        lb |  0                0                0.00  |
8.15/8.27	c | 8.27      | 0  | -1706        lb |  0                0                0.00  |
8.15/8.29	c | 8.28      | 0  | -1705        lb |  0                0                0.00  |
8.25/8.30	c | 8.30      | 0  | -1704        lb |  0                0                0.00  |
8.25/8.32	c | 8.32      | 0  | -1703        lb |  0                0                0.00  |
8.25/8.34	c | 8.34      | 0  | -1702        lb |  0                0                0.00  |
8.25/8.36	c | 8.35      | 0  | -1701        lb |  0                0                0.00  |
8.25/8.37	c | 8.37      | 0  | -1700        lb |  0                0                0.00  |
8.25/8.39	c | 8.39      | 0  | -1699        lb |  0                0                0.00  |
8.35/8.41	c | 8.41      | 0  | -1698        lb |  0                0                0.00  |
8.35/8.43	c | 8.42      | 0  | -1697        lb |  0                0                0.00  |
8.35/8.44	c | 8.44      | 0  | -1696        lb |  0                0                0.00  |
8.35/8.46	c | 8.46      | 0  | -1695        lb |  0                0                0.00  |
8.35/8.48	c | 8.48      | 0  | -1694        lb |  0                0                0.00  |
8.45/8.50	c | 8.49      | 0  | -1693        lb |  0                0                0.00  |
8.45/8.51	c | 8.51      | 0  | -1692        lb |  0                0                0.00  |
8.45/8.53	c | 8.53      | 0  | -1691        lb |  0                0                0.00  |
8.45/8.55	c | 8.55      | 0  | -1690        lb |  0                0                0.00  |
8.45/8.57	c | 8.56      | 0  | -1689        lb |  0                0                0.00  |
8.45/8.58	c | 8.58      | 0  | -1688        lb |  0                0                0.00  |
8.55/8.60	c | 8.60      | 0  | -1687        lb |  0                0                0.00  |
8.55/8.62	c | 8.62      | 0  | -1686        lb |  0                0                0.00  |
8.55/8.64	c | 8.63      | 0  | -1685        lb |  0                0                0.00  |
8.55/8.65	c | 8.65      | 0  | -1684        lb |  0                0                0.00  |
8.55/8.67	c | 8.67      | 0  | -1683        lb |  0                0                0.00  |
8.55/8.69	c | 8.69      | 0  | -1682        lb |  0                0                0.00  |
8.66/8.71	c | 8.71      | 0  | -1681        lb |  0                0                0.00  |
8.66/8.72	c | 8.72      | 0  | -1680        lb |  0                0                0.00  |
8.66/8.74	c | 8.74      | 0  | -1679        lb |  0                0                0.00  |
8.66/8.76	c | 8.76      | 0  | -1678        lb |  0                0                0.00  |
8.66/8.78	c | 8.78      | 0  | -1677        lb |  0                0                0.00  |
8.66/8.80	c | 8.79      | 0  | -1676        lb |  0                0                0.00  |
8.76/8.81	c | 8.81      | 0  | -1675        lb |  0                0                0.00  |
8.76/8.83	c | 8.83      | 0  | -1674        lb |  0                0                0.00  |
8.76/8.85	c | 8.85      | 0  | -1673        lb |  0                0                0.00  |
8.76/8.87	c | 8.87      | 0  | -1672        lb |  0                0                0.00  |
8.76/8.89	c | 8.89      | 0  | -1671        lb |  0                0                0.00  |
8.85/8.91	c | 8.90      | 0  | -1670        lb |  0                0                0.00  |
8.85/8.92	c | 8.92      | 0  | -1669        lb |  0                0                0.00  |
8.85/8.94	c | 8.94      | 0  | -1668        lb |  0                0                0.00  |
8.85/8.96	c | 8.96      | 0  | -1667        lb |  0                0                0.00  |
8.85/8.98	c | 8.98      | 0  | -1666        lb |  0                0                0.00  |
8.95/9.00	c | 9.00      | 0  | -1665        lb |  0                0                0.00  |
8.95/9.02	c | 9.01      | 0  | -1664        lb |  0                0                0.00  |
8.95/9.03	c | 9.03      | 0  | -1663        lb |  0                0                0.00  |
8.95/9.05	c | 9.05      | 0  | -1662        lb |  0                0                0.00  |
8.95/9.07	c | 9.07      | 0  | -1661        lb |  0                0                0.00  |
8.95/9.09	c | 9.09      | 0  | -1660        lb |  0                0                0.00  |
9.05/9.11	c | 9.11      | 0  | -1659        lb |  0                0                0.00  |
9.05/9.13	c | 9.12      | 0  | -1658        lb |  0                0                0.00  |
9.05/9.14	c | 9.14      | 0  | -1656        lb |  0                0                0.00  |
9.05/9.16	c | 9.16      | 0  | -1655        lb |  0                0                0.00  |
9.05/9.18	c | 9.18      | 0  | -1654        lb |  0                0                0.00  |
9.16/9.20	c | 9.20      | 0  | -1653        lb |  0                0                0.00  |
9.16/9.22	c | 9.22      | 0  | -1652        lb |  0                0                0.00  |
9.16/9.24	c | 9.23      | 0  | -1651        lb |  0                0                0.00  |
9.16/9.25	c | 9.25      | 0  | -1650        lb |  0                0                0.00  |
9.16/9.27	c | 9.27      | 0  | -1649        lb |  0                0                0.00  |
9.16/9.29	c | 9.29      | 0  | -1648        lb |  0                0                0.00  |
9.26/9.31	c | 9.31      | 0  | -1647        lb |  0                0                0.00  |
9.26/9.33	c | 9.33      | 0  | -1646        lb |  0                0                0.00  |
9.26/9.35	c | 9.34      | 0  | -1645        lb |  0                0                0.00  |
9.26/9.36	c | 9.36      | 0  | -1644        lb |  0                0                0.00  |
9.26/9.38	c | 9.38      | 0  | -1643        lb |  0                0                0.00  |
9.36/9.40	c | 9.40      | 0  | -1642        lb |  0                0                0.00  |
9.36/9.42	c | 9.42      | 0  | -1641        lb |  0                0                0.00  |
9.36/9.44	c | 9.44      | 0  | -1640        lb |  0                0                0.00  |
9.36/9.46	c | 9.46      | 0  | -1639        lb |  0                0                0.00  |
9.36/9.47	c | 9.47      | 0  | -1638        lb |  0                0                0.00  |
9.36/9.49	c | 9.49      | 0  | -1637        lb |  0                0                0.00  |
9.45/9.51	c | 9.51      | 0  | -1636        lb |  0                0                0.00  |
9.45/9.53	c | 9.53      | 0  | -1634        lb |  0                0                0.00  |
9.45/9.55	c | 9.55      | 0  | -1632        lb |  0                0                0.00  |
9.45/9.57	c | 9.57      | 0  | -1630        lb |  0                0                0.00  |
9.45/9.59	c | 9.59      | 0  | -1629        lb |  0                0                0.00  |
9.55/9.61	c | 9.60      | 0  | -1628        lb |  0                0                0.00  |
9.55/9.62	c | 9.62      | 0  | -1627        lb |  0                0                0.00  |
9.55/9.64	c | 9.64      | 0  | -1626        lb |  0                0                0.00  |
9.55/9.66	c | 9.66      | 0  | -1625        lb |  0                0                0.00  |
9.55/9.68	c | 9.68      | 0  | -1624        lb |  0                0                0.00  |
9.65/9.70	c | 9.70      | 0  | -1623        lb |  0                0                0.00  |
9.65/9.72	c | 9.72      | 0  | -1622        lb |  0                0                0.00  |
9.65/9.74	c | 9.74      | 0  | -1621        lb |  0                0                0.00  |
9.65/9.76	c | 9.76      | 0  | -1620        lb |  0                0                0.00  |
9.65/9.78	c | 9.77      | 0  | -1619        lb |  0                0                0.00  |
9.65/9.79	c | 9.79      | 0  | -1618        lb |  0                0                0.00  |
9.76/9.81	c | 9.81      | 0  | -1617        lb |  0                0                0.00  |
9.76/9.83	c | 9.83      | 0  | -1616        lb |  0                0                0.00  |
9.76/9.85	c | 9.85      | 0  | -1615        lb |  0                0                0.00  |
9.76/9.87	c | 9.87      | 0  | -1614        lb |  0                0                0.00  |
9.76/9.89	c | 9.89      | 0  | -1613        lb |  0                0                0.00  |
9.86/9.91	c | 9.91      | 0  | -1612        lb |  0                0                0.00  |
9.86/9.93	c | 9.93      | 0  | -1611        lb |  0                0                0.00  |
9.86/9.95	c | 9.95      | 0  | -1610        lb |  0                0                0.00  |
9.86/9.97	c | 9.96      | 0  | -1609        lb |  0                0                0.00  |
9.86/9.99	c | 9.98      | 0  | -1608        lb |  0                0                0.00  |
9.95/10.00	c | 10.00     | 0  | -1607        lb |  0                0                0.00  |
9.95/10.02	c | 10.02     | 0  | -1606        lb |  0                0                0.00  |
9.95/10.04	c | 10.04     | 0  | -1605        lb |  0                0                0.00  |
9.95/10.06	c | 10.06     | 0  | -1604        lb |  0                0                0.00  |
9.95/10.08	c | 10.08     | 0  | -1603        lb |  0                0                0.00  |
10.05/10.10	c | 10.10     | 0  | -1602        lb |  0                0                0.00  |
10.05/10.13	c | 10.12     | 0  | -1601        lb |  0                0                0.00  |
10.05/10.15	c | 10.15     | 0  | -1600        lb |  0                0                0.00  |
10.05/10.17	c | 10.17     | 0  | -1599        lb |  0                0                0.00  |
10.05/10.19	c | 10.19     | 0  | -1598        lb |  0                0                0.00  |
10.15/10.22	c | 10.22     | 0  | -1597        lb |  0                0                0.00  |
10.15/10.24	c | 10.24     | 0  | -1596        lb |  0                0                0.00  |
10.15/10.26	c | 10.26     | 0  | -1595        lb |  0                0                0.00  |
10.15/10.29	c | 10.29     | 0  | -1594        lb |  0                0                0.00  |
10.25/10.31	c | 10.31     | 0  | -1593        lb |  0                0                0.00  |
10.25/10.34	c | 10.33     | 0  | -1592        lb |  0                0                0.00  |
10.25/10.36	c | 10.36     | 0  | -1591        lb |  0                0                0.00  |
10.25/10.38	c | 10.38     | 0  | -1590        lb |  0                0                0.00  |
10.36/10.41	c | 10.40     | 0  | -1589        lb |  0                0                0.00  |
10.36/10.43	c | 10.43     | 0  | -1588        lb |  0                0                0.00  |
10.36/10.45	c | 10.45     | 0  | -1587        lb |  0                0                0.00  |
10.36/10.48	c | 10.48     | 0  | -1586        lb |  0                0                0.00  |
10.46/10.50	c | 10.50     | 0  | -1585        lb |  0                0                0.00  |
10.46/10.53	c | 10.52     | 0  | -1584        lb |  0                0                0.00  |
10.46/10.55	c | 10.55     | 0  | -1583        lb |  0                0                0.00  |
10.46/10.58	c | 10.57     | 0  | -1582        lb |  0                0                0.00  |
10.56/10.60	c | 10.60     | 0  | -1581        lb |  0                0                0.00  |
10.56/10.63	c | 10.63     | 0  | -1580        lb |  0                0                0.00  |
10.56/10.65	c | 10.65     | 0  | -1579        lb |  0                0                0.00  |
10.56/10.68	c | 10.68     | 0  | -1578        lb |  0                0                0.00  |
10.66/10.71	c | 10.71     | 0  | -1577        lb |  0                0                0.00  |
10.66/10.74	c | 10.73     | 0  | -1576        lb |  0                0                0.00  |
10.66/10.76	c | 10.76     | 0  | -1575        lb |  0                0                0.00  |
10.66/10.79	c | 10.79     | 0  | -1574        lb |  0                0                0.00  |
10.76/10.82	c | 10.81     | 0  | -1573        lb |  0                0                0.00  |
10.76/10.84	c | 10.84     | 0  | -1572        lb |  0                0                0.00  |
10.76/10.87	c | 10.87     | 0  | -1571        lb |  0                0                0.00  |
10.76/10.89	c | 10.89     | 0  | -1570        lb |  0                0                0.00  |
10.86/10.93	c | 10.92     | 0  | -1569        lb |  0                0                0.00  |
10.86/10.95	c | 10.95     | 0  | -1568        lb |  0                0                0.00  |
10.86/10.98	c | 10.98     | 0  | -1567        lb |  0                0                0.00  |
10.96/11.00	c | 11.00     | 0  | -1566        lb |  0                0                0.00  |
10.96/11.03	c | 11.03     | 0  | -1565        lb |  0                0                0.00  |
10.96/11.05	c | 11.05     | 0  | -1564        lb |  0                0                0.00  |
10.96/11.08	c | 11.08     | 0  | -1563        lb |  0                0                0.00  |
11.06/11.10	c | 11.10     | 0  | -1562        lb |  0                0                0.00  |
11.06/11.13	c | 11.13     | 0  | -1561        lb |  0                0                0.00  |
11.06/11.15	c | 11.15     | 0  | -1560        lb |  0                0                0.00  |
11.06/11.18	c | 11.18     | 0  | -1559        lb |  0                0                0.00  |
11.15/11.21	c | 11.20     | 0  | -1558        lb |  0                0                0.00  |
11.15/11.23	c | 11.23     | 0  | -1557        lb |  0                0                0.00  |
11.15/11.26	c | 11.25     | 0  | -1556        lb |  0                0                0.00  |
11.15/11.28	c | 11.28     | 0  | -1555        lb |  0                0                0.00  |
11.25/11.31	c | 11.30     | 0  | -1554        lb |  0                0                0.00  |
11.25/11.33	c | 11.33     | 0  | -1553        lb |  0                0                0.00  |
11.25/11.36	c | 11.35     | 0  | -1552        lb |  0                0                0.00  |
11.25/11.39	c | 11.39     | 0  | -1551        lb |  0                0                0.00  |
11.35/11.42	c | 11.41     | 0  | -1550        lb |  0                0                0.00  |
11.35/11.44	c | 11.44     | 0  | -1549        lb |  0                0                0.00  |
11.35/11.47	c | 11.47     | 0  | -1548        lb |  0                0                0.00  |
11.45/11.50	c | 11.49     | 0  | -1547        lb |  0                0                0.00  |
11.45/11.52	c | 11.52     | 0  | -1546        lb |  0                0                0.00  |
11.45/11.56	c | 11.55     | 0  | -1545        lb |  0                0                0.00  |
11.45/11.59	c | 11.58     | 0  | -1544        lb |  0                0                0.00  |
11.56/11.62	c | 11.61     | 0  | -1543        lb |  0                0                0.00  |
11.56/11.65	c | 11.64     | 0  | -1542        lb |  0                0                0.00  |
11.56/11.69	c | 11.69     | 0  | -1541        lb |  0                0                0.00  |
11.66/11.72	c | 11.72     | 0  | -1540        lb |  0                0                0.00  |
11.76/11.81	c | 11.81     | 0  | -1539        lb |  0                0                0.00  |
11.76/11.84	c | 11.84     | 0  | -1538        lb |  0                0                0.00  |
11.76/11.87	c | 11.86     | 0  | -1537        lb |  0                0                0.00  |
11.86/11.90	c | 11.90     | 0  | -1536        lb |  0                0                0.00  |
11.86/11.92	c | 11.92     | 0  | -1535        lb |  0                0                0.00  |
11.86/11.95	c | 11.95     | 0  | -1534        lb |  0                0                0.00  |
11.86/11.98	c | 11.98     | 0  | -1533        lb |  0                0                0.00  |
11.96/12.01	c | 12.01     | 0  | -1532        lb |  0                0                0.00  |
11.96/12.07	c | 12.06     | 0  | -1531        lb |  0                0                0.00  |
12.06/12.11	c | 12.11     | 0  | -1530        lb |  0                0                0.00  |
12.06/12.14	c | 12.14     | 0  | -1529        lb |  0                0                0.00  |
12.06/12.18	c | 12.18     | 0  | -1528        lb |  0                0                0.00  |
12.16/12.21	c | 12.21     | 0  | -1527        lb |  0                0                0.00  |
12.16/12.28	c | 12.28     | 0  | -1526        lb |  0                0                0.00  |
12.26/12.31	c | 12.30     | 0  | -1525        lb |  0                0                0.00  |
12.26/12.33	c | 12.33     | 0  | -1524        lb |  0                0                0.00  |
12.26/12.36	c | 12.36     | 0  | -1523        lb |  0                0                0.00  |
12.26/12.39	c | 12.39     | 0  | -1522        lb |  0                0                0.00  |
12.35/12.42	c | 12.41     | 0  | -1521        lb |  0                0                0.00  |
12.35/12.44	c | 12.44     | 0  | -1520        lb |  0                0                0.00  |
12.35/12.47	c | 12.47     | 0  | -1519        lb |  0                0                0.00  |
12.45/12.50	c | 12.50     | 0  | -1518        lb |  0                0                0.00  |
12.45/12.53	c | 12.53     | 0  | -1517        lb |  0                0                0.00  |
12.45/12.55	c | 12.55     | 0  | -1516        lb |  0                0                0.00  |
12.45/12.58	c | 12.58     | 0  | -1515        lb |  0                0                0.00  |
12.55/12.61	c | 12.61     | 0  | -1514        lb |  0                0                0.00  |
12.65/12.71	c | 12.71     | 0  | -1513        lb |  0                0                0.00  |
12.65/12.74	c | 12.74     | 0  | -1512        lb |  0                0                0.00  |
12.65/12.76	c | 12.76     | 0  | -1511        lb |  0                0                0.00  |
12.65/12.79	c | 12.79     | 0  | -1510        lb |  0                0                0.00  |
12.75/12.82	c | 12.82     | 0  | -1509        lb |  0                0                0.00  |
12.75/12.85	c | 12.84     | 0  | -1508        lb |  0                0                0.00  |
12.75/12.87	c | 12.87     | 0  | -1507        lb |  0                0                0.00  |
13.06/13.14	c | 13.13     | 0  | -1506        lb |  0                0                0.00  |
13.06/13.17	c | 13.17     | 0  | -1505        lb |  0                0                0.00  |
13.06/13.20	c | 13.19     | 0  | -1504        lb |  0                0                0.00  |
13.16/13.23	c | 13.22     | 0  | -1503        lb |  0                0                0.00  |
13.16/13.25	c | 13.25     | 0  | -1502        lb |  0                0                0.00  |
13.16/13.28	c | 13.28     | 0  | -1501        lb |  0                0                0.00  |
13.25/13.31	c | 13.31     | 0  | -1500        lb |  0                0                0.00  |
13.25/13.34	c | 13.34     | 0  | -1499        lb |  0                0                0.00  |
13.45/13.56	c | 13.55     | 0  | -1498        lb |  0                0                0.00  |
13.45/13.59	c | 13.59     | 0  | -1497        lb |  0                0                0.00  |
13.55/13.62	c | 13.62     | 0  | -1496        lb |  0                0                0.00  |
13.55/13.66	c | 13.66     | 0  | -1495        lb |  0                0                0.00  |
13.55/13.69	c | 13.69     | 0  | -1494        lb |  0                0                0.00  |
13.65/13.72	c | 13.72     | 0  | -1493        lb |  0                0                0.00  |
13.65/13.75	c | 13.75     | 0  | -1492        lb |  0                0                0.00  |
13.65/13.78	c | 13.78     | 0  | -1491        lb |  0                0                0.00  |
13.75/13.81	c | 13.81     | 0  | -1490        lb |  0                0                0.00  |
13.75/13.84	c | 13.84     | 0  | -1489        lb |  0                0                0.00  |
13.75/13.87	c | 13.87     | 0  | -1488        lb |  0                0                0.00  |
13.85/13.90	c | 13.90     | 0  | -1487        lb |  0                0                0.00  |
13.85/13.93	c | 13.93     | 0  | -1486        lb |  0                0                0.00  |
13.85/13.96	c | 13.96     | 0  | -1485        lb |  0                0                0.00  |
13.85/13.99	c | 13.99     | 0  | -1484        lb |  0                0                0.00  |
13.95/14.02	c | 14.02     | 0  | -1483        lb |  0                0                0.00  |
13.95/14.05	c | 14.05     | 0  | -1482        lb |  0                0                0.00  |
13.95/14.09	c | 14.08     | 0  | -1481        lb |  0                0                0.00  |
14.05/14.12	c | 14.11     | 0  | -1480        lb |  0                0                0.00  |
14.05/14.15	c | 14.14     | 0  | -1479        lb |  0                0                0.00  |
14.05/14.18	c | 14.18     | 0  | -1478        lb |  0                0                0.00  |
14.16/14.21	c | 14.21     | 0  | -1477        lb |  0                0                0.00  |
14.16/14.26	c | 14.26     | 0  | -1476        lb |  0                0                0.00  |
14.16/14.29	c | 14.29     | 0  | -1475        lb |  0                0                0.00  |
14.26/14.33	c | 14.33     | 0  | -1474        lb |  0                0                0.00  |
14.26/14.37	c | 14.37     | 0  | -1473        lb |  0                0                0.00  |
14.35/14.40	c | 14.40     | 0  | -1472        lb |  0                0                0.00  |
14.35/14.43	c | 14.43     | 0  | -1471        lb |  0                0                0.00  |
14.35/14.46	c | 14.46     | 0  | -1470        lb |  0                0                0.00  |
14.35/14.50	c | 14.49     | 0  | -1469        lb |  0                0                0.00  |
14.45/14.52	c | 14.52     | 0  | -1468        lb |  0                0                0.00  |
14.45/14.56	c | 14.56     | 0  | -1467        lb |  0                0                0.00  |
14.45/14.59	c | 14.59     | 0  | -1466        lb |  0                0                0.00  |
14.55/14.62	c | 14.62     | 0  | -1465        lb |  0                0                0.00  |
14.85/15.00	c | 14.99     | 0  | -1464        lb |  0                0                0.00  |
14.95/15.04	c | 15.04     | 0  | -1463        lb |  0                0                0.00  |
14.95/15.07	c | 15.07     | 0  | -1462        lb |  0                0                0.00  |
15.05/15.10	c | 15.10     | 0  | -1461        lb |  0                0                0.00  |
15.05/15.13	c | 15.13     | 0  | -1460        lb |  0                0                0.00  |
15.05/15.16	c | 15.16     | 0  | -1459        lb |  0                0                0.00  |
15.15/15.21	c | 15.20     | 0  | -1458        lb |  0                0                0.00  |
15.15/15.24	c | 15.24     | 0  | -1457        lb |  0                0                0.00  |
15.15/15.27	c | 15.27     | 0  | -1456        lb |  0                0                0.00  |
15.55/15.63	c | 15.62     | 0  | -1455        lb |  0                0                0.00  |
15.55/15.66	c | 15.66     | 0  | -1454        lb |  0                0                0.00  |
15.55/15.69	c | 15.69     | 0  | -1453        lb |  0                0                0.00  |
15.65/15.73	c | 15.72     | 0  | -1452        lb |  0                0                0.00  |
15.65/15.76	c | 15.76     | 0  | -1451        lb |  0                0                0.00  |
15.65/15.79	c | 15.79     | 0  | -1450        lb |  0                0                0.00  |
15.75/15.82	c | 15.82     | 0  | -1449        lb |  0                0                0.00  |
15.85/15.96	c | 15.96     | 0  | -1448        lb |  0                0                0.00  |
15.95/16.03	c | 16.03     | 0  | -1447        lb |  0                0                0.00  |
15.95/16.07	c | 16.06     | 0  | -1446        lb |  0                0                0.00  |
16.05/16.10	c | 16.10     | 0  | -1445        lb |  0                0                0.00  |
16.05/16.13	c | 16.13     | 0  | -1444        lb |  0                0                0.00  |
16.05/16.16	c | 16.16     | 0  | -1443        lb |  0                0                0.00  |
18.05/18.16	c | 18.16     | 0  | -1442        lb |  0                0                0.00  |
18.15/18.24	c | 18.23     | 0  | -1441        lb |  0                0                0.00  |
18.15/18.26	c | 18.26     | 0  | -1440        lb |  0                0                0.00  |
18.25/18.30	c | 18.30     | 0  | -1439        lb |  0                0                0.00  |
18.25/18.33	c | 18.33     | 0  | -1438        lb |  0                0                0.00  |
18.25/18.37	c | 18.37     | 0  | -1437        lb |  0                0                0.00  |
18.35/18.42	c | 18.42     | 0  | -1436        lb |  0                0                0.00  |
18.35/18.46	c | 18.46     | 0  | -1435        lb |  0                0                0.00  |
18.45/18.59	c | 18.59     | 0  | -1434        lb |  0                0                0.00  |
22.56/22.63	c | 22.63     | 0  | -1433        lb |  0                0                0.00  |
23.35/23.44	c | 23.44     | 0  | -1432        lb |  0                0                0.00  |
23.35/23.47	c | 23.47     | 0  | -1431        lb |  0                0                0.00  |
23.45/23.51	c | 23.51     | 0  | -1430        lb |  0                0                0.00  |
23.45/23.55	c | 23.55     | 0  | -1429        lb |  0                0                0.00  |
23.45/23.59	c | 23.58     | 0  | -1428        lb |  0                0                0.00  |
23.55/23.63	c | 23.62     | 0  | -1427        lb |  0                0                0.00  |
23.55/23.66	c | 23.66     | 0  | -1426        lb |  0                0                0.00  |
23.55/23.69	c | 23.69     | 0  | -1425        lb |  0                0                0.00  |
23.65/23.73	c | 23.73     | 0  | -1424        lb |  0                0                0.00  |
23.65/23.77	c | 23.77     | 0  | -1423        lb |  0                0                0.00  |
258.46/258.61	c | 258.61    | 0  | -1422        lb |  0                0                0.00  |
258.95/259.16	c | 259.15    | 0  | -1421        lb |  0                0                0.00  |
258.95/259.18	c | 259.18    | 0  | -1420        lb |  0                0                0.00  |
259.05/259.21	c | 259.21    | 0  | -1419        lb |  0                0                0.00  |
259.05/259.24	c | 259.24    | 0  | -1418        lb |  0                0                0.00  |
259.05/259.28	c | 259.27    | 0  | -1417        lb |  0                0                0.00  |
259.15/259.31	c | 259.31    | 0  | -1416        lb |  0                0                0.00  |
260.46/260.62	c | 260.62    | 0  | -1415        lb |  0                0                0.00  |
260.46/260.69	c | 260.68    | 0  | -1414        lb |  0                0                0.00  |
260.56/260.72	c | 260.72    | 0  | -1413        lb |  0                0                0.00  |
260.56/260.75	c | 260.75    | 0  | -1412        lb |  0                0                0.00  |
260.56/260.78	c | 260.78    | 0  | -1411        lb |  0                0                0.00  |
260.65/260.81	c | 260.81    | 0  | -1410        lb |  0                0                0.00  |
260.65/260.85	c | 260.84    | 0  | -1409        lb |  0                0                0.00  |
260.65/260.87	c | 260.87    | 0  | -1408        lb |  0                0                0.00  |
260.75/260.91	c | 260.91    | 0  | -1407        lb |  0                0                0.00  |
260.75/260.97	c | 260.97    | 0  | -1406        lb |  0                0                0.00  |
260.85/261.02	c | 261.02    | 0  | -1405        lb |  0                0                0.00  |
260.85/261.05	c | 261.05    | 0  | -1404        lb |  0                0                0.00  |
260.85/261.09	c | 261.09    | 0  | -1403        lb |  0                0                0.00  |
260.95/261.13	c | 261.13    | 0  | -1402        lb |  0                0                0.00  |
425.40/425.66	c | 425.66    | 0  | -1401        lb |  0                0                0.00  |
425.90/426.11	c | 426.11    | 0  | -1400        lb |  0                0                0.00  |
425.90/426.19	c | 426.19    | 0  | -1399        lb |  0                0                0.00  |
426.00/426.25	c | 426.24    | 0  | -1398        lb |  0                0                0.00  |
426.10/426.39	c | 426.38    | 0  | -1397        lb |  0                0                0.00  |
426.20/426.43	c | 426.43    | 0  | -1396        lb |  0                0                0.00  |
1799.39/1800.00	c ===============================================================================
1799.39/1800.00	c Wall Clock Time: 1800.00 s
1799.39/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-3727480-1338657223/watcher-3727480-1338657223 -o /tmp/evaluation-result-3727480-1338657223/solver-3727480-1338657223 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727480-1338657223.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 1.99 3/177 9931
/proc/meminfo: memFree=28033444/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9931/stat : 9931 (runsolver) D 9929 9931 7878 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 331849146 12095488 51 33554432000 4194304 5436572 140737284744096 140737284740392 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/9931/statm: 2953 51 31 304 0 2645 0

[startup+0.0641019 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9931
/proc/meminfo: memFree=28033444/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=0.05 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 2743 0 0 0 5 0 0 0 20 0 2 0 331849146 87556096 2477 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 2477 193 433 0 20940 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85504

[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9931
/proc/meminfo: memFree=28033444/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=0.08 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 3136 0 0 0 8 0 0 0 20 0 2 0 331849146 87556096 2635 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 2635 193 433 0 20940 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85504

[startup+0.300122 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9931
/proc/meminfo: memFree=28033444/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=0.28 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 4526 0 0 0 28 0 0 0 20 0 2 0 331849146 87556096 3379 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 3379 193 433 0 20940 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 85504

[startup+0.700146 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9931
/proc/meminfo: memFree=28033444/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=0.68 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 7730 0 0 0 67 1 0 0 20 0 2 0 331849146 87556096 4976 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 4976 193 433 0 20940 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85504

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=28010488/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=1.46 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 13600 0 0 0 145 1 0 0 20 0 2 0 331849146 87556096 7504 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 7504 193 433 0 20940 0
[pid=9931/tid=9933] ppid=9929 vsize=85504 CPUtime=1.45 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 12280 0 0 0 143 2 0 0 20 0 2 0 331849149 87556096 7504 33554432000 4194304 5964350 140735776548096 139707724282392 5142956 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 85504

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27998072/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=3.06 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 23915 0 0 0 304 2 0 0 20 0 2 0 331849146 87556096 11287 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 11287 193 433 0 20940 0
[pid=9931/tid=9933] ppid=9929 vsize=85504 CPUtime=3.04 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 22595 0 0 0 301 3 0 0 20 0 2 0 331849149 87556096 11287 33554432000 4194304 5964350 140735776548096 139707724282264 5139086 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 85504

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27972164/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=85504 CPUtime=6.26 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 40594 0 0 0 621 5 0 0 20 0 2 0 331849146 87556096 17063 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 21376 17063 193 433 0 20940 0
[pid=9931/tid=9933] ppid=9929 vsize=85504 CPUtime=6.23 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 39274 0 0 0 618 5 0 0 20 0 2 0 331849149 87556096 17063 33554432000 4194304 5964350 140735776548096 139707724282200 4571521 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 85504

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27930912/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=151040 CPUtime=12.65 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 70591 0 0 0 1255 10 0 0 20 0 2 0 331849146 154664960 26161 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 37760 26161 197 433 0 37324 0
[pid=9931/tid=9933] ppid=9929 vsize=151040 CPUtime=12.61 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 69271 0 0 0 1251 10 0 0 20 0 2 0 331849149 154664960 26161 33554432000 4194304 5964350 140735776548096 139707724282392 4391432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 151040

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27901328/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=151040 CPUtime=25.45 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 83628 0 0 0 2532 13 0 0 20 0 2 0 331849146 154664960 32575 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 37760 32575 197 433 0 37324 0
[pid=9931/tid=9933] ppid=9929 vsize=151040 CPUtime=25.38 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 82308 0 0 0 2525 13 0 0 20 0 2 0 331849149 154664960 32575 33554432000 4194304 5964350 140735776548096 139707724282392 4390798 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 151040

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27869800/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=216576 CPUtime=51.04 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 91944 0 0 0 5088 16 0 0 20 0 2 0 331849146 221773824 40891 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 54144 40891 197 433 0 53708 0
[pid=9931/tid=9933] ppid=9929 vsize=216576 CPUtime=50.91 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 90624 0 0 0 5075 16 0 0 20 0 2 0 331849149 221773824 40891 33554432000 4194304 5964350 140735776548096 139707724281848 4400321 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 216576

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9933
/proc/meminfo: memFree=27831568/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=282112 CPUtime=102.24 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 101233 0 0 0 10203 21 0 0 20 0 2 0 331849146 288882688 50180 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 70528 50180 197 433 0 70092 0
[pid=9931/tid=9933] ppid=9929 vsize=282112 CPUtime=101.97 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 99913 0 0 0 10175 22 0 0 20 0 2 0 331849149 288882688 50180 33554432000 4194304 5964350 140735776548096 139707724281896 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 282112

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 9933
/proc/meminfo: memFree=27726580/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=283196 CPUtime=162.22 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 113764 0 0 0 16196 26 0 0 20 0 2 0 331849146 289992704 62711 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 70799 62711 197 433 0 70363 0
[pid=9931/tid=9933] ppid=9929 vsize=283196 CPUtime=161.8 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 112444 0 0 0 16152 28 0 0 20 0 2 0 331849149 289992704 62711 33554432000 4194304 5964350 140735776548096 139707724281848 4392817 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 283196

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9934
/proc/meminfo: memFree=27687980/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=349272 CPUtime=222.18 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 123868 0 0 0 22187 31 0 0 20 0 2 0 331849146 357654528 72922 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 87318 72922 197 433 0 86882 0
[pid=9931/tid=9933] ppid=9929 vsize=349272 CPUtime=221.62 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 122548 0 0 0 22128 34 0 0 20 0 2 0 331849149 357654528 72922 33554432000 4194304 5964350 140735776548096 139707724281848 4400704 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 349272

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9934
/proc/meminfo: memFree=27639280/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=413184 CPUtime=282.15 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 136097 0 0 0 28178 37 0 0 20 0 2 0 331849146 423100416 84980 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 103296 84980 197 433 0 102860 0
[pid=9931/tid=9933] ppid=9929 vsize=413184 CPUtime=281.43 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 134777 0 0 0 28102 41 0 0 20 0 2 0 331849149 423100416 84980 33554432000 4194304 5964350 140735776548096 139707724282392 4399840 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) 413184

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9934
/proc/meminfo: memFree=27636800/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=413184 CPUtime=342.11 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 136195 0 0 0 34174 37 0 0 20 0 2 0 331849146 423100416 85576 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 103296 85576 197 433 0 102860 0
[pid=9931/tid=9933] ppid=9929 vsize=413184 CPUtime=341.27 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 134875 0 0 0 34085 42 0 0 20 0 2 0 331849149 423100416 85576 33554432000 4194304 5964350 140735776548096 139707724282392 4399930 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 413184

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 9937
/proc/meminfo: memFree=27625000/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=413184 CPUtime=402.1 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 136202 0 0 0 40173 37 0 0 20 0 2 0 331849146 423100416 85583 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 103296 85583 197 433 0 102860 0
[pid=9931/tid=9933] ppid=9929 vsize=413184 CPUtime=401.11 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 134882 0 0 0 40068 43 0 0 20 0 2 0 331849149 423100416 85583 33554432000 4194304 5964350 140735776548096 139707724282392 4400548 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 413184

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 9937
/proc/meminfo: memFree=27635488/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=413184 CPUtime=462.09 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9944
/proc/meminfo: memFree=26974304/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=808832 CPUtime=1421.83 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 234898 0 0 0 142090 93 0 0 20 0 2 0 331849146 828243968 185066 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 202208 185066 197 433 0 201772 0
[pid=9931/tid=9933] ppid=9929 vsize=808832 CPUtime=1418.35 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 233578 0 0 0 141721 114 0 0 20 0 2 0 331849149 828243968 185066 33554432000 4194304 5964350 140735776548096 139707724281656 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 808832

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9944
/proc/meminfo: memFree=26963248/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=808832 CPUtime=1481.81 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 235691 0 0 0 148088 93 0 0 20 0 2 0 331849146 828243968 185854 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 202208 185854 197 433 0 201772 0
[pid=9931/tid=9933] ppid=9929 vsize=808832 CPUtime=1478.19 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 234371 0 0 0 147704 115 0 0 20 0 2 0 331849149 828243968 185854 33554432000 4194304 5964350 140735776548096 139707724281656 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 808832

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9983
/proc/meminfo: memFree=27442220/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=808832 CPUtime=1541.79 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 236400 0 0 0 154086 93 0 0 20 0 2 0 331849146 828243968 186706 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 202208 186706 197 433 0 201772 0
[pid=9931/tid=9933] ppid=9929 vsize=808832 CPUtime=1538.04 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 235080 0 0 0 153688 116 0 0 20 0 2 0 331849149 828243968 186706 33554432000 4194304 5964350 140735776548096 139707724281848 4399895 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 808832

[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 9986
/proc/meminfo: memFree=27340312/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1601.75 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 251002 0 0 0 160072 103 0 0 20 0 2 0 331849146 895352832 202214 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 202214 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1597.85 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 249682 0 0 0 159658 127 0 0 20 0 2 0 331849149 895352832 202214 33554432000 4194304 5964350 140735776548096 139707724281848 4400342 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 874368

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 9986
/proc/meminfo: memFree=27268736/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1661.73 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 253580 0 0 0 166069 104 0 0 20 0 2 0 331849146 895352832 204917 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 204917 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1657.68 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 252260 0 0 0 165639 129 0 0 20 0 2 0 331849149 895352832 204917 33554432000 4194304 5964350 140735776548096 139707724281656 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 874368

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 9987
/proc/meminfo: memFree=27214864/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1721.69 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 255156 0 0 0 172064 105 0 0 20 0 2 0 331849146 895352832 206861 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 206861 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1717.51 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 253836 0 0 0 171620 131 0 0 20 0 2 0 331849149 895352832 206861 33554432000 4194304 5964350 140735776548096 139707724281848 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 874368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27174316/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1781.69 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259489 0 0 0 178061 108 0 0 20 0 2 0 331849146 895352832 211186 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211186 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1777.36 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258169 0 0 0 177602 134 0 0 20 0 2 0 331849149 895352832 211186 33554432000 4194304 5964350 140735776548096 139707724281896 4379216 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 874368

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173820/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1791.29 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259489 0 0 0 179021 108 0 0 20 0 2 0 331849146 895352832 211186 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211186 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1786.94 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258169 0 0 0 178559 135 0 0 20 0 2 0 331849149 895352832 211186 33554432000 4194304 5964350 140735776548096 139707724281896 4399906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 874368

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173820/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1794.49 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259489 0 0 0 179341 108 0 0 20 0 2 0 331849146 895352832 211186 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211186 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1790.13 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258169 0 0 0 178878 135 0 0 20 0 2 0 331849149 895352832 211186 33554432000 4194304 5964350 140735776548096 139707724281896 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 874368

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173944/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1797.69 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259491 0 0 0 179661 108 0 0 20 0 2 0 331849146 895352832 211188 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211188 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1793.31 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258171 0 0 0 179196 135 0 0 20 0 2 0 331849149 895352832 211188 33554432000 4194304 5964350 140735776548096 139707724281896 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 874368

[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173944/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1798.49 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259491 0 0 0 179741 108 0 0 20 0 2 0 331849146 895352832 211188 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211188 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1794.11 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258171 0 0 0 179276 135 0 0 20 0 2 0 331849149 895352832 211188 33554432000 4194304 5964350 140735776548096 139707724281896 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 874368

[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173944/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1798.89 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259491 0 0 0 179781 108 0 0 20 0 2 0 331849146 895352832 211188 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211188 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1794.52 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258171 0 0 0 179317 135 0 0 20 0 2 0 331849149 895352832 211188 33554432000 4194304 5964350 140735776548096 139707724281896 4400023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (KiB) 874368

[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173944/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1799.29 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259491 0 0 0 179821 108 0 0 20 0 2 0 331849146 895352832 211188 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211188 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1794.91 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258171 0 0 0 179356 135 0 0 20 0 2 0 331849149 895352832 211188 33554432000 4194304 5964350 140735776548096 139707724281896 4400023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 874368

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9987
/proc/meminfo: memFree=27173944/32873648 swapFree=6864/6864
[pid=9931] ppid=9929 vsize=874368 CPUtime=1799.39 cores=0,2,4,6
/proc/9931/stat : 9931 (wbo1.72) S 9929 9931 7878 0 -1 4202496 259491 0 0 0 179831 108 0 0 20 0 2 0 331849146 895352832 211188 33554432000 4194304 5964350 140735776548096 140735776547616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9931/statm: 218592 211188 197 433 0 218156 0
[pid=9931/tid=9933] ppid=9929 vsize=874368 CPUtime=1795.01 cores=0,2,4,6
/proc/9931/task/9933/stat : 9933 (wbo1.72) R 9929 9931 7878 0 -1 4202560 258171 0 0 0 179366 135 0 0 20 0 2 0 331849149 895352832 211188 33554432000 4194304 5964350 140735776548096 139707724281896 4399832 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 874368

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9931 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=697316
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=369791
# CPU time returned by wait4() is 1795.07
# while last known CPU time is 1799.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.02
CPU time (s): 1799.39
CPU user time (s): 1798.31
CPU system time (s): 1.08
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 874368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 1.36979
maximum resident set size= 844760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259493
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= 308
involuntary context switches= 2689

runsolver used 3.58245 second user time and 8.33773 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-02 19:13:43
IDJOB=3727480
IDBENCH=2228
IDSOLVER=2313
FILE ID=node113/3727480-1338657223
RUNJOBID= node113-1338651535-9377
PBS_JOBID= 14636467
Free space on /tmp= 71040 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727480-1338657223/watcher-3727480-1338657223 -o /tmp/evaluation-result-3727480-1338657223/solver-3727480-1338657223 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727480-1338657223.opb

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

MD5SUM BENCH= 6272f76e60106089ef6773ef02321eb2
RANDOM SEED=173123410

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:        28033716 kB
Buffers:          495288 kB
Cached:          3239548 kB
SwapCached:         2020 kB
Active:          1809236 kB
Inactive:        2145652 kB
Active(anon):     219464 kB
Inactive(anon):     1800 kB
Active(file):    1589772 kB
Inactive(file):  2143852 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:              5840 kB
Writeback:             0 kB
AnonPages:        332656 kB
Mapped:            11844 kB
Shmem:                 0 kB
Slab:             748780 kB
SReclaimable:     193108 kB
SUnreclaim:       555672 kB
KernelStack:        1488 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 71032 MiB
End job on node113 at 2012-06-02 19:43:43