Trace number 2702518

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.-50 182.13 182.179

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
MD5SUM2b02b42135ec6f53aa7a47afb99951df
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.03
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 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)6270
Sum of products size (including duplicates)12540
Number of different products3135
Sum of products size6270

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-2702518-1278569137.opb.
0.00/0.00	c Instance file HOME/instance-2702518-1278569137.opb
0.00/0.00	c File size is 268724 bytes.
0.00/0.04	c Highest Coefficient sum: 21
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:      3635                                                |
0.00/0.04	c |  Number Clauses:        3135                                                |
0.00/0.04	c |  Number Cardinality:    1000                                                |
0.00/0.04	c |  Number PB Constraints: 3135                                                |
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     7270    15085 |     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.048992 s	Remaining CPU time: 179.951 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     500     7271    15585 |     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.050992 s	Remaining CPU time: 179.949 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     500     7272    16085 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 498
0.00/0.05	o 498
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     7273    16585 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 497
0.00/0.05	o 497
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     7274    17085 |     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.054991 s	Remaining CPU time: 179.945 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         1 |     500     7275    17585 |     5000        1    497 |  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.057991 s	Remaining CPU time: 179.942 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         2 |     500     7276    18085 |     5000        2    496 |  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.05999 s	Remaining CPU time: 179.94 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         2 |     500     7277    18585 |     5000        2    496 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 493
0.00/0.06	o 493
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 |         2 |     500     7278    19085 |     5000        2    496 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 492
0.00/0.06	o 492
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         3 |     500     7279    19585 |     5000        3    495 |  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.06499 s	Remaining CPU time: 179.935 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         4 |     500     7280    20085 |     5000        4    494 |  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.067989 s	Remaining CPU time: 179.932 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         4 |     500     7281    20585 |     5000        4    494 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 489
0.00/0.07	o 489
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 |         9 |     500     7282    21085 |     5000        9    492 |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c New solution: 488
0.07/0.08	o 488
0.07/0.08	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.07/0.08	c ===============================================================================
0.07/0.08	c |        12 |     500     7283    21585 |     5000       12    491 |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c New solution: 487
0.07/0.08	o 487
0.07/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 179.924 s
0.07/0.08	c ===============================================================================
0.07/0.08	c |        17 |     500     7284    22085 |     5000       17    490 |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c New solution: 486
0.07/0.08	o 486
0.07/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 179.921 s
0.07/0.08	c ===============================================================================
0.07/0.08	c |        20 |     500     7285    22585 |     5000       20    490 |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 485
0.07/0.09	o 485
0.07/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |        33 |     500     7286    23085 |     5000       33    489 |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 484
0.07/0.09	o 484
0.07/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 179.912 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |        44 |     500     7287    23585 |     5000       44    488 |  0.000 % |
0.07/0.10	c ===============================================================================
0.07/0.10	c New solution: 483
0.07/0.10	o 483
0.07/0.10	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.07/0.10	c ===============================================================================
0.07/0.10	c |        51 |     500     7288    24085 |     5000       51    488 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 482
0.09/0.10	o 482
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 179.9 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        82 |     500     7289    24585 |     5000       82    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.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       112 |     500     7290    25085 |     5000      112    485 |  0.000 % |
0.09/0.12	c |       213 |     500     7290    25085 |     5500      213    484 | 86.245 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 480
0.09/0.13	o 480
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 179.873 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |       245 |     500     7291    25585 |     5000      245    483 | 86.245 % |
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.141978 s	Remaining CPU time: 179.858 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |       324 |     500     7292    26085 |     5000      324    483 | 86.245 % |
0.09/0.16	c |       425 |     500     7292    26085 |     5500      425    482 | 86.245 % |
0.09/0.19	c |       576 |     500     7292    26085 |     6050      576    481 | 86.245 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 478
0.19/0.20	o 478
0.19/0.20	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 179.804 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |       623 |     500     7293    26585 |     5000      623    481 | 86.245 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 477
0.19/0.21	o 477
0.19/0.21	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 179.797 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |       655 |     500     7294    27085 |     5000      655    481 | 86.245 % |
0.19/0.23	c |       757 |     500     7294    27085 |     5500      757    481 | 86.245 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 476
0.19/0.24	o 476
0.19/0.24	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 179.767 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |       817 |     500     7295    27585 |     5000      817    480 | 86.245 % |
0.19/0.26	c |       918 |     500     7295    27585 |     5500      918    480 | 86.245 % |
0.29/0.30	c |      1068 |     500     7295    27585 |     6050     1068    480 | 86.245 % |
0.29/0.34	c |      1294 |     500     7295    27585 |     6655     1294    480 | 86.245 % |
0.39/0.42	c |      1632 |     500     7295    27585 |     7320     1632    479 | 86.245 % |
0.49/0.54	c |      2139 |     500     7295    27585 |     8052     2139    479 | 86.245 % |
0.69/0.74	c |      2898 |     500     7295    27585 |     8857     2898    479 | 86.245 % |
1.00/1.02	c |      4037 |     500     7295    27585 |     9743     4037    478 | 86.245 % |
1.49/1.53	c |      5745 |     500     7295    27585 |    10717     5745    478 | 86.245 % |
1.99/2.08	c ===============================================================================
1.99/2.08	c New solution: 475
1.99/2.08	o 475
1.99/2.08	c Elapsed CPU time: 2.02669 s	Remaining CPU time: 177.973 s
1.99/2.08	c ===============================================================================
1.99/2.08	c |      7655 |     500     7296    28085 |     5000     7655    477 | 86.245 % |
2.10/2.10	c |      7756 |     500     7296    28085 |     5500     7756    477 | 86.245 % |
2.10/2.13	c |      7907 |     500     7296    28085 |     6050     7907    477 | 86.245 % |
2.20/2.22	c |      8133 |     500     7296    28085 |     6655     8133    477 | 86.245 % |
2.29/2.32	c ===============================================================================
2.29/2.32	c New solution: 474
2.29/2.32	o 474
2.29/2.32	c Elapsed CPU time: 2.26965 s	Remaining CPU time: 177.73 s
2.29/2.32	c ===============================================================================
2.29/2.32	c |      8359 |     500     7297    28585 |     5000     8359    477 | 86.245 % |
2.29/2.39	c ===============================================================================
2.29/2.39	c New solution: 473
2.29/2.39	o 473
2.29/2.39	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 177.662 s
2.29/2.39	c ===============================================================================
2.29/2.39	c |      8411 |     500     7298    29085 |     5000     4232    476 | 86.245 % |
2.39/2.44	c |      8512 |     500     7298    29085 |     5500     4333    476 | 86.245 % |
2.49/2.52	c |      8662 |     500     7298    29085 |     6050     4483    476 | 86.245 % |
2.59/2.65	c |      8889 |     500     7298    29085 |     6655     4710    476 | 86.245 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 472
2.59/2.69	o 472
2.59/2.69	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 177.366 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |      8982 |     500     7299    29585 |     5000     4803    476 | 86.245 % |
2.69/2.73	c |      9083 |     500     7299    29585 |     5500     4904    476 | 86.245 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 471
2.69/2.74	o 471
2.69/2.74	c Elapsed CPU time: 2.67959 s	Remaining CPU time: 177.32 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |      9113 |     500     7300    30085 |     5000     4934    476 | 86.245 % |
2.69/2.78	c |      9214 |     500     7300    30085 |     5500     5035    476 | 86.245 % |
2.79/2.83	c |      9364 |     500     7300    30085 |     6050     5185    475 | 86.245 % |
2.89/2.90	c |      9590 |     500     7300    30085 |     6655     5411    475 | 86.245 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 470
2.89/2.98	o 470
2.89/2.98	c Elapsed CPU time: 2.91256 s	Remaining CPU time: 177.087 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |      9845 |     500     7301    30585 |     5000     5666    475 | 86.245 % |
2.99/3.03	c |      9946 |     500     7301    30585 |     5500     5767    475 | 86.245 % |
2.99/3.07	c |     10097 |     500     7301    30585 |     6050     5918    475 | 86.245 % |
3.09/3.11	c |     10323 |     500     7301    30585 |     6655     6144    475 | 86.245 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 469
3.09/3.12	o 469
3.09/3.12	c Elapsed CPU time: 3.05253 s	Remaining CPU time: 176.947 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |     10352 |     500     7302    31085 |     5000     6173    475 | 86.245 % |
3.09/3.15	c |     10452 |     500     7302    31085 |     5500     6273    475 | 86.245 % |
3.20/3.20	c |     10602 |     500     7302    31085 |     6050     6423    475 | 86.245 % |
3.20/3.27	c |     10828 |     500     7302    31085 |     6655     6649    474 | 86.245 % |
3.30/3.36	c |     11166 |     500     7302    31085 |     7320     6987    474 | 86.245 % |
3.39/3.49	c |     11672 |     500     7302    31085 |     8052     7493    474 | 86.245 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: 468
3.59/3.65	o 468
3.59/3.65	c Elapsed CPU time: 3.57246 s	Remaining CPU time: 176.428 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |     12239 |     500     7303    31585 |     5000     8060    474 | 86.245 % |
3.69/3.74	c |     12339 |     500     7303    31585 |     5500     8160    473 | 86.245 % |
3.79/3.81	c |     12490 |     500     7303    31585 |     6050     8311    473 | 86.245 % |
3.89/3.90	c |     12716 |     500     7303    31585 |     6655     8537    473 | 86.245 % |
3.99/4.01	c |     13054 |     500     7303    31585 |     7320     8875    473 | 86.245 % |
4.09/4.17	c |     13562 |     500     7303    31585 |     8052     9383    473 | 86.245 % |
4.19/4.30	c ===============================================================================
4.19/4.30	c New solution: 467
4.19/4.30	o 467
4.19/4.30	c Elapsed CPU time: 4.21736 s	Remaining CPU time: 175.783 s
4.19/4.30	c ===============================================================================
4.19/4.30	c |     13942 |     500     7304    32085 |     5000     9763    473 | 86.245 % |
4.29/4.40	c |     14043 |     500     7304    32085 |     5500     4983    470 | 86.245 % |
4.39/4.47	c |     14194 |     500     7304    32085 |     6050     5134    469 | 86.245 % |
4.49/4.55	c |     14419 |     500     7304    32085 |     6655     5359    469 | 86.245 % |
4.59/4.60	c ===============================================================================
4.59/4.60	c New solution: 466
4.59/4.60	o 466
4.59/4.60	c Elapsed CPU time: 4.50432 s	Remaining CPU time: 175.496 s
4.59/4.60	c ===============================================================================
4.59/4.60	c |     14545 |     500     7305    32585 |     5000     5485    469 | 86.245 % |
4.59/4.64	c |     14645 |     500     7305    32585 |     5500     5585    469 | 86.245 % |
4.69/4.71	c |     14796 |     500     7305    32585 |     6050     5736    469 | 86.245 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 465
4.69/4.77	o 465
4.69/4.77	c Elapsed CPU time: 4.67729 s	Remaining CPU time: 175.323 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |     14964 |     500     7306    33085 |     5000     5904    469 | 86.245 % |
4.79/4.81	c |     15064 |     500     7306    33085 |     5500     6004    469 | 86.245 % |
4.79/4.86	c |     15215 |     500     7306    33085 |     6050     6155    469 | 86.245 % |
4.89/4.91	c |     15441 |     500     7306    33085 |     6655     6381    469 | 86.245 % |
4.89/4.98	c |     15778 |     500     7306    33085 |     7320     6718    469 | 86.245 % |
4.99/5.07	c |     16285 |     500     7306    33085 |     8052     7225    469 | 86.245 % |
5.19/5.27	c |     17045 |     500     7306    33085 |     8857     7985    468 | 86.245 % |
5.49/5.57	c |     18185 |     500     7306    33085 |     9743     9125    468 | 86.245 % |
5.99/6.01	c |     19894 |     500     7306    33085 |    10717    10834    467 | 86.245 % |
6.89/6.97	c |     22456 |     500     7306    33085 |    11789    13396    467 | 86.245 % |
7.09/7.10	c ===============================================================================
7.09/7.10	c New solution: 464
7.09/7.10	o 464
7.09/7.10	c Elapsed CPU time: 6.97094 s	Remaining CPU time: 173.029 s
7.09/7.10	c ===============================================================================
7.09/7.10	c |     22801 |     500     7307    33585 |     5000    13741    467 | 86.245 % |
7.19/7.26	c |     22901 |     500     7307    33585 |     5500     6971    465 | 86.245 % |
7.19/7.30	c |     23051 |     500     7307    33585 |     6050     7121    465 | 86.245 % |
7.28/7.34	c |     23277 |     500     7307    33585 |     6655     7347    465 | 86.245 % |
7.39/7.42	c |     23614 |     500     7307    33585 |     7320     7684    465 | 86.245 % |
7.49/7.55	c |     24121 |     500     7307    33585 |     8052     8191    465 | 86.245 % |
7.69/7.76	c |     24880 |     500     7307    33585 |     8857     8950    465 | 86.245 % |
8.09/8.14	c |     26019 |     500     7307    33585 |     9743    10089    465 | 86.245 % |
8.79/8.88	c |     27728 |     500     7307    33585 |    10717    11798    465 | 86.245 % |
9.69/9.70	c ===============================================================================
9.69/9.70	c New solution: 463
9.69/9.70	o 463
9.69/9.70	c Elapsed CPU time: 9.54255 s	Remaining CPU time: 170.457 s
9.69/9.70	c ===============================================================================
9.69/9.70	c |     29189 |     500     7308    34085 |     5000    13259    465 | 86.245 % |
9.80/9.89	c |     29290 |     500     7308    34085 |     5500     6731    464 | 86.245 % |
9.90/9.96	c |     29440 |     500     7308    34085 |     6050     6881    464 | 86.245 % |
9.99/10.01	c |     29665 |     500     7308    34085 |     6655     7106    464 | 86.245 % |
10.18/10.22	c |     30002 |     500     7308    34085 |     7320     7443    464 | 86.245 % |
10.28/10.39	c ===============================================================================
10.28/10.39	c New solution: 462
10.28/10.39	o 462
10.28/10.39	c Elapsed CPU time: 10.2254 s	Remaining CPU time: 169.775 s
10.28/10.39	c ===============================================================================
10.28/10.39	c |     30263 |     500     7309    34585 |     5000     7704    464 | 86.245 % |
10.38/10.48	c |     30363 |     500     7309    34585 |     5500     7804    464 | 86.245 % |
10.49/10.59	c |     30513 |     500     7309    34585 |     6050     7954    464 | 86.245 % |
10.69/10.70	c |     30738 |     500     7309    34585 |     6655     8179    464 | 86.245 % |
10.79/10.88	c |     31075 |     500     7309    34585 |     7320     8516    464 | 86.245 % |
10.99/11.09	c ===============================================================================
10.99/11.09	c New solution: 461
10.99/11.09	o 461
10.99/11.09	c Elapsed CPU time: 10.9143 s	Remaining CPU time: 169.086 s
10.99/11.09	c ===============================================================================
10.99/11.09	c |     31420 |     500     7310    35085 |     5000     8861    464 | 86.245 % |
11.08/11.18	c |     31521 |     500     7310    35085 |     5500     4532    464 | 86.245 % |
11.18/11.25	c |     31672 |     500     7310    35085 |     6050     4683    464 | 86.245 % |
11.29/11.38	c |     31898 |     500     7310    35085 |     6655     4909    464 | 86.245 % |
11.49/11.53	c |     32236 |     500     7310    35085 |     7320     5247    463 | 86.245 % |
11.69/11.74	c |     32743 |     500     7310    35085 |     8052     5754    463 | 86.245 % |
11.99/12.00	c |     33503 |     500     7310    35085 |     8857     6514    463 | 86.245 % |
12.49/12.58	c |     34642 |     500     7310    35085 |     9743     7653    463 | 86.245 % |
13.49/13.53	c |     36351 |     500     7310    35085 |    10717     9362    463 | 86.245 % |
15.29/15.31	c ===============================================================================
15.29/15.31	c New solution: 460
15.29/15.31	o 460
15.29/15.31	c Elapsed CPU time: 15.0947 s	Remaining CPU time: 164.905 s
15.29/15.31	c ===============================================================================
15.29/15.31	c |     38299 |     500     7311    35585 |     5000    11310    463 | 86.245 % |
15.29/15.39	c |     38399 |     500     7311    35585 |     5500     5755    462 | 86.245 % |
15.39/15.44	c |     38549 |     500     7311    35585 |     6050     5905    462 | 86.245 % |
15.48/15.56	c |     38775 |     500     7311    35585 |     6655     6131    462 | 86.245 % |
15.58/15.66	c |     39113 |     500     7311    35585 |     7320     6469    462 | 86.245 % |
15.79/15.82	c |     39619 |     500     7311    35585 |     8052     6975    462 | 86.245 % |
15.79/15.89	c ===============================================================================
15.79/15.89	c New solution: 459
15.79/15.89	o 459
15.79/15.89	c Elapsed CPU time: 15.6616 s	Remaining CPU time: 164.338 s
15.79/15.89	c ===============================================================================
15.79/15.89	c |     39832 |     500     7312    36085 |     5000     7188    462 | 86.245 % |
15.89/15.94	c |     39932 |     500     7312    36085 |     5500     7288    462 | 86.245 % |
15.99/16.00	c |     40082 |     500     7312    36085 |     6050     7438    462 | 86.245 % |
15.99/16.09	c |     40308 |     500     7312    36085 |     6655     7664    462 | 86.245 % |
16.08/16.17	c |     40645 |     500     7312    36085 |     7320     8001    462 | 86.245 % |
16.40/16.45	c |     41152 |     500     7312    36085 |     8052     8508    461 | 86.245 % |
16.79/16.90	c |     41911 |     500     7312    36085 |     8857     9267    461 | 86.245 % |
17.39/17.42	c |     43051 |     500     7312    36085 |     9743    10407    461 | 86.245 % |
18.39/18.41	c |     44760 |     500     7312    36085 |    10717    12116    461 | 86.245 % |
19.79/19.83	c |     47322 |     500     7312    36085 |    11789     7520    460 | 86.245 % |
21.99/22.01	c |     51166 |     500     7312    36085 |    12968    11364    460 | 86.245 % |
24.48/24.57	c ===============================================================================
24.48/24.57	c New solution: 458
24.48/24.57	o 458
24.48/24.57	c Elapsed CPU time: 24.2793 s	Remaining CPU time: 155.721 s
24.48/24.57	c ===============================================================================
24.48/24.57	c |     55126 |     500     7313    36585 |     5000    15324    460 | 86.245 % |
24.68/24.73	c |     55227 |     500     7313    36585 |     5500     7763    459 | 86.245 % |
24.78/24.88	c |     55377 |     500     7313    36585 |     6050     7913    459 | 86.245 % |
25.09/25.18	c |     55602 |     500     7313    36585 |     6655     8138    459 | 86.245 % |
25.39/25.49	c |     55940 |     500     7313    36585 |     7320     8476    459 | 86.245 % |
25.79/25.85	c |     56449 |     500     7313    36585 |     8052     8985    459 | 86.245 % |
26.58/26.64	c |     57209 |     500     7313    36585 |     8857     9745    459 | 86.245 % |
28.18/28.23	c |     58349 |     500     7313    36585 |     9743    10885    459 | 86.245 % |
29.99/30.01	c |     60057 |     500     7313    36585 |    10717    12593    459 | 86.245 % |
32.99/33.03	c |     62620 |     500     7313    36585 |    11789     8002    459 | 86.245 % |
36.29/36.36	c |     66465 |     500     7313    36585 |    12968    11847    459 | 86.245 % |
39.68/39.74	c |     72231 |     500     7313    36585 |    14265     9333    459 | 86.245 % |
43.68/43.75	c |     80881 |     500     7313    36585 |    15692     9052    459 | 86.245 % |
46.58/46.61	c ===============================================================================
46.58/46.61	c New solution: 457
46.58/46.61	o 457
46.58/46.61	c Elapsed CPU time: 46.166 s	Remaining CPU time: 133.834 s
46.58/46.61	c ===============================================================================
46.58/46.61	c |     87088 |     500     7314    37085 |     5000    15259    459 | 86.245 % |
46.68/46.75	c |     87188 |     500     7314    37085 |     5500     7730    459 | 86.245 % |
46.68/46.79	c |     87338 |     500     7314    37085 |     6050     7880    459 | 86.245 % |
46.88/46.96	c |     87563 |     500     7314    37085 |     6655     8105    459 | 86.245 % |
47.08/47.15	c |     87900 |     500     7314    37085 |     7320     8442    459 | 86.245 % |
47.38/47.49	c |     88406 |     500     7314    37085 |     8052     8948    459 | 86.245 % |
47.98/48.07	c |     89165 |     500     7314    37085 |     8857     9707    459 | 86.245 % |
48.48/48.59	c |     90304 |     500     7314    37085 |     9743    10846    458 | 86.245 % |
49.17/49.22	c |     92013 |     500     7314    37085 |    10717    12555    458 | 86.245 % |
50.49/50.53	c |     94576 |     500     7314    37085 |    11789     7962    458 | 86.245 % |
52.18/52.28	c |     98421 |     500     7314    37085 |    12968    11807    458 | 86.245 % |
54.57/54.62	c |    104187 |     500     7314    37085 |    14265     9292    458 | 86.245 % |
58.97/59.07	c |    112837 |     500     7314    37085 |    15692     9015    458 | 86.245 % |
64.88/64.99	c |    125812 |     500     7314    37085 |    17261    12351    458 | 86.245 % |
74.27/74.39	c |    145273 |     500     7314    37085 |    18987    10956    457 | 86.245 % |
77.47/77.53	c ===============================================================================
77.47/77.53	c New solution: 456
77.47/77.53	o 456
77.47/77.53	c Elapsed CPU time: 76.8053 s	Remaining CPU time: 103.195 s
77.47/77.53	c ===============================================================================
77.47/77.53	c |    156358 |     500     7315    37585 |     5000    22041    457 | 86.245 % |
78.17/78.20	c |    156459 |     500     7315    37585 |     5500     5426    457 | 86.245 % |
78.17/78.28	c |    156609 |     500     7315    37585 |     6050     5576    457 | 86.245 % |
78.27/78.35	c |    156834 |     500     7315    37585 |     6655     5801    457 | 86.245 % |
78.37/78.46	c |    157171 |     500     7315    37585 |     7320     6138    457 | 86.245 % |
78.57/78.62	c |    157677 |     500     7315    37585 |     8052     6644    457 | 86.245 % |
78.77/78.86	c |    158436 |     500     7315    37585 |     8857     7403    457 | 86.245 % |
78.97/79.08	c ===============================================================================
78.97/79.08	c New solution: 455
78.97/79.08	o 455
78.97/79.08	c Elapsed CPU time: 78.3361 s	Remaining CPU time: 101.664 s
78.97/79.08	c ===============================================================================
78.97/79.08	c |    159027 |     500     7316    38085 |     5000     7994    457 | 86.245 % |
79.08/79.13	c |    159128 |     500     7316    38085 |     5500     8095    457 | 86.245 % |
79.08/79.19	c |    159279 |     500     7316    38085 |     6050     8246    457 | 86.245 % |
79.27/79.30	c |    159504 |     500     7316    38085 |     6655     8471    457 | 86.245 % |
79.37/79.47	c |    159841 |     500     7316    38085 |     7320     8808    457 | 86.245 % |
79.57/79.68	c |    160347 |     500     7316    38085 |     8052     9314    457 | 86.245 % |
79.97/80.01	c |    161106 |     500     7316    38085 |     8857    10073    457 | 86.245 % |
80.77/80.80	c |    162245 |     500     7316    38085 |     9743    11212    457 | 86.245 % |
81.57/81.65	c |    163954 |     500     7316    38085 |    10717    12921    457 | 86.245 % |
82.57/82.69	c |    166517 |     500     7316    38085 |    11789     8330    456 | 86.245 % |
83.77/83.80	c |    170362 |     500     7316    38085 |    12968    12175    456 | 86.245 % |
85.96/86.06	c |    176128 |     500     7316    38085 |    14265     9662    456 | 86.245 % |
89.07/89.17	c |    184778 |     500     7316    38085 |    15692     9385    456 | 86.245 % |
92.77/92.88	c |    197753 |     500     7316    38085 |    17261    12716    456 | 86.245 % |
102.96/103.00	c |    217216 |     500     7316    38085 |    18987    11327    455 | 86.245 % |
114.06/114.15	c |    246408 |     500     7316    38085 |    20886    16698    455 | 86.245 % |
114.16/114.26	c ===============================================================================
114.16/114.26	c New solution: 454
114.16/114.26	o 454
114.16/114.26	c Elapsed CPU time: 113.152 s	Remaining CPU time: 66.8482 s
114.16/114.26	c ===============================================================================
114.16/114.26	c |    246508 |     500     7317    38585 |     5000    16798    455 | 86.245 % |
114.56/114.62	c |    246608 |     500     7317    38585 |     5500     4300    455 | 86.245 % |
114.66/114.70	c |    246758 |     500     7317    38585 |     6050     4450    455 | 86.245 % |
114.76/114.80	c |    246983 |     500     7317    38585 |     6655     4675    455 | 86.245 % |
114.86/114.93	c |    247321 |     500     7317    38585 |     7320     5013    455 | 86.245 % |
114.96/115.09	c |    247827 |     500     7317    38585 |     8052     5519    455 | 86.245 % |
115.16/115.29	c ===============================================================================
115.16/115.29	c New solution: 453
115.16/115.29	o 453
115.16/115.29	c Elapsed CPU time: 114.172 s	Remaining CPU time: 65.8284 s
115.16/115.29	c ===============================================================================
115.16/115.29	c |    248546 |     500     7318    39085 |     5000     6238    455 | 86.245 % |
115.26/115.34	c |    248647 |     500     7318    39085 |     5500     6339    455 | 86.245 % |
115.37/115.43	c |    248799 |     500     7318    39085 |     6050     6491    455 | 86.245 % |
115.47/115.53	c |    249024 |     500     7318    39085 |     6655     6716    455 | 86.245 % |
115.56/115.66	c |    249361 |     500     7318    39085 |     7320     7053    455 | 86.245 % |
115.76/115.82	c |    249867 |     500     7318    39085 |     8052     7559    455 | 86.245 % |
115.96/116.02	c ===============================================================================
115.96/116.02	c New solution: 452
115.96/116.02	o 452
115.96/116.02	c Elapsed CPU time: 114.886 s	Remaining CPU time: 65.1145 s
115.96/116.02	c ===============================================================================
115.96/116.02	c |    250489 |     500     7319    39585 |     5000     8181    455 | 86.245 % |
116.06/116.10	c |    250590 |     500     7319    39585 |     5500     4192    454 | 86.245 % |
116.06/116.14	c |    250741 |     500     7319    39585 |     6050     4343    454 | 86.245 % |
116.16/116.25	c |    250967 |     500     7319    39585 |     6655     4569    454 | 86.245 % |
116.36/116.40	c |    251305 |     500     7319    39585 |     7320     4907    454 | 86.245 % |
116.57/116.61	c |    251811 |     500     7319    39585 |     8052     5413    454 | 86.245 % |
116.86/116.95	c |    252570 |     500     7319    39585 |     8857     6172    454 | 86.245 % |
117.36/117.42	c |    253709 |     500     7319    39585 |     9743     7311    454 | 86.245 % |
118.56/118.61	c |    255417 |     500     7319    39585 |    10717     9019    453 | 86.245 % |
119.76/119.82	c |    257980 |     500     7319    39585 |    11789    11582    453 | 86.245 % |
121.86/121.96	c |    261825 |     500     7319    39585 |    12968     7739    453 | 86.245 % |
124.06/124.12	c |    267591 |     500     7319    39585 |    14265    13505    453 | 86.245 % |
128.45/128.56	c |    276240 |     500     7319    39585 |    15692    13226    453 | 86.245 % |
136.75/136.81	c |    289214 |     500     7319    39585 |    17261    16561    453 | 86.245 % |
148.65/148.70	c |    308675 |     500     7319    39585 |    18987    15170    453 | 86.245 % |
149.46/149.51	c ===============================================================================
149.46/149.51	c New solution: 451
149.46/149.51	o 451
149.46/149.51	c Elapsed CPU time: 148.128 s	Remaining CPU time: 31.8715 s
149.46/149.51	c ===============================================================================
149.46/149.51	c |    310059 |     500     7320    40085 |     5000    16554    453 | 86.245 % |
149.85/149.94	c |    310159 |     500     7320    40085 |     5500     4239    453 | 86.245 % |
149.85/149.97	c ===============================================================================
149.85/149.97	c New solution: 450
149.85/149.97	o 450
149.85/149.97	c Elapsed CPU time: 148.586 s	Remaining CPU time: 31.4136 s
149.85/149.97	c ===============================================================================
149.85/149.97	c |    310229 |     500     7321    40585 |     5000     4309    453 | 86.245 % |
149.95/150.04	c |    310329 |     500     7321    40585 |     5500     4409    453 | 86.245 % |
150.05/150.14	c |    310481 |     500     7321    40585 |     6050     4561    453 | 86.245 % |
150.15/150.26	c |    310706 |     500     7321    40585 |     6655     4786    453 | 86.245 % |
150.35/150.46	c |    311044 |     500     7321    40585 |     7320     5124    453 | 86.245 % |
150.56/150.70	c |    311550 |     500     7321    40585 |     8052     5630    453 | 86.245 % |
150.95/151.02	c |    312312 |     500     7321    40585 |     8857     6392    453 | 86.245 % |
151.35/151.48	c |    313452 |     500     7321    40585 |     9743     7532    452 | 86.245 % |
152.05/152.10	c |    315161 |     500     7321    40585 |    10717     9241    452 | 86.245 % |
153.15/153.20	c |    317723 |     500     7321    40585 |    11789    11803    452 | 86.245 % |
154.55/154.60	c |    321568 |     500     7321    40585 |    12968     7966    451 | 86.245 % |
156.35/156.44	c |    327334 |     500     7321    40585 |    14265    13732    451 | 86.245 % |
160.85/160.94	c |    335983 |     500     7321    40585 |    15692    13454    451 | 86.245 % |
166.44/166.56	c |    348957 |     500     7321    40585 |    17261    16789    451 | 86.245 % |
175.44/175.59	c |    368418 |     500     7321    40585 |    18987    15401    451 | 86.245 % |
181.64/181.72	c There are 3135 assigned variables. 0 in cost function.
182.04/182.11	c core #1
182.04/182.11	c #cores: 1
182.04/182.11	c Final Weight: 450
182.04/182.11	o 450
182.04/182.11	s OPTIMUM FOUND
182.04/182.11	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
182.04/182.11	c Total CPU time: 180.395 s

