Trace number 3705069

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4822
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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-3705069-1338091286.opb.
0.00/0.00	c Instance file HOME/instance-3705069-1338091286.opb
0.00/0.00	c File size is 94864 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 43
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      771                                                 |
0.00/0.01	c |  Number Clauses:        1951                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.01	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.01	c ===============================================================================
0.00/0.01	c | 0.01      | 0  | 341          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 360          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 369          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 401          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 419          lb |  0                0                0.00  |
0.01/0.02	c | 0.01      | 0  | 429          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 439          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 464          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 473          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 488          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 522          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 538          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 554          lb |  0                0                0.00  |
0.01/0.02	c | 0.02      | 0  | 596          lb |  0                0                0.00  |
0.01/0.03	c | 0.02      | 0  | 615          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 657          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 675          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 709          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 734          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 743          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 777          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 793          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 820          lb |  0                0                0.00  |
0.01/0.03	c | 0.03      | 0  | 825          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 844          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 876          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 895          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 912          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 946          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 963          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 996          lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 1006         lb |  0                0                0.00  |
0.01/0.04	c | 0.04      | 0  | 1038         lb |  0                0                0.00  |
0.01/0.05	c | 0.04      | 0  | 1042         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1059         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1077         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1109         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1128         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1145         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1179         lb |  0                0                0.00  |
0.01/0.05	c | 0.05      | 0  | 1211         lb |  0                0                0.00  |
0.01/0.06	c | 0.05      | 0  | 1230         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1262         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1280         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1290         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1318         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1322         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1331         lb |  0                0                0.00  |
0.01/0.06	c | 0.06      | 0  | 1340         lb |  0                0                0.00  |
0.01/0.07	c | 0.06      | 0  | 1365         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1376         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1418         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1421         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1455         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1471         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1487         lb |  0                0                0.00  |
0.01/0.07	c | 0.07      | 0  | 1516         lb |  0                0                0.00  |
0.01/0.08	c | 0.07      | 0  | 1537         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1538         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1580         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1622         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1664         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1698         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1723         lb |  0                0                0.00  |
0.01/0.08	c | 0.08      | 0  | 1725         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1734         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1759         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1769         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1795         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1826         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1834         lb |  0                0                0.00  |
0.01/0.09	c | 0.09      | 0  | 1851         lb |  0                0                0.00  |
0.09/0.10	c | 0.09      | 0  | 1860         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1885         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1894         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1911         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1945         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1962         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1996         lb |  0                0                0.00  |
0.09/0.11	c | 0.10      | 0  | 2013         lb |  0                0                0.00  |
0.09/0.11	c | 0.10      | 0  | 2030         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2047         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2056         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2073         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2099         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2101         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2118         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2135         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2145         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2162         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2204         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2212         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2222         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2232         lb |  0                0                0.00  |
0.09/0.13	c | 0.12      | 0  | 2248         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2290         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2293         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2302         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2329         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2344         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2351         lb |  0                0                0.00  |
0.09/0.14	c | 0.13      | 0  | 2383         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2425         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2467         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2493         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2509         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2519         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2547         lb |  0                0                0.00  |
0.09/0.15	c | 0.14      | 0  | 2569         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2611         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2614         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2631         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2646         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2656         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2698         lb |  0                0                0.00  |
0.09/0.16	c | 0.15      | 0  | 2707         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2741         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2755         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2765         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2775         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2800         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2817         lb |  0                0                0.00  |
0.09/0.17	c | 0.16      | 0  | 2859         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2868         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2878         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2903         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2936         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2954         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2972         lb |  0                0                0.00  |
0.09/0.18	c | 0.17      | 0  | 2989         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2999         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 3024         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 3041         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 3049         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 3050         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 3075         lb |  0                0                0.00  |
0.09/0.19	c | 0.18      | 0  | 3107         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 3115         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 3126         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 3133         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 3150         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 3158         lb |  0                0                0.00  |
0.19/0.20	c | 0.19      | 0  | 3183         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3198         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3223         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3239         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3264         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3272         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 3273         lb |  0                0                0.00  |
0.19/0.21	c | 0.20      | 0  | 3290         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 3291         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 3311         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 3323         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 3344         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 3354         lb |  0                0                0.00  |
0.19/0.22	c | 0.21      | 0  | 3360         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3368         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3374         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3382         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3414         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3415         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 3425         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3432         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3433         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3441         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3444         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3467         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 3474         lb |  0                0                0.00  |
0.19/0.24	c | 0.23      | 0  | 3482         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 3503         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 3505         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 3512         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 3518         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 3527         lb |  0                0                0.00  |
0.19/0.25	c | 0.24      | 0  | 3535         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 3537         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 3543         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 3545         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 3551         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 3552         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3562         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3564         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3566         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3568         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3570         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 3586         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3593         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3595         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3604         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3608         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3618         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 3619         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3627         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3631         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3639         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3643         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3644         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 3648         lb |  0                0                0.00  |
0.19/0.29	c | 0.28      | 0  | 3650         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 3658         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 3667         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 3668         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 3669         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 3672         lb |  0                0                0.00  |
0.29/0.30	c | 0.29      | 0  | 3681         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 3687         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 3688         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 3692         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 3695         lb |  0                0                0.00  |
0.29/0.31	c | 0.30      | 0  | 3696         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3708         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3710         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3711         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3717         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3718         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3719         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3721         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3724         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3727         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3736         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3740         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3748         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3749         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3753         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3757         lb |  0                0                0.00  |
0.29/0.34	c | 0.33      | 0  | 3761         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3775         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3781         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3782         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3804         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3805         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3807         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3809         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3814         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3816         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3830         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3837         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3838         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3848         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3850         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3851         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3857         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3861         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3873         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3880         lb |  0                0                0.00  |
0.29/0.38	c | 0.37      | 0  | 3884         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3886         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3892         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3896         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3898         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3899         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3904         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3905         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3906         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3907         lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | 3908         lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | 3910         lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | 3912         lb |  0                0                0.00  |
0.38/0.40	c | 0.40      | 0  | 3913         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 3916         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 3924         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 3932         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 3933         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 3939         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 3944         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 3950         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 3951         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 3953         lb |  0                0                0.00  |
0.38/0.43	c | 0.42      | 0  | 3954         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 3965         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 3982         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 3988         lb |  0                0                0.00  |
0.38/0.44	c | 0.43      | 0  | 3989         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 3993         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 3997         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 3998         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 3999         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 4018         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 4024         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 4025         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 4028         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 4029         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 4032         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 4033         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 4037         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 4038         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 4041         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 4045         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 4047         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 4049         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 4051         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 4052         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 4054         lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | 4055         lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | 4060         lb |  0                0                0.00  |
0.38/0.49	c | 0.49      | 0  | 4067         lb |  0                0                0.00  |
0.38/0.50	c | 0.49      | 0  | 4070         lb |  0                0                0.00  |
0.48/0.50	c | 0.50      | 0  | 4076         lb |  0                0                0.00  |
0.48/0.50	c | 0.50      | 0  | 4077         lb |  0                0                0.00  |
0.48/0.50	c | 0.50      | 0  | 4078         lb |  0                0                0.00  |
0.48/0.51	c | 0.51      | 0  | 4080         lb |  0                0                0.00  |
0.48/0.51	c | 0.51      | 0  | 4082         lb |  0                0                0.00  |
0.48/0.51	c | 0.51      | 0  | 4085         lb |  0                0                0.00  |
0.48/0.51	c | 0.51      | 0  | 4086         lb |  0                0                0.00  |
0.48/0.52	c | 0.52      | 0  | 4087         lb |  0                0                0.00  |
0.48/0.52	c | 0.52      | 0  | 4088         lb |  0                0                0.00  |
0.48/0.52	c | 0.52      | 0  | 4098         lb |  0                0                0.00  |
0.48/0.53	c | 0.53      | 0  | 4106         lb |  0                0                0.00  |
0.48/0.53	c | 0.53      | 0  | 4113         lb |  0                0                0.00  |
0.48/0.53	c | 0.53      | 0  | 4114         lb |  0                0                0.00  |
0.48/0.53	c | 0.53      | 0  | 4122         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | 4123         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | 4124         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | 4126         lb |  0                0                0.00  |
0.48/0.55	c | 0.55      | 0  | 4128         lb |  0                0                0.00  |
0.48/0.55	c | 0.55      | 0  | 4129         lb |  0                0                0.00  |
0.48/0.55	c | 0.55      | 0  | 4130         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | 4131         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | 4132         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | 4133         lb |  0                0                0.00  |
0.48/0.57	c | 0.56      | 0  | 4134         lb |  0                0                0.00  |
0.48/0.57	c | 0.57      | 0  | 4135         lb |  0                0                0.00  |
0.48/0.57	c | 0.57      | 0  | 4137         lb |  0                0                0.00  |
0.48/0.58	c | 0.57      | 0  | 4139         lb |  0                0                0.00  |
0.48/0.58	c | 0.58      | 0  | 4140         lb |  0                0                0.00  |
0.48/0.58	c | 0.58      | 0  | 4146         lb |  0                0                0.00  |
0.48/0.59	c | 0.58      | 0  | 4148         lb |  0                0                0.00  |
0.48/0.59	c | 0.59      | 0  | 4149         lb |  0                0                0.00  |
0.48/0.59	c | 0.59      | 0  | 4150         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | 4151         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | 4153         lb |  0                0                0.00  |
0.58/0.61	c | 0.60      | 0  | 4155         lb |  0                0                0.00  |
0.58/0.61	c | 0.61      | 0  | 4158         lb |  0                0                0.00  |
0.58/0.61	c | 0.61      | 0  | 4159         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 4161         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 4162         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 4163         lb |  0                0                0.00  |
0.58/0.63	c | 0.63      | 0  | 4166         lb |  0                0                0.00  |
0.58/0.63	c | 0.63      | 0  | 4167         lb |  0                0                0.00  |
0.58/0.64	c | 0.64      | 0  | 4168         lb |  0                0                0.00  |
0.58/0.64	c | 0.64      | 0  | 4169         lb |  0                0                0.00  |
0.58/0.64	c | 0.64      | 0  | 4170         lb |  0                0                0.00  |
0.58/0.65	c | 0.65      | 0  | 4171         lb |  0                0                0.00  |
0.58/0.65	c | 0.65      | 0  | 4172         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | 4174         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | 4176         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 4177         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 4179         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 4180         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | 4181         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | 4182         lb |  0                0                0.00  |
0.58/0.69	c | 0.69      | 0  | 4185         lb |  0                0                0.00  |
0.58/0.69	c | 0.69      | 0  | 4187         lb |  0                0                0.00  |
0.68/0.70	c | 0.69      | 0  | 4192         lb |  0                0                0.00  |
0.68/0.70	c | 0.70      | 0  | 4193         lb |  0                0                0.00  |
0.68/0.70	c | 0.70      | 0  | 4194         lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | 4196         lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | 4198         lb |  0                0                0.00  |
0.68/0.72	c | 0.72      | 0  | 4202         lb |  0                0                0.00  |
0.68/0.72	c | 0.72      | 0  | 4206         lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | 4207         lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | 4208         lb |  0                0                0.00  |
0.68/0.74	c | 0.73      | 0  | 4210         lb |  0                0                0.00  |
0.68/0.74	c | 0.74      | 0  | 4211         lb |  0                0                0.00  |
0.68/0.75	c | 0.74      | 0  | 4213         lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | 4214         lb |  0                0                0.00  |
0.68/0.76	c | 0.75      | 0  | 4215         lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | 4216         lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | 4217         lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | 4219         lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | 4220         lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | 4223         lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | 4227         lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | 4233         lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | 4237         lb |  0                0                0.00  |
0.78/0.80	c | 0.80      | 0  | 4239         lb |  0                0                0.00  |
0.78/0.80	c | 0.80      | 0  | 4242         lb |  0                0                0.00  |
0.78/0.81	c | 0.80      | 0  | 4248         lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | 4249         lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | 4255         lb |  0                0                0.00  |
0.78/0.82	c | 0.82      | 0  | 4256         lb |  0                0                0.00  |
0.78/0.82	c | 0.82      | 0  | 4257         lb |  0                0                0.00  |
0.78/0.83	c | 0.83      | 0  | 4258         lb |  0                0                0.00  |
0.78/0.83	c | 0.83      | 0  | 4259         lb |  0                0                0.00  |
0.78/0.84	c | 0.84      | 0  | 4261         lb |  0                0                0.00  |
0.78/0.84	c | 0.84      | 0  | 4262         lb |  0                0                0.00  |
0.78/0.85	c | 0.85      | 0  | 4268         lb |  0                0                0.00  |
0.78/0.85	c | 0.85      | 0  | 4269         lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | 4276         lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | 4277         lb |  0                0                0.00  |
0.78/0.87	c | 0.87      | 0  | 4278         lb |  0                0                0.00  |
0.78/0.87	c | 0.87      | 0  | 4279         lb |  0                0                0.00  |
0.78/0.88	c | 0.88      | 0  | 4280         lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | 4281         lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | 4282         lb |  0                0                0.00  |
0.88/0.90	c | 0.90      | 0  | 4283         lb |  0                0                0.00  |
0.88/0.90	c | 0.90      | 0  | 4284         lb |  0                0                0.00  |
0.88/0.91	c | 0.91      | 0  | 4285         lb |  0                0                0.00  |
0.88/0.91	c | 0.91      | 0  | 4286         lb |  0                0                0.00  |
0.88/0.92	c | 0.92      | 0  | 4287         lb |  0                0                0.00  |
0.88/0.92	c | 0.92      | 0  | 4288         lb |  0                0                0.00  |
0.88/0.93	c | 0.93      | 0  | 4289         lb |  0                0                0.00  |
0.88/0.94	c | 0.94      | 0  | 4290         lb |  0                0                0.00  |
0.88/0.94	c | 0.94      | 0  | 4291         lb |  0                0                0.00  |
0.88/0.95	c | 0.95      | 0  | 4292         lb |  0                0                0.00  |
0.88/0.95	c | 0.95      | 0  | 4294         lb |  0                0                0.00  |
0.88/0.96	c | 0.96      | 0  | 4295         lb |  0                0                0.00  |
0.88/0.96	c | 0.96      | 0  | 4299         lb |  0                0                0.00  |
0.88/0.97	c | 0.97      | 0  | 4300         lb |  0                0                0.00  |
0.88/0.97	c | 0.97      | 0  | 4301         lb |  0                0                0.00  |
0.88/0.98	c | 0.98      | 0  | 4302         lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | 4303         lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | 4304         lb |  0                0                0.00  |
0.98/1.00	c | 1.00      | 0  | 4305         lb |  0                0                0.00  |
0.98/1.01	c | 1.01      | 0  | 4306         lb |  0                0                0.00  |
0.98/1.02	c | 1.02      | 0  | 4307         lb |  0                0                0.00  |
0.98/1.02	c | 1.02      | 0  | 4309         lb |  0                0                0.00  |
0.98/1.03	c | 1.03      | 0  | 4313         lb |  0                0                0.00  |
0.98/1.04	c | 1.03      | 0  | 4314         lb |  0                0                0.00  |
0.98/1.04	c | 1.04      | 0  | 4315         lb |  0                0                0.00  |
0.98/1.05	c | 1.05      | 0  | 4317         lb |  0                0                0.00  |
0.98/1.06	c | 1.05      | 0  | 4319         lb |  0                0                0.00  |
0.98/1.06	c | 1.06      | 0  | 4320         lb |  0                0                0.00  |
0.98/1.07	c | 1.07      | 0  | 4323         lb |  0                0                0.00  |
0.98/1.07	c | 1.07      | 0  | 4328         lb |  0                0                0.00  |
0.98/1.08	c | 1.08      | 0  | 4329         lb |  0                0                0.00  |
0.98/1.09	c | 1.08      | 0  | 4330         lb |  0                0                0.00  |
0.98/1.09	c | 1.09      | 0  | 4331         lb |  0                0                0.00  |
0.98/1.10	c | 1.10      | 0  | 4332         lb |  0                0                0.00  |
1.08/1.11	c | 1.10      | 0  | 4333         lb |  0                0                0.00  |
1.08/1.11	c | 1.11      | 0  | 4334         lb |  0                0                0.00  |
1.08/1.12	c | 1.12      | 0  | 4335         lb |  0                0                0.00  |
1.08/1.12	c | 1.12      | 0  | 4337         lb |  0                0                0.00  |
1.08/1.13	c | 1.13      | 0  | 4338         lb |  0                0                0.00  |
1.08/1.14	c | 1.14      | 0  | 4339         lb |  0                0                0.00  |
1.08/1.14	c | 1.14      | 0  | 4340         lb |  0                0                0.00  |
1.08/1.15	c | 1.15      | 0  | 4341         lb |  0                0                0.00  |
1.08/1.16	c | 1.16      | 0  | 4342         lb |  0                0                0.00  |
1.08/1.16	c | 1.16      | 0  | 4343         lb |  0                0                0.00  |
1.08/1.17	c | 1.17      | 0  | 4347         lb |  0                0                0.00  |
1.08/1.18	c | 1.18      | 0  | 4348         lb |  0                0                0.00  |
1.08/1.18	c | 1.18      | 0  | 4349         lb |  0                0                0.00  |
1.08/1.19	c | 1.19      | 0  | 4350         lb |  0                0                0.00  |
1.18/1.20	c | 1.20      | 0  | 4351         lb |  0                0                0.00  |
1.18/1.21	c | 1.20      | 0  | 4352         lb |  0                0                0.00  |
1.18/1.21	c | 1.21      | 0  | 4353         lb |  0                0                0.00  |
1.18/1.22	c | 1.22      | 0  | 4354         lb |  0                0                0.00  |
1.18/1.23	c | 1.23      | 0  | 4355         lb |  0                0                0.00  |
1.18/1.23	c | 1.23      | 0  | 4361         lb |  0                0                0.00  |
1.18/1.24	c | 1.24      | 0  | 4362         lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | 4363         lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | 4365         lb |  0                0                0.00  |
1.18/1.26	c | 1.26      | 0  | 4366         lb |  0                0                0.00  |
1.18/1.27	c | 1.27      | 0  | 4367         lb |  0                0                0.00  |
1.18/1.27	c | 1.27      | 0  | 4368         lb |  0                0                0.00  |
1.18/1.28	c | 1.28      | 0  | 4369         lb |  0                0                0.00  |
1.18/1.29	c | 1.29      | 0  | 4370         lb |  0                0                0.00  |
1.28/1.30	c | 1.30      | 0  | 4371         lb |  0                0                0.00  |
1.28/1.31	c | 1.30      | 0  | 4372         lb |  0                0                0.00  |
1.28/1.31	c | 1.31      | 0  | 4373         lb |  0                0                0.00  |
1.28/1.32	c | 1.32      | 0  | 4374         lb |  0                0                0.00  |
1.28/1.33	c | 1.33      | 0  | 4376         lb |  0                0                0.00  |
1.28/1.34	c | 1.33      | 0  | 4377         lb |  0                0                0.00  |
1.28/1.34	c | 1.34      | 0  | 4378         lb |  0                0                0.00  |
1.28/1.35	c | 1.35      | 0  | 4379         lb |  0                0                0.00  |
1.28/1.36	c | 1.36      | 0  | 4380         lb |  0                0                0.00  |
1.28/1.37	c | 1.36      | 0  | 4381         lb |  0                0                0.00  |
1.28/1.37	c | 1.37      | 0  | 4389         lb |  0                0                0.00  |
1.28/1.38	c | 1.38      | 0  | 4390         lb |  0                0                0.00  |
1.28/1.39	c | 1.39      | 0  | 4391         lb |  0                0                0.00  |
1.38/1.40	c | 1.40      | 0  | 4392         lb |  0                0                0.00  |
1.38/1.41	c | 1.41      | 0  | 4393         lb |  0                0                0.00  |
1.38/1.42	c | 1.42      | 0  | 4394         lb |  0                0                0.00  |
1.38/1.42	c | 1.42      | 0  | 4395         lb |  0                0                0.00  |
1.38/1.43	c | 1.43      | 0  | 4396         lb |  0                0                0.00  |
1.38/1.44	c | 1.44      | 0  | 4398         lb |  0                0                0.00  |
1.38/1.45	c | 1.45      | 0  | 4399         lb |  0                0                0.00  |
1.38/1.46	c | 1.46      | 0  | 4403         lb |  0                0                0.00  |
1.38/1.46	c | 1.46      | 0  | 4404         lb |  0                0                0.00  |
1.38/1.47	c | 1.47      | 0  | 4405         lb |  0                0                0.00  |
1.38/1.48	c | 1.48      | 0  | 4406         lb |  0                0                0.00  |
1.38/1.49	c | 1.49      | 0  | 4407         lb |  0                0                0.00  |
1.48/1.50	c | 1.49      | 0  | 4408         lb |  0                0                0.00  |
1.48/1.50	c | 1.50      | 0  | 4409         lb |  0                0                0.00  |
1.48/1.51	c | 1.51      | 0  | 4410         lb |  0                0                0.00  |
1.48/1.52	c | 1.52      | 0  | 4411         lb |  0                0                0.00  |
1.48/1.53	c | 1.53      | 0  | 4412         lb |  0                0                0.00  |
1.48/1.54	c | 1.54      | 0  | 4413         lb |  0                0                0.00  |
1.48/1.55	c | 1.55      | 0  | 4414         lb |  0                0                0.00  |
1.48/1.56	c | 1.56      | 0  | 4415         lb |  0                0                0.00  |
1.48/1.57	c | 1.57      | 0  | 4416         lb |  0                0                0.00  |
1.48/1.58	c | 1.58      | 0  | 4417         lb |  0                0                0.00  |
1.48/1.59	c | 1.59      | 0  | 4418         lb |  0                0                0.00  |
1.58/1.60	c | 1.60      | 0  | 4419         lb |  0                0                0.00  |
1.58/1.61	c | 1.61      | 0  | 4420         lb |  0                0                0.00  |
1.58/1.62	c | 1.62      | 0  | 4421         lb |  0                0                0.00  |
1.58/1.63	c | 1.63      | 0  | 4422         lb |  0                0                0.00  |
1.58/1.64	c | 1.64      | 0  | 4423         lb |  0                0                0.00  |
1.58/1.66	c | 1.65      | 0  | 4424         lb |  0                0                0.00  |
1.58/1.67	c | 1.67      | 0  | 4425         lb |  0                0                0.00  |
1.58/1.68	c | 1.68      | 0  | 4426         lb |  0                0                0.00  |
1.58/1.69	c | 1.69      | 0  | 4427         lb |  0                0                0.00  |
1.68/1.70	c | 1.70      | 0  | 4428         lb |  0                0                0.00  |
1.68/1.71	c | 1.71      | 0  | 4430         lb |  0                0                0.00  |
1.68/1.72	c | 1.72      | 0  | 4431         lb |  0                0                0.00  |
1.68/1.73	c | 1.73      | 0  | 4432         lb |  0                0                0.00  |
1.68/1.75	c | 1.75      | 0  | 4433         lb |  0                0                0.00  |
1.68/1.76	c | 1.76      | 0  | 4434         lb |  0                0                0.00  |
1.68/1.77	c | 1.77      | 0  | 4435         lb |  0                0                0.00  |
1.68/1.78	c | 1.78      | 0  | 4436         lb |  0                0                0.00  |
1.68/1.79	c | 1.79      | 0  | 4437         lb |  0                0                0.00  |
1.78/1.81	c | 1.81      | 0  | 4438         lb |  0                0                0.00  |
1.78/1.82	c | 1.82      | 0  | 4439         lb |  0                0                0.00  |
1.78/1.83	c | 1.83      | 0  | 4440         lb |  0                0                0.00  |
1.78/1.84	c | 1.84      | 0  | 4441         lb |  0                0                0.00  |
1.78/1.85	c | 1.85      | 0  | 4442         lb |  0                0                0.00  |
1.78/1.86	c | 1.86      | 0  | 4443         lb |  0                0                0.00  |
1.78/1.88	c | 1.88      | 0  | 4444         lb |  0                0                0.00  |
1.78/1.89	c | 1.89      | 0  | 4445         lb |  0                0                0.00  |
1.88/1.90	c | 1.90      | 0  | 4446         lb |  0                0                0.00  |
1.88/1.91	c | 1.91      | 0  | 4447         lb |  0                0                0.00  |
1.88/1.92	c | 1.92      | 0  | 4448         lb |  0                0                0.00  |
1.88/1.94	c | 1.94      | 0  | 4449         lb |  0                0                0.00  |
1.88/1.95	c | 1.95      | 0  | 4450         lb |  0                0                0.00  |
1.88/1.96	c | 1.96      | 0  | 4451         lb |  0                0                0.00  |
1.88/1.98	c | 1.98      | 0  | 4452         lb |  0                0                0.00  |
1.88/1.99	c | 1.99      | 0  | 4453         lb |  0                0                0.00  |
1.98/2.00	c | 2.00      | 0  | 4454         lb |  0                0                0.00  |
1.98/2.01	c | 2.01      | 0  | 4455         lb |  0                0                0.00  |
1.98/2.03	c | 2.03      | 0  | 4456         lb |  0                0                0.00  |
1.98/2.04	c | 2.04      | 0  | 4457         lb |  0                0                0.00  |
1.98/2.06	c | 2.05      | 0  | 4458         lb |  0                0                0.00  |
1.98/2.07	c | 2.07      | 0  | 4460         lb |  0                0                0.00  |
1.98/2.08	c | 2.08      | 0  | 4461         lb |  0                0                0.00  |
1.98/2.10	c | 2.09      | 0  | 4462         lb |  0                0                0.00  |
2.08/2.11	c | 2.11      | 0  | 4463         lb |  0                0                0.00  |
2.08/2.12	c | 2.12      | 0  | 4464         lb |  0                0                0.00  |
2.08/2.14	c | 2.14      | 0  | 4465         lb |  0                0                0.00  |
2.08/2.15	c | 2.15      | 0  | 4466         lb |  0                0                0.00  |
2.08/2.17	c | 2.17      | 0  | 4467         lb |  0                0                0.00  |
2.08/2.18	c | 2.18      | 0  | 4468         lb |  0                0                0.00  |
2.08/2.20	c | 2.20      | 0  | 4469         lb |  0                0                0.00  |
2.18/2.22	c | 2.21      | 0  | 4470         lb |  0                0                0.00  |
2.18/2.23	c | 2.23      | 0  | 4471         lb |  0                0                0.00  |
2.18/2.25	c | 2.24      | 0  | 4472         lb |  0                0                0.00  |
2.18/2.26	c | 2.26      | 0  | 4473         lb |  0                0                0.00  |
2.18/2.27	c | 2.27      | 0  | 4474         lb |  0                0                0.00  |
2.18/2.29	c | 2.29      | 0  | 4475         lb |  0                0                0.00  |
2.28/2.31	c | 2.31      | 0  | 4476         lb |  0                0                0.00  |
2.28/2.32	c | 2.32      | 0  | 4477         lb |  0                0                0.00  |
2.28/2.34	c | 2.34      | 0  | 4478         lb |  0                0                0.00  |
2.28/2.36	c | 2.35      | 0  | 4479         lb |  0                0                0.00  |
2.28/2.37	c | 2.37      | 0  | 4480         lb |  0                0                0.00  |
2.28/2.39	c | 2.39      | 0  | 4481         lb |  0                0                0.00  |
2.38/2.41	c | 2.41      | 0  | 4482         lb |  0                0                0.00  |
2.38/2.42	c | 2.42      | 0  | 4483         lb |  0                0                0.00  |
2.38/2.44	c | 2.44      | 0  | 4484         lb |  0                0                0.00  |
2.38/2.46	c | 2.46      | 0  | 4485         lb |  0                0                0.00  |
2.38/2.48	c | 2.48      | 0  | 4486         lb |  0                0                0.00  |
2.48/2.50	c | 2.50      | 0  | 4487         lb |  0                0                0.00  |
2.48/2.52	c | 2.52      | 0  | 4488         lb |  0                0                0.00  |
2.48/2.54	c | 2.54      | 0  | 4489         lb |  0                0                0.00  |
2.48/2.56	c | 2.56      | 0  | 4490         lb |  0                0                0.00  |
2.48/2.58	c | 2.58      | 0  | 4491         lb |  0                0                0.00  |
2.58/2.60	c | 2.60      | 0  | 4492         lb |  0                0                0.00  |
2.58/2.62	c | 2.61      | 0  | 4493         lb |  0                0                0.00  |
2.58/2.65	c | 2.65      | 0  | 4494         lb |  0                0                0.00  |
2.58/2.67	c | 2.67      | 0  | 4495         lb |  0                0                0.00  |
2.78/2.80	c | 2.69      | 0  | 4496         lb |  0                0                0.00  |
2.78/2.80	c | 2.71      | 0  | 4497         lb |  0                0                0.00  |
2.78/2.80	c | 2.73      | 0  | 4498         lb |  0                0                0.00  |
2.78/2.80	c | 2.76      | 0  | 4499         lb |  0                0                0.00  |
2.78/2.80	c | 2.80      | 0  | 4500         lb |  0                0                0.00  |
2.78/2.82	c | 2.82      | 0  | 4501         lb |  0                0                0.00  |
2.78/2.84	c | 2.84      | 0  | 4502         lb |  0                0                0.00  |
2.78/2.87	c | 2.87      | 0  | 4503         lb |  0                0                0.00  |
2.78/2.89	c | 2.89      | 0  | 4504         lb |  0                0                0.00  |
2.88/2.91	c | 2.91      | 0  | 4505         lb |  0                0                0.00  |
2.88/2.93	c | 2.93      | 0  | 4506         lb |  0                0                0.00  |
2.88/2.95	c | 2.95      | 0  | 4507         lb |  0                0                0.00  |
2.88/2.97	c | 2.97      | 0  | 4508         lb |  0                0                0.00  |
2.88/2.99	c | 2.99      | 0  | 4509         lb |  0                0                0.00  |
2.98/3.02	c | 3.02      | 0  | 4510         lb |  0                0                0.00  |
2.98/3.04	c | 3.04      | 0  | 4511         lb |  0                0                0.00  |
2.98/3.07	c | 3.07      | 0  | 4512         lb |  0                0                0.00  |
3.08/3.10	c | 3.10      | 0  | 4513         lb |  0                0                0.00  |
3.08/3.13	c | 3.12      | 0  | 4514         lb |  0                0                0.00  |
3.08/3.17	c | 3.17      | 0  | 4515         lb |  0                0                0.00  |
3.08/3.19	c | 3.19      | 0  | 4516         lb |  0                0                0.00  |
3.19/3.24	c | 3.24      | 0  | 4517         lb |  0                0                0.00  |
3.19/3.30	c | 3.30      | 0  | 4518         lb |  0                0                0.00  |
3.29/3.34	c | 3.34      | 0  | 4519         lb |  0                0                0.00  |
3.38/3.44	c | 3.43      | 0  | 4520         lb |  0                0                0.00  |
3.48/3.56	c | 3.56      | 0  | 4521         lb |  0                0                0.00  |
3.68/3.75	c | 3.75      | 0  | 4522         lb |  0                0                0.00  |
4.68/4.78	c | 4.78      | 0  | 4523         lb |  0                0                0.00  |
4.98/5.05	c | 5.05      | 0  | 4524         lb |  0                0                0.00  |
10.47/10.59	c | 10.59     | 0  | 4525         lb |  0                0                0.00  |
12.28/12.31	c | 12.31     | 0  | 4526         lb |  0                0                0.00  |
12.58/12.64	c | 12.64     | 0  | 4527         lb |  0                0                0.00  |
12.98/13.03	c | 13.03     | 0  | 4528         lb |  0                0                0.00  |
18.38/18.43	c | 18.43     | 0  | 4529         lb |  0                0                0.00  |
21.28/21.38	c | 21.38     | 0  | 4530         lb |  0                0                0.00  |
21.68/21.70	c | 21.70     | 0  | 4531         lb |  0                0                0.00  |
21.98/22.06	c | 22.06     | 0  | 4532         lb |  0                0                0.00  |
651.37/651.64	c | 651.63    | 0  | 4533         lb |  0                0                0.00  |
674.36/674.69	c | 674.69    | 0  | 4534         lb |  0                0                0.00  |
689.06/689.39	c | 689.39    | 0  | 4535         lb |  0                0                0.00  |
1482.22/1482.61	c | 1482.61   | 0  | 4536         lb |  0                0                0.00  |
1484.02/1484.49	c | 1484.49   | 0  | 4537         lb |  0                0                0.00  |
1517.82/1518.21	c | 1518.21   | 0  | 4538         lb |  0                0                0.00  |
1689.29/1689.78	c | 1689.78   | 0  | 4539         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-3705069-1338091286/watcher-3705069-1338091286 -o /tmp/evaluation-result-3705069-1338091286/solver-3705069-1338091286 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705069-1338091286.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16393
/proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=2080 CPUtime=0 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) R 16391 16393 12452 0 -1 4202496 131 0 0 0 0 0 0 0 20 0 1 0 275254465 2129920 84 33554432000 4194304 5963574 140736398614112 140735767329592 4858208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 520 95 81 432 0 85 0

