Trace number 2702458

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.-45 182.088 182.134

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
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-111
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
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 constraint21
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)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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-2702458-1278568133.opb.
0.00/0.00	c Instance file HOME/instance-2702458-1278568133.opb
0.00/0.00	c File size is 271068 bytes.
0.01/0.04	c Highest Coefficient sum: 21
0.01/0.04	c ============================[ Problem Statistics ]=============================
0.01/0.04	c |                                                                             |
0.01/0.04	c |  Parsing time:          0.04         s                                      |
0.01/0.04	c |  Number Variables:      3663                                                |
0.01/0.04	c |  Number Clauses:        3163                                                |
0.01/0.04	c |  Number Cardinality:    1000                                                |
0.01/0.04	c |  Number PB Constraints: 3163                                                |
0.01/0.05	c ============================[ Search Statistics ]==============================
0.01/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |     500     7326    15107 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 500
0.01/0.05	o 500
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |     500     7327    15607 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 499
0.01/0.05	o 499
0.01/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 179.945 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |     500     7328    16107 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 498
0.01/0.06	o 498
0.01/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     500     7329    16607 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 497
0.01/0.06	o 497
0.01/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     500     7330    17107 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 496
0.01/0.06	o 496
0.01/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     500     7331    17607 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 495
0.01/0.06	o 495
0.01/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     500     7332    18107 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 494
0.01/0.06	o 494
0.01/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         1 |     500     7333    18607 |     5000        1    495 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 493
0.01/0.07	o 493
0.01/0.07	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         1 |     500     7334    19107 |     5000        1    495 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 492
0.01/0.07	o 492
0.01/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         7 |     500     7335    19607 |     5000        7    494 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 491
0.01/0.07	o 491
0.01/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 179.931 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |        13 |     500     7336    20107 |     5000       13    493 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: 490
0.01/0.08	o 490
0.01/0.08	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 179.929 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |        14 |     500     7337    20607 |     5000       14    493 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: 489
0.01/0.08	o 489
0.01/0.08	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |        16 |     500     7338    21107 |     5000       16    492 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: 488
0.01/0.08	o 488
0.01/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |        31 |     500     7339    21607 |     5000       31    491 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 487
0.01/0.09	o 487
0.01/0.09	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        36 |     500     7340    22107 |     5000       36    491 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 486
0.01/0.09	o 486
0.01/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        40 |     500     7341    22607 |     5000       40    490 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 485
0.01/0.09	o 485
0.01/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 179.912 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        47 |     500     7342    23107 |     5000       47    490 |  0.000 % |
0.10/0.10	c ===============================================================================
0.10/0.10	c New solution: 484
0.10/0.10	o 484
0.10/0.10	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.10/0.10	c ===============================================================================
0.10/0.10	c |        50 |     500     7343    23607 |     5000       50    489 |  0.000 % |
0.10/0.10	c ===============================================================================
0.10/0.10	c New solution: 483
0.10/0.10	o 483
0.10/0.10	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 179.905 s
0.10/0.10	c ===============================================================================
0.10/0.10	c |        54 |     500     7344    24107 |     5000       54    489 |  0.000 % |
0.10/0.11	c ===============================================================================
0.10/0.11	c New solution: 482
0.10/0.11	o 482
0.10/0.11	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 179.9 s
0.10/0.11	c ===============================================================================
0.10/0.11	c |        68 |     500     7345    24607 |     5000       68    488 |  0.000 % |
0.10/0.11	c ===============================================================================
0.10/0.11	c New solution: 481
0.10/0.11	o 481
0.10/0.11	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 179.896 s
0.10/0.11	c ===============================================================================
0.10/0.11	c |        73 |     500     7346    25107 |     5000       73    488 |  0.000 % |
0.10/0.12	c ===============================================================================
0.10/0.12	c New solution: 480
0.10/0.12	o 480
0.10/0.12	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.10/0.12	c ===============================================================================
0.10/0.12	c |        90 |     500     7347    25607 |     5000       90    486 |  0.000 % |
0.10/0.13	c ===============================================================================
0.10/0.13	c New solution: 479
0.10/0.13	o 479
0.10/0.13	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 179.879 s
0.10/0.13	c ===============================================================================
0.10/0.13	c |       145 |     500     7348    26107 |     5000      145    484 |  0.000 % |
0.10/0.14	c ===============================================================================
0.10/0.14	c New solution: 478
0.10/0.14	o 478
0.10/0.14	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 179.872 s
0.10/0.14	c ===============================================================================
0.10/0.14	c |       171 |     500     7349    26607 |     5000      171    484 |  0.000 % |
0.10/0.15	c |       271 |     500     7349    26607 |     5500      271    482 | 86.350 % |
0.10/0.16	c ===============================================================================
0.10/0.16	c New solution: 477
0.10/0.16	o 477
0.10/0.16	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 179.845 s
0.10/0.16	c ===============================================================================
0.10/0.16	c |       317 |     500     7350    27107 |     5000      317    481 | 86.350 % |
0.10/0.18	c |       417 |     500     7350    27107 |     5500      417    480 | 86.350 % |
0.10/0.18	c ===============================================================================
0.10/0.18	c New solution: 476
0.10/0.18	o 476
0.10/0.18	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 179.825 s
0.10/0.18	c ===============================================================================
0.10/0.18	c |       417 |     500     7351    27607 |     5000      417    480 | 86.350 % |
0.19/0.20	c |       518 |     500     7351    27607 |     5500      518    480 | 86.350 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 475
0.19/0.22	o 475
0.19/0.22	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 179.789 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |       612 |     500     7352    28107 |     5000      612    479 | 86.350 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 474
0.19/0.23	o 474
0.19/0.23	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 179.776 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |       657 |     500     7353    28607 |     5000      657    479 | 86.350 % |
0.19/0.25	c |       758 |     500     7353    28607 |     5500      758    478 | 86.350 % |
0.19/0.28	c |       909 |     500     7353    28607 |     6050      909    478 | 86.350 % |
0.29/0.32	c |      1134 |     500     7353    28607 |     6655     1134    477 | 86.350 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 473
0.29/0.34	o 473
0.29/0.34	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 179.674 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |      1222 |     500     7354    29107 |     5000     1222    477 | 86.350 % |
0.29/0.37	c |      1324 |     500     7354    29107 |     5500     1324    477 | 86.350 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 472
0.29/0.39	o 472
0.29/0.39	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 179.622 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |      1443 |     500     7355    29607 |     5000     1443    476 | 86.350 % |
0.39/0.42	c |      1545 |     500     7355    29607 |     5500     1545    476 | 86.350 % |
0.39/0.45	c |      1695 |     500     7355    29607 |     6050     1695    476 | 86.350 % |
0.49/0.50	c |      1920 |     500     7355    29607 |     6655     1920    476 | 86.350 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 471
0.49/0.55	o 471
0.49/0.55	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 179.472 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |      2103 |     500     7356    30107 |     5000     2103    475 | 86.350 % |
0.49/0.58	c |      2203 |     500     7356    30107 |     5500     2203    475 | 86.350 % |
0.59/0.62	c |      2354 |     500     7356    30107 |     6050     2354    475 | 86.350 % |
0.59/0.68	c |      2580 |     500     7356    30107 |     6655     2580    475 | 86.350 % |
0.69/0.76	c |      2918 |     500     7356    30107 |     7320     2918    474 | 86.350 % |
0.79/0.87	c |      3425 |     500     7356    30107 |     8052     3425    474 | 86.350 % |
1.00/1.05	c |      4186 |     500     7356    30107 |     8857     4186    474 | 86.350 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: 470
1.00/1.07	o 470
1.00/1.07	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 178.962 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |      4238 |     500     7357    30607 |     5000     4238    474 | 86.350 % |
1.00/1.10	c |      4338 |     500     7357    30607 |     5500     4338    474 | 86.350 % |
1.10/1.14	c |      4489 |     500     7357    30607 |     6050     4489    473 | 86.350 % |
1.19/1.21	c |      4716 |     500     7357    30607 |     6655     4716    473 | 86.350 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: 469
1.19/1.26	o 469
1.19/1.26	c Elapsed CPU time: 1.22481 s	Remaining CPU time: 178.775 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |      4913 |     500     7358    31107 |     5000     4913    473 | 86.350 % |
1.29/1.30	c |      5014 |     500     7358    31107 |     5500     5014    473 | 86.350 % |
1.29/1.35	c |      5165 |     500     7358    31107 |     6050     5165    473 | 86.350 % |
1.39/1.40	c |      5391 |     500     7358    31107 |     6655     5391    473 | 86.350 % |
1.39/1.49	c |      5728 |     500     7358    31107 |     7320     5728    473 | 86.350 % |
1.59/1.64	c |      6234 |     500     7358    31107 |     8052     6234    472 | 86.350 % |
1.79/1.87	c |      6993 |     500     7358    31107 |     8857     6993    472 | 86.350 % |
2.10/2.12	c |      8133 |     500     7358    31107 |     9743     8133    472 | 86.350 % |
2.29/2.35	c ===============================================================================
2.29/2.35	c New solution: 468
2.29/2.35	o 468
2.29/2.35	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 177.698 s
2.29/2.35	c ===============================================================================
2.29/2.35	c |      9168 |     500     7359    31607 |     5000     9168    472 | 86.350 % |
2.39/2.48	c |      9268 |     500     7359    31607 |     5500     4684    470 | 86.350 % |
2.49/2.52	c |      9419 |     500     7359    31607 |     6050     4835    470 | 86.350 % |
2.49/2.59	c |      9644 |     500     7359    31607 |     6655     5060    470 | 86.350 % |
2.59/2.69	c |      9981 |     500     7359    31607 |     7320     5397    470 | 86.350 % |
2.79/2.83	c |     10487 |     500     7359    31607 |     8052     5903    470 | 86.350 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 467
2.99/3.01	o 467
2.99/3.01	c Elapsed CPU time: 2.95155 s	Remaining CPU time: 177.048 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |     11046 |     500     7360    32107 |     5000     6462    470 | 86.350 % |
2.99/3.05	c |     11146 |     500     7360    32107 |     5500     6562    470 | 86.350 % |
3.09/3.10	c |     11296 |     500     7360    32107 |     6050     6712    470 | 86.350 % |
3.09/3.18	c |     11522 |     500     7360    32107 |     6655     6938    470 | 86.350 % |
3.19/3.25	c ===============================================================================
3.19/3.25	c New solution: 466
3.19/3.25	o 466
3.19/3.25	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 176.815 s
3.19/3.25	c ===============================================================================
3.19/3.25	c |     11782 |     500     7361    32607 |     5000     7198    470 | 86.350 % |
3.30/3.31	c |     11884 |     500     7361    32607 |     5500     7300    470 | 86.350 % |
3.30/3.36	c |     12034 |     500     7361    32607 |     6050     7450    470 | 86.350 % |
3.30/3.39	c ===============================================================================
3.30/3.39	c New solution: 465
3.30/3.39	o 465
3.30/3.39	c Elapsed CPU time: 3.31849 s	Remaining CPU time: 176.682 s
3.30/3.39	c ===============================================================================
3.30/3.39	c |     12103 |     500     7362    33107 |     5000     7519    470 | 86.350 % |
3.39/3.42	c |     12203 |     500     7362    33107 |     5500     7619    469 | 86.350 % |
3.39/3.47	c |     12353 |     500     7362    33107 |     6050     7769    469 | 86.350 % |
3.49/3.54	c |     12579 |     500     7362    33107 |     6655     7995    469 | 86.350 % |
3.59/3.66	c |     12916 |     500     7362    33107 |     7320     8332    469 | 86.350 % |
3.69/3.75	c ===============================================================================
3.69/3.75	c New solution: 464
3.69/3.75	o 464
3.69/3.75	c Elapsed CPU time: 3.67744 s	Remaining CPU time: 176.323 s
3.69/3.75	c ===============================================================================
3.69/3.75	c |     13221 |     500     7363    33607 |     5000     8637    469 | 86.350 % |
3.79/3.83	c |     13321 |     500     7363    33607 |     5500     4419    469 | 86.350 % |
3.79/3.88	c |     13473 |     500     7363    33607 |     6050     4571    468 | 86.350 % |
3.89/3.96	c |     13699 |     500     7363    33607 |     6655     4797    468 | 86.350 % |
3.99/4.05	c |     14036 |     500     7363    33607 |     7320     5134    468 | 86.350 % |
4.19/4.21	c |     14543 |     500     7363    33607 |     8052     5641    468 | 86.350 % |
4.19/4.25	c ===============================================================================
4.19/4.25	c New solution: 463
4.19/4.25	o 463
4.19/4.25	c Elapsed CPU time: 4.16437 s	Remaining CPU time: 175.836 s
4.19/4.25	c ===============================================================================
4.19/4.25	c |     14660 |     500     7364    34107 |     5000     5758    468 | 86.350 % |
4.19/4.28	c |     14760 |     500     7364    34107 |     5500     5858    468 | 86.350 % |
4.29/4.34	c |     14911 |     500     7364    34107 |     6050     6009    468 | 86.350 % |
4.29/4.38	c ===============================================================================
4.29/4.38	c New solution: 462
4.29/4.38	o 462
4.29/4.38	c Elapsed CPU time: 4.29935 s	Remaining CPU time: 175.701 s
4.29/4.38	c ===============================================================================
4.29/4.38	c |     15050 |     500     7365    34607 |     5000     6148    467 | 86.350 % |
4.39/4.42	c |     15150 |     500     7365    34607 |     5500     6248    467 | 86.350 % |
4.39/4.47	c ===============================================================================
4.39/4.47	c New solution: 461
4.39/4.47	o 461
4.39/4.47	c Elapsed CPU time: 4.38333 s	Remaining CPU time: 175.617 s
4.39/4.47	c ===============================================================================
4.39/4.47	c |     15299 |     500     7366    35107 |     5000     6397    467 | 86.350 % |
4.49/4.50	c |     15400 |     500     7366    35107 |     5500     6498    467 | 86.350 % |
4.49/4.54	c |     15552 |     500     7366    35107 |     6050     6650    467 | 86.350 % |
4.59/4.61	c |     15777 |     500     7366    35107 |     6655     6875    467 | 86.350 % |
4.69/4.76	c |     16115 |     500     7366    35107 |     7320     7213    467 | 86.350 % |
4.89/4.97	c |     16622 |     500     7366    35107 |     8052     7720    467 | 86.350 % |
5.19/5.21	c |     17383 |     500     7366    35107 |     8857     8481    466 | 86.350 % |
5.69/5.77	c |     18523 |     500     7366    35107 |     9743     9621    466 | 86.350 % |
6.69/6.74	c |     20233 |     500     7366    35107 |    10717    11331    465 | 86.350 % |
8.19/8.24	c |     22797 |     500     7366    35107 |    11789    13895    465 | 86.350 % |
11.49/11.53	c |     26641 |     500     7366    35107 |    12968    10032    462 | 86.350 % |
15.19/15.26	c |     32408 |     500     7366    35107 |    14265    15799    462 | 86.350 % |
18.39/18.49	c ===============================================================================
18.39/18.49	c New solution: 460
18.39/18.49	o 460
18.39/18.49	c Elapsed CPU time: 18.2782 s	Remaining CPU time: 161.722 s
18.39/18.49	c ===============================================================================
18.39/18.49	c |     40885 |     500     7367    35607 |     5000    15333    462 | 86.350 % |
18.60/18.67	c |     40985 |     500     7367    35607 |     5500     7767    461 | 86.350 % |
18.70/18.70	c |     41135 |     500     7367    35607 |     6050     7917    461 | 86.350 % |
18.70/18.77	c |     41360 |     500     7367    35607 |     6655     8142    461 | 86.350 % |
18.98/19.00	c |     41698 |     500     7367    35607 |     7320     8480    461 | 86.350 % |
19.08/19.11	c ===============================================================================
19.08/19.11	c New solution: 459
19.08/19.11	o 459
19.08/19.11	c Elapsed CPU time: 18.8921 s	Remaining CPU time: 161.108 s
19.08/19.11	c ===============================================================================
19.08/19.11	c |     41880 |     500     7368    36107 |     5000     8662    461 | 86.350 % |
19.18/19.25	c |     41982 |     500     7368    36107 |     5500     4433    461 | 86.350 % |
19.28/19.33	c |     42133 |     500     7368    36107 |     6050     4584    461 | 86.350 % |
19.39/19.42	c |     42358 |     500     7368    36107 |     6655     4809    461 | 86.350 % |
19.49/19.57	c |     42695 |     500     7368    36107 |     7320     5146    461 | 86.350 % |
19.80/19.81	c |     43201 |     500     7368    36107 |     8052     5652    461 | 86.350 % |
19.99/20.07	c |     43961 |     500     7368    36107 |     8857     6412    461 | 86.350 % |
20.39/20.46	c |     45100 |     500     7368    36107 |     9743     7551    460 | 86.350 % |
21.09/21.10	c |     46808 |     500     7368    36107 |    10717     9259    460 | 86.350 % |
21.99/22.02	c |     49371 |     500     7368    36107 |    11789    11822    460 | 86.350 % |
23.29/23.30	c |     53215 |     500     7368    36107 |    12968     7959    459 | 86.350 % |
24.98/25.02	c |     58981 |     500     7368    36107 |    14265    13725    459 | 86.350 % |
27.89/27.90	c |     67631 |     500     7368    36107 |    15692    13432    460 | 86.350 % |
29.29/29.37	c ===============================================================================
29.29/29.37	c New solution: 458
29.29/29.37	o 458
29.29/29.37	c Elapsed CPU time: 29.0146 s	Remaining CPU time: 150.985 s
29.29/29.37	c ===============================================================================
29.29/29.37	c |     71372 |     500     7369    36607 |     5000    17173    460 | 86.350 % |
29.60/29.70	c |     71472 |     500     7369    36607 |     5500     4394    460 | 86.350 % |
29.69/29.75	c |     71622 |     500     7369    36607 |     6050     4544    460 | 86.350 % |
29.79/29.81	c |     71848 |     500     7369    36607 |     6655     4770    460 | 86.350 % |
29.88/29.91	c |     72186 |     500     7369    36607 |     7320     5108    460 | 86.350 % |
30.08/30.13	c |     72692 |     500     7369    36607 |     8052     5614    460 | 86.350 % |
30.38/30.41	c |     73451 |     500     7369    36607 |     8857     6373    460 | 86.350 % |
30.89/30.92	c |     74591 |     500     7369    36607 |     9743     7513    460 | 86.350 % |
31.69/31.75	c |     76300 |     500     7369    36607 |    10717     9222    459 | 86.350 % |
32.68/32.73	c |     78863 |     500     7369    36607 |    11789    11785    459 | 86.350 % |
34.18/34.20	c |     82708 |     500     7369    36607 |    12968     7922    459 | 86.350 % |
36.59/36.64	c |     88475 |     500     7369    36607 |    14265    13689    459 | 86.350 % |
39.98/40.06	c ===============================================================================
39.98/40.06	c New solution: 457
39.98/40.06	o 457
39.98/40.06	c Elapsed CPU time: 39.588 s	Remaining CPU time: 140.412 s
39.98/40.06	c ===============================================================================
39.98/40.06	c |     95497 |     500     7370    37107 |     5000    11766    459 | 86.350 % |
40.08/40.18	c |     95599 |     500     7370    37107 |     5500     5985    459 | 86.350 % |
40.18/40.22	c |     95750 |     500     7370    37107 |     6050     6136    459 | 86.350 % |
40.28/40.32	c |     95975 |     500     7370    37107 |     6655     6361    459 | 86.350 % |
40.38/40.43	c |     96313 |     500     7370    37107 |     7320     6699    459 | 86.350 % |
40.59/40.62	c |     96819 |     500     7370    37107 |     8052     7205    458 | 86.350 % |
40.69/40.79	c |     97579 |     500     7370    37107 |     8857     7965    458 | 86.350 % |
41.08/41.11	c |     98718 |     500     7370    37107 |     9743     9104    458 | 86.350 % |
41.79/41.80	c |    100427 |     500     7370    37107 |    10717    10813    458 | 86.350 % |
43.38/43.46	c |    102990 |     500     7370    37107 |    11789    13376    458 | 86.350 % |
44.78/44.86	c |    106834 |     500     7370    37107 |    12968     9515    458 | 86.350 % |
46.58/46.68	c |    112601 |     500     7370    37107 |    14265    15282    457 | 86.350 % |
50.58/50.68	c |    121251 |     500     7370    37107 |    15692    14988    457 | 86.350 % |
55.98/56.10	c |    134225 |     500     7370    37107 |    17261    18304    457 | 86.350 % |
73.57/73.67	c |    153686 |     500     7370    37107 |    18987    16881    458 | 86.350 % |
76.47/76.51	c ===============================================================================
76.47/76.51	c New solution: 456
76.47/76.51	o 456
76.47/76.51	c Elapsed CPU time: 75.7225 s	Remaining CPU time: 104.278 s
76.47/76.51	c ===============================================================================
76.47/76.51	c |    159927 |     500     7371    37607 |     5000    11169    458 | 86.350 % |
76.57/76.66	c |    160028 |     500     7371    37607 |     5500     5686    458 | 86.350 % |
76.68/76.73	c |    160179 |     500     7371    37607 |     6050     5837    458 | 86.350 % |
76.78/76.83	c |    160405 |     500     7371    37607 |     6655     6063    458 | 86.350 % |
76.98/77.01	c |    160743 |     500     7371    37607 |     7320     6401    458 | 86.350 % |
76.98/77.05	c ===============================================================================
76.98/77.05	c New solution: 455
76.98/77.05	o 455
76.98/77.05	c Elapsed CPU time: 76.2604 s	Remaining CPU time: 103.74 s
76.98/77.05	c ===============================================================================
76.98/77.05	c |    160839 |     500     7372    38107 |     5000     6497    458 | 86.350 % |
77.07/77.10	c |    160939 |     500     7372    38107 |     5500     6597    458 | 86.350 % |
77.07/77.16	c |    161089 |     500     7372    38107 |     6050     6747    458 | 86.350 % |
77.28/77.31	c |    161314 |     500     7372    38107 |     6655     6972    457 | 86.350 % |
77.47/77.58	c |    161652 |     500     7372    38107 |     7320     7310    457 | 86.350 % |
77.67/77.75	c |    162159 |     500     7372    38107 |     8052     7817    457 | 86.350 % |
78.08/78.15	c |    162920 |     500     7372    38107 |     8857     8578    457 | 86.350 % |
78.67/78.72	c |    164059 |     500     7372    38107 |     9743     9717    457 | 86.350 % |
79.47/79.52	c |    165769 |     500     7372    38107 |    10717    11427    457 | 86.350 % |
80.57/80.69	c |    168331 |     500     7372    38107 |    11789    13989    457 | 86.350 % |
82.87/82.90	c |    172176 |     500     7372    38107 |    12968    10132    456 | 86.350 % |
86.97/87.02	c |    177943 |     500     7372    38107 |    14265    15899    456 | 86.350 % |
91.57/91.62	c |    186593 |     500     7372    38107 |    15692    15608    456 | 86.350 % |
98.27/98.33	c |    199567 |     500     7372    38107 |    17261    18926    456 | 86.350 % |
108.07/108.13	c |    219028 |     500     7372    38107 |    18987    17505    456 | 86.350 % |
120.97/121.03	c |    248220 |     500     7372    38107 |    20886    10908    456 | 86.350 % |
141.66/141.78	c |    292011 |     500     7372    38107 |    22974    13473    456 | 86.350 % |
181.65/181.70	c There are 3163 assigned variables. 0 in cost function.
181.95/182.07	c core #1
181.95/182.07	c #cores: 1
181.95/182.07	c Final Weight: 455
181.95/182.07	o 455
181.95/182.07	s OPTIMUM FOUND
181.95/182.07	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 -x3660 -x3661 -x3662 -x3663
181.95/182.07	c Total CPU time: 180.371 s

