Trace number 2702694

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.-22 182.245 182.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
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-27
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

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-2702694-1278574709.opb.
0.00/0.00	c Instance file HOME/instance-2702694-1278574709.opb
0.00/0.00	c File size is 535263 bytes.
0.00/0.09	c Highest Coefficient sum: 400
0.00/0.09	c ============================[ Problem Statistics ]=============================
0.00/0.09	c |                                                                             |
0.00/0.09	c |  Parsing time:          0.09         s                                      |
0.00/0.09	c |  Number Variables:      6660                                                |
0.00/0.09	c |  Number Clauses:        6460                                                |
0.00/0.09	c |  Number Cardinality:    402                                                 |
0.00/0.09	c |  Number PB Constraints: 6260                                                |
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    6660    13122    51280 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 200
0.09/0.19	o 200
0.09/0.19	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 179.816 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    6660    13123    51480 |     5000        0    nan |  0.000 % |
0.20/0.20	c ===============================================================================
0.20/0.20	c New solution: 199
0.20/0.20	o 199
0.20/0.20	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 179.805 s
0.20/0.20	c ===============================================================================
0.20/0.20	c |         1 |    6660    13124    51680 |     5000        1    201 |  0.000 % |
0.20/0.21	c ===============================================================================
0.20/0.21	c New solution: 198
0.20/0.21	o 198
0.20/0.21	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 179.798 s
0.20/0.21	c ===============================================================================
0.20/0.21	c |         1 |    6660    13125    51880 |     5000        1    201 |  0.000 % |
0.20/0.22	c ===============================================================================
0.20/0.22	c New solution: 197
0.20/0.22	o 197
0.20/0.22	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
0.20/0.22	c ===============================================================================
0.20/0.22	c |         6 |    6660    13126    52080 |     5000        6    363 |  0.000 % |
0.20/0.22	c ===============================================================================
0.20/0.22	c New solution: 196
0.20/0.22	o 196
0.20/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 179.783 s
0.20/0.22	c ===============================================================================
0.20/0.22	c |        10 |    6660    13127    52280 |     5000       10    258 |  0.000 % |
0.50/0.53	c |       186 |    6660    13127    52280 |     5500      186    343 |  0.000 % |
0.70/0.73	c |       336 |    6660    13127    52280 |     6050      336    326 |  0.000 % |
0.89/0.93	c |       561 |    6660    13127    52280 |     6655      561    312 |  0.000 % |
1.19/1.23	c |       903 |    6660    13127    52280 |     7320      903    312 |  0.000 % |
1.29/1.37	c |      1409 |    6660    13127    52280 |     8052     1409    339 |  0.000 % |
1.49/1.58	c |      2169 |    6660    13127    52280 |     8857     2169    357 |  0.000 % |
1.89/1.95	c |      3309 |    6660    13127    52280 |     9743     3309    369 |  0.000 % |
1.89/1.99	c ===============================================================================
1.89/1.99	c New solution: 195
1.89/1.99	o 195
1.89/1.99	c Elapsed CPU time: 1.9647 s	Remaining CPU time: 178.035 s
1.89/1.99	c ===============================================================================
1.89/1.99	c |      3349 |    6660    13128    52480 |     5000     3349    368 |  0.000 % |
1.99/2.05	c |      3449 |    6660    13128    52480 |     5500     3449    369 |  0.000 % |
2.09/2.10	c |      3599 |    6660    13128    52480 |     6050     3599    370 |  0.000 % |
2.09/2.17	c |      3826 |    6660    13128    52480 |     6655     3826    371 |  0.000 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: 194
2.20/2.25	o 194
2.20/2.25	c Elapsed CPU time: 2.22366 s	Remaining CPU time: 177.776 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      4018 |    6660    13129    52680 |     5000     4018    370 |  0.000 % |
2.29/2.31	c |      4119 |    6660    13129    52680 |     5500     4119    371 |  0.000 % |
2.39/2.40	c |      4270 |    6660    13129    52680 |     6050     4270    371 |  0.000 % |
2.39/2.49	c |      4495 |    6660    13129    52680 |     6655     4495    371 |  0.000 % |
2.59/2.61	c |      4833 |    6660    13129    52680 |     7320     4833    371 |  0.000 % |
2.79/2.82	c |      5340 |    6660    13129    52680 |     8052     5340    369 |  0.000 % |
3.09/3.16	c |      6100 |    6660    13129    52680 |     8857     6100    370 |  0.000 % |
3.59/3.68	c |      7240 |    6660    13129    52680 |     9743     7240    367 |  0.000 % |
4.49/4.59	c |      8949 |    6660    13129    52680 |    10717     8949    363 |  0.000 % |
6.09/6.19	c |     11515 |    6660    13129    52680 |    11789    11515    362 |  0.000 % |
6.50/6.60	c ===============================================================================
6.50/6.60	c New solution: 193
6.50/6.60	o 193
6.50/6.60	c Elapsed CPU time: 6.52601 s	Remaining CPU time: 173.474 s
6.50/6.60	c ===============================================================================
6.50/6.60	c |     12114 |    6660    13130    52880 |     5000    12114    361 |  0.000 % |
6.69/6.71	c |     12214 |    6660    13130    52880 |     5500     3129    353 |  0.000 % |
6.69/6.78	c |     12364 |    6660    13130    52880 |     6050     3279    354 |  0.000 % |
6.79/6.84	c ===============================================================================
6.79/6.84	c New solution: 192
6.79/6.84	o 192
6.79/6.84	c Elapsed CPU time: 6.76597 s	Remaining CPU time: 173.234 s
6.79/6.84	c ===============================================================================
6.79/6.84	c |     12501 |    6660    13131    53080 |     5000     3416    354 |  0.000 % |
6.79/6.88	c |     12601 |    6660    13131    53080 |     5500     3516    355 |  0.000 % |
6.89/6.95	c |     12751 |    6660    13131    53080 |     6050     3666    356 |  0.000 % |
6.99/7.03	c |     12977 |    6660    13131    53080 |     6655     3892    358 |  0.000 % |
7.19/7.20	c |     13314 |    6660    13131    53080 |     7320     4229    361 |  0.000 % |
7.19/7.22	c ===============================================================================
7.19/7.22	c New solution: 191
7.19/7.22	o 191
7.19/7.22	c Elapsed CPU time: 7.13192 s	Remaining CPU time: 172.868 s
7.19/7.22	c ===============================================================================
7.19/7.22	c |     13336 |    6660    13132    53280 |     5000     4251    359 |  0.000 % |
7.29/7.31	c |     13441 |    6660    13132    53280 |     5500     4356    360 |  0.000 % |
7.29/7.40	c |     13591 |    6660    13132    53280 |     6050     4506    361 |  0.000 % |
7.39/7.46	c |     13816 |    6660    13132    53280 |     6655     4731    362 |  0.000 % |
7.49/7.56	c |     14153 |    6660    13132    53280 |     7320     5068    364 |  0.000 % |
7.49/7.59	c ===============================================================================
7.49/7.59	c New solution: 190
7.49/7.59	o 190
7.49/7.59	c Elapsed CPU time: 7.49886 s	Remaining CPU time: 172.501 s
7.49/7.59	c ===============================================================================
7.49/7.59	c |     14194 |    6660    13133    53480 |     5000     5109    362 |  0.000 % |
7.79/7.80	c |     14294 |    6660    13133    53480 |     5500     2655    365 |  0.000 % |
8.39/8.46	c |     14444 |    6660    13133    53480 |     6050     2805    361 |  0.000 % |
8.59/8.69	c |     14674 |    6660    13133    53480 |     6655     3035    359 |  0.000 % |
8.99/9.00	c |     15037 |    6660    13133    53480 |     7320     3398    361 |  0.000 % |
9.59/9.66	c |     15550 |    6660    13133    53480 |     8052     3911    362 |  0.000 % |
9.80/9.85	c |     16309 |    6660    13133    53480 |     8857     4670    366 |  0.000 % |
9.80/9.89	c ===============================================================================
9.80/9.89	c New solution: 189
9.80/9.89	o 189
9.80/9.89	c Elapsed CPU time: 9.78451 s	Remaining CPU time: 170.215 s
9.80/9.89	c ===============================================================================
9.80/9.89	c |     16335 |    6660    13134    53680 |     5000     4696    364 |  0.000 % |
9.89/9.92	c |     16435 |    6660    13134    53680 |     5500     4796    364 |  0.000 % |
9.89/9.96	c |     16585 |    6660    13134    53680 |     6050     4946    364 |  0.000 % |
9.98/10.01	c |     16811 |    6660    13134    53680 |     6655     5172    364 |  0.000 % |
9.98/10.09	c |     17148 |    6660    13134    53680 |     7320     5509    365 |  0.000 % |
10.19/10.23	c |     17654 |    6660    13134    53680 |     8052     6015    367 |  0.000 % |
10.19/10.27	c ===============================================================================
10.19/10.27	c New solution: 188
10.19/10.27	o 188
10.19/10.27	c Elapsed CPU time: 10.1525 s	Remaining CPU time: 169.848 s
10.19/10.27	c ===============================================================================
10.19/10.27	c |     17719 |    6660    13135    53880 |     5000     6080    364 |  0.000 % |
10.28/10.35	c |     17824 |    6660    13135    53880 |     5500     3145    367 |  0.000 % |
10.28/10.39	c |     17974 |    6660    13135    53880 |     6050     3295    367 |  0.000 % |
10.38/10.44	c |     18200 |    6660    13135    53880 |     6655     3521    368 |  0.000 % |
10.48/10.51	c |     18538 |    6660    13135    53880 |     7320     3859    369 |  0.000 % |
10.59/10.66	c |     19044 |    6660    13135    53880 |     8052     4365    370 |  0.000 % |
10.79/10.87	c |     19803 |    6660    13135    53880 |     8857     5124    372 |  0.000 % |
10.89/10.92	c ===============================================================================
10.89/10.92	c New solution: 187
10.89/10.92	o 187
10.89/10.92	c Elapsed CPU time: 10.7934 s	Remaining CPU time: 169.207 s
10.89/10.92	c ===============================================================================
10.89/10.92	c |     19854 |    6660    13136    54080 |     5000     5175    369 |  0.000 % |
10.89/11.00	c |     19959 |    6660    13136    54080 |     5500     2693    371 |  0.000 % |
10.99/11.04	c |     20110 |    6660    13136    54080 |     6050     2844    371 |  0.000 % |
10.99/11.09	c |     20335 |    6660    13136    54080 |     6655     3069    372 |  0.000 % |
11.09/11.17	c |     20672 |    6660    13136    54080 |     7320     3406    372 |  0.000 % |
11.19/11.28	c |     21179 |    6660    13136    54080 |     8052     3913    373 |  0.000 % |
11.39/11.45	c |     21938 |    6660    13136    54080 |     8857     4672    374 |  0.000 % |
11.69/11.76	c |     23078 |    6660    13136    54080 |     9743     5812    375 |  0.000 % |
12.10/12.16	c |     24786 |    6660    13136    54080 |    10717     7520    372 |  0.000 % |
12.89/12.99	c |     27348 |    6660    13136    54080 |    11789    10082    373 |  0.000 % |
14.49/14.56	c |     31192 |    6660    13136    54080 |    12968    13926    374 |  0.000 % |
16.98/17.02	c |     36958 |    6660    13136    54080 |    14265    12729    378 |  0.000 % |
17.09/17.12	c ===============================================================================
17.09/17.12	c New solution: 186
17.09/17.12	o 186
17.09/17.12	c Elapsed CPU time: 16.9054 s	Remaining CPU time: 163.095 s
17.09/17.12	c ===============================================================================
17.09/17.12	c |     37125 |    6660    13137    54280 |     5000    12896    375 |  0.000 % |
17.19/17.28	c |     37230 |    6660    13137    54280 |     5500     3329    366 |  0.000 % |
17.29/17.32	c |     37381 |    6660    13137    54280 |     6050     3480    367 |  0.000 % |
17.29/17.37	c |     37606 |    6660    13137    54280 |     6655     3705    367 |  0.000 % |
17.38/17.47	c |     37944 |    6660    13137    54280 |     7320     4043    367 |  0.000 % |
17.60/17.66	c |     38450 |    6660    13137    54280 |     8052     4549    369 |  0.000 % |
17.68/17.71	c ===============================================================================
17.68/17.71	c New solution: 185
17.68/17.71	o 185
17.68/17.71	c Elapsed CPU time: 17.4823 s	Remaining CPU time: 162.518 s
17.68/17.71	c ===============================================================================
17.68/17.71	c |     38515 |    6660    13138    54480 |     5000     4614    365 |  0.000 % |
17.68/17.75	c |     38615 |    6660    13138    54480 |     5500     4714    366 |  0.000 % |
17.68/17.79	c |     38765 |    6660    13138    54480 |     6050     4864    366 |  0.000 % |
17.79/17.85	c |     38991 |    6660    13138    54480 |     6655     5090    366 |  0.000 % |
17.89/17.94	c |     39329 |    6660    13138    54480 |     7320     5428    367 |  0.000 % |
17.99/18.09	c |     39835 |    6660    13138    54480 |     8052     5934    367 |  0.000 % |
18.18/18.30	c |     40594 |    6660    13138    54480 |     8857     6693    368 |  0.000 % |
18.49/18.59	c |     41733 |    6660    13138    54480 |     9743     7832    370 |  0.000 % |
19.09/19.12	c |     43441 |    6660    13138    54480 |    10717     9540    371 |  0.000 % |
19.98/20.10	c |     46004 |    6660    13138    54480 |    11789    12103    372 |  0.000 % |
20.19/20.23	c ===============================================================================
20.19/20.23	c New solution: 184
20.19/20.23	o 184
20.19/20.23	c Elapsed CPU time: 19.959 s	Remaining CPU time: 160.041 s
20.19/20.23	c ===============================================================================
20.19/20.23	c |     46278 |    6660    13139    54680 |     5000     6326    365 |  0.000 % |
20.69/20.74	c |     46430 |    6660    13139    54680 |     5500     3315    352 |  0.000 % |
20.79/20.85	c |     46583 |    6660    13139    54680 |     6050     3468    353 |  0.000 % |
20.89/20.91	c |     46808 |    6660    13139    54680 |     6655     3693    354 |  0.000 % |
20.99/21.07	c |     47146 |    6660    13139    54680 |     7320     4031    327 |  0.000 % |
22.38/22.49	c |     47677 |    6660    13139    54680 |     8052     4562    329 |  0.000 % |
22.58/22.67	c |     48436 |    6660    13139    54680 |     8857     5321    336 |  0.000 % |
22.89/22.97	c |     49575 |    6660    13139    54680 |     9743     6460    342 |  0.000 % |
23.38/23.43	c |     51283 |    6660    13139    54680 |    10717     8168    350 |  0.000 % |
24.19/24.24	c |     53845 |    6660    13139    54680 |    11789    10730    356 |  0.000 % |
25.48/25.58	c |     57690 |    6660    13139    54680 |    12968    14575    361 |  0.000 % |
27.88/27.99	c |     63456 |    6660    13139    54680 |    14265    13054    375 |  0.000 % |
32.38/32.45	c |     72107 |    6660    13139    54680 |    15692    11273    376 |  0.000 % |
32.48/32.58	c ===============================================================================
32.48/32.58	c New solution: 183
32.48/32.58	o 183
32.48/32.58	c Elapsed CPU time: 32.1681 s	Remaining CPU time: 147.832 s
32.48/32.58	c ===============================================================================
32.48/32.58	c |     72309 |    6660    13140    54880 |     5000    11475    370 |  0.000 % |
32.58/32.65	c |     72409 |    6660    13140    54880 |     5500     2969    353 |  0.000 % |
32.58/32.69	c |     72559 |    6660    13140    54880 |     6050     3119    354 |  0.000 % |
32.68/32.74	c |     72784 |    6660    13140    54880 |     6655     3344    355 |  0.000 % |
32.78/32.82	c |     73121 |    6660    13140    54880 |     7320     3681    356 |  0.000 % |
32.89/32.93	c |     73627 |    6660    13140    54880 |     8052     4187    358 |  0.000 % |
33.08/33.12	c |     74386 |    6660    13140    54880 |     8857     4946    360 |  0.000 % |
33.18/33.25	c ===============================================================================
33.18/33.25	c New solution: 182
33.18/33.25	o 182
33.18/33.25	c Elapsed CPU time: 32.821 s	Remaining CPU time: 147.179 s
33.18/33.25	c ===============================================================================
33.18/33.25	c |     74744 |    6660    13141    55080 |     5000     5304    341 |  0.000 % |
33.28/33.34	c |     74849 |    6660    13141    55080 |     5500     2757    325 |  0.000 % |
33.28/33.38	c |     74999 |    6660    13141    55080 |     6050     2907    328 |  0.000 % |
33.38/33.42	c |     75224 |    6660    13141    55080 |     6655     3132    331 |  0.000 % |
33.38/33.49	c |     75561 |    6660    13141    55080 |     7320     3469    335 |  0.000 % |
33.58/33.60	c |     76067 |    6660    13141    55080 |     8052     3975    339 |  0.000 % |
33.68/33.78	c |     76826 |    6660    13141    55080 |     8857     4734    345 |  0.000 % |
33.99/34.09	c |     77965 |    6660    13141    55080 |     9743     5873    350 |  0.000 % |
34.48/34.57	c |     79673 |    6660    13141    55080 |    10717     7581    354 |  0.000 % |
35.08/35.19	c ===============================================================================
35.08/35.19	c New solution: 181
35.08/35.19	o 181
35.08/35.19	c Elapsed CPU time: 34.7237 s	Remaining CPU time: 145.276 s
35.08/35.19	c ===============================================================================
35.08/35.19	c |     81585 |    6660    13142    55280 |     5000     9493    297 |  0.000 % |
35.18/35.24	c |     81685 |    6660    13142    55280 |     5500     4847    248 |  0.000 % |
35.18/35.27	c |     81835 |    6660    13142    55280 |     6050     4997    252 |  0.000 % |
35.28/35.32	c |     82060 |    6660    13142    55280 |     6655     5222    256 |  0.000 % |
35.28/35.38	c |     82397 |    6660    13142    55280 |     7320     5559    262 |  0.000 % |
35.38/35.50	c |     82903 |    6660    13142    55280 |     8052     6065    271 |  0.000 % |
35.58/35.65	c |     83663 |    6660    13142    55280 |     8857     6825    281 |  0.000 % |
35.88/35.94	c |     84802 |    6660    13142    55280 |     9743     7964    294 |  0.000 % |
36.29/36.37	c |     86510 |    6660    13142    55280 |    10717     9672    304 |  0.000 % |
37.07/37.18	c |     89072 |    6660    13142    55280 |    11789    12234    318 |  0.000 % |
38.18/38.23	c |     92917 |    6660    13142    55280 |    12968     9962    362 |  0.000 % |
40.07/40.19	c |     98683 |    6660    13142    55280 |    14265    15728    366 |  0.000 % |
42.98/43.06	c |    107332 |    6660    13142    55280 |    15692    16513    360 |  0.000 % |
47.28/47.37	c |    120306 |    6660    13142    55280 |    17261    21231    352 |  0.000 % |
56.58/56.62	c |    139768 |    6660    13142    55280 |    18987    17020    339 |  0.000 % |
70.46/70.51	c |    168961 |    6660    13142    55280 |    20886    16836    358 |  0.000 % |
99.75/99.81	c |    212750 |    6660    13142    55280 |    22974    10993    369 |  0.000 % |
145.05/145.19	c |    278434 |    6660    13142    55280 |    25272    21105    368 |  0.000 % |
145.24/145.35	c ===============================================================================
145.24/145.35	c New solution: 180
145.24/145.35	o 180
145.24/145.35	c Elapsed CPU time: 143.887 s	Remaining CPU time: 36.1129 s
145.24/145.35	c ===============================================================================
145.24/145.35	c |    278690 |    6660    13143    55480 |     5000    21361    364 |  0.000 % |
145.54/145.68	c |    278795 |    6660    13143    55480 |     5500     2776    339 |  0.000 % |
145.64/145.72	c |    278945 |    6660    13143    55480 |     6050     2926    341 |  0.000 % |
145.64/145.77	c |    279171 |    6660    13143    55480 |     6655     3152    343 |  0.000 % |
145.75/145.85	c |    279508 |    6660    13143    55480 |     7320     3489    344 |  0.000 % |
145.84/145.95	c |    280014 |    6660    13143    55480 |     8052     3995    347 |  0.000 % |
146.05/146.12	c |    280773 |    6660    13143    55480 |     8857     4754    348 |  0.000 % |
146.25/146.35	c |    281913 |    6660    13143    55480 |     9743     5894    348 |  0.000 % |
146.64/146.76	c |    283622 |    6660    13143    55480 |    10717     7603    353 |  0.000 % |
147.94/148.01	c |    286184 |    6660    13143    55480 |    11789    10165    301 |  0.000 % |
149.74/149.84	c |    290028 |    6660    13143    55480 |    12968    14009    297 |  0.000 % |
151.54/151.66	c |    295794 |    6660    13143    55480 |    14265    12771    298 |  0.000 % |
151.65/151.74	c ===============================================================================
151.65/151.74	c New solution: 179
151.65/151.74	o 179
151.65/151.74	c Elapsed CPU time: 150.189 s	Remaining CPU time: 29.8108 s
151.65/151.74	c ===============================================================================
151.65/151.74	c |    295958 |    6660    13144    55680 |     5000    12935    294 |  0.000 % |
151.75/151.82	c |    296059 |    6660    13144    55680 |     5500     3335    341 |  0.000 % |
151.75/151.85	c |    296209 |    6660    13144    55680 |     6050     3485    342 |  0.000 % |
151.84/151.91	c |    296434 |    6660    13144    55680 |     6655     3710    343 |  0.000 % |
151.84/151.99	c |    296771 |    6660    13144    55680 |     7320     4047    345 |  0.000 % |
152.04/152.11	c |    297277 |    6660    13144    55680 |     8052     4553    348 |  0.000 % |
152.23/152.30	c |    298036 |    6660    13144    55680 |     8857     5312    350 |  0.000 % |
152.54/152.64	c |    299175 |    6660    13144    55680 |     9743     6451    352 |  0.000 % |
152.93/153.05	c |    300884 |    6660    13144    55680 |    10717     8160    355 |  0.000 % |
153.84/153.95	c |    303446 |    6660    13144    55680 |    11789    10722    354 |  0.000 % |
155.05/155.14	c |    307290 |    6660    13144    55680 |    12968    14566    358 |  0.000 % |
157.94/158.06	c |    313056 |    6660    13144    55680 |    14265    13049    284 |  0.000 % |
161.03/161.17	c |    321705 |    6660    13144    55680 |    15692    11306    324 |  0.000 % |
166.33/166.43	c |    334679 |    6660    13144    55680 |    17261    12764    366 |  0.000 % |
176.53/176.69	c ===============================================================================
176.53/176.69	c New solution: 178
176.53/176.69	o 178
176.53/176.69	c Elapsed CPU time: 174.893 s	Remaining CPU time: 5.10659 s
176.53/176.69	c ===============================================================================
176.53/176.69	c |    349284 |    6660    13145    55880 |     5000    14523    216 |  0.000 % |
176.73/176.84	c |    349384 |    6660    13145    55880 |     5500     3731    202 |  0.000 % |
176.73/176.87	c |    349534 |    6660    13145    55880 |     6050     3881    208 |  0.000 % |
176.83/176.94	c |    349759 |    6660    13145    55880 |     6655     4106    216 |  0.000 % |
176.94/177.02	c |    350096 |    6660    13145    55880 |     7320     4443    227 |  0.000 % |
177.03/177.16	c |    350603 |    6660    13145    55880 |     8052     4950    241 |  0.000 % |
177.23/177.35	c |    351362 |    6660    13145    55880 |     8857     5709    257 |  0.000 % |
177.83/177.97	c |    352505 |    6660    13145    55880 |     9743     6852    242 |  0.000 % |
178.63/178.75	c |    354213 |    6660    13145    55880 |    10717     8560    246 |  0.000 % |
180.23/180.34	c |    356775 |    6660    13145    55880 |    11789    11122    226 |  0.000 % |
181.73/181.86	c There are 0 assigned variables. 0 in cost function.
182.12/182.25	c core #1
182.12/182.25	c #cores: 1
182.12/182.25	c Final Weight: 178
182.12/182.25	o 178
182.12/182.25	s OPTIMUM FOUND
182.12/182.25	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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -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
182.12/182.25	c Total CPU time: 180.392 s