[startup+0.020293 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16393
/proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=0.01 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1066 0 0 0 1 0 0 0 20 0 2 0 275254465 86003712 994 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 994 194 432 0 20562 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83988

[startup+0.100154 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16393
/proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=0.09 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1197 0 0 0 9 0 0 0 20 0 2 0 275254465 86003712 1125 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 1125 194 432 0 20562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83988

[startup+0.300103 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16393
/proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=0.29 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1565 0 0 0 29 0 0 0 20 0 2 0 275254465 86003712 1418 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 1418 194 432 0 20562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83988

[startup+0.700102 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16393
/proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=0.68 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 3963 0 0 0 68 0 0 0 20 0 2 0 275254465 86003712 2425 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 2425 196 432 0 20562 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83988

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16395
/proc/meminfo: memFree=31143168/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=1.48 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 7767 0 0 0 147 1 0 0 20 0 2 0 275254465 86003712 3834 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 3834 197 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=1.47 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 6955 0 0 0 147 0 0 0 20 0 2 0 275254466 86003712 3834 33554432000 4194304 5963574 140736398614112 140288447793496 4402816 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83988

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16395
/proc/meminfo: memFree=31133612/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=3.08 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 17403 0 0 0 306 2 0 0 20 0 2 0 275254465 86003712 7001 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 7001 198 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=3.07 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 16591 0 0 0 305 2 0 0 20 0 2 0 275254466 86003712 7001 33554432000 4194304 5963574 140736398614112 140288447793688 4392418 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83988

[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16395
/proc/meminfo: memFree=31119700/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=6.28 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 20630 0 0 0 626 2 0 0 20 0 2 0 275254465 86003712 8557 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 8557 198 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=6.27 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 19818 0 0 0 624 3 0 0 20 0 2 0 275254466 86003712 8557 33554432000 4194304 5963574 140736398614112 140288447793496 4402903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83988

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16395
/proc/meminfo: memFree=31109796/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=12.68 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 22737 0 0 0 1265 3 0 0 20 0 2 0 275254465 86003712 10663 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 10663 198 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=12.67 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 21925 0 0 0 1264 3 0 0 20 0 2 0 275254466 86003712 10663 33554432000 4194304 5963574 140736398614112 140288447793480 4388552 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83988

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16395
/proc/meminfo: memFree=31097512/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=25.48 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 24388 0 0 0 2545 3 0 0 20 0 2 0 275254465 86003712 11514 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 11514 198 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=25.47 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 23576 0 0 0 2543 4 0 0 20 0 2 0 275254466 86003712 11514 33554432000 4194304 5963574 140736398614112 140288447793496 4388646 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83988

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16395
/proc/meminfo: memFree=31075420/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=83988 CPUtime=51.08 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 26813 0 0 0 5104 4 0 0 20 0 2 0 275254465 86003712 13939 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 20997 13939 198 432 0 20562 0
[pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=51.07 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 26001 0 0 0 5102 5 0 0 20 0 2 0 275254466 86003712 13939 33554432000 4194304 5963574 140736398614112 140288447793144 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83988

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16395
/proc/meminfo: memFree=31016324/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=149524 CPUtime=102.25 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 40498 0 0 0 10217 8 0 0 20 0 2 0 275254465 153112576 27677 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 37381 27677 198 432 0 36946 0
[pid=16393/tid=16395] ppid=16391 vsize=149524 CPUtime=102.26 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 39686 0 0 0 10217 9 0 0 20 0 2 0 275254466 153112576 27677 33554432000 4194304 5963574 140736398614112 140288447792952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149524

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16395
/proc/meminfo: memFree=30963628/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=215060 CPUtime=162.22 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 49942 0 0 0 16211 11 0 0 20 0 2 0 275254465 220221440 38240 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 53765 38240 198 432 0 53330 0
[pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=162.24 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 49130 0 0 0 16210 14 0 0 20 0 2 0 275254466 220221440 38240 33554432000 4194304 5963574 140736398614112 140288447792952 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215060

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16395
/proc/meminfo: memFree=30922896/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=215060 CPUtime=222.22 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 56482 0 0 0 22208 14 0 0 20 0 2 0 275254465 220221440 44780 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 53765 44780 198 432 0 53330 0
[pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=222.24 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 55670 0 0 0 22207 17 0 0 20 0 2 0 275254466 220221440 44780 33554432000 4194304 5963574 140736398614112 140288447792952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 215060

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16396
/proc/meminfo: memFree=30892808/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=215060 CPUtime=282.17 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 59121 0 0 0 28203 14 0 0 20 0 2 0 275254465 220221440 47580 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 53765 47580 198 432 0 53330 0
[pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=282.21 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 58309 0 0 0 28202 19 0 0 20 0 2 0 275254466 220221440 47580 33554432000 4194304 5963574 140736398614112 140288447793144 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 215060

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16396
/proc/meminfo: memFree=30857808/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=282220 CPUtime=342.15 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 67511 0 0 0 34197 18 0 0 20 0 2 0 275254465 288993280 56154 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 70555 56154 198 432 0 70120 0
[pid=16393/tid=16395] ppid=16391 vsize=282220 CPUtime=342.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 66699 0 0 0 34196 24 0 0 20 0 2 0 275254466 288993280 56154 33554432000 4194304 5963574 140736398614112 140288447792952 4400164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 282220

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16396
/proc/meminfo: memFree=30821220/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=282220 CPUtime=402.14 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 76428 0 0 0 40191 23 0 0 20 0 2 0 275254465 288993280 65071 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 70555 65071 198 432 0 70120 0
[pid=16393/tid=16395] ppid=16391 vsize=282220 CPUtime=402.21 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 75616 0 0 0 40191 30 0 0 20 0 2 0 275254466 288993280 65071 33554432000 4194304 5963574 140736398614112 140288447792952 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 282220

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16396
/proc/meminfo: memFree=30801920/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=347756 CPUtime=462.13 cores=0,2,4,6

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

/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 101542 0 0 0 130162 58 0 0 20 0 2 0 275254466 421548032 87725 33554432000 4194304 5963574 140736398614112 140288447793688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 411668

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16405
/proc/meminfo: memFree=30493840/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=411668 CPUtime=1361.95 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 102354 0 0 0 136156 39 0 0 20 0 2 0 275254465 421548032 87725 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 102917 87725 198 432 0 102482 0
[pid=16393/tid=16395] ppid=16391 vsize=411668 CPUtime=1362.19 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 101542 0 0 0 136160 59 0 0 20 0 2 0 275254466 421548032 87725 33554432000 4194304 5963574 140736398614112 140288447793688 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 411668

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16405
/proc/meminfo: memFree=30424276/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=411668 CPUtime=1421.94 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 108869 0 0 0 142152 42 0 0 20 0 2 0 275254465 421548032 94224 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 102917 94224 198 432 0 102482 0
[pid=16393/tid=16395] ppid=16391 vsize=411668 CPUtime=1422.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 108057 0 0 0 142156 64 0 0 20 0 2 0 275254466 421548032 94224 33554432000 4194304 5963574 140736398614112 140288447793144 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 411668

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16405
/proc/meminfo: memFree=30394020/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1481.92 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 115136 0 0 0 148147 45 0 0 20 0 2 0 275254465 488656896 100489 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 100489 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1482.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 114324 0 0 0 148152 68 0 0 20 0 2 0 275254466 488656896 100489 33554432000 4194304 5963574 140736398614112 140288447793496 4397948 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 477204

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16406
/proc/meminfo: memFree=30385428/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1541.91 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116821 0 0 0 154146 45 0 0 20 0 2 0 275254465 488656896 102172 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102172 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1542.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116009 0 0 0 154151 69 0 0 20 0 2 0 275254466 488656896 102172 33554432000 4194304 5963574 140736398614112 140288447793688 4388668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 477204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16406
/proc/meminfo: memFree=30378968/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1601.9 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116828 0 0 0 160145 45 0 0 20 0 2 0 275254465 488656896 102179 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102179 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1602.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116016 0 0 0 160150 70 0 0 20 0 2 0 275254466 488656896 102179 33554432000 4194304 5963574 140736398614112 140288447793688 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 477204

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16406
/proc/meminfo: memFree=30359284/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1661.89 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116828 0 0 0 166144 45 0 0 20 0 2 0 275254465 488656896 102179 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102179 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1662.21 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116016 0 0 0 166150 71 0 0 20 0 2 0 275254466 488656896 102179 33554432000 4194304 5963574 140736398614112 140288447793688 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 477204

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 16526
/proc/meminfo: memFree=30764052/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1721.88 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116844 0 0 0 172142 46 0 0 20 0 2 0 275254465 488656896 102340 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102340 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1722.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116032 0 0 0 172148 72 0 0 20 0 2 0 275254466 488656896 102340 33554432000 4194304 5963574 140736398614112 140288447793688 4392437 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 477204

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30699948/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1781.87 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 178141 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1782.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 178147 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 477204

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1791.48 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179102 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1791.81 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179108 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 477204

[startup+1795.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1794.68 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179422 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1795.01 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179428 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 477204

[startup+1798.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1797.87 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179741 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1798.2 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179747 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 477204

[startup+1799.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1798.67 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179821 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179827 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 477204

[startup+1799.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1799.08 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179862 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.41 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179868 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 477204

[startup+1799.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1799.47 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179901 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.8 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179907 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 477204

[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16526
/proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112
[pid=16393] ppid=16391 vsize=477204 CPUtime=1799.57 cores=0,2,4,6
/proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179911 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 119301 102643 198 432 0 118866 0
[pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.9 cores=0,2,4,6
/proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179917 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399625 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 477204

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.93
CPU user time (s): 1799.18
CPU system time (s): 0.751885
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 477204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.751885
maximum resident set size= 410572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116847
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= 183
involuntary context switches= 1887

runsolver used 2.6456 second user time and 7.1989 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-27 06:01:26
IDJOB=3705069
IDBENCH=2018
IDSOLVER=2283
FILE ID=node126/3705069-1338091286
RUNJOBID= node126-1338077272-12468
PBS_JOBID= 14624421
Free space on /tmp= 71352 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705069-1338091286/watcher-3705069-1338091286 -o /tmp/evaluation-result-3705069-1338091286/solver-3705069-1338091286 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705069-1338091286.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
RANDOM SEED=1921453283

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31154508 kB
Buffers:          267860 kB
Cached:           541996 kB
SwapCached:        17756 kB
Active:           814512 kB
Inactive:          99908 kB
Active(anon):      85680 kB
Inactive(anon):    20452 kB
Active(file):     728832 kB
Inactive(file):    79456 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5468 kB
Writeback:             0 kB
AnonPages:         94164 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             667288 kB
SReclaimable:     111748 kB
SUnreclaim:       555540 kB
KernelStack:        1472 kB
PageTables:         4196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     144208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node126 at 2012-05-27 06:31:26