Verifier Data 

OK	-50

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31743
/proc/meminfo: memFree=1850888/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=3412 CPUtime=0
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 426 0 0 0 0 0 0 0 18 0 1 0 25122033 3493888 345 1992294400 134512640 135751879 4287661360 18446744073709551615 135380145 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 853 347 144 303 0 482 0

[startup+0.0793961 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31743
/proc/meminfo: memFree=1850888/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=4528 CPUtime=0.07
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 833 0 0 0 7 0 0 0 18 0 1 0 25122033 4636672 686 1992294400 134512640 135751879 4287661360 18446744073709551615 134606599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 1132 686 146 303 0 827 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4528

[startup+0.101408 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31743
/proc/meminfo: memFree=1850888/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=4528 CPUtime=0.09
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 833 0 0 0 9 0 0 0 18 0 1 0 25122033 4636672 686 1992294400 134512640 135751879 4287661360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 1132 686 146 303 0 827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4528

[startup+0.301421 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31743
/proc/meminfo: memFree=1850888/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=6324 CPUtime=0.29
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 1281 0 0 0 28 1 0 0 18 0 1 0 25122033 6475776 1134 1992294400 134512640 135751879 4287661360 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 1581 1134 147 303 0 1276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6324

[startup+0.701466 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31743
/proc/meminfo: memFree=1850888/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=9528 CPUtime=0.69
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 2091 0 0 0 67 2 0 0 18 0 1 0 25122033 9756672 1944 1992294400 134512640 135751879 4287661360 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 2382 1944 147 303 0 2077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9528

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31744
/proc/meminfo: memFree=1841332/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=15544 CPUtime=1.49
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 3586 0 0 0 145 4 0 0 19 0 1 0 25122033 15917056 3439 1992294400 134512640 135751879 4287661360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 3886 3439 147 303 0 3581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15544

[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31744
/proc/meminfo: memFree=1833520/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=24676 CPUtime=3.09
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 5885 0 0 0 302 7 0 0 25 0 1 0 25122033 25268224 5738 1992294400 134512640 135751879 4287661360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 6169 5738 148 303 0 5864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24676

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31744
/proc/meminfo: memFree=1814176/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=44704 CPUtime=6.29
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 10897 0 0 0 617 12 0 0 25 0 1 0 25122033 45776896 10750 1992294400 134512640 135751879 4287661360 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 11176 10750 148 303 0 10871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44704

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31744
/proc/meminfo: memFree=1783052/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=72456 CPUtime=12.69
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 17832 0 0 0 1250 19 0 0 25 0 1 0 25122033 74194944 17685 1992294400 134512640 135751879 4287661360 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 18114 17685 148 303 0 17809 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72456

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31744
/proc/meminfo: memFree=1740520/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=113028 CPUtime=25.48
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 27940 0 0 0 2519 29 0 0 25 0 1 0 25122033 115740672 27793 1992294400 134512640 135751879 4287661360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 28257 27793 148 303 0 27952 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113028

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31745
/proc/meminfo: memFree=1666368/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=187900 CPUtime=51.08
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 46665 0 0 0 5060 48 0 0 25 0 1 0 25122033 192409600 46518 1992294400 134512640 135751879 4287661360 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 46975 46518 148 303 0 46670 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 187900

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31746
/proc/meminfo: memFree=1436472/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=416220 CPUtime=102.27
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 103686 0 0 0 10131 96 0 0 25 0 1 0 25122033 426209280 103539 1992294400 134512640 135751879 4287661360 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 104055 103539 148 303 0 103750 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 416220

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1206948/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=647696 CPUtime=162.25
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 161541 0 0 0 16077 148 0 0 25 0 1 0 25122033 663240704 161394 1992294400 134512640 135751879 4287661360 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 161924 161394 148 303 0 161619 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 647696

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1187976/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=665056 CPUtime=166.24
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 165864 0 0 0 16472 152 0 0 25 0 1 0 25122033 681017344 165717 1992294400 134512640 135751879 4287661360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 166264 165717 148 303 0 165959 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 665056

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1160200/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=692072 CPUtime=172.65
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 172615 0 0 0 17107 158 0 0 25 0 1 0 25122033 708681728 172468 1992294400 134512640 135751879 4287661360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 173018 172468 148 303 0 172713 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 692072

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1139740/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=715664 CPUtime=179.04
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 178513 0 0 0 17740 164 0 0 25 0 1 0 25122033 732839936 178366 1992294400 134512640 135751879 4287661360 18446744073709551615 134602800 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 178916 178366 148 303 0 178611 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 715664

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1131060/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=722192 CPUtime=180.64
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 180161 0 0 0 17899 165 0 0 25 0 1 0 25122033 739524608 180014 1992294400 134512640 135751879 4287661360 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 180548 180014 148 303 0 180243 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 722192

[startup+181.509 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1126720/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=725520 CPUtime=181.45
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 180986 0 0 0 17979 166 0 0 25 0 1 0 25122033 742932480 180839 1992294400 134512640 135751879 4287661360 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 181380 180839 148 303 0 181075 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 725520

[startup+181.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1126720/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=727400 CPUtime=181.84
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 181453 0 0 0 18018 166 0 0 25 0 1 0 25122033 744857600 181306 1992294400 134512640 135751879 4287661360 18446744073709551615 134521941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 181850 181306 149 303 0 181545 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 727400

[startup+182.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31748
/proc/meminfo: memFree=1126720/2059040 swapFree=4135728/4192956
[pid=31743] ppid=31741 vsize=727400 CPUtime=182.04
/proc/31743/stat : 31743 (wbo1.4b) R 31741 31743 30914 0 -1 4202496 181453 0 0 0 18038 166 0 0 25 0 1 0 25122033 744857600 181306 1992294400 134512640 135751879 4287661360 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31743/statm: 181850 181306 149 303 0 181545 0
Current children cumulated CPU time (s) 182.04
Current children cumulated vsize (KiB) 727400

Child status: 0
Real time (s): 182.179
CPU time (s): 182.13
CPU user time (s): 180.395
CPU system time (s): 1.73574
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 727400

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

runsolver used 0.32595 second user time and 0.868867 second system time

The end

Launcher Data 

Begin job on node088 at 2010-07-08 08:05:37
IDJOB=2702518
IDBENCH=48194
IDSOLVER=1161
FILE ID=node088/2702518-1278569137
PBS_JOBID= 11239544
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df
RANDOM SEED=766071050

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851912 kB
Buffers:         18324 kB
Cached:          98380 kB
SwapCached:      10768 kB
Active:          83396 kB
Inactive:        47120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851912 kB
SwapTotal:     4192956 kB
SwapFree:      4135728 kB
Dirty:            2768 kB
Writeback:           0 kB
AnonPages:       11892 kB
Mapped:           8388 kB
Slab:            54872 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178564 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-2702518-1278569137.opb

Free space on /tmp at the end= 62516 MiB
End job on node088 at 2010-07-08 08:08:39