Trace number 3727349

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.58 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM473e2cd0e31e48ba0932d7bd34857dd0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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-3727349-1338656449.opb.
0.00/0.00	c Instance file HOME/instance-3727349-1338656449.opb
0.00/0.00	c File size is 454704 bytes.
0.00/0.03	c Cost Offset: 0
0.00/0.03	c Highest Coefficient sum: 4
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      6352                                                |
0.00/0.03	c |  Number Clauses:        13473                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c |                                                                             |
0.00/0.04	c |  Problem Type:          Optimization                                        |
0.00/0.04	c |  Objective Function:    PB Constraint                                       |
0.00/0.04	c |                                                                             |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.04	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.04	c ===============================================================================
0.00/0.04	c | 0.05      | 0  | 793          lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 795          lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 797          lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 799          lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 801          lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 810          lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 812          lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 817          lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 888          lb |  0                0                0.00  |
0.00/0.07	c | 0.08      | 0  | 890          lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 893          lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 896          lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 898          lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 900          lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 903          lb |  0                0                0.00  |
0.08/0.09	c | 0.10      | 0  | 907          lb |  0                0                0.00  |
0.08/0.09	c | 0.10      | 0  | 912          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 915          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 921          lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 923          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 925          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 928          lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 930          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 963          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 965          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 969          lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 971          lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 973          lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 977          lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 979          lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 982          lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 985          lb |  0                0                0.00  |
0.09/0.14	c | 0.15      | 0  | 987          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 989          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 991          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 993          lb |  0                0                0.00  |
0.09/0.15	c | 0.16      | 0  | 996          lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 998          lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 1000         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 1002         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 1004         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 1006         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 1010         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 1012         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 1014         lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 1019         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 1021         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 1023         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 1025         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 1028         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 1031         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 1033         lb |  0                0                0.00  |
0.19/0.20	c | 0.21      | 0  | 1035         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 1039         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 1042         lb |  0                0                0.00  |
0.19/0.21	c | 0.22      | 0  | 1044         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 1047         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 1049         lb |  0                0                0.00  |
0.19/0.22	c | 0.23      | 0  | 1055         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 1058         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 1062         lb |  0                0                0.00  |
0.19/0.23	c | 0.24      | 0  | 1066         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 1070         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 1072         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 1074         lb |  0                0                0.00  |
0.19/0.24	c | 0.25      | 0  | 1076         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 1080         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 1082         lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | 1085         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 1089         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 1091         lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | 1093         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 1095         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 1098         lb |  0                0                0.00  |
0.19/0.27	c | 0.28      | 0  | 1101         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 1103         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 1107         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 1109         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 1111         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 1118         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 1122         lb |  0                0                0.00  |
0.19/0.29	c | 0.30      | 0  | 1134         lb |  0                0                0.00  |
0.28/0.30	c | 0.30      | 0  | 1136         lb |  0                0                0.00  |
0.28/0.30	c | 0.30      | 0  | 1140         lb |  0                0                0.00  |
0.28/0.30	c | 0.31      | 0  | 1142         lb |  0                0                0.00  |
0.28/0.31	c | 0.31      | 0  | 1147         lb |  0                0                0.00  |
0.28/0.31	c | 0.31      | 0  | 1150         lb |  0                0                0.00  |
0.28/0.31	c | 0.32      | 0  | 1153         lb |  0                0                0.00  |
0.28/0.32	c | 0.32      | 0  | 1155         lb |  0                0                0.00  |
0.28/0.32	c | 0.32      | 0  | 1157         lb |  0                0                0.00  |
0.28/0.32	c | 0.33      | 0  | 1159         lb |  0                0                0.00  |
0.28/0.33	c | 0.33      | 0  | 1161         lb |  0                0                0.00  |
0.28/0.33	c | 0.33      | 0  | 1163         lb |  0                0                0.00  |
0.28/0.33	c | 0.34      | 0  | 1166         lb |  0                0                0.00  |
0.28/0.33	c | 0.34      | 0  | 1168         lb |  0                0                0.00  |
0.28/0.34	c | 0.34      | 0  | 1170         lb |  0                0                0.00  |
0.28/0.34	c | 0.34      | 0  | 1172         lb |  0                0                0.00  |
0.28/0.34	c | 0.35      | 0  | 1177         lb |  0                0                0.00  |
0.28/0.35	c | 0.35      | 0  | 1179         lb |  0                0                0.00  |
0.28/0.35	c | 0.35      | 0  | 1181         lb |  0                0                0.00  |
0.28/0.35	c | 0.36      | 0  | 1183         lb |  0                0                0.00  |
0.28/0.36	c | 0.36      | 0  | 1185         lb |  0                0                0.00  |
0.28/0.36	c | 0.36      | 0  | 1192         lb |  0                0                0.00  |
0.28/0.36	c | 0.37      | 0  | 1196         lb |  0                0                0.00  |
0.28/0.37	c | 0.37      | 0  | 1198         lb |  0                0                0.00  |
0.28/0.37	c | 0.37      | 0  | 1200         lb |  0                0                0.00  |
0.28/0.37	c | 0.38      | 0  | 1203         lb |  0                0                0.00  |
0.28/0.38	c | 0.38      | 0  | 1205         lb |  0                0                0.00  |
0.28/0.38	c | 0.38      | 0  | 1210         lb |  0                0                0.00  |
0.28/0.38	c | 0.39      | 0  | 1212         lb |  0                0                0.00  |
0.28/0.39	c | 0.39      | 0  | 1214         lb |  0                0                0.00  |
0.28/0.39	c | 0.39      | 0  | 1217         lb |  0                0                0.00  |
0.28/0.39	c | 0.40      | 0  | 1219         lb |  0                0                0.00  |
0.28/0.39	c | 0.40      | 0  | 1221         lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | 1223         lb |  0                0                0.00  |
0.38/0.40	c | 0.41      | 0  | 1225         lb |  0                0                0.00  |
0.38/0.40	c | 0.41      | 0  | 1227         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 1231         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 1233         lb |  0                0                0.00  |
0.38/0.41	c | 0.42      | 0  | 1236         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 1239         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 1243         lb |  0                0                0.00  |
0.38/0.42	c | 0.43      | 0  | 1245         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 1249         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 1252         lb |  0                0                0.00  |
0.38/0.43	c | 0.44      | 0  | 1255         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 1259         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 1263         lb |  0                0                0.00  |
0.38/0.44	c | 0.45      | 0  | 1266         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 1269         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 1272         lb |  0                0                0.00  |
0.38/0.45	c | 0.46      | 0  | 1274         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 1276         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 1278         lb |  0                0                0.00  |
0.38/0.46	c | 0.47      | 0  | 1280         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 1282         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 1284         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 1286         lb |  0                0                0.00  |
0.38/0.47	c | 0.48      | 0  | 1290         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 1292         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 1296         lb |  0                0                0.00  |
0.38/0.48	c | 0.49      | 0  | 1301         lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | 1303         lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | 1305         lb |  0                0                0.00  |
0.38/0.49	c | 0.50      | 0  | 1307         lb |  0                0                0.00  |
0.48/0.50	c | 0.50      | 0  | 1309         lb |  0                0                0.00  |
0.48/0.50	c | 0.51      | 0  | 1312         lb |  0                0                0.00  |
0.48/0.50	c | 0.51      | 0  | 1315         lb |  0                0                0.00  |
0.48/0.51	c | 0.51      | 0  | 1318         lb |  0                0                0.00  |
0.48/0.51	c | 0.52      | 0  | 1320         lb |  0                0                0.00  |
0.48/0.51	c | 0.52      | 0  | 1322         lb |  0                0                0.00  |
0.48/0.52	c | 0.52      | 0  | 1324         lb |  0                0                0.00  |
0.48/0.52	c | 0.53      | 0  | 1330         lb |  0                0                0.00  |
0.48/0.52	c | 0.53      | 0  | 1332         lb |  0                0                0.00  |
0.48/0.53	c | 0.53      | 0  | 1336         lb |  0                0                0.00  |
0.48/0.53	c | 0.54      | 0  | 1339         lb |  0                0                0.00  |
0.48/0.53	c | 0.54      | 0  | 1341         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | 1345         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | 1348         lb |  0                0                0.00  |
0.48/0.54	c | 0.55      | 0  | 1352         lb |  0                0                0.00  |
0.48/0.55	c | 0.55      | 0  | 1357         lb |  0                0                0.00  |
0.48/0.55	c | 0.55      | 0  | 1360         lb |  0                0                0.00  |
0.48/0.55	c | 0.56      | 0  | 1362         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | 1365         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | 1368         lb |  0                0                0.00  |
0.48/0.56	c | 0.57      | 0  | 1370         lb |  0                0                0.00  |
0.48/0.57	c | 0.57      | 0  | 1372         lb |  0                0                0.00  |
0.48/0.57	c | 0.57      | 0  | 1374         lb |  0                0                0.00  |
0.48/0.57	c | 0.58      | 0  | 1377         lb |  0                0                0.00  |
0.48/0.58	c | 0.58      | 0  | 1380         lb |  0                0                0.00  |
0.48/0.58	c | 0.58      | 0  | 1383         lb |  0                0                0.00  |
0.48/0.58	c | 0.59      | 0  | 1386         lb |  0                0                0.00  |
0.48/0.59	c | 0.59      | 0  | 1388         lb |  0                0                0.00  |
0.48/0.59	c | 0.59      | 0  | 1390         lb |  0                0                0.00  |
0.48/0.59	c | 0.60      | 0  | 1392         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | 1394         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | 1396         lb |  0                0                0.00  |
0.58/0.60	c | 0.61      | 0  | 1400         lb |  0                0                0.00  |
0.58/0.61	c | 0.61      | 0  | 1402         lb |  0                0                0.00  |
0.58/0.61	c | 0.61      | 0  | 1404         lb |  0                0                0.00  |
0.58/0.61	c | 0.62      | 0  | 1406         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 1409         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 1411         lb |  0                0                0.00  |
0.58/0.62	c | 0.63      | 0  | 1413         lb |  0                0                0.00  |
0.58/0.63	c | 0.63      | 0  | 1416         lb |  0                0                0.00  |
0.58/0.63	c | 0.64      | 0  | 1419         lb |  0                0                0.00  |
0.58/0.63	c | 0.64      | 0  | 1422         lb |  0                0                0.00  |
0.58/0.64	c | 0.64      | 0  | 1425         lb |  0                0                0.00  |
0.58/0.64	c | 0.65      | 0  | 1427         lb |  0                0                0.00  |
0.58/0.64	c | 0.65      | 0  | 1429         lb |  0                0                0.00  |
0.58/0.65	c | 0.65      | 0  | 1432         lb |  0                0                0.00  |
0.58/0.65	c | 0.66      | 0  | 1437         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | 1440         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | 1442         lb |  0                0                0.00  |
0.58/0.66	c | 0.67      | 0  | 1448         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 1450         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 1452         lb |  0                0                0.00  |
0.58/0.67	c | 0.68      | 0  | 1456         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | 1458         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | 1460         lb |  0                0                0.00  |
0.58/0.68	c | 0.69      | 0  | 1468         lb |  0                0                0.00  |
0.58/0.69	c | 0.69      | 0  | 1473         lb |  0                0                0.00  |
0.58/0.69	c | 0.69      | 0  | 1476         lb |  0                0                0.00  |
0.58/0.69	c | 0.70      | 0  | 1478         lb |  0                0                0.00  |
0.68/0.70	c | 0.70      | 0  | 1480         lb |  0                0                0.00  |
0.68/0.70	c | 0.70      | 0  | 1482         lb |  0                0                0.00  |
0.68/0.70	c | 0.71      | 0  | 1484         lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | 1486         lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | 1490         lb |  0                0                0.00  |
0.68/0.71	c | 0.72      | 0  | 1492         lb |  0                0                0.00  |
0.68/0.72	c | 0.72      | 0  | 1495         lb |  0                0                0.00  |
0.68/0.72	c | 0.73      | 0  | 1498         lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | 1500         lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | 1502         lb |  0                0                0.00  |
0.68/0.73	c | 0.74      | 0  | 1505         lb |  0                0                0.00  |
0.68/0.74	c | 0.74      | 0  | 1507         lb |  0                0                0.00  |
0.68/0.74	c | 0.74      | 0  | 1509         lb |  0                0                0.00  |
0.68/0.74	c | 0.75      | 0  | 1511         lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | 1515         lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | 1524         lb |  0                0                0.00  |
0.68/0.75	c | 0.76      | 0  | 1526         lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | 1529         lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | 1534         lb |  0                0                0.00  |
0.68/0.76	c | 0.77      | 0  | 1536         lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | 1540         lb |  0                0                0.00  |
0.68/0.77	c | 0.78      | 0  | 1543         lb |  0                0                0.00  |
0.68/0.77	c | 0.78      | 0  | 1546         lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | 1548         lb |  0                0                0.00  |
0.68/0.78	c | 0.79      | 0  | 1550         lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | 1552         lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | 1556         lb |  0                0                0.00  |
0.68/0.79	c | 0.80      | 0  | 1558         lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | 1560         lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | 1562         lb |  0                0                0.00  |
0.79/0.80	c | 0.81      | 0  | 1564         lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | 1567         lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | 1569         lb |  0                0                0.00  |
0.79/0.81	c | 0.82      | 0  | 1573         lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | 1576         lb |  0                0                0.00  |
0.79/0.82	c | 0.83      | 0  | 1579         lb |  0                0                0.00  |
0.79/0.83	c | 0.83      | 0  | 1581         lb |  0                0                0.00  |
0.79/0.83	c | 0.83      | 0  | 1584         lb |  0                0                0.00  |
0.79/0.83	c | 0.84      | 0  | 1587         lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | 1591         lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | 1593         lb |  0                0                0.00  |
0.79/0.84	c | 0.85      | 0  | 1595         lb |  0                0                0.00  |
0.79/0.85	c | 0.85      | 0  | 1597         lb |  0                0                0.00  |
0.79/0.85	c | 0.85      | 0  | 1600         lb |  0                0                0.00  |
0.79/0.86	c | 0.86      | 0  | 1603         lb |  0                0                0.00  |
0.79/0.86	c | 0.86      | 0  | 1606         lb |  0                0                0.00  |
0.79/0.86	c | 0.87      | 0  | 1608         lb |  0                0                0.00  |
0.79/0.87	c | 0.87      | 0  | 1611         lb |  0                0                0.00  |
0.79/0.87	c | 0.87      | 0  | 1614         lb |  0                0                0.00  |
0.79/0.87	c | 0.88      | 0  | 1616         lb |  0                0                0.00  |
0.79/0.88	c | 0.88      | 0  | 1620         lb |  0                0                0.00  |
0.79/0.88	c | 0.89      | 0  | 1623         lb |  0                0                0.00  |
0.79/0.88	c | 0.89      | 0  | 1625         lb |  0                0                0.00  |
0.79/0.89	c | 0.89      | 0  | 1628         lb |  0                0                0.00  |
0.79/0.89	c | 0.90      | 0  | 1630         lb |  0                0                0.00  |
0.89/0.90	c | 0.90      | 0  | 1634         lb |  0                0                0.00  |
0.89/0.90	c | 0.90      | 0  | 1637         lb |  0                0                0.00  |
0.89/0.90	c | 0.91      | 0  | 1639         lb |  0                0                0.00  |
0.89/0.91	c | 0.91      | 0  | 1641         lb |  0                0                0.00  |
0.89/0.91	c | 0.91      | 0  | 1644         lb |  0                0                0.00  |
0.89/0.91	c | 0.92      | 0  | 1646         lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 0  | 1648         lb |  0                0                0.00  |
0.89/0.92	c | 0.93      | 0  | 1650         lb |  0                0                0.00  |
0.89/0.92	c | 0.93      | 0  | 1652         lb |  0                0                0.00  |
0.89/0.93	c | 0.93      | 0  | 1654         lb |  0                0                0.00  |
0.89/0.93	c | 0.94      | 0  | 1657         lb |  0                0                0.00  |
0.89/0.94	c | 0.94      | 0  | 1661         lb |  0                0                0.00  |
0.89/0.94	c | 0.94      | 0  | 1663         lb |  0                0                0.00  |
0.89/0.94	c | 0.95      | 0  | 1665         lb |  0                0                0.00  |
0.89/0.95	c | 0.95      | 0  | 1669         lb |  0                0                0.00  |
0.89/0.95	c | 0.95      | 0  | 1671         lb |  0                0                0.00  |
0.89/0.95	c | 0.96      | 0  | 1674         lb |  0                0                0.00  |
0.89/0.96	c | 0.96      | 0  | 1676         lb |  0                0                0.00  |
0.89/0.96	c | 0.97      | 0  | 1680         lb |  0                0                0.00  |
0.89/0.97	c | 0.97      | 0  | 1684         lb |  0                0                0.00  |
0.89/0.97	c | 0.97      | 0  | 1686         lb |  0                0                0.00  |
0.89/0.97	c | 0.98      | 0  | 1689         lb |  0                0                0.00  |
0.89/0.98	c | 0.98      | 0  | 1691         lb |  0                0                0.00  |
0.89/0.98	c | 0.98      | 0  | 1693         lb |  0                0                0.00  |
0.89/0.98	c | 0.99      | 0  | 1697         lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 1700         lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 1705         lb |  0                0                0.00  |
0.89/0.99	c | 1.00      | 0  | 1707         lb |  0                0                0.00  |
0.99/1.00	c | 1.00      | 0  | 1710         lb |  0                0                0.00  |
0.99/1.01	c | 1.01      | 0  | 1714         lb |  0                0                0.00  |
0.99/1.01	c | 1.01      | 0  | 1718         lb |  0                0                0.00  |
0.99/1.01	c | 1.02      | 0  | 1720         lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | 1722         lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | 1725         lb |  0                0                0.00  |
0.99/1.02	c | 1.03      | 0  | 1727         lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 1729         lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 1731         lb |  0                0                0.00  |
0.99/1.03	c | 1.04      | 0  | 1733         lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | 1735         lb |  0                0                0.00  |
0.99/1.04	c | 1.05      | 0  | 1737         lb |  0                0                0.00  |
0.99/1.05	c | 1.05      | 0  | 1740         lb |  0                0                0.00  |
0.99/1.05	c | 1.05      | 0  | 1742         lb |  0                0                0.00  |
0.99/1.05	c | 1.06      | 0  | 1744         lb |  0                0                0.00  |
0.99/1.06	c | 1.06      | 0  | 1746         lb |  0                0                0.00  |
0.99/1.06	c | 1.06      | 0  | 1753         lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | 1756         lb |  0                0                0.00  |
0.99/1.07	c | 1.07      | 0  | 1758         lb |  0                0                0.00  |
0.99/1.07	c | 1.08      | 0  | 1764         lb |  0                0                0.00  |
0.99/1.08	c | 1.08      | 0  | 1768         lb |  0                0                0.00  |
0.99/1.08	c | 1.08      | 0  | 1772         lb |  0                0                0.00  |
0.99/1.08	c | 1.09      | 0  | 1774         lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | 1776         lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | 1778         lb |  0                0                0.00  |
0.99/1.09	c | 1.10      | 0  | 1781         lb |  0                0                0.00  |
0.99/1.10	c | 1.10      | 0  | 1785         lb |  0                0                0.00  |
1.09/1.10	c | 1.11      | 0  | 1787         lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | 1792         lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | 1796         lb |  0                0                0.00  |
1.09/1.11	c | 1.12      | 0  | 1798         lb |  0                0                0.00  |
1.09/1.12	c | 1.12      | 0  | 1801         lb |  0                0                0.00  |
1.09/1.12	c | 1.12      | 0  | 1804         lb |  0                0                0.00  |
1.09/1.12	c | 1.13      | 0  | 1806         lb |  0                0                0.00  |
1.09/1.13	c | 1.13      | 0  | 1808         lb |  0                0                0.00  |
1.09/1.13	c | 1.14      | 0  | 1811         lb |  0                0                0.00  |
1.09/1.14	c | 1.14      | 0  | 1813         lb |  0                0                0.00  |
1.09/1.14	c | 1.14      | 0  | 1816         lb |  0                0                0.00  |
1.09/1.14	c | 1.15      | 0  | 1820         lb |  0                0                0.00  |
1.09/1.15	c | 1.15      | 0  | 1822         lb |  0                0                0.00  |
1.09/1.15	c | 1.15      | 0  | 1824         lb |  0                0                0.00  |
1.09/1.15	c | 1.16      | 0  | 1827         lb |  0                0                0.00  |
1.09/1.16	c | 1.16      | 0  | 1830         lb |  0                0                0.00  |
1.09/1.16	c | 1.17      | 0  | 1832         lb |  0                0                0.00  |
1.09/1.16	c | 1.17      | 0  | 1834         lb |  0                0                0.00  |
1.09/1.17	c | 1.17      | 0  | 1836         lb |  0                0                0.00  |
1.09/1.17	c | 1.18      | 0  | 1838         lb |  0                0                0.00  |
1.09/1.18	c | 1.18      | 0  | 1840         lb |  0                0                0.00  |
1.09/1.18	c | 1.18      | 0  | 1842         lb |  0                0                0.00  |
1.09/1.18	c | 1.19      | 0  | 1847         lb |  0                0                0.00  |
1.09/1.19	c | 1.19      | 0  | 1849         lb |  0                0                0.00  |
1.09/1.19	c | 1.20      | 0  | 1852         lb |  0                0                0.00  |
1.09/1.19	c | 1.20      | 0  | 1854         lb |  0                0                0.00  |
1.18/1.20	c | 1.20      | 0  | 1856         lb |  0                0                0.00  |
1.18/1.20	c | 1.21      | 0  | 1858         lb |  0                0                0.00  |
1.18/1.21	c | 1.21      | 0  | 1860         lb |  0                0                0.00  |
1.18/1.21	c | 1.21      | 0  | 1862         lb |  0                0                0.00  |
1.18/1.21	c | 1.22      | 0  | 1864         lb |  0                0                0.00  |
1.18/1.22	c | 1.22      | 0  | 1866         lb |  0                0                0.00  |
1.18/1.22	c | 1.23      | 0  | 1869         lb |  0                0                0.00  |
1.18/1.22	c | 1.23      | 0  | 1871         lb |  0                0                0.00  |
1.18/1.23	c | 1.23      | 0  | 1877         lb |  0                0                0.00  |
1.18/1.23	c | 1.24      | 0  | 1880         lb |  0                0                0.00  |
1.18/1.24	c | 1.24      | 0  | 1882         lb |  0                0                0.00  |
1.18/1.24	c | 1.24      | 0  | 1885         lb |  0                0                0.00  |
1.18/1.24	c | 1.25      | 0  | 1888         lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | 1891         lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | 1893         lb |  0                0                0.00  |
1.18/1.26	c | 1.26      | 0  | 1895         lb |  0                0                0.00  |
1.18/1.26	c | 1.26      | 0  | 1897         lb |  0                0                0.00  |
1.18/1.26	c | 1.27      | 0  | 1899         lb |  0                0                0.00  |
1.18/1.27	c | 1.27      | 0  | 1902         lb |  0                0                0.00  |
1.18/1.27	c | 1.27      | 0  | 1904         lb |  0                0                0.00  |
1.18/1.27	c | 1.28      | 0  | 1906         lb |  0                0                0.00  |
1.18/1.28	c | 1.28      | 0  | 1908         lb |  0                0                0.00  |
1.18/1.28	c | 1.29      | 0  | 1914         lb |  0                0                0.00  |
1.18/1.29	c | 1.29      | 0  | 1918         lb |  0                0                0.00  |
1.18/1.29	c | 1.29      | 0  | 1921         lb |  0                0                0.00  |
1.18/1.29	c | 1.30      | 0  | 1924         lb |  0                0                0.00  |
1.28/1.30	c | 1.30      | 0  | 1930         lb |  0                0                0.00  |
1.28/1.30	c | 1.30      | 0  | 1933         lb |  0                0                0.00  |
1.28/1.30	c | 1.31      | 0  | 1937         lb |  0                0                0.00  |
1.28/1.31	c | 1.31      | 0  | 1939         lb |  0                0                0.00  |
1.28/1.31	c | 1.32      | 0  | 1941         lb |  0                0                0.00  |
1.28/1.32	c | 1.32      | 0  | 1944         lb |  0                0                0.00  |
1.28/1.32	c | 1.32      | 0  | 1947         lb |  0                0                0.00  |
1.28/1.32	c | 1.33      | 0  | 1951         lb |  0                0                0.00  |
1.28/1.33	c | 1.33      | 0  | 1956         lb |  0                0                0.00  |
1.28/1.33	c | 1.33      | 0  | 1959         lb |  0                0                0.00  |
1.28/1.33	c | 1.34      | 0  | 1964         lb |  0                0                0.00  |
1.28/1.34	c | 1.34      | 0  | 1966         lb |  0                0                0.00  |
1.28/1.34	c | 1.35      | 0  | 1968         lb |  0                0                0.00  |
1.28/1.35	c | 1.35      | 0  | 1972         lb |  0                0                0.00  |
1.28/1.35	c | 1.35      | 0  | 1974         lb |  0                0                0.00  |
1.28/1.35	c | 1.36      | 0  | 1978         lb |  0                0                0.00  |
1.28/1.36	c | 1.36      | 0  | 1980         lb |  0                0                0.00  |
1.28/1.36	c | 1.36      | 0  | 1984         lb |  0                0                0.00  |
1.28/1.36	c | 1.37      | 0  | 1986         lb |  0                0                0.00  |
1.28/1.37	c | 1.37      | 0  | 1988         lb |  0                0                0.00  |
1.28/1.37	c | 1.38      | 0  | 1994         lb |  0                0                0.00  |
1.28/1.38	c | 1.38      | 0  | 1996         lb |  0                0                0.00  |
1.28/1.38	c | 1.38      | 0  | 1998         lb |  0                0                0.00  |
1.28/1.38	c | 1.39      | 0  | 2000         lb |  0                0                0.00  |
1.28/1.39	c | 1.39      | 0  | 2002         lb |  0                0                0.00  |
1.28/1.39	c | 1.40      | 0  | 2004         lb |  0                0                0.00  |
1.39/1.40	c | 1.40      | 0  | 2007         lb |  0                0                0.00  |
1.39/1.40	c | 1.40      | 0  | 2012         lb |  0                0                0.00  |
1.39/1.40	c | 1.41      | 0  | 2015         lb |  0                0                0.00  |
1.39/1.41	c | 1.41      | 0  | 2018         lb |  0                0                0.00  |
1.39/1.41	c | 1.42      | 0  | 2021         lb |  0                0                0.00  |
1.39/1.41	c | 1.42      | 0  | 2023         lb |  0                0                0.00  |
1.39/1.42	c | 1.42      | 0  | 2025         lb |  0                0                0.00  |
1.39/1.42	c | 1.43      | 0  | 2027         lb |  0                0                0.00  |
1.39/1.43	c | 1.43      | 0  | 2033         lb |  0                0                0.00  |
1.39/1.43	c | 1.43      | 0  | 2035         lb |  0                0                0.00  |
1.39/1.43	c | 1.44      | 0  | 2037         lb |  0                0                0.00  |
1.39/1.44	c | 1.44      | 0  | 2044         lb |  0                0                0.00  |
1.39/1.44	c | 1.45      | 0  | 2047         lb |  0                0                0.00  |
1.39/1.45	c | 1.45      | 0  | 2049         lb |  0                0                0.00  |
1.39/1.45	c | 1.45      | 0  | 2054         lb |  0                0                0.00  |
1.39/1.45	c | 1.46      | 0  | 2063         lb |  0                0                0.00  |
1.39/1.46	c | 1.46      | 0  | 2065         lb |  0                0                0.00  |
1.39/1.46	c | 1.47      | 0  | 2069         lb |  0                0                0.00  |
1.39/1.46	c | 1.47      | 0  | 2072         lb |  0                0                0.00  |
1.39/1.47	c | 1.47      | 0  | 2074         lb |  0                0                0.00  |
1.39/1.47	c | 1.48      | 0  | 2077         lb |  0                0                0.00  |
1.39/1.48	c | 1.48      | 0  | 2084         lb |  0                0                0.00  |
1.39/1.48	c | 1.48      | 0  | 2086         lb |  0                0                0.00  |
1.39/1.48	c | 1.49      | 0  | 2090         lb |  0                0                0.00  |
1.39/1.49	c | 1.49      | 0  | 2092         lb |  0                0                0.00  |
1.39/1.49	c | 1.50      | 0  | 2096         lb |  0                0                0.00  |
1.39/1.50	c | 1.50      | 0  | 2100         lb |  0                0                0.00  |
1.49/1.50	c | 1.50      | 0  | 2102         lb |  0                0                0.00  |
1.49/1.50	c | 1.51      | 0  | 2104         lb |  0                0                0.00  |
1.49/1.51	c | 1.51      | 0  | 2108         lb |  0                0                0.00  |
1.49/1.51	c | 1.51      | 0  | 2112         lb |  0                0                0.00  |
1.49/1.51	c | 1.52      | 0  | 2117         lb |  0                0                0.00  |
1.49/1.52	c | 1.52      | 0  | 2119         lb |  0                0                0.00  |
1.49/1.52	c | 1.53      | 0  | 2121         lb |  0                0                0.00  |
1.49/1.53	c | 1.53      | 0  | 2125         lb |  0                0                0.00  |
1.49/1.53	c | 1.53      | 0  | 2127         lb |  0                0                0.00  |
1.49/1.53	c | 1.54      | 0  | 2129         lb |  0                0                0.00  |
1.49/1.54	c | 1.54      | 0  | 2132         lb |  0                0                0.00  |
1.49/1.54	c | 1.55      | 0  | 2134         lb |  0                0                0.00  |
1.49/1.55	c | 1.55      | 0  | 2137         lb |  0                0                0.00  |
1.49/1.55	c | 1.55      | 0  | 2139         lb |  0                0                0.00  |
1.49/1.55	c | 1.56      | 0  | 2142         lb |  0                0                0.00  |
1.49/1.56	c | 1.56      | 0  | 2144         lb |  0                0                0.00  |
1.49/1.56	c | 1.56      | 0  | 2146         lb |  0                0                0.00  |
1.49/1.57	c | 1.57      | 0  | 2148         lb |  0                0                0.00  |
1.49/1.57	c | 1.57      | 0  | 2150         lb |  0                0                0.00  |
1.49/1.57	c | 1.58      | 0  | 2152         lb |  0                0                0.00  |
1.49/1.58	c | 1.58      | 0  | 2156         lb |  0                0                0.00  |
1.49/1.58	c | 1.58      | 0  | 2160         lb |  0                0                0.00  |
1.49/1.58	c | 1.59      | 0  | 2162         lb |  0                0                0.00  |
1.49/1.59	c | 1.59      | 0  | 2165         lb |  0                0                0.00  |
1.49/1.59	c | 1.60      | 0  | 2169         lb |  0                0                0.00  |
1.59/1.60	c | 1.60      | 0  | 2171         lb |  0                0                0.00  |
1.59/1.60	c | 1.60      | 0  | 2173         lb |  0                0                0.00  |
1.59/1.60	c | 1.61      | 0  | 2175         lb |  0                0                0.00  |
1.59/1.61	c | 1.61      | 0  | 2177         lb |  0                0                0.00  |
1.59/1.61	c | 1.62      | 0  | 2179         lb |  0                0                0.00  |
1.59/1.62	c | 1.62      | 0  | 2181         lb |  0                0                0.00  |
1.59/1.62	c | 1.62      | 0  | 2184         lb |  0                0                0.00  |
1.59/1.62	c | 1.63      | 0  | 2187         lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | 2189         lb |  0                0                0.00  |
1.59/1.63	c | 1.64      | 0  | 2195         lb |  0                0                0.00  |
1.59/1.64	c | 1.64      | 0  | 2197         lb |  0                0                0.00  |
1.59/1.64	c | 1.64      | 0  | 2202         lb |  0                0                0.00  |
1.59/1.64	c | 1.65      | 0  | 2205         lb |  0                0                0.00  |
1.59/1.65	c | 1.65      | 0  | 2207         lb |  0                0                0.00  |
1.59/1.65	c | 1.66      | 0  | 2209         lb |  0                0                0.00  |
1.59/1.65	c | 1.66      | 0  | 2211         lb |  0                0                0.00  |
1.59/1.66	c | 1.66      | 0  | 2215         lb |  0                0                0.00  |
1.59/1.66	c | 1.67      | 0  | 2217         lb |  0                0                0.00  |
1.59/1.67	c | 1.67      | 0  | 2220         lb |  0                0                0.00  |
1.59/1.67	c | 1.67      | 0  | 2224         lb |  0                0                0.00  |
1.59/1.67	c | 1.68      | 0  | 2226         lb |  0                0                0.00  |
1.59/1.68	c | 1.68      | 0  | 2229         lb |  0                0                0.00  |
1.59/1.68	c | 1.69      | 0  | 2232         lb |  0                0                0.00  |
1.59/1.69	c | 1.69      | 0  | 2236         lb |  0                0                0.00  |
1.59/1.69	c | 1.69      | 0  | 2238         lb |  0                0                0.00  |
1.59/1.69	c | 1.70      | 0  | 2240         lb |  0                0                0.00  |
1.69/1.70	c | 1.70      | 0  | 2242         lb |  0                0                0.00  |
1.69/1.70	c | 1.71      | 0  | 2246         lb |  0                0                0.00  |
1.69/1.71	c | 1.71      | 0  | 2255         lb |  0                0                0.00  |
1.69/1.71	c | 1.71      | 0  | 2257         lb |  0                0                0.00  |
1.69/1.71	c | 1.72      | 0  | 2261         lb |  0                0                0.00  |
1.69/1.72	c | 1.72      | 0  | 2265         lb |  0                0                0.00  |
1.69/1.72	c | 1.73      | 0  | 2267         lb |  0                0                0.00  |
1.69/1.73	c | 1.73      | 0  | 2269         lb |  0                0                0.00  |
1.69/1.73	c | 1.73      | 0  | 2272         lb |  0                0                0.00  |
1.69/1.73	c | 1.74      | 0  | 2274         lb |  0                0                0.00  |
1.69/1.74	c | 1.74      | 0  | 2278         lb |  0                0                0.00  |
1.69/1.74	c | 1.75      | 0  | 2280         lb |  0                0                0.00  |
1.69/1.75	c | 1.75      | 0  | 2282         lb |  0                0                0.00  |
1.69/1.75	c | 1.75      | 0  | 2284         lb |  0                0                0.00  |
1.69/1.75	c | 1.76      | 0  | 2286         lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | 2292         lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | 2296         lb |  0                0                0.00  |
1.69/1.77	c | 1.77      | 0  | 2298         lb |  0                0                0.00  |
1.69/1.77	c | 1.77      | 0  | 2300         lb |  0                0                0.00  |
1.69/1.77	c | 1.78      | 0  | 2305         lb |  0                0                0.00  |
1.69/1.78	c | 1.78      | 0  | 2307         lb |  0                0                0.00  |
1.69/1.78	c | 1.78      | 0  | 2309         lb |  0                0                0.00  |
1.69/1.79	c | 1.79      | 0  | 2311         lb |  0                0                0.00  |
1.69/1.79	c | 1.79      | 0  | 2314         lb |  0                0                0.00  |
1.69/1.79	c | 1.80      | 0  | 2317         lb |  0                0                0.00  |
1.79/1.80	c | 1.80      | 0  | 2323         lb |  0                0                0.00  |
1.79/1.80	c | 1.80      | 0  | 2326         lb |  0                0                0.00  |
1.79/1.81	c | 1.81      | 0  | 2328         lb |  0                0                0.00  |
1.79/1.81	c | 1.81      | 0  | 2331         lb |  0                0                0.00  |
1.79/1.81	c | 1.82      | 0  | 2334         lb |  0                0                0.00  |
1.79/1.82	c | 1.82      | 0  | 2338         lb |  0                0                0.00  |
1.79/1.82	c | 1.82      | 0  | 2340         lb |  0                0                0.00  |
1.79/1.82	c | 1.83      | 0  | 2344         lb |  0                0                0.00  |
1.79/1.83	c | 1.83      | 0  | 2346         lb |  0                0                0.00  |
1.79/1.83	c | 1.84      | 0  | 2348         lb |  0                0                0.00  |
1.79/1.84	c | 1.84      | 0  | 2350         lb |  0                0                0.00  |
1.79/1.84	c | 1.84      | 0  | 2352         lb |  0                0                0.00  |
1.79/1.84	c | 1.85      | 0  | 2354         lb |  0                0                0.00  |
1.79/1.85	c | 1.85      | 0  | 2357         lb |  0                0                0.00  |
1.79/1.85	c | 1.86      | 0  | 2359         lb |  0                0                0.00  |
1.79/1.86	c | 1.86      | 0  | 2361         lb |  0                0                0.00  |
1.79/1.86	c | 1.86      | 0  | 2363         lb |  0                0                0.00  |
1.79/1.86	c | 1.87      | 0  | 2364         lb |  0                0                0.00  |
1.79/1.87	c | 1.87      | 0  | 2365         lb |  0                0                0.00  |
1.79/1.87	c | 1.88      | 0  | 2366         lb |  0                0                0.00  |
1.79/1.88	c | 1.88      | 0  | 2367         lb |  0                0                0.00  |
1.79/1.88	c | 1.88      | 0  | 2368         lb |  0                0                0.00  |
1.79/1.88	c | 1.89      | 0  | 2369         lb |  0                0                0.00  |
1.79/1.89	c | 1.89      | 0  | 2370         lb |  0                0                0.00  |
1.79/1.89	c | 1.90      | 0  | 2371         lb |  0                0                0.00  |
1.89/1.90	c | 1.90      | 0  | 2372         lb |  0                0                0.00  |
1.89/1.90	c | 1.91      | 0  | 2373         lb |  0                0                0.00  |
1.89/1.91	c | 1.91      | 0  | 2374         lb |  0                0                0.00  |
1.89/1.91	c | 1.91      | 0  | 2375         lb |  0                0                0.00  |
1.89/1.91	c | 1.92      | 0  | 2376         lb |  0                0                0.00  |
1.89/1.92	c | 1.92      | 0  | 2377         lb |  0                0                0.00  |
1.89/1.92	c | 1.93      | 0  | 2378         lb |  0                0                0.00  |
1.89/1.93	c | 1.93      | 0  | 2379         lb |  0                0                0.00  |
1.89/1.93	c | 1.93      | 0  | 2380         lb |  0                0                0.00  |
1.89/1.93	c | 1.94      | 0  | 2381         lb |  0                0                0.00  |
1.89/1.94	c | 1.94      | 0  | 2382         lb |  0                0                0.00  |
1.89/1.94	c | 1.95      | 0  | 2383         lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | 2384         lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | 2385         lb |  0                0                0.00  |
1.89/1.95	c | 1.96      | 0  | 2386         lb |  0                0                0.00  |
1.89/1.96	c | 1.96      | 0  | 2387         lb |  0                0                0.00  |
1.89/1.96	c | 1.97      | 0  | 2388         lb |  0                0                0.00  |
1.89/1.97	c | 1.97      | 0  | 2389         lb |  0                0                0.00  |
1.89/1.97	c | 1.98      | 0  | 2390         lb |  0                0                0.00  |
1.89/1.98	c | 1.98      | 0  | 2391         lb |  0                0                0.00  |
1.89/1.98	c | 1.98      | 0  | 2392         lb |  0                0                0.00  |
1.89/1.98	c | 1.99      | 0  | 2393         lb |  0                0                0.00  |
1.89/1.99	c | 1.99      | 0  | 2394         lb |  0                0                0.00  |
1.89/1.99	c | 2.00      | 0  | 2395         lb |  0                0                0.00  |
1.99/2.00	c | 2.00      | 0  | 2396         lb |  0                0                0.00  |
1.99/2.00	c | 2.00      | 0  | 2397         lb |  0                0                0.00  |
1.99/2.00	c | 2.01      | 0  | 2398         lb |  0                0                0.00  |
1.99/2.01	c | 2.01      | 0  | 2399         lb |  0                0                0.00  |
1.99/2.01	c | 2.02      | 0  | 2400         lb |  0                0                0.00  |
1.99/2.02	c | 2.02      | 0  | 2401         lb |  0                0                0.00  |
1.99/2.02	c | 2.02      | 0  | 2402         lb |  0                0                0.00  |
1.99/2.03	c | 2.03      | 0  | 2403         lb |  0                0                0.00  |
1.99/2.03	c | 2.03      | 0  | 2404         lb |  0                0                0.00  |
1.99/2.03	c | 2.04      | 0  | 2405         lb |  0                0                0.00  |
1.99/2.04	c | 2.04      | 0  | 2406         lb |  0                0                0.00  |
1.99/2.04	c | 2.05      | 0  | 2407         lb |  0                0                0.00  |
1.99/2.05	c | 2.05      | 0  | 2408         lb |  0                0                0.00  |
1.99/2.05	c | 2.06      | 0  | 2409         lb |  0                0                0.00  |
1.99/2.06	c | 2.06      | 0  | 2410         lb |  0                0                0.00  |
1.99/2.06	c | 2.06      | 0  | 2411         lb |  0                0                0.00  |
1.99/2.06	c | 2.07      | 0  | 2412         lb |  0                0                0.00  |
1.99/2.07	c | 2.07      | 0  | 2413         lb |  0                0                0.00  |
1.99/2.07	c | 2.08      | 0  | 2414         lb |  0                0                0.00  |
1.99/2.08	c | 2.08      | 0  | 2415         lb |  0                0                0.00  |
1.99/2.08	c | 2.08      | 0  | 2416         lb |  0                0                0.00  |
1.99/2.09	c | 2.09      | 0  | 2417         lb |  0                0                0.00  |
1.99/2.09	c | 2.09      | 0  | 2418         lb |  0                0                0.00  |
1.99/2.09	c | 2.10      | 0  | 2419         lb |  0                0                0.00  |
1.99/2.10	c | 2.10      | 0  | 2420         lb |  0                0                0.00  |
2.09/2.10	c | 2.11      | 0  | 2421         lb |  0                0                0.00  |
2.09/2.11	c | 2.11      | 0  | 2422         lb |  0                0                0.00  |
2.09/2.11	c | 2.12      | 0  | 2423         lb |  0                0                0.00  |
2.09/2.12	c | 2.12      | 0  | 2424         lb |  0                0                0.00  |
2.09/2.12	c | 2.12      | 0  | 2425         lb |  0                0                0.00  |
2.09/2.12	c | 2.13      | 0  | 2426         lb |  0                0                0.00  |
2.09/2.13	c | 2.13      | 0  | 2427         lb |  0                0                0.00  |
2.09/2.13	c | 2.14      | 0  | 2428         lb |  0                0                0.00  |
2.09/2.14	c | 2.14      | 0  | 2429         lb |  0                0                0.00  |
2.09/2.14	c | 2.15      | 0  | 2430         lb |  0                0                0.00  |
2.09/2.15	c | 2.15      | 0  | 2431         lb |  0                0                0.00  |
2.09/2.15	c | 2.15      | 0  | 2432         lb |  0                0                0.00  |
2.09/2.16	c | 2.16      | 0  | 2433         lb |  0                0                0.00  |
2.09/2.16	c | 2.16      | 0  | 2434         lb |  0                0                0.00  |
2.09/2.16	c | 2.17      | 0  | 2435         lb |  0                0                0.00  |
2.09/2.17	c | 2.17      | 0  | 2436         lb |  0                0                0.00  |
2.09/2.17	c | 2.18      | 0  | 2437         lb |  0                0                0.00  |
2.09/2.18	c | 2.18      | 0  | 2438         lb |  0                0                0.00  |
2.09/2.18	c | 2.19      | 0  | 2439         lb |  0                0                0.00  |
2.09/2.19	c | 2.19      | 0  | 2440         lb |  0                0                0.00  |
2.09/2.19	c | 2.19      | 0  | 2441         lb |  0                0                0.00  |
2.09/2.20	c | 2.20      | 0  | 2442         lb |  0                0                0.00  |
2.09/2.20	c | 2.20      | 0  | 2443         lb |  0                0                0.00  |
2.19/2.20	c | 2.21      | 0  | 2444         lb |  0                0                0.00  |
2.19/2.21	c | 2.21      | 0  | 2445         lb |  0                0                0.00  |
2.19/2.21	c | 2.22      | 0  | 2446         lb |  0                0                0.00  |
2.19/2.22	c | 2.22      | 0  | 2447         lb |  0                0                0.00  |
2.19/2.22	c | 2.23      | 0  | 2448         lb |  0                0                0.00  |
2.19/2.23	c | 2.23      | 0  | 2449         lb |  0                0                0.00  |
2.19/2.23	c | 2.24      | 0  | 2450         lb |  0                0                0.00  |
2.19/2.24	c | 2.24      | 0  | 2451         lb |  0                0                0.00  |
2.19/2.24	c | 2.25      | 0  | 2452         lb |  0                0                0.00  |
2.19/2.25	c | 2.25      | 0  | 2453         lb |  0                0                0.00  |
2.19/2.25	c | 2.25      | 0  | 2454         lb |  0                0                0.00  |
2.19/2.25	c | 2.26      | 0  | 2455         lb |  0                0                0.00  |
2.19/2.26	c | 2.26      | 0  | 2456         lb |  0                0                0.00  |
2.19/2.26	c | 2.27      | 0  | 2457         lb |  0                0                0.00  |
2.19/2.27	c | 2.27      | 0  | 2458         lb |  0                0                0.00  |
2.19/2.27	c | 2.28      | 0  | 2459         lb |  0                0                0.00  |
2.19/2.28	c | 2.28      | 0  | 2460         lb |  0                0                0.00  |
2.19/2.28	c | 2.29      | 0  | 2461         lb |  0                0                0.00  |
2.19/2.29	c | 2.29      | 0  | 2462         lb |  0                0                0.00  |
2.19/2.29	c | 2.29      | 0  | 2463         lb |  0                0                0.00  |
2.28/2.30	c | 2.30      | 0  | 2464         lb |  0                0                0.00  |
2.28/2.30	c | 2.30      | 0  | 2465         lb |  0                0                0.00  |
2.28/2.30	c | 2.31      | 0  | 2466         lb |  0                0                0.00  |
2.28/2.31	c | 2.31      | 0  | 2467         lb |  0                0                0.00  |
2.28/2.31	c | 2.32      | 0  | 2468         lb |  0                0                0.00  |
2.28/2.32	c | 2.32      | 0  | 2469         lb |  0                0                0.00  |
2.28/2.32	c | 2.33      | 0  | 2470         lb |  0                0                0.00  |
2.28/2.33	c | 2.33      | 0  | 2471         lb |  0                0                0.00  |
2.28/2.33	c | 2.34      | 0  | 2472         lb |  0                0                0.00  |
2.28/2.34	c | 2.34      | 0  | 2473         lb |  0                0                0.00  |
2.28/2.34	c | 2.35      | 0  | 2474         lb |  0                0                0.00  |
2.28/2.35	c | 2.35      | 0  | 2475         lb |  0                0                0.00  |
2.28/2.35	c | 2.35      | 0  | 2476         lb |  0                0                0.00  |
2.28/2.35	c | 2.36      | 0  | 2477         lb |  0                0                0.00  |
2.28/2.36	c | 2.36      | 0  | 2478         lb |  0                0                0.00  |
2.28/2.36	c | 2.37      | 0  | 2479         lb |  0                0                0.00  |
2.28/2.37	c | 2.37      | 0  | 2480         lb |  0                0                0.00  |
2.28/2.37	c | 2.38      | 0  | 2481         lb |  0                0                0.00  |
2.28/2.38	c | 2.38      | 0  | 2482         lb |  0                0                0.00  |
2.28/2.38	c | 2.39      | 0  | 2483         lb |  0                0                0.00  |
2.28/2.39	c | 2.39      | 0  | 2484         lb |  0                0                0.00  |
2.28/2.39	c | 2.40      | 0  | 2485         lb |  0                0                0.00  |
2.38/2.40	c | 2.40      | 0  | 2486         lb |  0                0                0.00  |
2.38/2.40	c | 2.40      | 0  | 2487         lb |  0                0                0.00  |
2.38/2.41	c | 2.41      | 0  | 2488         lb |  0                0                0.00  |
2.38/2.41	c | 2.41      | 0  | 2489         lb |  0                0                0.00  |
2.38/2.42	c | 2.42      | 0  | 2490         lb |  0                0                0.00  |
2.38/2.42	c | 2.42      | 0  | 2491         lb |  0                0                0.00  |
2.38/2.42	c | 2.43      | 0  | 2492         lb |  0                0                0.00  |
2.38/2.43	c | 2.43      | 0  | 2493         lb |  0                0                0.00  |
2.38/2.43	c | 2.44      | 0  | 2494         lb |  0                0                0.00  |
2.38/2.44	c | 2.44      | 0  | 2495         lb |  0                0                0.00  |
2.38/2.44	c | 2.45      | 0  | 2496         lb |  0                0                0.00  |
2.38/2.45	c | 2.45      | 0  | 2497         lb |  0                0                0.00  |
2.38/2.45	c | 2.46      | 0  | 2498         lb |  0                0                0.00  |
2.38/2.46	c | 2.46      | 0  | 2499         lb |  0                0                0.00  |
2.38/2.46	c | 2.47      | 0  | 2500         lb |  0                0                0.00  |
2.38/2.47	c | 2.47      | 0  | 2501         lb |  0                0                0.00  |
2.38/2.47	c | 2.48      | 0  | 2502         lb |  0                0                0.00  |
2.38/2.48	c | 2.48      | 0  | 2503         lb |  0                0                0.00  |
2.38/2.48	c | 2.48      | 0  | 2504         lb |  0                0                0.00  |
2.38/2.49	c | 2.49      | 0  | 2505         lb |  0                0                0.00  |
2.38/2.49	c | 2.49      | 0  | 2506         lb |  0                0                0.00  |
2.38/2.49	c | 2.50      | 0  | 2507         lb |  0                0                0.00  |
2.48/2.50	c | 2.50      | 0  | 2508         lb |  0                0                0.00  |
2.48/2.50	c | 2.51      | 0  | 2509         lb |  0                0                0.00  |
2.48/2.51	c | 2.51      | 0  | 2510         lb |  0                0                0.00  |
2.48/2.51	c | 2.52      | 0  | 2511         lb |  0                0                0.00  |
2.48/2.52	c | 2.52      | 0  | 2512         lb |  0                0                0.00  |
2.48/2.52	c | 2.53      | 0  | 2513         lb |  0                0                0.00  |
2.48/2.53	c | 2.53      | 0  | 2514         lb |  0                0                0.00  |
2.48/2.53	c | 2.54      | 0  | 2515         lb |  0                0                0.00  |
2.48/2.54	c | 2.54      | 0  | 2516         lb |  0                0                0.00  |
2.48/2.54	c | 2.55      | 0  | 2517         lb |  0                0                0.00  |
2.48/2.55	c | 2.55      | 0  | 2518         lb |  0                0                0.00  |
2.48/2.55	c | 2.56      | 0  | 2519         lb |  0                0                0.00  |
2.48/2.56	c | 2.56      | 0  | 2520         lb |  0                0                0.00  |
2.48/2.56	c | 2.56      | 0  | 2521         lb |  0                0                0.00  |
2.48/2.57	c | 2.57      | 0  | 2522         lb |  0                0                0.00  |
2.48/2.57	c | 2.57      | 0  | 2523         lb |  0                0                0.00  |
2.48/2.58	c | 2.58      | 0  | 2524         lb |  0                0                0.00  |
2.48/2.58	c | 2.58      | 0  | 2525         lb |  0                0                0.00  |
2.48/2.58	c | 2.59      | 0  | 2526         lb |  0                0                0.00  |
2.48/2.59	c | 2.59      | 0  | 2527         lb |  0                0                0.00  |
2.48/2.59	c | 2.60      | 0  | 2528         lb |  0                0                0.00  |
2.59/2.60	c | 2.60      | 0  | 2529         lb |  0                0                0.00  |
2.59/2.60	c | 2.61      | 0  | 2530         lb |  0                0                0.00  |
2.59/2.61	c | 2.61      | 0  | 2531         lb |  0                0                0.00  |
2.59/2.61	c | 2.62      | 0  | 2532         lb |  0                0                0.00  |
2.59/2.62	c | 2.62      | 0  | 2533         lb |  0                0                0.00  |
2.59/2.62	c | 2.63      | 0  | 2534         lb |  0                0                0.00  |
2.59/2.63	c | 2.63      | 0  | 2535         lb |  0                0                0.00  |
2.59/2.63	c | 2.64      | 0  | 2536         lb |  0                0                0.00  |
2.59/2.64	c | 2.64      | 0  | 2537         lb |  0                0                0.00  |
2.59/2.64	c | 2.65      | 0  | 2538         lb |  0                0                0.00  |
2.59/2.65	c | 2.65      | 0  | 2539         lb |  0                0                0.00  |
2.59/2.65	c | 2.65      | 0  | 2540         lb |  0                0                0.00  |
2.59/2.66	c | 2.66      | 0  | 2541         lb |  0                0                0.00  |
2.59/2.66	c | 2.67      | 0  | 2542         lb |  0                0                0.00  |
2.59/2.67	c | 2.67      | 0  | 2543         lb |  0                0                0.00  |
2.59/2.67	c | 2.67      | 0  | 2544         lb |  0                0                0.00  |
2.59/2.68	c | 2.68      | 0  | 2545         lb |  0                0                0.00  |
2.59/2.68	c | 2.69      | 0  | 2546         lb |  0                0                0.00  |
2.59/2.69	c | 2.69      | 0  | 2547         lb |  0                0                0.00  |
2.59/2.69	c | 2.69      | 0  | 2548         lb |  0                0                0.00  |
2.69/2.70	c | 2.70      | 0  | 2549         lb |  0                0                0.00  |
2.69/2.70	c | 2.70      | 0  | 2550         lb |  0                0                0.00  |
2.69/2.71	c | 2.71      | 0  | 2551         lb |  0                0                0.00  |
2.69/2.71	c | 2.71      | 0  | 2552         lb |  0                0                0.00  |
2.69/2.71	c | 2.72      | 0  | 2553         lb |  0                0                0.00  |
2.69/2.72	c | 2.72      | 0  | 2554         lb |  0                0                0.00  |
2.69/2.72	c | 2.73      | 0  | 2555         lb |  0                0                0.00  |
2.69/2.73	c | 2.73      | 0  | 2556         lb |  0                0                0.00  |
2.69/2.73	c | 2.74      | 0  | 2557         lb |  0                0                0.00  |
2.69/2.74	c | 2.74      | 0  | 2558         lb |  0                0                0.00  |
2.69/2.74	c | 2.75      | 0  | 2559         lb |  0                0                0.00  |
2.69/2.75	c | 2.75      | 0  | 2560         lb |  0                0                0.00  |
2.69/2.75	c | 2.76      | 0  | 2561         lb |  0                0                0.00  |
2.69/2.76	c | 2.76      | 0  | 2562         lb |  0                0                0.00  |
2.69/2.76	c | 2.77      | 0  | 2563         lb |  0                0                0.00  |
2.69/2.77	c | 2.77      | 0  | 2564         lb |  0                0                0.00  |
2.69/2.77	c | 2.78      | 0  | 2565         lb |  0                0                0.00  |
2.69/2.78	c | 2.78      | 0  | 2566         lb |  0                0                0.00  |
2.69/2.78	c | 2.79      | 0  | 2567         lb |  0                0                0.00  |
2.69/2.79	c | 2.79      | 0  | 2568         lb |  0                0                0.00  |
2.69/2.79	c | 2.80      | 0  | 2569         lb |  0                0                0.00  |
2.79/2.80	c | 2.80      | 0  | 2570         lb |  0                0                0.00  |
2.79/2.80	c | 2.81      | 0  | 2571         lb |  0                0                0.00  |
2.79/2.81	c | 2.81      | 0  | 2572         lb |  0                0                0.00  |
2.79/2.81	c | 2.82      | 0  | 2573         lb |  0                0                0.00  |
2.79/2.82	c | 2.82      | 0  | 2574         lb |  0                0                0.00  |
2.79/2.82	c | 2.83      | 0  | 2575         lb |  0                0                0.00  |
2.79/2.83	c | 2.83      | 0  | 2576         lb |  0                0                0.00  |
2.79/2.83	c | 2.84      | 0  | 2577         lb |  0                0                0.00  |
2.79/2.84	c | 2.84      | 0  | 2578         lb |  0                0                0.00  |
2.79/2.84	c | 2.85      | 0  | 2579         lb |  0                0                0.00  |
2.79/2.85	c | 2.85      | 0  | 2580         lb |  0                0                0.00  |
2.79/2.85	c | 2.86      | 0  | 2581         lb |  0                0                0.00  |
2.79/2.86	c | 2.86      | 0  | 2582         lb |  0                0                0.00  |
2.79/2.86	c | 2.87      | 0  | 2583         lb |  0                0                0.00  |
2.79/2.87	c | 2.87      | 0  | 2584         lb |  0                0                0.00  |
2.79/2.87	c | 2.88      | 0  | 2585         lb |  0                0                0.00  |
2.79/2.88	c | 2.88      | 0  | 2586         lb |  0                0                0.00  |
2.79/2.88	c | 2.89      | 0  | 2587         lb |  0                0                0.00  |
2.79/2.89	c | 2.89      | 0  | 2588         lb |  0                0                0.00  |
2.79/2.89	c | 2.90      | 0  | 2589         lb |  0                0                0.00  |
2.89/2.90	c | 2.90      | 0  | 2590         lb |  0                0                0.00  |
2.89/2.90	c | 2.91      | 0  | 2591         lb |  0                0                0.00  |
2.89/2.91	c | 2.91      | 0  | 2592         lb |  0                0                0.00  |
2.89/2.91	c | 2.92      | 0  | 2593         lb |  0                0                0.00  |
2.89/2.92	c | 2.92      | 0  | 2594         lb |  0                0                0.00  |
2.89/2.92	c | 2.93      | 0  | 2595         lb |  0                0                0.00  |
2.89/2.93	c | 2.93      | 0  | 2596         lb |  0                0                0.00  |
2.89/2.93	c | 2.94      | 0  | 2597         lb |  0                0                0.00  |
2.89/2.94	c | 2.94      | 0  | 2598         lb |  0                0                0.00  |
2.89/2.94	c | 2.95      | 0  | 2599         lb |  0                0                0.00  |
2.89/2.95	c | 2.95      | 0  | 2600         lb |  0                0                0.00  |
2.89/2.95	c | 2.96      | 0  | 2601         lb |  0                0                0.00  |
2.89/2.96	c | 2.96      | 0  | 2602         lb |  0                0                0.00  |
2.89/2.96	c | 2.97      | 0  | 2603         lb |  0                0                0.00  |
2.89/2.97	c | 2.97      | 0  | 2604         lb |  0                0                0.00  |
2.89/2.97	c | 2.98      | 0  | 2605         lb |  0                0                0.00  |
2.89/2.98	c | 2.98      | 0  | 2606         lb |  0                0                0.00  |
2.89/2.98	c | 2.99      | 0  | 2607         lb |  0                0                0.00  |
2.89/2.99	c | 2.99      | 0  | 2608         lb |  0                0                0.00  |
2.89/2.99	c | 3.00      | 0  | 2609         lb |  0                0                0.00  |
2.99/3.00	c | 3.00      | 0  | 2610         lb |  0                0                0.00  |
2.99/3.00	c | 3.01      | 0  | 2611         lb |  0                0                0.00  |
2.99/3.01	c | 3.01      | 0  | 2612         lb |  0                0                0.00  |
2.99/3.01	c | 3.02      | 0  | 2613         lb |  0                0                0.00  |
2.99/3.02	c | 3.02      | 0  | 2614         lb |  0                0                0.00  |
2.99/3.02	c | 3.03      | 0  | 2615         lb |  0                0                0.00  |
2.99/3.03	c | 3.03      | 0  | 2616         lb |  0                0                0.00  |
2.99/3.03	c | 3.04      | 0  | 2617         lb |  0                0                0.00  |
2.99/3.04	c | 3.04      | 0  | 2618         lb |  0                0                0.00  |
2.99/3.04	c | 3.05      | 0  | 2619         lb |  0                0                0.00  |
2.99/3.05	c | 3.05      | 0  | 2620         lb |  0                0                0.00  |
2.99/3.05	c | 3.06      | 0  | 2621         lb |  0                0                0.00  |
2.99/3.06	c | 3.06      | 0  | 2622         lb |  0                0                0.00  |
2.99/3.06	c | 3.07      | 0  | 2623         lb |  0                0                0.00  |
2.99/3.07	c | 3.07      | 0  | 2624         lb |  0                0                0.00  |
2.99/3.07	c | 3.08      | 0  | 2625         lb |  0                0                0.00  |
2.99/3.08	c | 3.08      | 0  | 2626         lb |  0                0                0.00  |
2.99/3.08	c | 3.09      | 0  | 2627         lb |  0                0                0.00  |
2.99/3.09	c | 3.09      | 0  | 2628         lb |  0                0                0.00  |
2.99/3.09	c | 3.10      | 0  | 2629         lb |  0                0                0.00  |
3.09/3.10	c | 3.10      | 0  | 2630         lb |  0                0                0.00  |
3.09/3.10	c | 3.11      | 0  | 2631         lb |  0                0                0.00  |
3.09/3.11	c | 3.11      | 0  | 2632         lb |  0                0                0.00  |
3.09/3.11	c | 3.12      | 0  | 2633         lb |  0                0                0.00  |
3.09/3.12	c | 3.12      | 0  | 2634         lb |  0                0                0.00  |
3.09/3.13	c | 3.13      | 0  | 2635         lb |  0                0                0.00  |
3.09/3.13	c | 3.13      | 0  | 2636         lb |  0                0                0.00  |
3.09/3.14	c | 3.14      | 0  | 2637         lb |  0                0                0.00  |
3.09/3.14	c | 3.14      | 0  | 2638         lb |  0                0                0.00  |
3.09/3.15	c | 3.15      | 0  | 2639         lb |  0                0                0.00  |
3.09/3.15	c | 3.15      | 0  | 2640         lb |  0                0                0.00  |
3.09/3.16	c | 3.16      | 0  | 2641         lb |  0                0                0.00  |
3.09/3.16	c | 3.16      | 0  | 2642         lb |  0                0                0.00  |
3.09/3.17	c | 3.17      | 0  | 2643         lb |  0                0                0.00  |
3.09/3.17	c | 3.17      | 0  | 2644         lb |  0                0                0.00  |
3.09/3.18	c | 3.18      | 0  | 2645         lb |  0                0                0.00  |
3.09/3.18	c | 3.19      | 0  | 2646         lb |  0                0                0.00  |
3.09/3.19	c | 3.19      | 0  | 2647         lb |  0                0                0.00  |
3.09/3.19	c | 3.19      | 0  | 2648         lb |  0                0                0.00  |
3.09/3.20	c | 3.20      | 0  | 2649         lb |  0                0                0.00  |
3.19/3.20	c | 3.21      | 0  | 2650         lb |  0                0                0.00  |
3.19/3.21	c | 3.21      | 0  | 2651         lb |  0                0                0.00  |
3.19/3.21	c | 3.22      | 0  | 2652         lb |  0                0                0.00  |
3.19/3.22	c | 3.22      | 0  | 2653         lb |  0                0                0.00  |
3.19/3.22	c | 3.23      | 0  | 2654         lb |  0                0                0.00  |
3.19/3.23	c | 3.23      | 0  | 2655         lb |  0                0                0.00  |
3.19/3.23	c | 3.24      | 0  | 2656         lb |  0                0                0.00  |
3.19/3.24	c | 3.24      | 0  | 2657         lb |  0                0                0.00  |
3.19/3.24	c | 3.25      | 0  | 2658         lb |  0                0                0.00  |
3.19/3.25	c | 3.25      | 0  | 2659         lb |  0                0                0.00  |
3.19/3.26	c | 3.26      | 0  | 2660         lb |  0                0                0.00  |
3.19/3.26	c | 3.26      | 0  | 2661         lb |  0                0                0.00  |
3.19/3.27	c | 3.27      | 0  | 2662         lb |  0                0                0.00  |
3.19/3.27	c | 3.27      | 0  | 2663         lb |  0                0                0.00  |
3.19/3.28	c | 3.28      | 0  | 2664         lb |  0                0                0.00  |
3.19/3.28	c | 3.29      | 0  | 2665         lb |  0                0                0.00  |
3.19/3.29	c | 3.29      | 0  | 2666         lb |  0                0                0.00  |
3.19/3.29	c | 3.29      | 0  | 2667         lb |  0                0                0.00  |
3.19/3.30	c | 3.30      | 0  | 2668         lb |  0                0                0.00  |
3.29/3.30	c | 3.31      | 0  | 2669         lb |  0                0                0.00  |
3.29/3.31	c | 3.31      | 0  | 2670         lb |  0                0                0.00  |
3.29/3.31	c | 3.32      | 0  | 2671         lb |  0                0                0.00  |
3.29/3.32	c | 3.32      | 0  | 2672         lb |  0                0                0.00  |
3.29/3.32	c | 3.33      | 0  | 2673         lb |  0                0                0.00  |
3.29/3.33	c | 3.33      | 0  | 2674         lb |  0                0                0.00  |
3.29/3.33	c | 3.34      | 0  | 2675         lb |  0                0                0.00  |
3.29/3.34	c | 3.34      | 0  | 2676         lb |  0                0                0.00  |
3.29/3.34	c | 3.35      | 0  | 2677         lb |  0                0                0.00  |
3.29/3.35	c | 3.35      | 0  | 2678         lb |  0                0                0.00  |
3.29/3.35	c | 3.36      | 0  | 2679         lb |  0                0                0.00  |
3.29/3.36	c | 3.36      | 0  | 2680         lb |  0                0                0.00  |
3.29/3.37	c | 3.37      | 0  | 2681         lb |  0                0                0.00  |
3.29/3.37	c | 3.38      | 0  | 2682         lb |  0                0                0.00  |
3.29/3.38	c | 3.38      | 0  | 2683         lb |  0                0                0.00  |
3.29/3.38	c | 3.38      | 0  | 2684         lb |  0                0                0.00  |
3.29/3.39	c | 3.39      | 0  | 2685         lb |  0                0                0.00  |
3.29/3.39	c | 3.40      | 0  | 2686         lb |  0                0                0.00  |
3.38/3.40	c | 3.40      | 0  | 2687         lb |  0                0                0.00  |
3.38/3.40	c | 3.41      | 0  | 2688         lb |  0                0                0.00  |
3.38/3.41	c | 3.41      | 0  | 2689         lb |  0                0                0.00  |
3.38/3.41	c | 3.42      | 0  | 2690         lb |  0                0                0.00  |
3.38/3.42	c | 3.42      | 0  | 2691         lb |  0                0                0.00  |
3.38/3.43	c | 3.43      | 0  | 2692         lb |  0                0                0.00  |
3.38/3.43	c | 3.44      | 0  | 2693         lb |  0                0                0.00  |
3.38/3.44	c | 3.44      | 0  | 2694         lb |  0                0                0.00  |
3.38/3.44	c | 3.45      | 0  | 2695         lb |  0                0                0.00  |
3.38/3.45	c | 3.45      | 0  | 2696         lb |  0                0                0.00  |
3.38/3.45	c | 3.46      | 0  | 2697         lb |  0                0                0.00  |
3.38/3.46	c | 3.46      | 0  | 2698         lb |  0                0                0.00  |
3.38/3.46	c | 3.47      | 0  | 2699         lb |  0                0                0.00  |
3.38/3.47	c | 3.47      | 0  | 2700         lb |  0                0                0.00  |
3.38/3.47	c | 3.48      | 0  | 2701         lb |  0                0                0.00  |
3.38/3.48	c | 3.48      | 0  | 2702         lb |  0                0                0.00  |
3.38/3.48	c | 3.49      | 0  | 2703         lb |  0                0                0.00  |
3.38/3.49	c | 3.49      | 0  | 2704         lb |  0                0                0.00  |
3.48/3.50	c | 3.50      | 0  | 2705         lb |  0                0                0.00  |
3.48/3.50	c | 3.50      | 0  | 2706         lb |  0                0                0.00  |
3.48/3.51	c | 3.51      | 0  | 2707         lb |  0                0                0.00  |
3.48/3.51	c | 3.52      | 0  | 2708         lb |  0                0                0.00  |
3.48/3.52	c | 3.52      | 0  | 2709         lb |  0                0                0.00  |
3.48/3.52	c | 3.53      | 0  | 2710         lb |  0                0                0.00  |
3.48/3.53	c | 3.53      | 0  | 2711         lb |  0                0                0.00  |
3.48/3.53	c | 3.54      | 0  | 2712         lb |  0                0                0.00  |
3.48/3.54	c | 3.54      | 0  | 2713         lb |  0                0                0.00  |
3.48/3.55	c | 3.55      | 0  | 2714         lb |  0                0                0.00  |
3.48/3.55	c | 3.55      | 0  | 2715         lb |  0                0                0.00  |
3.48/3.56	c | 3.56      | 0  | 2716         lb |  0                0                0.00  |
3.48/3.56	c | 3.56      | 0  | 2717         lb |  0                0                0.00  |
3.48/3.57	c | 3.57      | 0  | 2718         lb |  0                0                0.00  |
3.48/3.57	c | 3.58      | 0  | 2719         lb |  0                0                0.00  |
3.48/3.58	c | 3.58      | 0  | 2720         lb |  0                0                0.00  |
3.48/3.58	c | 3.59      | 0  | 2721         lb |  0                0                0.00  |
3.48/3.59	c | 3.59      | 0  | 2722         lb |  0                0                0.00  |
3.48/3.59	c | 3.60      | 0  | 2723         lb |  0                0                0.00  |
3.59/3.60	c | 3.60      | 0  | 2724         lb |  0                0                0.00  |
3.59/3.60	c | 3.61      | 0  | 2725         lb |  0                0                0.00  |
3.59/3.61	c | 3.61      | 0  | 2726         lb |  0                0                0.00  |
3.59/3.62	c | 3.62      | 0  | 2727         lb |  0                0                0.00  |
3.59/3.62	c | 3.62      | 0  | 2728         lb |  0                0                0.00  |
3.59/3.63	c | 3.63      | 0  | 2729         lb |  0                0                0.00  |
3.59/3.63	c | 3.64      | 0  | 2730         lb |  0                0                0.00  |
3.59/3.64	c | 3.64      | 0  | 2731         lb |  0                0                0.00  |
3.59/3.64	c | 3.65      | 0  | 2732         lb |  0                0                0.00  |
3.59/3.65	c | 3.65      | 0  | 2733         lb |  0                0                0.00  |
3.59/3.66	c | 3.66      | 0  | 2734         lb |  0                0                0.00  |
3.59/3.66	c | 3.67      | 0  | 2735         lb |  0                0                0.00  |
3.59/3.67	c | 3.67      | 0  | 2736         lb |  0                0                0.00  |
3.59/3.67	c | 3.68      | 0  | 2737         lb |  0                0                0.00  |
3.59/3.68	c | 3.68      | 0  | 2738         lb |  0                0                0.00  |
3.59/3.68	c | 3.69      | 0  | 2739         lb |  0                0                0.00  |
3.59/3.69	c | 3.69      | 0  | 2740         lb |  0                0                0.00  |
3.59/3.69	c | 3.70      | 0  | 2741         lb |  0                0                0.00  |
3.69/3.70	c | 3.70      | 0  | 2742         lb |  0                0                0.00  |
3.69/3.71	c | 3.71      | 0  | 2743         lb |  0                0                0.00  |
3.69/3.71	c | 3.71      | 0  | 2744         lb |  0                0                0.00  |
3.69/3.72	c | 3.72      | 0  | 2745         lb |  0                0                0.00  |
3.69/3.72	c | 3.73      | 0  | 2746         lb |  0                0                0.00  |
3.69/3.73	c | 3.73      | 0  | 2747         lb |  0                0                0.00  |
3.69/3.73	c | 3.74      | 0  | 2748         lb |  0                0                0.00  |
3.69/3.74	c | 3.74      | 0  | 2749         lb |  0                0                0.00  |
3.69/3.75	c | 3.75      | 0  | 2750         lb |  0                0                0.00  |
3.69/3.75	c | 3.75      | 0  | 2751         lb |  0                0                0.00  |
3.69/3.76	c | 3.76      | 0  | 2752         lb |  0                0                0.00  |
3.69/3.76	c | 3.77      | 0  | 2753         lb |  0                0                0.00  |
3.69/3.77	c | 3.77      | 0  | 2754         lb |  0                0                0.00  |
3.69/3.77	c | 3.78      | 0  | 2755         lb |  0                0                0.00  |
3.69/3.78	c | 3.78      | 0  | 2756         lb |  0                0                0.00  |
3.69/3.79	c | 3.79      | 0  | 2757         lb |  0                0                0.00  |
3.69/3.79	c | 3.79      | 0  | 2758         lb |  0                0                0.00  |
3.79/3.80	c | 3.80      | 0  | 2759         lb |  0                0                0.00  |
3.79/3.80	c | 3.81      | 0  | 2760         lb |  0                0                0.00  |
3.79/3.81	c | 3.81      | 0  | 2761         lb |  0                0                0.00  |
3.79/3.81	c | 3.82      | 0  | 2762         lb |  0                0                0.00  |
3.79/3.82	c | 3.82      | 0  | 2763         lb |  0                0                0.00  |
3.79/3.83	c | 3.83      | 0  | 2764         lb |  0                0                0.00  |
3.79/3.83	c | 3.83      | 0  | 2765         lb |  0                0                0.00  |
3.79/3.84	c | 3.84      | 0  | 2766         lb |  0                0                0.00  |
3.79/3.84	c | 3.85      | 0  | 2767         lb |  0                0                0.00  |
3.79/3.85	c | 3.85      | 0  | 2768         lb |  0                0                0.00  |
3.79/3.85	c | 3.86      | 0  | 2769         lb |  0                0                0.00  |
3.79/3.86	c | 3.86      | 0  | 2770         lb |  0                0                0.00  |
3.79/3.87	c | 3.87      | 0  | 2771         lb |  0                0                0.00  |
3.79/3.87	c | 3.88      | 0  | 2772         lb |  0                0                0.00  |
3.79/3.88	c | 3.88      | 0  | 2773         lb |  0                0                0.00  |
3.79/3.88	c | 3.89      | 0  | 2774         lb |  0                0                0.00  |
3.79/3.89	c | 3.89      | 0  | 2775         lb |  0                0                0.00  |
3.79/3.89	c | 3.90      | 0  | 2776         lb |  0                0                0.00  |
3.89/3.90	c | 3.90      | 0  | 2777         lb |  0                0                0.00  |
3.89/3.91	c | 3.91      | 0  | 2778         lb |  0                0                0.00  |
3.89/3.91	c | 3.92      | 0  | 2779         lb |  0                0                0.00  |
3.89/3.92	c | 3.92      | 0  | 2780         lb |  0                0                0.00  |
3.89/3.92	c | 3.93      | 0  | 2781         lb |  0                0                0.00  |
3.89/3.93	c | 3.93      | 0  | 2782         lb |  0                0                0.00  |
3.89/3.93	c | 3.94      | 0  | 2783         lb |  0                0                0.00  |
3.89/3.94	c | 3.94      | 0  | 2784         lb |  0                0                0.00  |
3.89/3.95	c | 3.95      | 0  | 2785         lb |  0                0                0.00  |
3.89/3.95	c | 3.96      | 0  | 2786         lb |  0                0                0.00  |
3.89/3.96	c | 3.96      | 0  | 2787         lb |  0                0                0.00  |
3.89/3.96	c | 3.97      | 0  | 2788         lb |  0                0                0.00  |
3.89/3.97	c | 3.97      | 0  | 2789         lb |  0                0                0.00  |
3.89/3.97	c | 3.98      | 0  | 2790         lb |  0                0                0.00  |
3.89/3.98	c | 3.98      | 0  | 2791         lb |  0                0                0.00  |
3.89/3.99	c | 3.99      | 0  | 2792         lb |  0                0                0.00  |
3.89/3.99	c | 4.00      | 0  | 2793         lb |  0                0                0.00  |
3.99/4.00	c | 4.00      | 0  | 2794         lb |  0                0                0.00  |
3.99/4.00	c | 4.01      | 0  | 2795         lb |  0                0                0.00  |
3.99/4.01	c | 4.01      | 0  | 2796         lb |  0                0                0.00  |
3.99/4.02	c | 4.02      | 0  | 2797         lb |  0                0                0.00  |
3.99/4.02	c | 4.03      | 0  | 2798         lb |  0                0                0.00  |
3.99/4.03	c | 4.03      | 0  | 2799         lb |  0                0                0.00  |
3.99/4.03	c | 4.04      | 0  | 2800         lb |  0                0                0.00  |
3.99/4.04	c | 4.04      | 0  | 2801         lb |  0                0                0.00  |
3.99/4.04	c | 4.05      | 0  | 2802         lb |  0                0                0.00  |
3.99/4.05	c | 4.05      | 0  | 2803         lb |  0                0                0.00  |
3.99/4.06	c | 4.06      | 0  | 2804         lb |  0                0                0.00  |
3.99/4.06	c | 4.07      | 0  | 2805         lb |  0                0                0.00  |
3.99/4.07	c | 4.07      | 0  | 2806         lb |  0                0                0.00  |
3.99/4.07	c | 4.08      | 0  | 2807         lb |  0                0                0.00  |
3.99/4.08	c | 4.08      | 0  | 2808         lb |  0                0                0.00  |
3.99/4.08	c | 4.09      | 0  | 2809         lb |  0                0                0.00  |
3.99/4.09	c | 4.09      | 0  | 2810         lb |  0                0                0.00  |
4.09/4.10	c | 4.10      | 0  | 2811         lb |  0                0                0.00  |
4.09/4.10	c | 4.11      | 0  | 2812         lb |  0                0                0.00  |
4.09/4.11	c | 4.11      | 0  | 2813         lb |  0                0                0.00  |
4.09/4.11	c | 4.12      | 0  | 2814         lb |  0                0                0.00  |
4.09/4.12	c | 4.12      | 0  | 2815         lb |  0                0                0.00  |
4.09/4.13	c | 4.13      | 0  | 2816         lb |  0                0                0.00  |
4.09/4.13	c | 4.13      | 0  | 2817         lb |  0                0                0.00  |
4.09/4.14	c | 4.14      | 0  | 2818         lb |  0                0                0.00  |
4.09/4.14	c | 4.15      | 0  | 2819         lb |  0                0                0.00  |
4.09/4.15	c | 4.15      | 0  | 2820         lb |  0                0                0.00  |
4.09/4.16	c | 4.16      | 0  | 2821         lb |  0                0                0.00  |
4.09/4.16	c | 4.17      | 0  | 2822         lb |  0                0                0.00  |
4.09/4.17	c | 4.17      | 0  | 2823         lb |  0                0                0.00  |
4.09/4.17	c | 4.18      | 0  | 2824         lb |  0                0                0.00  |
4.09/4.18	c | 4.18      | 0  | 2825         lb |  0                0                0.00  |
4.09/4.19	c | 4.19      | 0  | 2826         lb |  0                0                0.00  |
4.09/4.19	c | 4.20      | 0  | 2827         lb |  0                0                0.00  |
4.18/4.20	c | 4.20      | 0  | 2828         lb |  0                0                0.00  |
4.18/4.21	c | 4.21      | 0  | 2829         lb |  0                0                0.00  |
4.18/4.21	c | 4.22      | 0  | 2830         lb |  0                0                0.00  |
4.18/4.22	c | 4.22      | 0  | 2831         lb |  0                0                0.00  |
4.18/4.23	c | 4.23      | 0  | 2832         lb |  0                0                0.00  |
4.18/4.23	c | 4.24      | 0  | 2833         lb |  0                0                0.00  |
4.18/4.24	c | 4.24      | 0  | 2834         lb |  0                0                0.00  |
4.18/4.25	c | 4.25      | 0  | 2835         lb |  0                0                0.00  |
4.18/4.25	c | 4.26      | 0  | 2836         lb |  0                0                0.00  |
4.18/4.26	c | 4.26      | 0  | 2837         lb |  0                0                0.00  |
4.18/4.26	c | 4.27      | 0  | 2838         lb |  0                0                0.00  |
4.18/4.27	c | 4.28      | 0  | 2839         lb |  0                0                0.00  |
4.18/4.28	c | 4.28      | 0  | 2840         lb |  0                0                0.00  |
4.18/4.28	c | 4.29      | 0  | 2841         lb |  0                0                0.00  |
4.18/4.29	c | 4.29      | 0  | 2842         lb |  0                0                0.00  |
4.18/4.30	c | 4.30      | 0  | 2843         lb |  0                0                0.00  |
4.29/4.30	c | 4.31      | 0  | 2844         lb |  0                0                0.00  |
4.29/4.31	c | 4.32      | 0  | 2845         lb |  0                0                0.00  |
4.29/4.32	c | 4.32      | 0  | 2846         lb |  0                0                0.00  |
4.29/4.32	c | 4.33      | 0  | 2847         lb |  0                0                0.00  |
4.29/4.33	c | 4.34      | 0  | 2848         lb |  0                0                0.00  |
4.29/4.34	c | 4.34      | 0  | 2849         lb |  0                0                0.00  |
4.29/4.35	c | 4.35      | 0  | 2850         lb |  0                0                0.00  |
4.29/4.35	c | 4.36      | 0  | 2851         lb |  0                0                0.00  |
4.29/4.36	c | 4.36      | 0  | 2852         lb |  0                0                0.00  |
4.29/4.37	c | 4.37      | 0  | 2853         lb |  0                0                0.00  |
4.29/4.37	c | 4.38      | 0  | 2854         lb |  0                0                0.00  |
4.29/4.38	c | 4.38      | 0  | 2855         lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | 2856         lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | 2857         lb |  0                0                0.00  |
4.29/4.40	c | 4.40      | 0  | 2858         lb |  0                0                0.00  |
4.39/4.40	c | 4.41      | 0  | 2859         lb |  0                0                0.00  |
4.39/4.41	c | 4.42      | 0  | 2860         lb |  0                0                0.00  |
4.39/4.42	c | 4.42      | 0  | 2861         lb |  0                0                0.00  |
4.39/4.42	c | 4.43      | 0  | 2862         lb |  0                0                0.00  |
4.39/4.43	c | 4.43      | 0  | 2863         lb |  0                0                0.00  |
4.39/4.44	c | 4.44      | 0  | 2864         lb |  0                0                0.00  |
4.39/4.44	c | 4.45      | 0  | 2865         lb |  0                0                0.00  |
4.39/4.45	c | 4.46      | 0  | 2866         lb |  0                0                0.00  |
4.39/4.46	c | 4.46      | 0  | 2867         lb |  0                0                0.00  |
4.39/4.46	c | 4.47      | 0  | 2868         lb |  0                0                0.00  |
4.39/4.47	c | 4.47      | 0  | 2869         lb |  0                0                0.00  |
4.39/4.48	c | 4.48      | 0  | 2870         lb |  0                0                0.00  |
4.39/4.48	c | 4.49      | 0  | 2871         lb |  0                0                0.00  |
4.39/4.49	c | 4.50      | 0  | 2872         lb |  0                0                0.00  |
4.49/4.50	c | 4.50      | 0  | 2873         lb |  0                0                0.00  |
4.49/4.50	c | 4.51      | 0  | 2874         lb |  0                0                0.00  |
4.59/4.62	c | 4.51      | 0  | 2875         lb |  0                0                0.00  |
4.59/4.62	c | 4.52      | 0  | 2876         lb |  0                0                0.00  |
4.59/4.62	c | 4.53      | 0  | 2877         lb |  0                0                0.00  |
4.59/4.62	c | 4.53      | 0  | 2878         lb |  0                0                0.00  |
4.59/4.62	c | 4.54      | 0  | 2879         lb |  0                0                0.00  |
4.59/4.62	c | 4.55      | 0  | 2880         lb |  0                0                0.00  |
4.59/4.62	c | 4.55      | 0  | 2881         lb |  0                0                0.00  |
4.59/4.62	c | 4.56      | 0  | 2882         lb |  0                0                0.00  |
4.59/4.62	c | 4.57      | 0  | 2883         lb |  0                0                0.00  |
4.59/4.62	c | 4.57      | 0  | 2884         lb |  0                0                0.00  |
4.59/4.62	c | 4.58      | 0  | 2885         lb |  0                0                0.00  |
4.59/4.62	c | 4.59      | 0  | 2886         lb |  0                0                0.00  |
4.59/4.62	c | 4.59      | 0  | 2887         lb |  0                0                0.00  |
4.59/4.62	c | 4.60      | 0  | 2888         lb |  0                0                0.00  |
4.59/4.62	c | 4.61      | 0  | 2889         lb |  0                0                0.00  |
4.59/4.62	c | 4.62      | 0  | 2890         lb |  0                0                0.00  |
4.59/4.62	c | 4.62      | 0  | 2891         lb |  0                0                0.00  |
4.59/4.62	c | 4.63      | 0  | 2892         lb |  0                0                0.00  |
4.59/4.63	c | 4.63      | 0  | 2893         lb |  0                0                0.00  |
4.59/4.64	c | 4.64      | 0  | 2894         lb |  0                0                0.00  |
4.59/4.64	c | 4.65      | 0  | 2895         lb |  0                0                0.00  |
4.59/4.65	c | 4.66      | 0  | 2896         lb |  0                0                0.00  |
4.59/4.66	c | 4.66      | 0  | 2897         lb |  0                0                0.00  |
4.59/4.67	c | 4.67      | 0  | 2898         lb |  0                0                0.00  |
4.59/4.67	c | 4.68      | 0  | 2899         lb |  0                0                0.00  |
4.59/4.68	c | 4.68      | 0  | 2900         lb |  0                0                0.00  |
4.59/4.69	c | 4.69      | 0  | 2901         lb |  0                0                0.00  |
4.59/4.69	c | 4.70      | 0  | 2902         lb |  0                0                0.00  |
4.69/4.70	c | 4.70      | 0  | 2903         lb |  0                0                0.00  |
4.69/4.71	c | 4.71      | 0  | 2904         lb |  0                0                0.00  |
4.69/4.71	c | 4.72      | 0  | 2905         lb |  0                0                0.00  |
4.69/4.72	c | 4.72      | 0  | 2906         lb |  0                0                0.00  |
4.69/4.73	c | 4.73      | 0  | 2907         lb |  0                0                0.00  |
4.69/4.73	c | 4.74      | 0  | 2908         lb |  0                0                0.00  |
4.69/4.74	c | 4.75      | 0  | 2909         lb |  0                0                0.00  |
4.69/4.75	c | 4.75      | 0  | 2910         lb |  0                0                0.00  |
4.69/4.75	c | 4.76      | 0  | 2911         lb |  0                0                0.00  |
4.69/4.76	c | 4.76      | 0  | 2912         lb |  0                0                0.00  |
4.69/4.77	c | 4.77      | 0  | 2913         lb |  0                0                0.00  |
4.69/4.78	c | 4.78      | 0  | 2914         lb |  0                0                0.00  |
4.69/4.78	c | 4.79      | 0  | 2915         lb |  0                0                0.00  |
4.69/4.79	c | 4.79      | 0  | 2916         lb |  0                0                0.00  |
4.78/4.80	c | 4.80      | 0  | 2917         lb |  0                0                0.00  |
4.78/4.80	c | 4.81      | 0  | 2918         lb |  0                0                0.00  |
4.78/4.81	c | 4.81      | 0  | 2919         lb |  0                0                0.00  |
4.78/4.82	c | 4.82      | 0  | 2920         lb |  0                0                0.00  |
4.78/4.82	c | 4.83      | 0  | 2921         lb |  0                0                0.00  |
4.78/4.83	c | 4.83      | 0  | 2922         lb |  0                0                0.00  |
4.78/4.84	c | 4.84      | 0  | 2923         lb |  0                0                0.00  |
4.78/4.84	c | 4.85      | 0  | 2924         lb |  0                0                0.00  |
4.78/4.85	c | 4.86      | 0  | 2925         lb |  0                0                0.00  |
4.78/4.86	c | 4.86      | 0  | 2926         lb |  0                0                0.00  |
4.78/4.87	c | 4.87      | 0  | 2927         lb |  0                0                0.00  |
4.78/4.87	c | 4.88      | 0  | 2928         lb |  0                0                0.00  |
4.78/4.88	c | 4.88      | 0  | 2929         lb |  0                0                0.00  |
4.78/4.89	c | 4.89      | 0  | 2930         lb |  0                0                0.00  |
4.78/4.89	c | 4.90      | 0  | 2931         lb |  0                0                0.00  |
4.88/4.90	c | 4.91      | 0  | 2932         lb |  0                0                0.00  |
4.88/4.91	c | 4.91      | 0  | 2933         lb |  0                0                0.00  |
4.88/4.92	c | 4.92      | 0  | 2934         lb |  0                0                0.00  |
4.88/4.92	c | 4.93      | 0  | 2935         lb |  0                0                0.00  |
4.88/4.93	c | 4.93      | 0  | 2936         lb |  0                0                0.00  |
4.88/4.94	c | 4.94      | 0  | 2937         lb |  0                0                0.00  |
4.88/4.94	c | 4.95      | 0  | 2938         lb |  0                0                0.00  |
4.88/4.95	c | 4.96      | 0  | 2939         lb |  0                0                0.00  |
4.88/4.96	c | 4.96      | 0  | 2940         lb |  0                0                0.00  |
4.88/4.97	c | 4.97      | 0  | 2941         lb |  0                0                0.00  |
4.88/4.97	c | 4.98      | 0  | 2942         lb |  0                0                0.00  |
4.88/4.98	c | 4.99      | 0  | 2943         lb |  0                0                0.00  |
4.88/4.99	c | 4.99      | 0  | 2944         lb |  0                0                0.00  |
4.98/5.00	c | 5.00      | 0  | 2945         lb |  0                0                0.00  |
4.98/5.00	c | 5.01      | 0  | 2946         lb |  0                0                0.00  |
4.98/5.01	c | 5.01      | 0  | 2947         lb |  0                0                0.00  |
4.98/5.02	c | 5.02      | 0  | 2948         lb |  0                0                0.00  |
4.98/5.03	c | 5.03      | 0  | 2949         lb |  0                0                0.00  |
4.98/5.03	c | 5.04      | 0  | 2950         lb |  0                0                0.00  |
4.98/5.04	c | 5.04      | 0  | 2951         lb |  0                0                0.00  |
4.98/5.05	c | 5.05      | 0  | 2952         lb |  0                0                0.00  |
4.98/5.06	c | 5.06      | 0  | 2953         lb |  0                0                0.00  |
4.98/5.06	c | 5.07      | 0  | 2954         lb |  0                0                0.00  |
4.98/5.07	c | 5.07      | 0  | 2955         lb |  0                0                0.00  |
4.98/5.08	c | 5.08      | 0  | 2956         lb |  0                0                0.00  |
4.98/5.08	c | 5.09      | 0  | 2957         lb |  0                0                0.00  |
4.98/5.09	c | 5.09      | 0  | 2958         lb |  0                0                0.00  |
5.08/5.10	c | 5.10      | 0  | 2959         lb |  0                0                0.00  |
5.08/5.11	c | 5.11      | 0  | 2960         lb |  0                0                0.00  |
5.08/5.11	c | 5.12      | 0  | 2961         lb |  0                0                0.00  |
5.08/5.12	c | 5.12      | 0  | 2962         lb |  0                0                0.00  |
5.08/5.13	c | 5.13      | 0  | 2963         lb |  0                0                0.00  |
5.08/5.14	c | 5.14      | 0  | 2964         lb |  0                0                0.00  |
5.08/5.14	c | 5.15      | 0  | 2965         lb |  0                0                0.00  |
5.08/5.15	c | 5.16      | 0  | 2966         lb |  0                0                0.00  |
5.08/5.16	c | 5.16      | 0  | 2967         lb |  0                0                0.00  |
5.08/5.17	c | 5.17      | 0  | 2968         lb |  0                0                0.00  |
5.08/5.18	c | 5.18      | 0  | 2969         lb |  0                0                0.00  |
5.08/5.18	c | 5.19      | 0  | 2970         lb |  0                0                0.00  |
5.08/5.19	c | 5.19      | 0  | 2971         lb |  0                0                0.00  |
5.19/5.20	c | 5.20      | 0  | 2972         lb |  0                0                0.00  |
5.19/5.20	c | 5.21      | 0  | 2973         lb |  0                0                0.00  |
5.19/5.21	c | 5.22      | 0  | 2974         lb |  0                0                0.00  |
5.19/5.22	c | 5.22      | 0  | 2975         lb |  0                0                0.00  |
5.19/5.23	c | 5.23      | 0  | 2976         lb |  0                0                0.00  |
5.19/5.23	c | 5.24      | 0  | 2977         lb |  0                0                0.00  |
5.19/5.24	c | 5.25      | 0  | 2978         lb |  0                0                0.00  |
5.19/5.25	c | 5.25      | 0  | 2979         lb |  0                0                0.00  |
5.19/5.26	c | 5.26      | 0  | 2980         lb |  0                0                0.00  |
5.19/5.26	c | 5.27      | 0  | 2981         lb |  0                0                0.00  |
5.19/5.27	c | 5.28      | 0  | 2982         lb |  0                0                0.00  |
5.19/5.28	c | 5.28      | 0  | 2983         lb |  0                0                0.00  |
5.19/5.29	c | 5.29      | 0  | 2984         lb |  0                0                0.00  |
5.19/5.29	c | 5.30      | 0  | 2985         lb |  0                0                0.00  |
5.29/5.30	c | 5.30      | 0  | 2986         lb |  0                0                0.00  |
5.29/5.31	c | 5.31      | 0  | 2987         lb |  0                0                0.00  |
5.29/5.32	c | 5.32      | 0  | 2988         lb |  0                0                0.00  |
5.29/5.32	c | 5.33      | 0  | 2989         lb |  0                0                0.00  |
5.29/5.33	c | 5.33      | 0  | 2990         lb |  0                0                0.00  |
5.29/5.34	c | 5.34      | 0  | 2991         lb |  0                0                0.00  |
5.29/5.35	c | 5.35      | 0  | 2992         lb |  0                0                0.00  |
5.29/5.36	c | 5.36      | 0  | 2993         lb |  0                0                0.00  |
5.29/5.36	c | 5.37      | 0  | 2994         lb |  0                0                0.00  |
5.29/5.37	c | 5.38      | 0  | 2995         lb |  0                0                0.00  |
5.29/5.38	c | 5.38      | 0  | 2996         lb |  0                0                0.00  |
5.29/5.39	c | 5.39      | 0  | 2997         lb |  0                0                0.00  |
5.29/5.40	c | 5.40      | 0  | 2998         lb |  0                0                0.00  |
5.39/5.40	c | 5.41      | 0  | 2999         lb |  0                0                0.00  |
5.39/5.41	c | 5.42      | 0  | 3000         lb |  0                0                0.00  |
5.39/5.42	c | 5.42      | 0  | 3001         lb |  0                0                0.00  |
5.39/5.43	c | 5.43      | 0  | 3002         lb |  0                0                0.00  |
5.39/5.44	c | 5.44      | 0  | 3003         lb |  0                0                0.00  |
5.39/5.44	c | 5.45      | 0  | 3004         lb |  0                0                0.00  |
5.39/5.45	c | 5.46      | 0  | 3005         lb |  0                0                0.00  |
5.39/5.46	c | 5.46      | 0  | 3006         lb |  0                0                0.00  |
5.39/5.47	c | 5.47      | 0  | 3007         lb |  0                0                0.00  |
5.39/5.48	c | 5.48      | 0  | 3008         lb |  0                0                0.00  |
5.39/5.48	c | 5.49      | 0  | 3009         lb |  0                0                0.00  |
5.39/5.49	c | 5.50      | 0  | 3010         lb |  0                0                0.00  |
5.39/5.50	c | 5.50      | 0  | 3011         lb |  0                0                0.00  |
5.49/5.51	c | 5.51      | 0  | 3012         lb |  0                0                0.00  |
5.49/5.52	c | 5.52      | 0  | 3013         lb |  0                0                0.00  |
5.49/5.52	c | 5.53      | 0  | 3014         lb |  0                0                0.00  |
5.49/5.53	c | 5.54      | 0  | 3015         lb |  0                0                0.00  |
5.49/5.54	c | 5.54      | 0  | 3016         lb |  0                0                0.00  |
5.49/5.55	c | 5.55      | 0  | 3017         lb |  0                0                0.00  |
5.49/5.56	c | 5.56      | 0  | 3018         lb |  0                0                0.00  |
5.49/5.57	c | 5.57      | 0  | 3019         lb |  0                0                0.00  |
5.49/5.57	c | 5.58      | 0  | 3020         lb |  0                0                0.00  |
5.49/5.58	c | 5.59      | 0  | 3021         lb |  0                0                0.00  |
5.49/5.59	c | 5.59      | 0  | 3022         lb |  0                0                0.00  |
5.58/5.60	c | 5.60      | 0  | 3023         lb |  0                0                0.00  |
5.58/5.61	c | 5.61      | 0  | 3024         lb |  0                0                0.00  |
5.58/5.62	c | 5.62      | 0  | 3025         lb |  0                0                0.00  |
5.58/5.63	c | 5.63      | 0  | 3026         lb |  0                0                0.00  |
5.58/5.63	c | 5.64      | 0  | 3027         lb |  0                0                0.00  |
5.58/5.64	c | 5.65      | 0  | 3028         lb |  0                0                0.00  |
5.58/5.65	c | 5.66      | 0  | 3029         lb |  0                0                0.00  |
5.58/5.66	c | 5.66      | 0  | 3030         lb |  0                0                0.00  |
5.58/5.67	c | 5.67      | 0  | 3031         lb |  0                0                0.00  |
5.58/5.68	c | 5.68      | 0  | 3032         lb |  0                0                0.00  |
5.58/5.69	c | 5.69      | 0  | 3033         lb |  0                0                0.00  |
5.69/5.70	c | 5.70      | 0  | 3034         lb |  0                0                0.00  |
5.69/5.71	c | 5.71      | 0  | 3035         lb |  0                0                0.00  |
5.69/5.72	c | 5.72      | 0  | 3036         lb |  0                0                0.00  |
5.69/5.73	c | 5.73      | 0  | 3037         lb |  0                0                0.00  |
5.69/5.74	c | 5.74      | 0  | 3038         lb |  0                0                0.00  |
5.69/5.74	c | 5.75      | 0  | 3039         lb |  0                0                0.00  |
5.69/5.76	c | 5.76      | 0  | 3040         lb |  0                0                0.00  |
5.69/5.77	c | 5.77      | 0  | 3041         lb |  0                0                0.00  |
5.69/5.77	c | 5.78      | 0  | 3042         lb |  0                0                0.00  |
5.69/5.78	c | 5.79      | 0  | 3043         lb |  0                0                0.00  |
5.69/5.79	c | 5.79      | 0  | 3044         lb |  0                0                0.00  |
5.79/5.80	c | 5.80      | 0  | 3045         lb |  0                0                0.00  |
5.79/5.81	c | 5.81      | 0  | 3046         lb |  0                0                0.00  |
5.79/5.82	c | 5.82      | 0  | 3047         lb |  0                0                0.00  |
5.79/5.83	c | 5.83      | 0  | 3048         lb |  0                0                0.00  |
5.79/5.83	c | 5.84      | 0  | 3049         lb |  0                0                0.00  |
5.79/5.84	c | 5.85      | 0  | 3050         lb |  0                0                0.00  |
5.79/5.85	c | 5.86      | 0  | 3051         lb |  0                0                0.00  |
5.79/5.86	c | 5.87      | 0  | 3052         lb |  0                0                0.00  |
5.79/5.87	c | 5.87      | 0  | 3053         lb |  0                0                0.00  |
5.79/5.88	c | 5.88      | 0  | 3054         lb |  0                0                0.00  |
5.79/5.89	c | 5.89      | 0  | 3055         lb |  0                0                0.00  |
5.89/5.90	c | 5.90      | 0  | 3056         lb |  0                0                0.00  |
5.89/5.91	c | 5.91      | 0  | 3057         lb |  0                0                0.00  |
5.89/5.91	c | 5.92      | 0  | 3058         lb |  0                0                0.00  |
5.89/5.92	c | 5.93      | 0  | 3059         lb |  0                0                0.00  |
5.89/5.93	c | 5.94      | 0  | 3060         lb |  0                0                0.00  |
5.89/5.94	c | 5.95      | 0  | 3061         lb |  0                0                0.00  |
5.89/5.95	c | 5.96      | 0  | 3062         lb |  0                0                0.00  |
5.89/5.96	c | 5.97      | 0  | 3063         lb |  0                0                0.00  |
5.89/5.97	c | 5.97      | 0  | 3064         lb |  0                0                0.00  |
5.89/5.98	c | 5.98      | 0  | 3065         lb |  0                0                0.00  |
5.89/5.99	c | 5.99      | 0  | 3066         lb |  0                0                0.00  |
5.98/6.00	c | 6.00      | 0  | 3067         lb |  0                0                0.00  |
5.98/6.01	c | 6.01      | 0  | 3068         lb |  0                0                0.00  |
5.98/6.02	c | 6.02      | 0  | 3069         lb |  0                0                0.00  |
5.98/6.03	c | 6.03      | 0  | 3070         lb |  0                0                0.00  |
5.98/6.04	c | 6.04      | 0  | 3071         lb |  0                0                0.00  |
5.98/6.05	c | 6.05      | 0  | 3072         lb |  0                0                0.00  |
5.98/6.06	c | 6.06      | 0  | 3073         lb |  0                0                0.00  |
5.98/6.06	c | 6.07      | 0  | 3074         lb |  0                0                0.00  |
5.98/6.07	c | 6.08      | 0  | 3075         lb |  0                0                0.00  |
5.98/6.08	c | 6.09      | 0  | 3076         lb |  0                0                0.00  |
5.98/6.09	c | 6.10      | 0  | 3077         lb |  0                0                0.00  |
6.08/6.10	c | 6.11      | 0  | 3078         lb |  0                0                0.00  |
6.08/6.12	c | 6.12      | 0  | 3079         lb |  0                0                0.00  |
6.08/6.13	c | 6.13      | 0  | 3080         lb |  0                0                0.00  |
6.08/6.14	c | 6.14      | 0  | 3081         lb |  0                0                0.00  |
6.08/6.15	c | 6.15      | 0  | 3082         lb |  0                0                0.00  |
6.08/6.16	c | 6.16      | 0  | 3083         lb |  0                0                0.00  |
6.08/6.17	c | 6.17      | 0  | 3084         lb |  0                0                0.00  |
6.08/6.18	c | 6.19      | 0  | 3085         lb |  0                0                0.00  |
6.08/6.19	c | 6.20      | 0  | 3086         lb |  0                0                0.00  |
6.18/6.20	c | 6.21      | 0  | 3087         lb |  0                0                0.00  |
6.18/6.23	c | 6.23      | 0  | 3088         lb |  0                0                0.00  |
6.18/6.24	c | 6.24      | 0  | 3089         lb |  0                0                0.00  |
6.18/6.25	c | 6.25      | 0  | 3090         lb |  0                0                0.00  |
6.18/6.26	c | 6.26      | 0  | 3091         lb |  0                0                0.00  |
6.18/6.27	c | 6.27      | 0  | 3092         lb |  0                0                0.00  |
6.18/6.28	c | 6.28      | 0  | 3093         lb |  0                0                0.00  |
6.18/6.29	c | 6.30      | 0  | 3094         lb |  0                0                0.00  |
6.28/6.36	c | 6.36      | 0  | 3095         lb |  0                0                0.00  |
6.28/6.37	c | 6.37      | 0  | 3096         lb |  0                0                0.00  |
6.28/6.38	c | 6.38      | 0  | 3097         lb |  0                0                0.00  |
6.28/6.39	c | 6.39      | 0  | 3098         lb |  0                0                0.00  |
6.49/6.53	c | 6.54      | 0  | 3099         lb |  0                0                0.00  |
6.49/6.55	c | 6.55      | 0  | 3100         lb |  0                0                0.00  |
6.49/6.58	c | 6.59      | 0  | 3101         lb |  0                0                0.00  |
6.49/6.59	c | 6.60      | 0  | 3102         lb |  0                0                0.00  |
6.59/6.61	c | 6.61      | 0  | 3103         lb |  0                0                0.00  |
6.99/7.06	c | 7.06      | 0  | 3104         lb |  0                0                0.00  |
6.99/7.07	c | 7.08      | 0  | 3105         lb |  0                0                0.00  |
6.99/7.09	c | 7.09      | 0  | 3106         lb |  0                0                0.00  |
7.09/7.10	c | 7.10      | 0  | 3107         lb |  0                0                0.00  |
7.09/7.12	c | 7.12      | 0  | 3108         lb |  0                0                0.00  |
7.09/7.13	c | 7.14      | 0  | 3109         lb |  0                0                0.00  |
7.09/7.15	c | 7.15      | 0  | 3110         lb |  0                0                0.00  |
7.09/7.16	c | 7.16      | 0  | 3111         lb |  0                0                0.00  |
7.09/7.17	c | 7.18      | 0  | 3112         lb |  0                0                0.00  |
7.09/7.19	c | 7.20      | 0  | 3113         lb |  0                0                0.00  |
7.19/7.20	c | 7.21      | 0  | 3114         lb |  0                0                0.00  |
7.19/7.23	c | 7.23      | 0  | 3115         lb |  0                0                0.00  |
7.19/7.24	c | 7.24      | 0  | 3116         lb |  0                0                0.00  |
7.19/7.25	c | 7.26      | 0  | 3117         lb |  0                0                0.00  |
7.19/7.27	c | 7.27      | 0  | 3118         lb |  0                0                0.00  |
7.19/7.28	c | 7.29      | 0  | 3119         lb |  0                0                0.00  |
7.29/7.30	c | 7.30      | 0  | 3120         lb |  0                0                0.00  |
7.29/7.32	c | 7.32      | 0  | 3121         lb |  0                0                0.00  |
7.29/7.34	c | 7.34      | 0  | 3122         lb |  0                0                0.00  |
7.29/7.35	c | 7.36      | 0  | 3123         lb |  0                0                0.00  |
7.29/7.37	c | 7.37      | 0  | 3124         lb |  0                0                0.00  |
7.39/7.40	c | 7.40      | 0  | 3125         lb |  0                0                0.00  |
7.39/7.41	c | 7.42      | 0  | 3126         lb |  0                0                0.00  |
7.79/7.83	c | 7.83      | 0  | 3127         lb |  0                0                0.00  |
7.79/7.86	c | 7.87      | 0  | 3128         lb |  0                0                0.00  |
7.79/7.88	c | 7.88      | 0  | 3129         lb |  0                0                0.00  |
7.79/7.89	c | 7.90      | 0  | 3130         lb |  0                0                0.00  |
7.88/7.91	c | 7.91      | 0  | 3131         lb |  0                0                0.00  |
7.88/7.92	c | 7.93      | 0  | 3132         lb |  0                0                0.00  |
7.88/7.94	c | 7.95      | 0  | 3133         lb |  0                0                0.00  |
7.88/7.96	c | 7.97      | 0  | 3134         lb |  0                0                0.00  |
7.88/7.97	c | 7.98      | 0  | 3135         lb |  0                0                0.00  |
7.98/8.00	c | 8.00      | 0  | 3136         lb |  0                0                0.00  |
7.98/8.01	c | 8.02      | 0  | 3137         lb |  0                0                0.00  |
125.55/125.66	c | 125.66    | 0  | 3138         lb |  0                0                0.00  |
1799.58/1800.00	c ===============================================================================
1799.58/1800.00	c Wall Clock Time: 1800.00 s
1799.58/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-3727349-1338656449/watcher-3727349-1338656449 -o /tmp/evaluation-result-3727349-1338656449/solver-3727349-1338656449 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727349-1338656449.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 3466
/proc/meminfo: memFree=26485832/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=4872 CPUtime=0 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) R 3464 3466 1111 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 331770371 4988928 548 33554432000 4194304 5964350 140737274867344 140737274865288 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 1218 548 159 433 0 670 0

