Trace number 2702482

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.4bWrong Opt.-49 182.203 182.247

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702482-1278568396.opb.
0.00/0.00	c Instance file HOME/instance-2702482-1278568396.opb
0.00/0.00	c File size is 270672 bytes.
0.03/0.04	c Highest Coefficient sum: 22
0.03/0.04	c ============================[ Problem Statistics ]=============================
0.03/0.04	c |                                                                             |
0.03/0.04	c |  Parsing time:          0.04         s                                      |
0.03/0.04	c |  Number Variables:      3659                                                |
0.03/0.04	c |  Number Clauses:        3159                                                |
0.03/0.04	c |  Number Cardinality:    1000                                                |
0.03/0.04	c |  Number PB Constraints: 3159                                                |
0.03/0.05	c ============================[ Search Statistics ]==============================
0.03/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     500     7318    15206 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 500
0.03/0.05	o 500
0.03/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     500     7319    15706 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 499
0.03/0.05	o 499
0.03/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     500     7320    16206 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 498
0.03/0.06	o 498
0.03/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |     500     7321    16706 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 497
0.03/0.06	o 497
0.03/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |     500     7322    17206 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 496
0.03/0.06	o 496
0.03/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |     500     7323    17706 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 495
0.03/0.06	o 495
0.03/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         1 |     500     7324    18206 |     5000        1    496 |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 494
0.03/0.06	o 494
0.03/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         1 |     500     7325    18706 |     5000        1    496 |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 493
0.03/0.07	o 493
0.03/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         2 |     500     7326    19206 |     5000        2    495 |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 492
0.03/0.07	o 492
0.03/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 179.931 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         3 |     500     7327    19706 |     5000        3    494 |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 491
0.03/0.07	o 491
0.03/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         3 |     500     7328    20206 |     5000        3    494 |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 490
0.03/0.07	o 490
0.03/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 179.926 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         3 |     500     7329    20706 |     5000        3    494 |  0.000 % |
0.03/0.08	c ===============================================================================
0.03/0.08	c New solution: 489
0.03/0.08	o 489
0.03/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 179.924 s
0.03/0.08	c ===============================================================================
0.03/0.08	c |         3 |     500     7330    21206 |     5000        3    494 |  0.000 % |
0.03/0.08	c ===============================================================================
0.03/0.08	c New solution: 488
0.03/0.08	o 488
0.03/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 179.921 s
0.03/0.08	c ===============================================================================
0.03/0.08	c |         4 |     500     7331    21706 |     5000        4    493 |  0.000 % |
0.03/0.08	c ===============================================================================
0.03/0.08	c New solution: 487
0.03/0.08	o 487
0.03/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.03/0.08	c ===============================================================================
0.03/0.08	c |         9 |     500     7332    22206 |     5000        9    490 |  0.000 % |
0.03/0.09	c ===============================================================================
0.03/0.09	c New solution: 486
0.03/0.09	o 486
0.03/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.03/0.09	c ===============================================================================
0.03/0.09	c |        13 |     500     7333    22706 |     5000       13    489 |  0.000 % |
0.03/0.09	c ===============================================================================
0.03/0.09	c New solution: 485
0.03/0.09	o 485
0.03/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 179.912 s
0.03/0.09	c ===============================================================================
0.03/0.09	c |        21 |     500     7334    23206 |     5000       21    488 |  0.000 % |
0.03/0.09	c ===============================================================================
0.03/0.09	c New solution: 484
0.03/0.09	o 484
0.03/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.03/0.09	c ===============================================================================
0.03/0.09	c |        34 |     500     7335    23706 |     5000       34    487 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 483
0.09/0.10	o 483
0.09/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        50 |     500     7336    24206 |     5000       50    486 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 482
0.09/0.10	o 482
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        68 |     500     7337    24706 |     5000       68    485 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 481
0.09/0.11	o 481
0.09/0.11	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 179.893 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        94 |     500     7338    25206 |     5000       94    485 |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 480
0.09/0.12	o 480
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 179.884 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |       134 |     500     7339    25706 |     5000      134    484 |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 479
0.09/0.13	o 479
0.09/0.13	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 179.879 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |       148 |     500     7340    26206 |     5000      148    483 |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 478
0.09/0.13	o 478
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 179.871 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |       177 |     500     7341    26706 |     5000      177    483 |  0.000 % |
0.09/0.15	c |       278 |     500     7341    26706 |     5500      278    481 | 86.335 % |
0.09/0.18	c |       429 |     500     7341    26706 |     6050      429    480 | 86.335 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 477
0.09/0.18	o 477
0.09/0.18	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 179.825 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |       445 |     500     7342    27206 |     5000      445    480 | 86.335 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 476
0.09/0.19	o 476
0.09/0.19	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 179.815 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       473 |     500     7343    27706 |     5000      473    480 | 86.335 % |
0.20/0.21	c |       575 |     500     7343    27706 |     5500      575    480 | 86.335 % |
0.20/0.24	c |       725 |     500     7343    27706 |     6050      725    479 | 86.335 % |
0.20/0.25	c ===============================================================================
0.20/0.25	c New solution: 475
0.20/0.25	o 475
0.20/0.25	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 179.757 s
0.20/0.25	c ===============================================================================
0.20/0.25	c |       790 |     500     7344    28206 |     5000      790    479 | 86.335 % |
0.20/0.27	c |       890 |     500     7344    28206 |     5500      890    478 | 86.335 % |
0.29/0.30	c |      1040 |     500     7344    28206 |     6050     1040    478 | 86.335 % |
0.29/0.34	c |      1267 |     500     7344    28206 |     6655     1267    477 | 86.335 % |
0.39/0.41	c |      1606 |     500     7344    28206 |     7320     1606    477 | 86.335 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 474
0.39/0.47	o 474
0.39/0.47	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 179.542 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |      1932 |     500     7345    28706 |     5000     1932    477 | 86.335 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: 473
0.49/0.50	o 473
0.49/0.50	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 179.515 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |      2019 |     500     7346    29206 |     5000     2019    477 | 86.335 % |
0.49/0.52	c |      2120 |     500     7346    29206 |     5500     2120    477 | 86.335 % |
0.49/0.57	c |      2270 |     500     7346    29206 |     6050     2270    476 | 86.335 % |
0.59/0.62	c |      2495 |     500     7346    29206 |     6655     2495    476 | 86.335 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 472
0.69/0.70	o 472
0.69/0.70	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 179.325 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |      2783 |     500     7347    29706 |     5000     2783    476 | 86.335 % |
0.69/0.74	c |      2883 |     500     7347    29706 |     5500     2883    476 | 86.335 % |
0.69/0.79	c |      3033 |     500     7347    29706 |     6050     3033    476 | 86.335 % |
0.80/0.87	c |      3259 |     500     7347    29706 |     6655     3259    476 | 86.335 % |
0.89/0.97	c |      3596 |     500     7347    29706 |     7320     3596    475 | 86.335 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: 471
1.00/1.08	o 471
1.00/1.08	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 178.945 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |      3991 |     500     7348    30206 |     5000     3991    475 | 86.335 % |
1.10/1.13	c |      4092 |     500     7348    30206 |     5500     4092    475 | 86.335 % |
1.10/1.17	c |      4242 |     500     7348    30206 |     6050     4242    475 | 86.335 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: 470
1.19/1.22	o 470
1.19/1.22	c Elapsed CPU time: 1.18882 s	Remaining CPU time: 178.811 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |      4428 |     500     7349    30706 |     5000     4428    475 | 86.335 % |
1.19/1.26	c |      4529 |     500     7349    30706 |     5500     4529    475 | 86.335 % |
1.29/1.31	c |      4680 |     500     7349    30706 |     6050     4680    474 | 86.335 % |
1.29/1.39	c |      4906 |     500     7349    30706 |     6655     4906    474 | 86.335 % |
1.49/1.50	c ===============================================================================
1.49/1.50	c New solution: 469
1.49/1.50	o 469
1.49/1.50	c Elapsed CPU time: 1.46878 s	Remaining CPU time: 178.531 s
1.49/1.50	c ===============================================================================
1.49/1.50	c |      5195 |     500     7350    31206 |     5000     5195    474 | 86.335 % |
1.49/1.57	c |      5295 |     500     7350    31206 |     5500     5295    474 | 86.335 % |
1.60/1.60	c ===============================================================================
1.60/1.60	c New solution: 468
1.60/1.60	o 468
1.60/1.60	c Elapsed CPU time: 1.56276 s	Remaining CPU time: 178.437 s
1.60/1.60	c ===============================================================================
1.60/1.60	c |      5333 |     500     7351    31706 |     5000     5333    474 | 86.335 % |
1.60/1.64	c |      5434 |     500     7351    31706 |     5500     5434    474 | 86.335 % |
1.69/1.70	c |      5584 |     500     7351    31706 |     6050     5584    474 | 86.335 % |
1.69/1.79	c |      5809 |     500     7351    31706 |     6655     5809    474 | 86.335 % |
1.79/1.87	c ===============================================================================
1.79/1.87	c New solution: 467
1.79/1.87	o 467
1.79/1.87	c Elapsed CPU time: 1.83072 s	Remaining CPU time: 178.169 s
1.79/1.87	c ===============================================================================
1.79/1.87	c |      6019 |     500     7352    32206 |     5000     6019    474 | 86.335 % |
1.89/1.94	c |      6120 |     500     7352    32206 |     5500     6120    473 | 86.335 % |
1.99/2.00	c |      6270 |     500     7352    32206 |     6050     6270    473 | 86.335 % |
1.99/2.08	c |      6495 |     500     7352    32206 |     6655     6495    473 | 86.335 % |
2.20/2.22	c |      6832 |     500     7352    32206 |     7320     6832    473 | 86.335 % |
2.39/2.46	c |      7339 |     500     7352    32206 |     8052     7339    472 | 86.335 % |
2.80/2.84	c |      8099 |     500     7352    32206 |     8857     8099    472 | 86.335 % |
3.09/3.16	c |      9239 |     500     7352    32206 |     9743     9239    472 | 86.335 % |
3.59/3.64	c |     10947 |     500     7352    32206 |    10717    10947    471 | 86.335 % |
4.19/4.29	c |     13510 |     500     7352    32206 |    11789    13510    470 | 86.335 % |
4.40/4.48	c ===============================================================================
4.40/4.48	c New solution: 466
4.40/4.48	o 466
4.40/4.48	c Elapsed CPU time: 4.40933 s	Remaining CPU time: 175.591 s
4.40/4.48	c ===============================================================================
4.40/4.48	c |     14227 |     500     7353    32706 |     5000    14227    470 | 86.335 % |
4.69/4.70	c |     14327 |     500     7353    32706 |     5500     7214    468 | 86.335 % |
4.69/4.75	c |     14478 |     500     7353    32706 |     6050     7365    468 | 86.335 % |
4.79/4.84	c |     14704 |     500     7353    32706 |     6655     7591    468 | 86.335 % |
4.89/4.92	c ===============================================================================
4.89/4.92	c New solution: 465
4.89/4.92	o 465
4.89/4.92	c Elapsed CPU time: 4.84226 s	Remaining CPU time: 175.158 s
4.89/4.92	c ===============================================================================
4.89/4.92	c |     14939 |     500     7354    33206 |     5000     7826    468 | 86.335 % |
4.89/4.95	c |     15040 |     500     7354    33206 |     5500     7927    468 | 86.335 % |
4.99/5.00	c |     15192 |     500     7354    33206 |     6050     8079    468 | 86.335 % |
4.99/5.07	c |     15418 |     500     7354    33206 |     6655     8305    468 | 86.335 % |
5.09/5.17	c |     15756 |     500     7354    33206 |     7320     8643    467 | 86.335 % |
5.29/5.30	c |     16263 |     500     7354    33206 |     8052     9150    467 | 86.335 % |
5.40/5.41	c ===============================================================================
5.40/5.41	c New solution: 464
5.40/5.41	o 464
5.40/5.41	c Elapsed CPU time: 5.32219 s	Remaining CPU time: 174.678 s
5.40/5.41	c ===============================================================================
5.40/5.41	c |     16697 |     500     7355    33706 |     5000     9584    467 | 86.335 % |
5.40/5.49	c |     16797 |     500     7355    33706 |     5500     4892    467 | 86.335 % |
5.50/5.54	c |     16947 |     500     7355    33706 |     6050     5042    467 | 86.335 % |
5.59/5.61	c |     17173 |     500     7355    33706 |     6655     5268    466 | 86.335 % |
5.69/5.71	c |     17510 |     500     7355    33706 |     7320     5605    466 | 86.335 % |
5.69/5.72	c ===============================================================================
5.69/5.72	c New solution: 463
5.69/5.72	o 463
5.69/5.72	c Elapsed CPU time: 5.62315 s	Remaining CPU time: 174.377 s
5.69/5.72	c ===============================================================================
5.69/5.72	c |     17522 |     500     7356    34206 |     5000     5617    466 | 86.335 % |
5.69/5.75	c |     17623 |     500     7356    34206 |     5500     5718    466 | 86.335 % |
5.79/5.80	c |     17773 |     500     7356    34206 |     6050     5868    466 | 86.335 % |
5.79/5.88	c |     18000 |     500     7356    34206 |     6655     6095    466 | 86.335 % |
5.89/5.96	c ===============================================================================
5.89/5.96	c New solution: 462
5.89/5.96	o 462
5.89/5.96	c Elapsed CPU time: 5.86611 s	Remaining CPU time: 174.134 s
5.89/5.96	c ===============================================================================
5.89/5.96	c |     18273 |     500     7357    34706 |     5000     6368    466 | 86.335 % |
5.89/6.00	c |     18374 |     500     7357    34706 |     5500     6469    466 | 86.335 % |
5.99/6.03	c ===============================================================================
5.99/6.03	c New solution: 461
5.99/6.03	o 461
5.99/6.03	c Elapsed CPU time: 5.9311 s	Remaining CPU time: 174.069 s
5.99/6.03	c ===============================================================================
5.99/6.03	c |     18469 |     500     7358    35206 |     5000     6564    466 | 86.335 % |
5.99/6.06	c |     18571 |     500     7358    35206 |     5500     6666    466 | 86.335 % |
6.09/6.12	c |     18723 |     500     7358    35206 |     6050     6818    466 | 86.335 % |
6.09/6.18	c |     18948 |     500     7358    35206 |     6655     7043    466 | 86.335 % |
6.19/6.28	c |     19285 |     500     7358    35206 |     7320     7380    466 | 86.335 % |
6.39/6.46	c |     19793 |     500     7358    35206 |     8052     7888    465 | 86.335 % |
6.59/6.67	c |     20552 |     500     7358    35206 |     8857     8647    465 | 86.335 % |
6.99/7.08	c |     21692 |     500     7358    35206 |     9743     9787    465 | 86.335 % |
7.39/7.49	c |     23400 |     500     7358    35206 |    10717    11495    464 | 86.335 % |
8.39/8.46	c |     25962 |     500     7358    35206 |    11789    14057    464 | 86.335 % |
9.49/9.53	c |     29807 |     500     7358    35206 |    12968    10197    461 | 86.335 % |
11.39/11.45	c |     35573 |     500     7358    35206 |    14265    15963    461 | 86.335 % |
11.58/11.64	c ===============================================================================
11.58/11.64	c New solution: 460
11.58/11.64	o 460
11.58/11.64	c Elapsed CPU time: 11.4593 s	Remaining CPU time: 168.541 s
11.58/11.64	c ===============================================================================
11.58/11.64	c |     35985 |     500     7359    35706 |     5000    16375    461 | 86.335 % |
11.78/11.87	c |     36085 |     500     7359    35706 |     5500     4194    461 | 86.335 % |
11.88/11.92	c |     36235 |     500     7359    35706 |     6050     4344    461 | 86.335 % |
12.00/12.01	c |     36460 |     500     7359    35706 |     6655     4569    461 | 86.335 % |
12.10/12.12	c |     36797 |     500     7359    35706 |     7320     4906    461 | 86.335 % |
12.29/12.33	c |     37304 |     500     7359    35706 |     8052     5413    461 | 86.335 % |
12.58/12.61	c |     38064 |     500     7359    35706 |     8857     6173    461 | 86.335 % |
12.89/12.91	c |     39205 |     500     7359    35706 |     9743     7314    461 | 86.335 % |
13.49/13.58	c |     40913 |     500     7359    35706 |    10717     9022    461 | 86.335 % |
14.89/14.94	c |     43475 |     500     7359    35706 |    11789    11584    461 | 86.335 % |
16.39/16.41	c |     47321 |     500     7359    35706 |    12968     7725    461 | 86.335 % |
18.88/18.90	c |     53088 |     500     7359    35706 |    14265    13492    461 | 86.335 % |
23.89/23.90	c |     61739 |     500     7359    35706 |    15692    13200    461 | 86.335 % |
27.18/27.23	c ===============================================================================
27.18/27.23	c New solution: 459
27.18/27.23	o 459
27.18/27.23	c Elapsed CPU time: 26.8899 s	Remaining CPU time: 153.11 s
27.18/27.23	c ===============================================================================
27.18/27.23	c |     69830 |     500     7360    36206 |     5000    11636    461 | 86.335 % |
27.39/27.41	c |     69930 |     500     7360    36206 |     5500     5918    461 | 86.335 % |
27.39/27.50	c |     70080 |     500     7360    36206 |     6050     6068    461 | 86.335 % |
27.58/27.63	c |     70305 |     500     7360    36206 |     6655     6293    461 | 86.335 % |
27.79/27.82	c |     70642 |     500     7360    36206 |     7320     6630    461 | 86.335 % |
27.88/27.97	c |     71148 |     500     7360    36206 |     8052     7136    461 | 86.335 % |
28.19/28.25	c |     71909 |     500     7360    36206 |     8857     7897    461 | 86.335 % |
28.68/28.74	c |     73049 |     500     7360    36206 |     9743     9037    461 | 86.335 % |
29.18/29.27	c |     74757 |     500     7360    36206 |    10717    10745    461 | 86.335 % |
30.18/30.30	c |     77320 |     500     7360    36206 |    11789    13308    460 | 86.335 % |
32.19/32.20	c |     81165 |     500     7360    36206 |    12968     9448    459 | 86.335 % |
34.88/34.90	c |     86933 |     500     7360    36206 |    14265    15216    460 | 86.335 % |
35.09/35.17	c ===============================================================================
35.09/35.17	c New solution: 458
35.09/35.17	o 458
35.09/35.17	c Elapsed CPU time: 34.7417 s	Remaining CPU time: 145.258 s
35.09/35.17	c ===============================================================================
35.09/35.17	c |     87510 |     500     7361    36706 |     5000    15793    460 | 86.335 % |
35.28/35.32	c |     87611 |     500     7361    36706 |     5500     7998    460 | 86.335 % |
35.28/35.38	c |     87761 |     500     7361    36706 |     6050     8148    460 | 86.335 % |
35.38/35.49	c |     87986 |     500     7361    36706 |     6655     8373    460 | 86.335 % |
35.58/35.69	c |     88325 |     500     7361    36706 |     7320     8712    460 | 86.335 % |
35.99/36.08	c |     88831 |     500     7361    36706 |     8052     9218    460 | 86.335 % |
36.29/36.32	c ===============================================================================
36.29/36.32	c New solution: 457
36.29/36.32	o 457
36.29/36.32	c Elapsed CPU time: 35.8865 s	Remaining CPU time: 144.113 s
36.29/36.32	c ===============================================================================
36.29/36.32	c |     89188 |     500     7362    37206 |     5000     9575    460 | 86.335 % |
36.38/36.45	c |     89289 |     500     7362    37206 |     5500     4889    460 | 86.335 % |
36.48/36.54	c |     89440 |     500     7362    37206 |     6050     5040    460 | 86.335 % |
36.58/36.67	c |     89666 |     500     7362    37206 |     6655     5266    460 | 86.335 % |
36.78/36.82	c |     90003 |     500     7362    37206 |     7320     5603    459 | 86.335 % |
36.98/37.02	c |     90510 |     500     7362    37206 |     8052     6110    459 | 86.335 % |
37.29/37.37	c |     91270 |     500     7362    37206 |     8857     6870    459 | 86.335 % |
37.68/37.73	c |     92410 |     500     7362    37206 |     9743     8010    459 | 86.335 % |
38.28/38.33	c |     94119 |     500     7362    37206 |    10717     9719    459 | 86.335 % |
40.29/40.35	c |     96682 |     500     7362    37206 |    11789    12282    459 | 86.335 % |
42.68/42.71	c |    100526 |     500     7362    37206 |    12968     8423    458 | 86.335 % |
43.18/43.24	c ===============================================================================
43.18/43.24	c New solution: 456
43.18/43.24	o 456
43.18/43.24	c Elapsed CPU time: 42.7455 s	Remaining CPU time: 137.254 s
43.18/43.24	c ===============================================================================
43.18/43.24	c |    102006 |     500     7363    37706 |     5000     9903    458 | 86.335 % |
43.28/43.37	c |    102106 |     500     7363    37706 |     5500     5052    458 | 86.335 % |
43.38/43.44	c |    102256 |     500     7363    37706 |     6050     5202    458 | 86.335 % |
43.48/43.57	c |    102483 |     500     7363    37706 |     6655     5429    458 | 86.335 % |
43.69/43.71	c |    102820 |     500     7363    37706 |     7320     5766    458 | 86.335 % |
43.89/43.93	c |    103326 |     500     7363    37706 |     8052     6272    458 | 86.335 % |
44.28/44.39	c |    104087 |     500     7363    37706 |     8857     7033    458 | 86.335 % |
44.68/44.79	c ===============================================================================
44.68/44.79	c New solution: 455
44.68/44.79	o 455
44.68/44.79	c Elapsed CPU time: 44.2803 s	Remaining CPU time: 135.72 s
44.68/44.79	c ===============================================================================
44.68/44.79	c |    104966 |     500     7364    38206 |     5000     7912    458 | 86.335 % |
44.78/44.85	c |    105066 |     500     7364    38206 |     5500     8012    458 | 86.335 % |
44.88/44.93	c |    105217 |     500     7364    38206 |     6050     8163    458 | 86.335 % |
44.99/45.06	c |    105442 |     500     7364    38206 |     6655     8388    458 | 86.335 % |
45.18/45.26	c |    105780 |     500     7364    38206 |     7320     8726    458 | 86.335 % |
45.48/45.54	c |    106286 |     500     7364    38206 |     8052     9232    458 | 86.335 % |
45.98/46.02	c |    107046 |     500     7364    38206 |     8857     9992    458 | 86.335 % |
46.58/46.68	c |    108186 |     500     7364    38206 |     9743    11132    457 | 86.335 % |
48.18/48.22	c |    109895 |     500     7364    38206 |    10717    12841    457 | 86.335 % |
49.98/50.03	c |    112457 |     500     7364    38206 |    11789     8236    456 | 86.335 % |
52.08/52.16	c |    116302 |     500     7364    38206 |    12968    12081    456 | 86.335 % |
54.68/54.78	c |    122069 |     500     7364    38206 |    14265     9555    456 | 86.335 % |
57.98/58.04	c |    130719 |     500     7364    38206 |    15692     9264    456 | 86.335 % |
60.48/60.52	c ===============================================================================
60.48/60.52	c New solution: 454
60.48/60.52	o 454
60.48/60.52	c Elapsed CPU time: 59.8589 s	Remaining CPU time: 120.141 s
60.48/60.52	c ===============================================================================
60.48/60.52	c |    136020 |     500     7365    38706 |     5000    14565    456 | 86.335 % |
60.58/60.67	c |    136120 |     500     7365    38706 |     5500     7383    456 | 86.335 % |
60.67/60.73	c |    136271 |     500     7365    38706 |     6050     7534    456 | 86.335 % |
60.77/60.81	c |    136498 |     500     7365    38706 |     6655     7761    456 | 86.335 % |
60.88/60.97	c |    136835 |     500     7365    38706 |     7320     8098    456 | 86.335 % |
61.18/61.29	c |    137341 |     500     7365    38706 |     8052     8604    456 | 86.335 % |
61.58/61.62	c |    138101 |     500     7365    38706 |     8857     9364    456 | 86.335 % |
61.88/61.98	c |    139241 |     500     7365    38706 |     9743    10504    456 | 86.335 % |
62.47/62.53	c |    140951 |     500     7365    38706 |    10717    12214    456 | 86.335 % |
63.37/63.49	c |    143514 |     500     7365    38706 |    11789     7611    455 | 86.335 % |
64.68/64.70	c |    147358 |     500     7365    38706 |    12968    11455    455 | 86.335 % |
66.68/66.70	c |    153126 |     500     7365    38706 |    14265     8931    455 | 86.335 % |
70.97/71.08	c |    161775 |     500     7365    38706 |    15692    17580    455 | 86.335 % |
76.88/76.95	c ===============================================================================
76.88/76.95	c New solution: 453
76.88/76.95	o 453
76.88/76.95	c Elapsed CPU time: 76.0884 s	Remaining CPU time: 103.912 s
76.88/76.95	c ===============================================================================
76.88/76.95	c |    171550 |     500     7366    39206 |     5000    17700    455 | 86.335 % |
77.07/77.14	c |    171650 |     500     7366    39206 |     5500     4525    455 | 86.335 % |
77.17/77.23	c |    171801 |     500     7366    39206 |     6050     4676    455 | 86.335 % |
77.27/77.36	c |    172026 |     500     7366    39206 |     6655     4901    455 | 86.335 % |
77.37/77.47	c |    172364 |     500     7366    39206 |     7320     5239    455 | 86.335 % |
77.58/77.65	c |    172871 |     500     7366    39206 |     8052     5746    454 | 86.335 % |
77.98/78.01	c |    173631 |     500     7366    39206 |     8857     6506    454 | 86.335 % |
78.57/78.66	c |    174771 |     500     7366    39206 |     9743     7646    454 | 86.335 % |
79.57/79.64	c |    176480 |     500     7366    39206 |    10717     9355    454 | 86.335 % |
81.28/81.35	c |    179043 |     500     7366    39206 |    11789    11918    454 | 86.335 % |
84.07/84.11	c |    182888 |     500     7366    39206 |    12968     8063    454 | 86.335 % |
86.47/86.60	c |    188654 |     500     7366    39206 |    14265    13829    454 | 86.335 % |
90.18/90.28	c ===============================================================================
90.18/90.28	c New solution: 452
90.18/90.28	o 452
90.18/90.28	c Elapsed CPU time: 89.3034 s	Remaining CPU time: 90.6966 s
90.18/90.28	c ===============================================================================
90.18/90.28	c |    195937 |     500     7367    39706 |     5000    12173    454 | 86.335 % |
90.37/90.44	c |    196038 |     500     7367    39706 |     5500     6188    454 | 86.335 % |
90.47/90.50	c |    196189 |     500     7367    39706 |     6050     6339    454 | 86.335 % |
90.57/90.61	c |    196415 |     500     7367    39706 |     6655     6565    454 | 86.335 % |
90.67/90.78	c |    196752 |     500     7367    39706 |     7320     6902    453 | 86.335 % |
90.97/91.01	c |    197260 |     500     7367    39706 |     8052     7410    453 | 86.335 % |
91.28/91.35	c |    198019 |     500     7367    39706 |     8857     8169    453 | 86.335 % |
91.67/91.78	c |    199158 |     500     7367    39706 |     9743     9308    453 | 86.335 % |
92.76/92.81	c |    200867 |     500     7367    39706 |    10717    11017    453 | 86.335 % |
93.66/93.71	c |    203431 |     500     7367    39706 |    11789    13581    453 | 86.335 % |
95.07/95.19	c |    207275 |     500     7367    39706 |    12968     9723    453 | 86.335 % |
96.37/96.43	c ===============================================================================
96.37/96.43	c New solution: 451
96.37/96.43	o 451
96.37/96.43	c Elapsed CPU time: 95.3725 s	Remaining CPU time: 84.6275 s
96.37/96.43	c ===============================================================================
96.37/96.43	c |    211150 |     500     7368    40206 |     5000    13598    453 | 86.335 % |
96.57/96.62	c |    211251 |     500     7368    40206 |     5500     6900    453 | 86.335 % |
96.57/96.69	c |    211401 |     500     7368    40206 |     6050     7050    453 | 86.335 % |
96.67/96.80	c |    211627 |     500     7368    40206 |     6655     7276    453 | 86.335 % |
96.86/96.91	c |    211964 |     500     7368    40206 |     7320     7613    453 | 86.335 % |
96.96/97.08	c |    212473 |     500     7368    40206 |     8052     8122    453 | 86.335 % |
97.27/97.35	c |    213232 |     500     7368    40206 |     8857     8881    453 | 86.335 % |
97.67/97.78	c |    214371 |     500     7368    40206 |     9743    10020    453 | 86.335 % |
98.66/98.72	c |    216080 |     500     7368    40206 |    10717    11729    453 | 86.335 % |
99.97/100.02	c |    218643 |     500     7368    40206 |    11789    14292    453 | 86.335 % |
101.57/101.61	c |    222487 |     500     7368    40206 |    12968    10437    452 | 86.335 % |
105.57/105.64	c |    228253 |     500     7368    40206 |    14265    16203    452 | 86.335 % |
111.57/111.63	c |    236905 |     500     7368    40206 |    15692    15918    452 | 86.335 % |
123.66/123.79	c |    249880 |     500     7368    40206 |    17261    19239    453 | 86.335 % |
136.46/136.58	c |    269342 |     500     7368    40206 |    18987    17828    452 | 86.335 % |
154.35/154.41	c |    298534 |     500     7368    40206 |    20886    11266    452 | 86.335 % |
175.55/175.64	c |    342324 |     500     7368    40206 |    22974    13833    452 | 86.335 % |
181.75/181.80	c There are 3159 assigned variables. 0 in cost function.
182.05/182.18	c core #1
182.05/182.18	c #cores: 1
182.05/182.18	c Final Weight: 451
182.05/182.18	o 451
182.05/182.18	s OPTIMUM FOUND
182.05/182.18	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659
182.05/182.18	c Total CPU time: 180.377 s

