Trace number 2702504

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.-48 182.29 182.335

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
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-114
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 -110
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)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

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-2702504-1278568629.opb.
0.00/0.00	c Instance file HOME/instance-2702504-1278568629.opb
0.00/0.00	c File size is 270643 bytes.
0.00/0.04	c Highest Coefficient sum: 22
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      3658                                                |
0.00/0.04	c |  Number Clauses:        3158                                                |
0.00/0.04	c |  Number Cardinality:    1000                                                |
0.00/0.04	c |  Number PB Constraints: 3158                                                |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     500     7316    15167 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 500
0.00/0.05	o 500
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 179.947 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     500     7317    15667 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 499
0.00/0.05	o 499
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     500     7318    16167 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 498
0.00/0.06	o 498
0.00/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     500     7319    16667 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 497
0.00/0.06	o 497
0.00/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     500     7320    17167 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 496
0.00/0.06	o 496
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     500     7321    17667 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 495
0.00/0.06	o 495
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     500     7322    18167 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 494
0.00/0.06	o 494
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     500     7323    18667 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 493
0.00/0.07	o 493
0.00/0.07	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     500     7324    19167 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 492
0.00/0.07	o 492
0.00/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         1 |     500     7325    19667 |     5000        1    493 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 491
0.00/0.07	o 491
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 179.93 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         2 |     500     7326    20167 |     5000        2    492 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 490
0.00/0.07	o 490
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         5 |     500     7327    20667 |     5000        5    492 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 489
0.00/0.08	o 489
0.00/0.08	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 179.926 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |         8 |     500     7328    21167 |     5000        8    491 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 488
0.00/0.08	o 488
0.00/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |        14 |     500     7329    21667 |     5000       14    490 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 487
0.00/0.08	o 487
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 179.921 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |        17 |     500     7330    22167 |     5000       17    490 |  0.000 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 486
0.00/0.09	o 486
0.00/0.09	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 179.918 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |        23 |     500     7331    22667 |     5000       23    489 |  0.000 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 485
0.00/0.09	o 485
0.00/0.09	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 179.915 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |        27 |     500     7332    23167 |     5000       27    489 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 484
0.09/0.10	o 484
0.09/0.10	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        64 |     500     7333    23667 |     5000       64    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.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        75 |     500     7334    24167 |     5000       75    486 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 482
0.09/0.11	o 482
0.09/0.11	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        94 |     500     7335    24667 |     5000       94    486 |  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.108983 s	Remaining CPU time: 179.891 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       113 |     500     7336    25167 |     5000      113    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 |       145 |     500     7337    25667 |     5000      145    484 |  0.000 % |
0.09/0.14	c |       245 |     500     7337    25667 |     5500      245    483 | 86.331 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 479
0.09/0.15	o 479
0.09/0.15	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 179.857 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |       321 |     500     7338    26167 |     5000      321    482 | 86.331 % |
0.09/0.17	c |       422 |     500     7338    26167 |     5500      422    482 | 86.331 % |
0.09/0.19	c |       572 |     500     7338    26167 |     6050      572    481 | 86.331 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 478
0.19/0.21	o 478
0.19/0.21	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 179.8 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |       659 |     500     7339    26667 |     5000      659    481 | 86.331 % |
0.19/0.23	c |       760 |     500     7339    26667 |     5500      760    480 | 86.331 % |
0.19/0.25	c |       911 |     500     7339    26667 |     6050      911    480 | 86.331 % |
0.19/0.29	c |      1137 |     500     7339    26667 |     6655     1137    480 | 86.331 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 477
0.29/0.33	o 477
0.29/0.33	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 179.68 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |      1413 |     500     7340    27167 |     5000     1413    479 | 86.331 % |
0.29/0.35	c |      1514 |     500     7340    27167 |     5500     1514    479 | 86.331 % |
0.29/0.38	c |      1665 |     500     7340    27167 |     6050     1665    479 | 86.331 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 476
0.29/0.39	o 476
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 |      1734 |     500     7341    27667 |     5000     1734    479 | 86.331 % |
0.40/0.40	c ===============================================================================
0.40/0.40	c New solution: 475
0.40/0.40	o 475
0.40/0.40	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 179.617 s
0.40/0.40	c ===============================================================================
0.40/0.40	c |      1746 |     500     7342    28167 |     5000     1746    479 | 86.331 % |
0.40/0.41	c ===============================================================================
0.40/0.41	c New solution: 474
0.40/0.41	o 474
0.40/0.41	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 179.605 s
0.40/0.41	c ===============================================================================
0.40/0.41	c |      1806 |     500     7343    28667 |     5000     1806    479 | 86.331 % |
0.40/0.43	c ===============================================================================
0.40/0.43	c New solution: 473
0.40/0.43	o 473
0.40/0.43	c Elapsed CPU time: 0.408937 s	Remaining CPU time: 179.591 s
0.40/0.43	c ===============================================================================
0.40/0.43	c |      1867 |     500     7344    29167 |     5000     1867    479 | 86.331 % |
0.40/0.45	c ===============================================================================
0.40/0.45	c New solution: 472
0.40/0.45	o 472
0.40/0.45	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 179.573 s
0.40/0.45	c ===============================================================================
0.40/0.45	c |      1938 |     500     7345    29667 |     5000     1938    479 | 86.331 % |
0.40/0.47	c |      2038 |     500     7345    29667 |     5500     2038    478 | 86.331 % |
0.40/0.48	c ===============================================================================
0.40/0.48	c New solution: 471
0.40/0.48	o 471
0.40/0.48	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 179.541 s
0.40/0.48	c ===============================================================================
0.40/0.48	c |      2074 |     500     7346    30167 |     5000     2074    478 | 86.331 % |
0.49/0.50	c |      2174 |     500     7346    30167 |     5500     2174    478 | 86.331 % |
0.49/0.53	c |      2325 |     500     7346    30167 |     6050     2325    478 | 86.331 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 470
0.49/0.56	o 470
0.49/0.56	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 179.461 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |      2444 |     500     7347    30667 |     5000     2444    477 | 86.331 % |
0.49/0.60	c |      2544 |     500     7347    30667 |     5500     2544    477 | 86.331 % |
0.59/0.63	c |      2694 |     500     7347    30667 |     6050     2694    477 | 86.331 % |
0.59/0.69	c |      2919 |     500     7347    30667 |     6655     2919    476 | 86.331 % |
0.69/0.77	c |      3256 |     500     7347    30667 |     7320     3256    476 | 86.331 % |
0.79/0.89	c |      3763 |     500     7347    30667 |     8052     3763    475 | 86.331 % |
1.10/1.13	c |      4522 |     500     7347    30667 |     8857     4522    474 | 86.331 % |
1.39/1.47	c |      5661 |     500     7347    30667 |     9743     5661    474 | 86.331 % |
2.09/2.18	c |      7370 |     500     7347    30667 |    10717     7370    473 | 86.331 % |
2.99/3.05	c |      9932 |     500     7347    30667 |    11789     9932    473 | 86.331 % |
3.89/3.93	c |     13777 |     500     7347    30667 |    12968    13777    472 | 86.331 % |
5.99/6.03	c |     19544 |     500     7347    30667 |    14265    11244    471 | 86.331 % |
7.19/7.22	c ===============================================================================
7.19/7.22	c New solution: 469
7.19/7.22	o 469
7.19/7.22	c Elapsed CPU time: 7.08892 s	Remaining CPU time: 172.911 s
7.19/7.22	c ===============================================================================
7.19/7.22	c |     21256 |     500     7348    31167 |     5000    12956    471 | 86.331 % |
7.29/7.37	c |     21356 |     500     7348    31167 |     5500     6578    471 | 86.331 % |
7.39/7.42	c |     21506 |     500     7348    31167 |     6050     6728    471 | 86.331 % |
7.49/7.50	c |     21731 |     500     7348    31167 |     6655     6953    471 | 86.331 % |
7.59/7.66	c |     22068 |     500     7348    31167 |     7320     7290    471 | 86.331 % |
7.79/7.85	c ===============================================================================
7.79/7.85	c New solution: 468
7.79/7.85	o 468
7.79/7.85	c Elapsed CPU time: 7.71083 s	Remaining CPU time: 172.289 s
7.79/7.85	c ===============================================================================
7.79/7.85	c |     22542 |     500     7349    31667 |     5000     7764    471 | 86.331 % |
7.79/7.89	c |     22642 |     500     7349    31667 |     5500     7864    471 | 86.331 % |
7.89/7.95	c |     22792 |     500     7349    31667 |     6050     8014    470 | 86.331 % |
7.99/8.04	c |     23019 |     500     7349    31667 |     6655     8241    471 | 86.331 % |
8.09/8.18	c |     23357 |     500     7349    31667 |     7320     8579    470 | 86.331 % |
8.28/8.39	c |     23864 |     500     7349    31667 |     8052     9086    470 | 86.331 % |
8.69/8.76	c |     24625 |     500     7349    31667 |     8857     9847    470 | 86.331 % |
9.09/9.16	c |     25764 |     500     7349    31667 |     9743    10986    470 | 86.331 % |
9.49/9.54	c |     27472 |     500     7349    31667 |    10717    12694    470 | 86.331 % |
9.49/9.57	c ===============================================================================
9.49/9.57	c New solution: 467
9.49/9.57	o 467
9.49/9.57	c Elapsed CPU time: 9.40457 s	Remaining CPU time: 170.595 s
9.49/9.57	c ===============================================================================
9.49/9.57	c |     27578 |     500     7350    32167 |     5000    12800    470 | 86.331 % |
9.68/9.76	c |     27680 |     500     7350    32167 |     5500     6502    469 | 86.331 % |
9.79/9.81	c |     27832 |     500     7350    32167 |     6050     6654    469 | 86.331 % |
9.79/9.88	c |     28057 |     500     7350    32167 |     6655     6879    469 | 86.331 % |
9.90/9.95	c |     28395 |     500     7350    32167 |     7320     7217    469 | 86.331 % |
9.99/10.09	c |     28902 |     500     7350    32167 |     8052     7724    469 | 86.331 % |
10.19/10.25	c |     29661 |     500     7350    32167 |     8857     8483    469 | 86.331 % |
10.39/10.48	c |     30801 |     500     7350    32167 |     9743     9623    469 | 86.331 % |
11.00/11.06	c |     32510 |     500     7350    32167 |    10717    11332    468 | 86.331 % |
11.69/11.74	c ===============================================================================
11.69/11.74	c New solution: 466
11.69/11.74	o 466
11.69/11.74	c Elapsed CPU time: 11.5362 s	Remaining CPU time: 168.464 s
11.69/11.74	c ===============================================================================
11.69/11.74	c |     34637 |     500     7351    32667 |     5000    13459    468 | 86.331 % |
11.89/11.90	c |     34737 |     500     7351    32667 |     5500     6830    468 | 86.331 % |
11.89/11.99	c |     34889 |     500     7351    32667 |     6050     6982    468 | 86.331 % |
11.99/12.09	c |     35115 |     500     7351    32667 |     6655     7208    468 | 86.331 % |
12.10/12.11	c ===============================================================================
12.10/12.11	c New solution: 465
12.10/12.11	o 465
12.10/12.11	c Elapsed CPU time: 11.9022 s	Remaining CPU time: 168.098 s
12.10/12.11	c ===============================================================================
12.10/12.11	c |     35129 |     500     7352    33167 |     5000     7222    468 | 86.331 % |
12.10/12.15	c |     35231 |     500     7352    33167 |     5500     7324    467 | 86.331 % |
12.19/12.24	c |     35382 |     500     7352    33167 |     6050     7475    467 | 86.331 % |
12.29/12.38	c |     35608 |     500     7352    33167 |     6655     7701    467 | 86.331 % |
12.39/12.48	c |     35946 |     500     7352    33167 |     7320     8039    467 | 86.331 % |
12.59/12.67	c |     36452 |     500     7352    33167 |     8052     8545    467 | 86.331 % |
12.89/12.94	c |     37212 |     500     7352    33167 |     8857     9305    467 | 86.331 % |
13.29/13.39	c |     38351 |     500     7352    33167 |     9743    10444    467 | 86.331 % |
14.08/14.11	c ===============================================================================
14.08/14.11	c New solution: 464
14.08/14.11	o 464
14.08/14.11	c Elapsed CPU time: 13.8719 s	Remaining CPU time: 166.128 s
14.08/14.11	c ===============================================================================
14.08/14.11	c |     39726 |     500     7353    33667 |     5000    11819    467 | 86.331 % |
14.08/14.19	c |     39827 |     500     7353    33667 |     5500     6011    466 | 86.331 % |
14.19/14.23	c |     39978 |     500     7353    33667 |     6050     6162    466 | 86.331 % |
14.30/14.31	c |     40203 |     500     7353    33667 |     6655     6387    466 | 86.331 % |
14.39/14.40	c |     40541 |     500     7353    33667 |     7320     6725    466 | 86.331 % |
14.49/14.56	c |     41048 |     500     7353    33667 |     8052     7232    466 | 86.331 % |
14.69/14.79	c |     41807 |     500     7353    33667 |     8857     7991    466 | 86.331 % |
15.09/15.18	c |     42946 |     500     7353    33667 |     9743     9130    466 | 86.331 % |
15.89/15.90	c |     44654 |     500     7353    33667 |    10717    10838    465 | 86.331 % |
17.09/17.14	c ===============================================================================
17.09/17.14	c New solution: 463
17.09/17.14	o 463
17.09/17.14	c Elapsed CPU time: 16.8734 s	Remaining CPU time: 163.127 s
17.09/17.14	c ===============================================================================
17.09/17.14	c |     46820 |     500     7354    34167 |     5000    13004    465 | 86.331 % |
17.29/17.30	c |     46920 |     500     7354    34167 |     5500     6602    465 | 86.331 % |
17.29/17.37	c |     47071 |     500     7354    34167 |     6050     6753    465 | 86.331 % |
17.39/17.44	c |     47296 |     500     7354    34167 |     6655     6978    465 | 86.331 % |
17.49/17.57	c |     47634 |     500     7354    34167 |     7320     7316    465 | 86.331 % |
17.69/17.76	c |     48140 |     500     7354    34167 |     8052     7822    465 | 86.331 % |
17.99/18.02	c |     48900 |     500     7354    34167 |     8857     8582    465 | 86.331 % |
18.29/18.33	c |     50039 |     500     7354    34167 |     9743     9721    464 | 86.331 % |
18.59/18.70	c ===============================================================================
18.59/18.70	c New solution: 462
18.59/18.70	o 462
18.59/18.70	c Elapsed CPU time: 18.4042 s	Remaining CPU time: 161.596 s
18.59/18.70	c ===============================================================================
18.59/18.70	c |     51266 |     500     7355    34667 |     5000    10948    464 | 86.331 % |
18.79/18.80	c |     51366 |     500     7355    34667 |     5500     5574    464 | 86.331 % |
18.79/18.85	c |     51517 |     500     7355    34667 |     6050     5725    464 | 86.331 % |
18.88/18.91	c |     51744 |     500     7355    34667 |     6655     5952    464 | 86.331 % |
18.98/19.00	c |     52081 |     500     7355    34667 |     7320     6289    464 | 86.331 % |
19.09/19.12	c |     52588 |     500     7355    34667 |     8052     6796    464 | 86.331 % |
19.09/19.13	c ===============================================================================
19.09/19.13	c New solution: 461
19.09/19.13	o 461
19.09/19.13	c Elapsed CPU time: 18.8311 s	Remaining CPU time: 161.169 s
19.09/19.13	c ===============================================================================
19.09/19.13	c |     52606 |     500     7356    35167 |     5000     6814    464 | 86.331 % |
19.09/19.17	c |     52706 |     500     7356    35167 |     5500     6914    464 | 86.331 % |
19.19/19.21	c |     52856 |     500     7356    35167 |     6050     7064    464 | 86.331 % |
19.19/19.30	c |     53082 |     500     7356    35167 |     6655     7290    464 | 86.331 % |
19.39/19.42	c |     53420 |     500     7356    35167 |     7320     7628    463 | 86.331 % |
19.49/19.57	c |     53926 |     500     7356    35167 |     8052     8134    463 | 86.331 % |
19.99/20.00	c |     54685 |     500     7356    35167 |     8857     8893    463 | 86.331 % |
20.39/20.41	c |     55824 |     500     7356    35167 |     9743    10032    463 | 86.331 % |
20.58/20.61	c ===============================================================================
20.58/20.61	c New solution: 460
20.58/20.61	o 460
20.58/20.61	c Elapsed CPU time: 20.2909 s	Remaining CPU time: 159.709 s
20.58/20.61	c ===============================================================================
20.58/20.61	c |     56597 |     500     7357    35667 |     5000    10805    463 | 86.331 % |
20.58/20.69	c |     56698 |     500     7357    35667 |     5500     5504    462 | 86.331 % |
20.68/20.73	c |     56849 |     500     7357    35667 |     6050     5655    462 | 86.331 % |
20.79/20.81	c |     57074 |     500     7357    35667 |     6655     5880    462 | 86.331 % |
20.89/20.94	c |     57411 |     500     7357    35667 |     7320     6217    462 | 86.331 % |
20.99/21.09	c |     57918 |     500     7357    35667 |     8052     6724    462 | 86.331 % |
21.08/21.20	c ===============================================================================
21.08/21.20	c New solution: 459
21.08/21.20	o 459
21.08/21.20	c Elapsed CPU time: 20.8658 s	Remaining CPU time: 159.134 s
21.08/21.20	c ===============================================================================
21.08/21.20	c |     58291 |     500     7358    36167 |     5000     7097    462 | 86.331 % |
21.18/21.24	c |     58391 |     500     7358    36167 |     5500     7197    462 | 86.331 % |
21.18/21.29	c |     58541 |     500     7358    36167 |     6050     7347    462 | 86.331 % |
21.29/21.37	c |     58766 |     500     7358    36167 |     6655     7572    462 | 86.331 % |
21.39/21.44	c |     59103 |     500     7358    36167 |     7320     7909    461 | 86.331 % |
21.49/21.56	c |     59609 |     500     7358    36167 |     8052     8415    461 | 86.331 % |
21.68/21.75	c |     60368 |     500     7358    36167 |     8857     9174    461 | 86.331 % |
22.09/22.10	c |     61507 |     500     7358    36167 |     9743    10313    461 | 86.331 % |
22.19/22.28	c ===============================================================================
22.19/22.28	c New solution: 458
22.19/22.28	o 458
22.19/22.28	c Elapsed CPU time: 21.9327 s	Remaining CPU time: 158.067 s
22.19/22.28	c ===============================================================================
22.19/22.28	c |     62176 |     500     7359    36667 |     5000    10982    461 | 86.331 % |
22.28/22.38	c |     62277 |     500     7359    36667 |     5500     5592    460 | 86.331 % |
22.38/22.41	c |     62428 |     500     7359    36667 |     6050     5743    460 | 86.331 % |
22.38/22.48	c |     62653 |     500     7359    36667 |     6655     5968    460 | 86.331 % |
22.48/22.57	c |     62990 |     500     7359    36667 |     7320     6305    460 | 86.331 % |
22.69/22.79	c |     63498 |     500     7359    36667 |     8052     6813    460 | 86.331 % |
22.99/23.01	c |     64258 |     500     7359    36667 |     8857     7573    460 | 86.331 % |
23.38/23.43	c |     65397 |     500     7359    36667 |     9743     8712    460 | 86.331 % |
23.99/24.02	c |     67107 |     500     7359    36667 |    10717    10422    460 | 86.331 % |
25.38/25.42	c |     69669 |     500     7359    36667 |    11789    12984    459 | 86.331 % |
26.99/27.02	c |     73513 |     500     7359    36667 |    12968     9128    459 | 86.331 % |
28.88/28.98	c |     79279 |     500     7359    36667 |    14265    14894    459 | 86.331 % |
34.78/34.89	c |     87931 |     500     7359    36667 |    15692    14604    459 | 86.331 % |
35.48/35.54	c ===============================================================================
35.48/35.54	c New solution: 457
35.48/35.54	o 457
35.48/35.54	c Elapsed CPU time: 35.0577 s	Remaining CPU time: 144.942 s
35.48/35.54	c ===============================================================================
35.48/35.54	c |     89466 |     500     7360    37167 |     5000    16139    459 | 86.331 % |
35.68/35.75	c |     89566 |     500     7360    37167 |     5500     8170    459 | 86.331 % |
35.78/35.84	c |     89716 |     500     7360    37167 |     6050     8320    459 | 86.331 % |
35.89/35.94	c |     89941 |     500     7360    37167 |     6655     8545    459 | 86.331 % |
35.99/36.09	c |     90279 |     500     7360    37167 |     7320     8883    459 | 86.331 % |
36.29/36.37	c |     90785 |     500     7360    37167 |     8052     9389    459 | 86.331 % |
36.38/36.43	c ===============================================================================
36.38/36.43	c New solution: 456
36.38/36.43	o 456
36.38/36.43	c Elapsed CPU time: 35.9415 s	Remaining CPU time: 144.058 s
36.38/36.43	c ===============================================================================
36.38/36.43	c |     90900 |     500     7361    37667 |     5000     9504    459 | 86.331 % |
36.48/36.52	c |     91001 |     500     7361    37667 |     5500     4853    459 | 86.331 % |
36.48/36.59	c |     91153 |     500     7361    37667 |     6050     5005    459 | 86.331 % |
36.58/36.67	c |     91379 |     500     7361    37667 |     6655     5231    459 | 86.331 % |
36.78/36.80	c |     91717 |     500     7361    37667 |     7320     5569    459 | 86.331 % |
36.88/36.99	c |     92223 |     500     7361    37667 |     8052     6075    458 | 86.331 % |
37.18/37.23	c |     92984 |     500     7361    37667 |     8857     6836    458 | 86.331 % |
37.48/37.55	c |     94124 |     500     7361    37667 |     9743     7976    458 | 86.331 % |
38.18/38.21	c |     95832 |     500     7361    37667 |    10717     9684    458 | 86.331 % |
39.38/39.43	c |     98395 |     500     7361    37667 |    11789    12247    458 | 86.331 % |
40.98/41.07	c |    102240 |     500     7361    37667 |    12968     8389    457 | 86.331 % |
42.78/42.84	c |    108006 |     500     7361    37667 |    14265    14155    457 | 86.331 % |
46.08/46.20	c |    116655 |     500     7361    37667 |    15692    13863    456 | 86.331 % |
51.88/51.91	c |    129630 |     500     7361    37667 |    17261    17186    457 | 86.331 % |
52.97/53.05	c ===============================================================================
52.97/53.05	c New solution: 455
52.97/53.05	o 455
52.97/53.05	c Elapsed CPU time: 52.339 s	Remaining CPU time: 127.661 s
52.97/53.05	c ===============================================================================
52.97/53.05	c |    132327 |     500     7362    38167 |     5000    19883    456 | 86.331 % |
53.37/53.42	c |    132427 |     500     7362    38167 |     5500     5071    456 | 86.331 % |
53.37/53.46	c |    132577 |     500     7362    38167 |     6050     5221    456 | 86.331 % |
53.48/53.52	c |    132803 |     500     7362    38167 |     6655     5447    456 | 86.331 % |
53.58/53.62	c |    133140 |     500     7362    38167 |     7320     5784    456 | 86.331 % |
53.88/53.93	c |    133647 |     500     7362    38167 |     8052     6291    456 | 86.331 % |
54.27/54.36	c |    134406 |     500     7362    38167 |     8857     7050    456 | 86.331 % |
54.88/54.92	c |    135546 |     500     7362    38167 |     9743     8190    456 | 86.331 % |
55.68/55.74	c |    137254 |     500     7362    38167 |    10717     9898    456 | 86.331 % |
56.98/57.01	c |    139817 |     500     7362    38167 |    11789    12461    456 | 86.331 % |
59.48/59.55	c |    143662 |     500     7362    38167 |    12968     8609    456 | 86.331 % |
62.88/62.94	c |    149429 |     500     7362    38167 |    14265    14376    456 | 86.331 % |
67.08/67.13	c |    158079 |     500     7362    38167 |    15692    14085    455 | 86.331 % |
72.67/72.76	c |    171053 |     500     7362    38167 |    17261    17405    456 | 86.331 % |
84.48/84.56	c |    190514 |     500     7362    38167 |    18987    15987    456 | 86.331 % |
97.57/97.64	c ===============================================================================
97.57/97.64	c New solution: 454
97.57/97.64	o 454
97.57/97.64	c Elapsed CPU time: 96.5353 s	Remaining CPU time: 83.4647 s
97.57/97.64	c ===============================================================================
97.57/97.64	c |    214228 |     500     7363    38667 |     5000    15834    456 | 86.331 % |
97.77/97.81	c |    214328 |     500     7363    38667 |     5500     8017    456 | 86.331 % |
97.77/97.89	c |    214479 |     500     7363    38667 |     6050     8168    456 | 86.331 % |
97.87/97.97	c |    214706 |     500     7363    38667 |     6655     8395    456 | 86.331 % |
98.07/98.13	c |    215044 |     500     7363    38667 |     7320     8733    456 | 86.331 % |
98.26/98.38	c |    215550 |     500     7363    38667 |     8052     9239    456 | 86.331 % |
98.57/98.69	c |    216310 |     500     7363    38667 |     8857     9999    457 | 86.331 % |
99.06/99.16	c |    217449 |     500     7363    38667 |     9743    11138    456 | 86.331 % |
99.97/100.01	c |    219158 |     500     7363    38667 |    10717    12847    456 | 86.331 % |
101.17/101.22	c |    221720 |     500     7363    38667 |    11789     8244    456 | 86.331 % |
102.66/102.79	c |    225565 |     500     7363    38667 |    12968    12089    456 | 86.331 % |
104.86/104.91	c |    231333 |     500     7363    38667 |    14265     9568    455 | 86.331 % |
107.36/107.43	c ===============================================================================
107.36/107.43	c New solution: 453
107.36/107.43	o 453
107.36/107.43	c Elapsed CPU time: 106.212 s	Remaining CPU time: 73.7881 s
107.36/107.43	c ===============================================================================
107.36/107.43	c |    237253 |     500     7364    39167 |     5000    15488    455 | 86.331 % |
107.46/107.59	c |    237353 |     500     7364    39167 |     5500     7844    454 | 86.331 % |
107.66/107.76	c |    237504 |     500     7364    39167 |     6050     7995    454 | 86.331 % |
107.86/107.98	c |    237729 |     500     7364    39167 |     6655     8220    455 | 86.331 % |
108.36/108.43	c |    238066 |     500     7364    39167 |     7320     8557    455 | 86.331 % |
108.77/108.86	c |    238574 |     500     7364    39167 |     8052     9065    455 | 86.331 % |
109.66/109.75	c |    239333 |     500     7364    39167 |     8857     9824    455 | 86.331 % |
111.17/111.26	c |    240472 |     500     7364    39167 |     9743    10963    455 | 86.331 % |
113.17/113.25	c |    242180 |     500     7364    39167 |    10717    12671    455 | 86.331 % |
114.77/114.88	c |    244743 |     500     7364    39167 |    11789     8068    454 | 86.331 % |
117.27/117.34	c |    248588 |     500     7364    39167 |    12968    11913    454 | 86.331 % |
120.26/120.30	c |    254355 |     500     7364    39167 |    14265     9388    454 | 86.331 % |
123.66/123.71	c |    263004 |     500     7364    39167 |    15692     9097    454 | 86.331 % |
129.56/129.68	c ===============================================================================
129.56/129.68	c New solution: 452
129.56/129.68	o 452
129.56/129.68	c Elapsed CPU time: 128.287 s	Remaining CPU time: 51.7125 s
129.56/129.68	c ===============================================================================
129.56/129.68	c |    273847 |     500     7365    39667 |     5000    10286    454 | 86.331 % |
129.76/129.81	c |    273948 |     500     7365    39667 |     5500     5244    454 | 86.331 % |
129.76/129.88	c |    274099 |     500     7365    39667 |     6050     5395    454 | 86.331 % |
129.96/130.00	c |    274324 |     500     7365    39667 |     6655     5620    454 | 86.331 % |
130.06/130.14	c |    274661 |     500     7365    39667 |     7320     5957    454 | 86.331 % |
130.26/130.32	c |    275168 |     500     7365    39667 |     8052     6464    454 | 86.331 % |
130.56/130.60	c |    275927 |     500     7365    39667 |     8857     7223    454 | 86.331 % |
130.96/131.09	c |    277067 |     500     7365    39667 |     9743     8363    454 | 86.331 % |
131.86/131.99	c |    278776 |     500     7365    39667 |    10717    10072    453 | 86.331 % |
132.86/132.91	c |    281339 |     500     7365    39667 |    11789    12635    453 | 86.331 % |
134.76/134.81	c |    285184 |     500     7365    39667 |    12968     8781    453 | 86.331 % |
137.25/137.38	c |    290951 |     500     7365    39667 |    14265    14548    453 | 86.331 % |
142.36/142.45	c |    299602 |     500     7365    39667 |    15692    14263    453 | 86.331 % |
150.46/150.51	c |    312578 |     500     7365    39667 |    17261    17588    453 | 86.331 % |
161.15/161.20	c |    332039 |     500     7365    39667 |    18987    16177    453 | 86.331 % |
174.45/174.51	c |    361232 |     500     7365    39667 |    20886    21528    452 | 86.331 % |
181.75/181.87	c There are 3158 assigned variables. 0 in cost function.
182.15/182.26	c core #1
182.15/182.26	c #cores: 1
182.15/182.26	c Final Weight: 452
182.15/182.26	o 452
182.15/182.26	s OPTIMUM FOUND
182.15/182.26	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
182.15/182.26	c Total CPU time: 180.395 s

