Trace number 3705048

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

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

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705048-1338092956/watcher-3705048-1338092956 -o /tmp/evaluation-result-3705048-1338092956/solver-3705048-1338092956 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705048-1338092956.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.03 2.02 1.99 2/177 3186
/proc/meminfo: memFree=30078748/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=5224 CPUtime=0 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) R 3184 3186 2698 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 275419933 5349376 601 33554432000 4194304 5963574 140734066247040 140734066244984 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 1306 603 162 432 0 759 0

[startup+0.098677 s]
/proc/loadavg: 2.03 2.02 1.99 2/177 3186
/proc/meminfo: memFree=30078748/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=0.09 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 3240 0 0 0 9 0 0 0 20 0 2 0 275419933 87887872 2650 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 2650 194 432 0 21022 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85828

[startup+0.100579 s]
/proc/loadavg: 2.03 2.02 1.99 2/177 3186
/proc/meminfo: memFree=30078748/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=0.09 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 3259 0 0 0 9 0 0 0 20 0 2 0 275419933 87887872 2669 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 2669 194 432 0 21022 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85828

[startup+0.300116 s]
/proc/loadavg: 2.03 2.02 1.99 2/177 3186
/proc/meminfo: memFree=30078748/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=0.29 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 4208 0 0 0 29 0 0 0 20 0 2 0 275419933 87887872 2749 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 2749 194 432 0 21022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85828

[startup+0.700114 s]
/proc/loadavg: 2.03 2.02 1.99 2/177 3186
/proc/meminfo: memFree=30078748/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=0.69 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 6242 0 0 0 69 0 0 0 20 0 2 0 275419933 87887872 3047 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 3047 194 432 0 21022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85828