Verifier Data 

OK	-22

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702694-1278574709/watcher-2702694-1278574709 -o /tmp/evaluation-result-2702694-1278574709/solver-2702694-1278574709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702694-1278574709.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.95 0.87 3/106 28606
/proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=3732 CPUtime=0
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 422 0 0 0 0 0 0 0 18 0 1 0 25677998 3821568 340 1992294400 134512640 135751879 4288584752 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 933 340 142 303 0 497 0

[startup+0.0952491 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 28606
/proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=6056 CPUtime=0.09
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1190 0 0 0 9 0 0 0 21 0 1 0 25677998 6201344 978 1992294400 134512640 135751879 4288584752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 1514 980 144 303 0 1209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6056

[startup+0.10125 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 28606
/proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=6188 CPUtime=0.09
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1300 0 0 0 9 0 0 0 21 0 1 0 25677998 6336512 1087 1992294400 134512640 135751879 4288584752 18446744073709551615 135204210 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 1547 1087 144 303 0 1242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6188

[startup+0.301284 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 28606
/proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=7156 CPUtime=0.3
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1520 0 0 0 29 1 0 0 21 0 1 0 25677998 7327744 1307 1992294400 134512640 135751879 4288584752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 1789 1307 146 303 0 1484 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7156

[startup+0.701354 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 28606
/proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=7156 CPUtime=0.7
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1521 0 0 0 69 1 0 0 22 0 1 0 25677998 7327744 1308 1992294400 134512640 135751879 4288584752 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 1789 1308 147 303 0 1484 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7156

[startup+1.50049 s]
/proc/loadavg: 0.92 0.95 0.87 2/107 28607
/proc/meminfo: memFree=1849964/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=8464 CPUtime=1.49
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1842 0 0 0 147 2 0 0 25 0 1 0 25677998 8667136 1629 1992294400 134512640 135751879 4288584752 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 2116 1629 147 303 0 1811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8464

[startup+3.10077 s]
/proc/loadavg: 0.92 0.95 0.87 2/107 28607
/proc/meminfo: memFree=1845376/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=15264 CPUtime=3.09
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 3546 0 0 0 306 3 0 0 25 0 1 0 25677998 15630336 3333 1992294400 134512640 135751879 4288584752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 3816 3333 147 303 0 3511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15264

[startup+6.30132 s]
/proc/loadavg: 0.93 0.95 0.87 2/107 28607
/proc/meminfo: memFree=1835084/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=23840 CPUtime=6.29
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 5696 0 0 0 623 6 0 0 25 0 1 0 25677998 24412160 5483 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 5960 5483 147 303 0 5655 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23840

[startup+12.7004 s]
/proc/loadavg: 0.93 0.95 0.87 2/107 28607
/proc/meminfo: memFree=1812888/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=47364 CPUtime=12.68
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 11574 0 0 0 1253 15 0 0 25 0 1 0 25677998 48500736 11361 1992294400 134512640 135751879 4288584752 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 11841 11361 148 303 0 11536 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47364

[startup+25.5016 s]
/proc/loadavg: 0.95 0.96 0.87 2/107 28607
/proc/meminfo: memFree=1761676/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=95976 CPUtime=25.48
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 23733 0 0 0 2516 32 0 0 25 0 1 0 25677998 98279424 23520 1992294400 134512640 135751879 4288584752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 23994 23520 148 303 0 23689 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95976

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.88 2/107 28608
/proc/meminfo: memFree=1653796/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=204368 CPUtime=51.07
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 50829 0 0 0 5042 65 0 0 25 0 1 0 25677998 209272832 50616 1992294400 134512640 135751879 4288584752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 51092 50616 148 303 0 50787 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 204368

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.88 2/107 28609
/proc/meminfo: memFree=1514916/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=341348 CPUtime=102.26
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 85051 0 0 0 10120 106 0 0 25 0 1 0 25677998 349540352 84838 1992294400 134512640 135751879 4288584752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 85337 84838 148 303 0 85032 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 341348

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1363884/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=495228 CPUtime=162.23
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 123506 0 0 0 16062 161 0 0 25 0 1 0 25677998 507113472 123293 1992294400 134512640 135751879 4288584752 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 123807 123293 148 303 0 123502 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 495228

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1347020/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=509552 CPUtime=166.23
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 127075 0 0 0 16458 165 0 0 25 0 1 0 25677998 521781248 126862 1992294400 134512640 135751879 4288584752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 127388 126862 148 303 0 127083 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 509552

[startup+172.709 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1338340/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=517368 CPUtime=172.64
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 129023 0 0 0 17094 170 0 0 25 0 1 0 25677998 529784832 128810 1992294400 134512640 135751879 4288584752 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 129342 128810 148 303 0 129037 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 517368

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1327552/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=530100 CPUtime=179.02
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 132203 0 0 0 17725 177 0 0 25 0 1 0 25677998 542822400 131990 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 132525 131990 148 303 0 132220 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 530100

[startup+180.701 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1323956/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=532168 CPUtime=180.62
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 132739 0 0 0 17884 178 0 0 25 0 1 0 25677998 544940032 132526 1992294400 134512640 135751879 4288584752 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 133042 132526 148 303 0 132737 0
Current children cumulated CPU time (s) 180.62
Current children cumulated vsize (KiB) 532168

[startup+181.509 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=533608 CPUtime=181.44
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 133084 0 0 0 17965 179 0 0 25 0 1 0 25677998 546414592 132871 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 133402 132871 148 303 0 133097 0
Current children cumulated CPU time (s) 181.44
Current children cumulated vsize (KiB) 533608

[startup+181.901 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=536312 CPUtime=181.82
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 133728 0 0 0 18003 179 0 0 25 0 1 0 25677998 549183488 133515 1992294400 134512640 135751879 4288584752 18446744073709551615 134712379 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28606/statm: 134078 133515 149 303 0 133773 0
Current children cumulated CPU time (s) 181.82
Current children cumulated vsize (KiB) 536312

[startup+182.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 28611
/proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956
[pid=28606] ppid=28604 vsize=0 CPUtime=182.23
/proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202500 133755 0 0 0 18039 184 0 0 25 0 1 0 25677998 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28606/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.31
CPU time (s): 182.245
CPU user time (s): 180.392
CPU system time (s): 1.85372
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 536312

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

runsolver used 0.334949 second user time and 0.840872 second system time

The end

Launcher Data 

Begin job on node048 at 2010-07-08 09:38:29
IDJOB=2702694
IDBENCH=48282
IDSOLVER=1161
FILE ID=node048/2702694-1278574709
PBS_JOBID= 11240078
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=1159803550

node048.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.262
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.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855460 kB
Buffers:         16820 kB
Cached:         101816 kB
SwapCached:       6676 kB
Active:          95088 kB
Inactive:        37020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855460 kB
SwapTotal:     4192956 kB
SwapFree:      4139716 kB
Dirty:            2868 kB
Writeback:           8 kB
AnonPages:       11720 kB
Mapped:          12036 kB
Slab:            49460 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180152 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-2702694-1278574709.opb

Free space on /tmp at the end= 62560 MiB
End job on node048 at 2010-07-08 09:41:32