Verifier Data 

OK	-49

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702482-1278568396/watcher-2702482-1278568396 -o /tmp/evaluation-result-2702482-1278568396/solver-2702482-1278568396 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702482-1278568396.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.04 1.00 3/106 31037
/proc/meminfo: memFree=1686508/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=3416 CPUtime=0
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 25052124 3497984 342 1992294400 134512640 135751879 4294484720 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 854 342 143 303 0 482 0

[startup+0.0403329 s]
/proc/loadavg: 1.11 1.04 1.00 3/106 31037
/proc/meminfo: memFree=1686508/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=3964 CPUtime=0.03
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 608 0 0 0 3 0 0 0 20 0 1 0 25052124 4059136 527 1992294400 134512640 135751879 4294484720 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 991 528 196 303 0 619 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3964

[startup+0.101337 s]
/proc/loadavg: 1.11 1.04 1.00 3/106 31037
/proc/meminfo: memFree=1686508/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=4536 CPUtime=0.09
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 836 0 0 0 9 0 0 0 20 0 1 0 25052124 4644864 688 1992294400 134512640 135751879 4294484720 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 1134 688 146 303 0 829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4536

[startup+0.301355 s]
/proc/loadavg: 1.11 1.04 1.00 3/106 31037
/proc/meminfo: memFree=1686508/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=6204 CPUtime=0.29
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 1276 0 0 0 28 1 0 0 20 0 1 0 25052124 6352896 1128 1992294400 134512640 135751879 4294484720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 1551 1128 147 303 0 1246 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6204