[startup+1.50023 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30062028/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=1.48 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 12189 0 0 0 147 1 0 0 20 0 2 0 275419933 87887872 3557 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 3557 194 432 0 21022 0
[pid=3186/tid=3188] ppid=3184 vsize=85828 CPUtime=1.44 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 10693 0 0 0 143 1 0 0 20 0 2 0 275419937 87887872 3557 33554432000 4194304 5963574 140734066247040 140008500963864 4418856 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85828

[startup+3.1003 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30055192/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=3.08 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 24377 0 0 0 305 3 0 0 20 0 2 0 275419933 87887872 5307 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 5307 194 432 0 21022 0
[pid=3186/tid=3188] ppid=3184 vsize=85828 CPUtime=3.04 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 22881 0 0 0 301 3 0 0 20 0 2 0 275419937 87887872 5307 33554432000 4194304 5963574 140734066247040 140008500953408 4394802 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85828

[startup+6.30035 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30033384/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=6.29 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 45097 0 0 0 621 8 0 0 20 0 2 0 275419933 87887872 9681 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 9681 197 432 0 21022 0
[pid=3186/tid=3188] ppid=3184 vsize=85828 CPUtime=6.23 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 43601 0 0 0 615 8 0 0 20 0 2 0 275419937 87887872 9681 33554432000 4194304 5963574 140734066247040 140008500963864 5133125 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85828

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30012912/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=12.68 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 49064 0 0 0 1259 9 0 0 20 0 2 0 275419933 87887872 11090 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 11090 197 432 0 21022 0
[pid=3186/tid=3188] ppid=3184 vsize=85828 CPUtime=12.61 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 47568 0 0 0 1252 9 0 0 20 0 2 0 275419937 87887872 11090 33554432000 4194304 5963574 140734066247040 140008500963864 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85828

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 1.99 3/179 3188
/proc/meminfo: memFree=29997920/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=85828 CPUtime=25.48 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 50574 0 0 0 2539 9 0 0 20 0 2 0 275419933 87887872 12600 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21457 12600 197 432 0 21022 0
[pid=3186/tid=3188] ppid=3184 vsize=85828 CPUtime=25.38 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 49078 0 0 0 2529 9 0 0 20 0 2 0 275419937 87887872 12600 33554432000 4194304 5963574 140734066247040 140008500963368 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85828

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 1.99 3/180 3191
/proc/meminfo: memFree=29975520/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=86312 CPUtime=51.08 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 53709 0 0 0 5097 11 0 0 20 0 2 0 275419933 88383488 15964 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 21578 15964 197 432 0 21143 0
[pid=3186/tid=3188] ppid=3184 vsize=86312 CPUtime=50.91 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 52213 0 0 0 5081 10 0 0 20 0 2 0 275419937 88383488 15964 33554432000 4194304 5963574 140734066247040 140008500963320 4431535 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86312

[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 3192
/proc/meminfo: memFree=29947064/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=151848 CPUtime=102.24 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 57321 0 0 0 10211 13 0 0 20 0 2 0 275419933 155492352 20516 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 37962 20516 197 432 0 37527 0
[pid=3186/tid=3188] ppid=3184 vsize=151848 CPUtime=101.96 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 55825 0 0 0 10182 14 0 0 20 0 2 0 275419937 155492352 20516 33554432000 4194304 5963574 140734066247040 140008500963368 4408735 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 151848

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3192
/proc/meminfo: memFree=29928996/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=151364 CPUtime=162.23 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 59151 0 0 0 16207 16 0 0 20 0 2 0 275419933 154996736 22210 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 37841 22210 197 432 0 37406 0
[pid=3186/tid=3188] ppid=3184 vsize=151364 CPUtime=161.8 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 57655 0 0 0 16162 18 0 0 20 0 2 0 275419937 154996736 22210 33554432000 4194304 5963574 140734066247040 140008500964280 4399648 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151364

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3192
/proc/meminfo: memFree=29922048/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=151364 CPUtime=222.22 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 60972 0 0 0 22203 19 0 0 20 0 2 0 275419933 154996736 24063 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 37841 24063 197 432 0 37406 0
[pid=3186/tid=3188] ppid=3184 vsize=151364 CPUtime=221.64 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 59476 0 0 0 22142 22 0 0 20 0 2 0 275419937 154996736 24063 33554432000 4194304 5963574 140734066247040 140008500963368 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 151364

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3192
/proc/meminfo: memFree=29906296/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=151364 CPUtime=282.2 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 64788 0 0 0 28196 24 0 0 20 0 2 0 275419933 154996736 27878 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 37841 27878 197 432 0 37406 0
[pid=3186/tid=3188] ppid=3184 vsize=151364 CPUtime=281.49 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 63292 0 0 0 28121 28 0 0 20 0 2 0 275419937 154996736 27878 33554432000 4194304 5963574 140734066247040 140008500963128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 151364

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3192
/proc/meminfo: memFree=29879176/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=152448 CPUtime=342.18 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 68443 0 0 0 34189 29 0 0 20 0 2 0 275419933 156106752 31627 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 38112 31627 197 432 0 37677 0
[pid=3186/tid=3188] ppid=3184 vsize=152448 CPUtime=341.32 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 66947 0 0 0 34098 34 0 0 20 0 2 0 275419937 156106752 31627 33554432000 4194304 5963574 140734066247040 140008500963128 4399522 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 152448

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3193
/proc/meminfo: memFree=29860064/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=152448 CPUtime=402.17 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 71107 0 0 0 40185 32 0 0 20 0 2 0 275419933 156106752 34291 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 38112 34291 197 432 0 37677 0
[pid=3186/tid=3188] ppid=3184 vsize=152448 CPUtime=401.17 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 69611 0 0 0 40079 38 0 0 20 0 2 0 275419937 156106752 34291 33554432000 4194304 5963574 140734066247040 140008500963128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 152448

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3193
/proc/meminfo: memFree=29845152/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=217984 CPUtime=462.14 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29379456/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1421.95 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 109307 0 0 0 142105 90 0 0 20 0 2 0 275419933 357986304 72816 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 72816 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1418.49 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 107811 0 0 0 141738 111 0 0 20 0 2 0 275419937 357986304 72816 33554432000 4194304 5963574 140734066247040 140008500963128 4400276 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) 349596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29347588/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1481.94 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 110722 0 0 0 148101 93 0 0 20 0 2 0 275419933 357986304 74231 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 74231 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1478.33 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 109226 0 0 0 147719 114 0 0 20 0 2 0 275419937 357986304 74231 33554432000 4194304 5963574 140734066247040 140008500963320 4399456 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) 349596

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29326052/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1541.92 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 112666 0 0 0 154096 96 0 0 20 0 2 0 275419933 357986304 76220 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 76220 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1538.17 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 111170 0 0 0 153698 119 0 0 20 0 2 0 275419937 357986304 76220 33554432000 4194304 5963574 140734066247040 140008500963320 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 349596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29290936/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1601.89 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 115463 0 0 0 160088 101 0 0 20 0 2 0 275419933 357986304 79019 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 79019 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1598 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 113967 0 0 0 159675 125 0 0 20 0 2 0 275419937 357986304 79019 33554432000 4194304 5963574 140734066247040 140008500963368 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 349596

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29269980/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1661.88 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 118445 0 0 0 166082 106 0 0 20 0 2 0 275419933 357986304 82001 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 82001 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1657.84 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 116949 0 0 0 165653 131 0 0 20 0 2 0 275419937 357986304 82001 33554432000 4194304 5963574 140734066247040 140008500963320 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 349596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29243220/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=349596 CPUtime=1721.87 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 118494 0 0 0 172081 106 0 0 20 0 2 0 275419933 357986304 82050 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 87399 82050 197 432 0 86964 0
[pid=3186/tid=3188] ppid=3184 vsize=349596 CPUtime=1717.69 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 116998 0 0 0 171637 132 0 0 20 0 2 0 275419937 357986304 82050 33554432000 4194304 5963574 140734066247040 140008500963128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 349596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29218412/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1781.87 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 121440 0 0 0 178077 110 0 0 20 0 2 0 275419933 425095168 84996 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 84996 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1777.54 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 119944 0 0 0 177617 137 0 0 20 0 2 0 275419937 425095168 84996 33554432000 4194304 5963574 140734066247040 140008500963368 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 415132

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29214676/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1791.47 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 121876 0 0 0 179036 111 0 0 20 0 2 0 275419933 425095168 85432 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85432 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1787.12 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120380 0 0 0 178574 138 0 0 20 0 2 0 275419937 425095168 85432 33554432000 4194304 5963574 140734066247040 140008500963368 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 415132

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29214048/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1794.67 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122030 0 0 0 179356 111 0 0 20 0 2 0 275419933 425095168 85586 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85586 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1790.31 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120534 0 0 0 178893 138 0 0 20 0 2 0 275419937 425095168 85586 33554432000 4194304 5963574 140734066247040 140008500963368 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 415132

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213552/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1797.87 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122177 0 0 0 179675 112 0 0 20 0 2 0 275419933 425095168 85733 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85733 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1793.5 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120681 0 0 0 179212 138 0 0 20 0 2 0 275419937 425095168 85733 33554432000 4194304 5963574 140734066247040 140008500963320 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 415132

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213180/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1798.67 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122213 0 0 0 179755 112 0 0 20 0 2 0 275419933 425095168 85769 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85769 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1794.3 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120717 0 0 0 179292 138 0 0 20 0 2 0 275419937 425095168 85769 33554432000 4194304 5963574 140734066247040 140008500962920 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 415132

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29212932/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1799.08 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122232 0 0 0 179796 112 0 0 20 0 2 0 275419933 425095168 85788 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85788 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1794.7 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120736 0 0 0 179332 138 0 0 20 0 2 0 275419937 425095168 85788 33554432000 4194304 5963574 140734066247040 140008500963320 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 415132

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29212932/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1799.47 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122251 0 0 0 179835 112 0 0 20 0 2 0 275419933 425095168 85807 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85807 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1795.09 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120755 0 0 0 179371 138 0 0 20 0 2 0 275419937 425095168 85807 33554432000 4194304 5963574 140734066247040 140008500963320 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 415132

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29212932/32873844 swapFree=7628/7628
[pid=3186] ppid=3184 vsize=415132 CPUtime=1799.57 cores=1,3,5,7
/proc/3186/stat : 3186 (wbo1.7) S 3184 3186 2698 0 -1 4202496 122255 0 0 0 179845 112 0 0 20 0 2 0 275419933 425095168 85811 33554432000 4194304 5963574 140734066247040 140734066246560 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3186/statm: 103783 85811 197 432 0 103348 0
[pid=3186/tid=3188] ppid=3184 vsize=415132 CPUtime=1795.19 cores=1,3,5,7
/proc/3186/task/3188/stat : 3188 (wbo1.7) R 3184 3186 2698 0 -1 4202560 120759 0 0 0 179381 138 0 0 20 0 2 0 275419937 425095168 85811 33554432000 4194304 5963574 140734066247040 140008500963320 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 415132

Child status: 255

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

Real time (s): 1800.01
CPU time (s): 1799.57
CPU user time (s): 1798.45
CPU system time (s): 1.12
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 415132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 1.39779
maximum resident set size= 343244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122255
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= 146
involuntary context switches= 1864

runsolver used 3.17652 second user time and 9.63853 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-27 06:29:16
IDJOB=3705048
IDBENCH=2109
IDSOLVER=2283
FILE ID=node145/3705048-1338092956
RUNJOBID= node145-1338087553-2715
PBS_JOBID= 14624445
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=68008561

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30081572 kB
Buffers:          289716 kB
Cached:          1672272 kB
SwapCached:            0 kB
Active:           643788 kB
Inactive:        1335096 kB
Active(anon):       8224 kB
Inactive(anon):    10912 kB
Active(file):     635564 kB
Inactive(file):  1324184 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11624 kB
Writeback:             0 kB
AnonPages:        105284 kB
Mapped:            14880 kB
Shmem:               200 kB
Slab:             673104 kB
SReclaimable:     114716 kB
SUnreclaim:       558388 kB
KernelStack:        1472 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71544 MiB
End job on node145 at 2012-05-27 06:59:16