[startup+0.0934589 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 3466
/proc/meminfo: memFree=26485832/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=0.08 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 3238 0 0 0 8 0 0 0 20 0 2 0 331770371 87891968 2668 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 2668 192 433 0 21022 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85832

[startup+0.100188 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 3466
/proc/meminfo: memFree=26485832/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=0.09 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 3257 0 0 0 9 0 0 0 20 0 2 0 331770371 87891968 2668 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 2668 192 433 0 21022 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85832

[startup+0.300112 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 3466
/proc/meminfo: memFree=26485832/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=0.28 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 4225 0 0 0 28 0 0 0 20 0 2 0 331770371 87891968 2767 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 2767 192 433 0 21022 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 85832

[startup+0.700111 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 3466
/proc/meminfo: memFree=26485832/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=0.68 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 6240 0 0 0 68 0 0 0 20 0 2 0 331770371 87891968 3046 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 3046 192 433 0 21022 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85832

[startup+1.50022 s]
/proc/loadavg: 2.05 2.06 2.00 3/178 3468
/proc/meminfo: memFree=26474176/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=1.49 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 12231 0 0 0 147 2 0 0 20 0 2 0 331770371 87891968 3518 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 3518 192 433 0 21022 0
[pid=3466/tid=3468] ppid=3464 vsize=85832 CPUtime=1.44 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 10735 0 0 0 143 1 0 0 20 0 2 0 331770374 87891968 3518 33554432000 4194304 5964350 140737274867344 140541225605656 4571521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85832

[startup+3.10023 s]
/proc/loadavg: 2.05 2.06 2.00 3/178 3468
/proc/meminfo: memFree=26469944/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=3.09 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 24761 0 0 0 306 3 0 0 20 0 2 0 331770371 87891968 5470 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 5470 192 433 0 21022 0
[pid=3466/tid=3468] ppid=3464 vsize=85832 CPUtime=3.04 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 23265 0 0 0 301 3 0 0 20 0 2 0 331770374 87891968 5470 33554432000 4194304 5964350 140737274867344 140541225605656 4395259 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85832

[startup+6.30026 s]
/proc/loadavg: 2.04 2.06 2.00 3/178 3468
/proc/meminfo: memFree=26450240/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=6.28 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 47504 0 0 0 621 7 0 0 20 0 2 0 331770371 87891968 10098 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 10098 196 433 0 21022 0
[pid=3466/tid=3468] ppid=3464 vsize=85832 CPUtime=6.23 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 46008 0 0 0 616 7 0 0 20 0 2 0 331770374 87891968 10098 33554432000 4194304 5964350 140737274867344 140541225605656 4395326 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85832

[startup+12.7002 s]
/proc/loadavg: 2.12 2.08 2.01 3/178 3468
/proc/meminfo: memFree=26442056/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=12.68 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 49074 0 0 0 1260 8 0 0 20 0 2 0 331770371 87891968 11101 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 11101 196 433 0 21022 0
[pid=3466/tid=3468] ppid=3464 vsize=85832 CPUtime=12.61 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 47578 0 0 0 1253 8 0 0 20 0 2 0 331770374 87891968 11101 33554432000 4194304 5964350 140737274867344 140541225605656 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85832

[startup+25.5002 s]
/proc/loadavg: 2.09 2.07 2.01 3/178 3491
/proc/meminfo: memFree=26434884/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=85832 CPUtime=25.48 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 50730 0 0 0 2539 9 0 0 20 0 2 0 331770371 87891968 12757 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21458 12757 196 433 0 21022 0
[pid=3466/tid=3468] ppid=3464 vsize=85832 CPUtime=25.38 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 49234 0 0 0 2529 9 0 0 20 0 2 0 331770374 87891968 12757 33554432000 4194304 5964350 140737274867344 140541225605112 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85832

[startup+51.1002 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 3491
/proc/meminfo: memFree=26420444/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=86316 CPUtime=51.07 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 53711 0 0 0 5097 10 0 0 20 0 2 0 331770371 88387584 15738 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 21579 15738 196 433 0 21143 0
[pid=3466/tid=3468] ppid=3464 vsize=86316 CPUtime=50.91 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 52215 0 0 0 5081 10 0 0 20 0 2 0 331770374 88387584 15738 33554432000 4194304 5964350 140737274867344 140541225604920 4399958 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86316

[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 3491
/proc/meminfo: memFree=26407020/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=151852 CPUtime=102.26 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 56879 0 0 0 10214 12 0 0 20 0 2 0 331770371 155496448 18906 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 37963 18906 196 433 0 37527 0
[pid=3466/tid=3468] ppid=3464 vsize=151852 CPUtime=101.98 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 55383 0 0 0 10185 13 0 0 20 0 2 0 331770374 155496448 18906 33554432000 4194304 5964350 140737274867344 140541225605160 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151852

[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 3491
/proc/meminfo: memFree=26396844/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=151368 CPUtime=162.24 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 59122 0 0 0 16211 13 0 0 20 0 2 0 331770371 155000832 21016 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 37842 21016 196 433 0 37406 0
[pid=3466/tid=3468] ppid=3464 vsize=151368 CPUtime=161.82 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 57626 0 0 0 16167 15 0 0 20 0 2 0 331770374 155000832 21016 33554432000 4194304 5964350 140737274867344 140541225606072 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151368

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 3492
/proc/meminfo: memFree=26396720/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=151368 CPUtime=222.23 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 59342 0 0 0 22210 13 0 0 20 0 2 0 331770371 155000832 21236 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 37842 21236 196 433 0 37406 0
[pid=3466/tid=3468] ppid=3464 vsize=151368 CPUtime=221.66 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 57846 0 0 0 22150 16 0 0 20 0 2 0 331770374 155000832 21236 33554432000 4194304 5964350 140737274867344 140541225605112 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 151368

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 3492
/proc/meminfo: memFree=26381220/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=151368 CPUtime=282.23 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 63247 0 0 0 28205 18 0 0 20 0 2 0 331770371 155000832 25141 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 37842 25141 196 433 0 37406 0
[pid=3466/tid=3468] ppid=3464 vsize=151368 CPUtime=281.51 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 61751 0 0 0 28130 21 0 0 20 0 2 0 331770374 155000832 25141 33554432000 4194304 5964350 140737274867344 140541225605112 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 151368

[startup+342.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/176 3492
/proc/meminfo: memFree=26362240/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=152452 CPUtime=342.22 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 68077 0 0 0 34198 24 0 0 20 0 2 0 331770371 156110848 29971 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 38113 29971 196 433 0 37677 0
[pid=3466/tid=3468] ppid=3464 vsize=152452 CPUtime=341.35 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 66581 0 0 0 34107 28 0 0 20 0 2 0 331770374 156110848 29971 33554432000 4194304 5964350 140737274867344 140541225605160 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 152452

[startup+402.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 3493
/proc/meminfo: memFree=26349344/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=152452 CPUtime=402.21 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 71138 0 0 0 40194 27 0 0 20 0 2 0 331770371 156110848 33032 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 38113 33032 196 433 0 37677 0
[pid=3466/tid=3468] ppid=3464 vsize=152452 CPUtime=401.2 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 69642 0 0 0 40087 33 0 0 20 0 2 0 331770374 156110848 33032 33554432000 4194304 5964350 140737274867344 140541225605112 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 152452

[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 3493
/proc/meminfo: memFree=26334368/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=217988 CPUtime=462.18 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 3542
/proc/meminfo: memFree=26187660/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=349600 CPUtime=1421.95 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 111818 0 0 0 142114 81 0 0 20 0 2 0 331770371 357990400 74930 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 87400 74930 196 433 0 86964 0
[pid=3466/tid=3468] ppid=3464 vsize=349600 CPUtime=1418.48 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 110322 0 0 0 141746 102 0 0 20 0 2 0 331770374 357990400 74930 33554432000 4194304 5964350 140737274867344 140541225605160 4388544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 349600

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 3542
/proc/meminfo: memFree=26136736/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=349600 CPUtime=1481.94 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 112990 0 0 0 148111 83 0 0 20 0 2 0 331770371 357990400 76102 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 87400 76102 196 433 0 86964 0
[pid=3466/tid=3468] ppid=3464 vsize=349600 CPUtime=1478.33 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 111494 0 0 0 147728 105 0 0 20 0 2 0 331770374 357990400 76102 33554432000 4194304 5964350 140737274867344 140541225605112 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 349600

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 3542
/proc/meminfo: memFree=26116152/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=349600 CPUtime=1541.93 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 117191 0 0 0 154104 89 0 0 20 0 2 0 331770371 357990400 80303 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 87400 80303 196 433 0 86964 0
[pid=3466/tid=3468] ppid=3464 vsize=349600 CPUtime=1538.17 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 115695 0 0 0 153705 112 0 0 20 0 2 0 331770374 357990400 80303 33554432000 4194304 5964350 140737274867344 140541225605160 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 349600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3543
/proc/meminfo: memFree=26078572/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=349600 CPUtime=1601.92 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 118611 0 0 0 160101 91 0 0 20 0 2 0 331770371 357990400 81723 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 87400 81723 196 433 0 86964 0
[pid=3466/tid=3468] ppid=3464 vsize=349600 CPUtime=1598.02 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 117115 0 0 0 159687 115 0 0 20 0 2 0 331770374 357990400 81723 33554432000 4194304 5964350 140737274867344 140541225604920 4400462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 349600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3543
/proc/meminfo: memFree=26016084/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=349600 CPUtime=1661.91 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 120787 0 0 0 166096 95 0 0 20 0 2 0 331770371 357990400 83899 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 87400 83899 196 433 0 86964 0
[pid=3466/tid=3468] ppid=3464 vsize=349600 CPUtime=1657.86 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 119291 0 0 0 165666 120 0 0 20 0 2 0 331770374 357990400 83899 33554432000 4194304 5964350 140737274867344 140541225605160 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 349600

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3544
/proc/meminfo: memFree=26002820/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415136 CPUtime=1721.91 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 124136 0 0 0 172091 100 0 0 20 0 2 0 331770371 425099264 87248 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103784 87248 196 433 0 103348 0
[pid=3466/tid=3468] ppid=3464 vsize=415136 CPUtime=1717.71 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 122640 0 0 0 171645 126 0 0 20 0 2 0 331770374 425099264 87248 33554432000 4194304 5964350 140737274867344 140541225605112 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 415136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3547
/proc/meminfo: memFree=25995700/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1781.89 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125690 0 0 0 178087 102 0 0 20 0 2 0 331770371 425926656 88866 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88866 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1777.55 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124194 0 0 0 177626 129 0 0 20 0 2 0 331770374 425926656 88866 33554432000 4194304 5964350 140737274867344 140541225604920 4388229 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 415944

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3547
/proc/meminfo: memFree=25995700/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1791.49 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125690 0 0 0 179047 102 0 0 20 0 2 0 331770371 425926656 88866 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88866 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1787.13 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124194 0 0 0 178584 129 0 0 20 0 2 0 331770374 425926656 88866 33554432000 4194304 5964350 140737274867344 140541225604920 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 415944

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25995704/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1794.69 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125690 0 0 0 179367 102 0 0 20 0 2 0 331770371 425926656 88866 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88866 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1790.32 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124194 0 0 0 178903 129 0 0 20 0 2 0 331770374 425926656 88866 33554432000 4194304 5964350 140737274867344 140541225604920 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 415944

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25994764/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1797.88 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125695 0 0 0 179686 102 0 0 20 0 2 0 331770371 425926656 88892 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88892 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1793.5 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124199 0 0 0 179221 129 0 0 20 0 2 0 331770374 425926656 88892 33554432000 4194304 5964350 140737274867344 140541225604920 4410428 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 415944

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25994888/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1798.68 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125695 0 0 0 179766 102 0 0 20 0 2 0 331770371 425926656 88892 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88892 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1794.3 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124199 0 0 0 179301 129 0 0 20 0 2 0 331770374 425926656 88892 33554432000 4194304 5964350 140737274867344 140541225604920 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 415944

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25994888/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1799.09 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125695 0 0 0 179807 102 0 0 20 0 2 0 331770371 425926656 88892 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88892 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1794.71 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124199 0 0 0 179342 129 0 0 20 0 2 0 331770374 425926656 88892 33554432000 4194304 5964350 140737274867344 140541225604920 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 415944

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25994888/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1799.48 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125695 0 0 0 179846 102 0 0 20 0 2 0 331770371 425926656 88892 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88892 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1795.1 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124199 0 0 0 179381 129 0 0 20 0 2 0 331770374 425926656 88892 33554432000 4194304 5964350 140737274867344 140541225604920 4400026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 415944

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3547
/proc/meminfo: memFree=25994888/32873624 swapFree=7112/7112
[pid=3466] ppid=3464 vsize=415944 CPUtime=1799.58 cores=1,3,5,7
/proc/3466/stat : 3466 (wbo1.72) S 3464 3466 1111 0 -1 4202496 125695 0 0 0 179856 102 0 0 20 0 2 0 331770371 425926656 88892 33554432000 4194304 5964350 140737274867344 140737274866864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3466/statm: 103986 88892 196 433 0 103550 0
[pid=3466/tid=3468] ppid=3464 vsize=415944 CPUtime=1795.2 cores=1,3,5,7
/proc/3466/task/3468/stat : 3468 (wbo1.72) R 3464 3466 1111 0 -1 4202560 124199 0 0 0 179391 129 0 0 20 0 2 0 331770374 425926656 88892 33554432000 4194304 5964350 140737274867344 140541225604920 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 415944

Child status: 255

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

Real time (s): 1800.01
CPU time (s): 1799.58
CPU user time (s): 1798.56
CPU system time (s): 1.02
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 415944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 1.3078
maximum resident set size= 355576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125697
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= 140
involuntary context switches= 2030

runsolver used 2.68259 second user time and 7.15891 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-02 19:00:49
IDJOB=3727349
IDBENCH=2109
IDSOLVER=2313
FILE ID=node121/3727349-1338656449
RUNJOBID= node121-1338651658-2672
PBS_JOBID= 14636459
Free space on /tmp= 71312 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727349-1338656449/watcher-3727349-1338656449 -o /tmp/evaluation-result-3727349-1338656449/solver-3727349-1338656449 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727349-1338656449.opb

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

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=25329129

node121.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.042
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.08
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.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        26485988 kB
Buffers:          595348 kB
Cached:          4225072 kB
SwapCached:            0 kB
Active:          2290188 kB
Inactive:        3227076 kB
Active(anon):     684480 kB
Inactive(anon):    10776 kB
Active(file):    1605708 kB
Inactive(file):  3216300 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5988 kB
Writeback:            16 kB
AnonPages:        699584 kB
Mapped:            14852 kB
Shmem:               200 kB
Slab:             732496 kB
SReclaimable:     176668 kB
SUnreclaim:       555828 kB
KernelStack:        1440 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     133000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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= 71308 MiB
End job on node121 at 2012-06-02 19:30:49