Verifier Data 

OK	-45

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702458-1278568133/watcher-2702458-1278568133 -o /tmp/evaluation-result-2702458-1278568133/solver-2702458-1278568133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702458-1278568133.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: 0.99 0.98 0.99 3/106 31549
/proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=3420 CPUtime=0
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 425 0 0 0 0 0 0 0 18 0 1 0 25020485 3502080 344 1992294400 134512640 135751879 4289050880 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 855 344 143 303 0 483 0

[startup+0.011172 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31549
/proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=3420 CPUtime=0.01
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 435 0 0 0 1 0 0 0 18 0 1 0 25020485 3502080 354 1992294400 134512640 135751879 4289050880 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 855 354 146 303 0 483 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3420

[startup+0.101181 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31549
/proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=4536 CPUtime=0.1
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 833 0 0 0 9 1 0 0 21 0 1 0 25020485 4644864 685 1992294400 134512640 135751879 4289050880 18446744073709551615 134607436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 1134 685 146 303 0 829 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4536

[startup+0.300203 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31549
/proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=6200 CPUtime=0.29
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 1251 0 0 0 28 1 0 0 21 0 1 0 25020485 6348800 1103 1992294400 134512640 135751879 4289050880 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 1550 1103 147 303 0 1245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6200

[startup+0.700246 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31549
/proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=9552 CPUtime=0.69
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 2078 0 0 0 66 3 0 0 22 0 1 0 25020485 9781248 1930 1992294400 134512640 135751879 4289050880 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 2388 1930 147 303 0 2083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9552

[startup+1.50033 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31550
/proc/meminfo: memFree=1529840/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=15604 CPUtime=1.49
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 3610 0 0 0 146 3 0 0 25 0 1 0 25020485 15978496 3462 1992294400 134512640 135751879 4289050880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 3901 3462 147 303 0 3596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15604

[startup+3.1005 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31550
/proc/meminfo: memFree=1521532/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=26528 CPUtime=3.09
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 6322 0 0 0 303 6 0 0 25 0 1 0 25020485 27164672 6174 1992294400 134512640 135751879 4289050880 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 6632 6174 148 303 0 6327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26528

[startup+6.30085 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31550
/proc/meminfo: memFree=1502560/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=42304 CPUtime=6.29
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 10283 0 0 0 618 11 0 0 25 0 1 0 25020485 43319296 10135 1992294400 134512640 135751879 4289050880 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 10576 10135 148 303 0 10271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42304

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31551
/proc/meminfo: memFree=1484084/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=59256 CPUtime=12.69
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 14531 0 0 0 1253 16 0 0 25 0 1 0 25020485 60678144 14383 1992294400 134512640 135751879 4289050880 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 14814 14383 148 303 0 14509 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59256

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31552
/proc/meminfo: memFree=1422456/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=121204 CPUtime=25.49
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 29998 0 0 0 2520 29 0 0 25 0 1 0 25020485 124112896 29850 1992294400 134512640 135751879 4289050880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 30301 29850 148 303 0 29996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121204

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31552
/proc/meminfo: memFree=1305400/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=238128 CPUtime=51.08
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 59223 0 0 0 5050 58 0 0 25 0 1 0 25020485 243843072 59075 1992294400 134512640 135751879 4289050880 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 59532 59075 148 303 0 59227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 238128

[startup+102.309 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 31554
/proc/meminfo: memFree=1140604/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=400628 CPUtime=102.27
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 99805 0 0 0 10128 99 0 0 25 0 1 0 25020485 410243072 99657 1992294400 134512640 135751879 4289050880 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 100157 99657 148 303 0 99852 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 400628

[startup+162.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 31555
/proc/meminfo: memFree=931168/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=610776 CPUtime=162.25
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 152299 0 0 0 16076 149 0 0 25 0 1 0 25020485 625434624 152151 1992294400 134512640 135751879 4289050880 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 152694 152151 148 303 0 152389 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 610776

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

[startup+166.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 31555
/proc/meminfo: memFree=915048/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=626788 CPUtime=166.25
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 156318 0 0 0 16472 153 0 0 25 0 1 0 25020485 641830912 156170 1992294400 134512640 135751879 4289050880 18446744073709551615 134606237 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 156697 156170 148 303 0 156392 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 626788

[startup+172.708 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 31556
/proc/meminfo: memFree=890868/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=650224 CPUtime=172.65
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 162175 0 0 0 17106 159 0 0 25 0 1 0 25020485 665829376 162027 1992294400 134512640 135751879 4289050880 18446744073709551615 134606557 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 162556 162027 148 303 0 162251 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 650224

[startup+179.101 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 31556
/proc/meminfo: memFree=871648/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=670080 CPUtime=179.05
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 167144 0 0 0 17742 163 0 0 25 0 1 0 25020485 686161920 166996 1992294400 134512640 135751879 4289050880 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 167520 166996 148 303 0 167215 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 670080

[startup+180.701 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 31556
/proc/meminfo: memFree=868424/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=672780 CPUtime=180.65
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 167815 0 0 0 17901 164 0 0 25 0 1 0 25020485 688926720 167667 1992294400 134512640 135751879 4289050880 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 168195 167667 148 303 0 167890 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 672780

[startup+181.508 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 31556
/proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=675212 CPUtime=181.45
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 168421 0 0 0 17980 165 0 0 25 0 1 0 25020485 691417088 168273 1992294400 134512640 135751879 4289050880 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 168803 168273 148 303 0 168498 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 675212

[startup+181.901 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 31556
/proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=676904 CPUtime=181.85
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 168841 0 0 0 18020 165 0 0 25 0 1 0 25020485 693149696 168693 1992294400 134512640 135751879 4289050880 18446744073709551615 134522069 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31549/statm: 169226 168693 149 303 0 168921 0
Current children cumulated CPU time (s) 181.85
Current children cumulated vsize (KiB) 676904

[startup+182.101 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 31556
/proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956
[pid=31549] ppid=31547 vsize=0 CPUtime=182.05
/proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202500 168842 0 0 0 18037 168 0 0 25 0 1 0 25020485 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31549/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.134
CPU time (s): 182.088
CPU user time (s): 180.371
CPU system time (s): 1.71774
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 676904

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

runsolver used 0.304953 second user time and 0.869867 second system time

The end

Launcher Data 

Begin job on node047 at 2010-07-08 07:48:53
IDJOB=2702458
IDBENCH=48164
IDSOLVER=1161
FILE ID=node047/2702458-1278568133
PBS_JOBID= 11239566
Free space on /tmp= 62492 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.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-2702458-1278568133/watcher-2702458-1278568133 -o /tmp/evaluation-result-2702458-1278568133/solver-2702458-1278568133 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702458-1278568133.opb

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

MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402
RANDOM SEED=726007860

node047.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.248
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.49
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.248
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1540296 kB
Buffers:         85704 kB
Cached:         309212 kB
SwapCached:       1388 kB
Active:         181780 kB
Inactive:       246464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1540296 kB
SwapTotal:     4192956 kB
SwapFree:      4165016 kB
Dirty:            2936 kB
Writeback:           0 kB
AnonPages:       32016 kB
Mapped:          13468 kB
Slab:            68524 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179384 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-2702458-1278568133.opb

Free space on /tmp at the end= 62492 MiB
End job on node047 at 2010-07-08 07:51:56