Verifier Data 

OK	-48

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702504-1278568629/watcher-2702504-1278568629 -o /tmp/evaluation-result-2702504-1278568629/solver-2702504-1278568629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702504-1278568629.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.92 0.98 0.99 3/106 413
/proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=2980 CPUtime=0
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 25070426 3051520 225 1992294400 134512640 135751879 4289620784 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 745 225 138 303 0 373 0

[startup+0.095314 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 413
/proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=4536 CPUtime=0.08
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 839 0 0 0 8 0 0 0 20 0 1 0 25070426 4644864 691 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 1134 691 146 303 0 829 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4536

[startup+0.101314 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 413
/proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=4536 CPUtime=0.09
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 839 0 0 0 9 0 0 0 20 0 1 0 25070426 4644864 691 1992294400 134512640 135751879 4289620784 18446744073709551615 134598751 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 1134 691 146 303 0 829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4536

[startup+0.301333 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 413
/proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=6456 CPUtime=0.29
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 1339 0 0 0 28 1 0 0 20 0 1 0 25070426 6610944 1191 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 1614 1191 147 303 0 1309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6456

[startup+0.700367 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 413
/proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=10172 CPUtime=0.69
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 2245 0 0 0 66 3 0 0 20 0 1 0 25070426 10416128 2097 1992294400 134512640 135751879 4289620784 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 2543 2097 147 303 0 2238 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10172

[startup+1.50044 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 414
/proc/meminfo: memFree=1793344/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=15576 CPUtime=1.49
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 3600 0 0 0 145 4 0 0 22 0 1 0 25070426 15949824 3452 1992294400 134512640 135751879 4289620784 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 3894 3452 147 303 0 3589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15576

[startup+3.10058 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 414
/proc/meminfo: memFree=1787268/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=24324 CPUtime=3.09
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 5776 0 0 0 303 6 0 0 25 0 1 0 25070426 24907776 5628 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 6081 5628 147 303 0 5776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24324

[startup+6.30086 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 414
/proc/meminfo: memFree=1766436/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=43820 CPUtime=6.29
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 10641 0 0 0 617 12 0 0 25 0 1 0 25070426 44871680 10493 1992294400 134512640 135751879 4289620784 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 10955 10493 148 303 0 10650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43820

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 417
/proc/meminfo: memFree=1732336/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=75924 CPUtime=12.69
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 18686 0 0 0 1247 22 0 0 25 0 1 0 25070426 77746176 18538 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 18981 18538 148 303 0 18676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75924

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 417
/proc/meminfo: memFree=1666244/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=139940 CPUtime=25.48
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 34671 0 0 0 2511 37 0 0 25 0 1 0 25070426 143298560 34523 1992294400 134512640 135751879 4289620784 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 34985 34523 148 303 0 34680 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139940

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 417
/proc/meminfo: memFree=1562084/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=247620 CPUtime=51.08
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 61558 0 0 0 5042 66 0 0 25 0 1 0 25070426 253562880 61410 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 61905 61411 148 303 0 61600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 247620

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 419
/proc/meminfo: memFree=1372488/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=432524 CPUtime=102.27
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 107764 0 0 0 10115 112 0 0 25 0 1 0 25070426 442904576 107616 1992294400 134512640 135751879 4289620784 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 108131 107616 148 303 0 107826 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 432524

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1168012/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=637980 CPUtime=162.25
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 159112 0 0 0 16061 164 0 0 25 0 1 0 25070426 653291520 158964 1992294400 134512640 135751879 4289620784 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 159495 158964 148 303 0 159190 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 637980

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1153256/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=652148 CPUtime=166.25
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 162627 0 0 0 16458 167 0 0 25 0 1 0 25070426 667799552 162479 1992294400 134512640 135751879 4289620784 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 163037 162479 148 303 0 162732 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 652148

[startup+172.708 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1124860/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=679948 CPUtime=172.65
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 169567 0 0 0 17091 174 0 0 25 0 1 0 25070426 696266752 169419 1992294400 134512640 135751879 4289620784 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 169987 169420 148 303 0 169682 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 679948

[startup+179.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1101424/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=705844 CPUtime=179.04
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 176043 0 0 0 17725 179 0 0 25 0 1 0 25070426 722784256 175895 1992294400 134512640 135751879 4289620784 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 176461 175895 148 303 0 176156 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 705844

[startup+180.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1094604/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=710840 CPUtime=180.65
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 177312 0 0 0 17884 181 0 0 25 0 1 0 25070426 727900160 177164 1992294400 134512640 135751879 4289620784 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 177710 177164 148 303 0 177405 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 710840

[startup+181.508 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=713528 CPUtime=181.45
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 177977 0 0 0 17964 181 0 0 25 0 1 0 25070426 730652672 177829 1992294400 134512640 135751879 4289620784 18446744073709551615 134606417 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 178382 177829 148 303 0 178077 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 713528

[startup+181.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=715844 CPUtime=181.85
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 178557 0 0 0 18003 182 0 0 25 0 1 0 25070426 733024256 178409 1992294400 134512640 135751879 4289620784 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/413/statm: 178961 178409 149 303 0 178656 0
Current children cumulated CPU time (s) 181.85
Current children cumulated vsize (KiB) 715844

[startup+182.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 421
/proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956
[pid=413] ppid=411 vsize=0 CPUtime=182.25
/proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202500 178558 0 0 0 18039 186 0 0 25 0 1 0 25070426 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/413/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.335
CPU time (s): 182.29
CPU user time (s): 180.395
CPU system time (s): 1.89571
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 715844

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

runsolver used 0.334949 second user time and 0.839872 second system time

The end

Launcher Data 

Begin job on node041 at 2010-07-08 07:57:09
IDJOB=2702504
IDBENCH=48187
IDSOLVER=1161
FILE ID=node041/2702504-1278568629
PBS_JOBID= 11239530
Free space on /tmp= 62192 MiB

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

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=1848464090

node041.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.244
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.48
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.244
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1804048 kB
Buffers:         29112 kB
Cached:         128060 kB
SwapCached:       7416 kB
Active:          82928 kB
Inactive:        88612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1804048 kB
SwapTotal:     4192956 kB
SwapFree:      4139712 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:       11840 kB
Mapped:          12068 kB
Slab:            61408 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181352 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-2702504-1278568629.opb

Free space on /tmp at the end= 62192 MiB
End job on node041 at 2010-07-08 08:00:11