[startup+0.701391 s]
/proc/loadavg: 1.11 1.04 1.00 3/106 31037
/proc/meminfo: memFree=1686508/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=9800 CPUtime=0.69
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 2150 0 0 0 67 2 0 0 21 0 1 0 25052124 10035200 2002 1992294400 134512640 135751879 4294484720 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 2450 2002 147 303 0 2145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9800

[startup+1.50146 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 31038
/proc/meminfo: memFree=1677572/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=14568 CPUtime=1.49
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 3340 0 0 0 146 3 0 0 23 0 1 0 25052124 14917632 3192 1992294400 134512640 135751879 4294484720 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 3642 3192 147 303 0 3337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14568

[startup+3.10161 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 31038
/proc/meminfo: memFree=1671744/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=22024 CPUtime=3.09
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 5204 0 0 0 304 5 0 0 25 0 1 0 25052124 22552576 5056 1992294400 134512640 135751879 4294484720 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 5506 5056 147 303 0 5201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22024

[startup+6.30089 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 31038
/proc/meminfo: memFree=1651904/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=42196 CPUtime=6.29
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 10247 0 0 0 619 10 0 0 25 0 1 0 25052124 43208704 10099 1992294400 134512640 135751879 4294484720 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 10549 10099 148 303 0 10244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42196

[startup+12.7015 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 31038
/proc/meminfo: memFree=1613712/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=78616 CPUtime=12.69
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 19345 0 0 0 1250 19 0 0 25 0 1 0 25052124 80502784 19197 1992294400 134512640 135751879 4294484720 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 19654 19197 148 303 0 19349 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78616

[startup+25.5006 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 31038
/proc/meminfo: memFree=1558780/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=131596 CPUtime=25.48
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 32599 0 0 0 2516 32 0 0 25 0 1 0 25052124 134754304 32451 1992294400 134512640 135751879 4294484720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 32899 32451 148 303 0 32594 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131596

[startup+51.1009 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 31038
/proc/meminfo: memFree=1466896/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=223768 CPUtime=51.08
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 55615 0 0 0 5053 55 0 0 25 0 1 0 25052124 229138432 55467 1992294400 134512640 135751879 4294484720 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 55942 55467 148 303 0 55637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 223768

[startup+102.308 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 31040
/proc/meminfo: memFree=1258328/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=429976 CPUtime=102.27
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 107154 0 0 0 10118 109 0 0 25 0 1 0 25052124 440295424 107006 1992294400 134512640 135751879 4294484720 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 107494 107006 148 303 0 107189 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 429976

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1093284/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=595944 CPUtime=162.25
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 148605 0 0 0 16069 156 0 0 25 0 1 0 25052124 610246656 148457 1992294400 134512640 135751879 4294484720 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 148986 148457 148 303 0 148681 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 595944

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1072700/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=616300 CPUtime=166.25
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 153700 0 0 0 16464 161 0 0 25 0 1 0 25052124 631091200 153552 1992294400 134512640 135751879 4294484720 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 154075 153552 148 303 0 153770 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 616300

[startup+172.709 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1047528/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=640908 CPUtime=172.66
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 159851 0 0 0 17099 167 0 0 25 0 1 0 25052124 656289792 159703 1992294400 134512640 135751879 4294484720 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 160227 159703 148 303 0 159922 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 640908

[startup+179.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1020248/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=672536 CPUtime=179.05
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 167752 0 0 0 17732 173 0 0 25 0 1 0 25052124 688676864 167604 1992294400 134512640 135751879 4294484720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 168134 167604 148 303 0 167829 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 672536

[startup+180.702 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1010452/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=679872 CPUtime=180.65
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 169579 0 0 0 17890 175 0 0 25 0 1 0 25052124 696188928 169431 1992294400 134512640 135751879 4294484720 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 169968 169431 148 303 0 169663 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 679872

[startup+181.509 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1004004/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=684096 CPUtime=181.46
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 170648 0 0 0 17970 176 0 0 25 0 1 0 25052124 700514304 170500 1992294400 134512640 135751879 4294484720 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 171024 170500 148 303 0 170719 0
Current children cumulated CPU time (s) 181.46
Current children cumulated vsize (KiB) 684096

[startup+181.902 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1004004/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=686132 CPUtime=181.85
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 171144 0 0 0 18009 176 0 0 25 0 1 0 25052124 702599168 170996 1992294400 134512640 135751879 4294484720 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 171533 170996 149 303 0 171228 0
Current children cumulated CPU time (s) 181.85
Current children cumulated vsize (KiB) 686132

[startup+182.102 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1004004/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=686132 CPUtime=182.05
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202496 171144 0 0 0 18029 176 0 0 25 0 1 0 25052124 702599168 170996 1992294400 134512640 135751879 4294484720 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31037/statm: 171533 170996 149 303 0 171228 0
Current children cumulated CPU time (s) 182.05
Current children cumulated vsize (KiB) 686132

[startup+182.202 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31042
/proc/meminfo: memFree=1004004/2059040 swapFree=4138592/4192956
[pid=31037] ppid=31035 vsize=0 CPUtime=182.15
/proc/31037/stat : 31037 (wbo1.4b) R 31035 31037 30553 0 -1 4202500 171145 0 0 0 18037 178 0 0 25 0 1 0 25052124 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31037/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.15
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.247
CPU time (s): 182.203
CPU user time (s): 180.377
CPU system time (s): 1.82672
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 686132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.377
system time used= 1.82672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171145
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= 3
involuntary context switches= 280

runsolver used 0.32395 second user time and 0.863868 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-08 07:53:16
IDJOB=2702482
IDBENCH=48176
IDSOLVER=1161
FILE ID=node015/2702482-1278568396
PBS_JOBID= 11239555
Free space on /tmp= 62584 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702482-1278568396/watcher-2702482-1278568396 -o /tmp/evaluation-result-2702482-1278568396/solver-2702482-1278568396 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702482-1278568396.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=1493829714

node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1687656 kB
Buffers:         67216 kB
Cached:         212096 kB
SwapCached:       9892 kB
Active:         128724 kB
Inactive:       167856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1687656 kB
SwapTotal:     4192956 kB
SwapFree:      4138592 kB
Dirty:            3012 kB
Writeback:           0 kB
AnonPages:       13872 kB
Mapped:          12120 kB
Slab:            52960 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702482-1278568396.opb

Free space on /tmp at the end= 62584 MiB
End job on node015 at 2010-07-08 07:56:19