Trace number 2702688

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.-17 182.308 182.362

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
MD5SUM27440fbcb5a9ea2c9ae6b100e77dc1d3
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-51
Best CPU time to get the best result obtained on this benchmark1789.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60
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)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

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.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2702688-1278574704.opb.
0.00/0.01	c Instance file HOME/instance-2702688-1278574704.opb
0.00/0.01	c File size is 219296 bytes.
0.00/0.04	c Highest Coefficient sum: 400
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:      2888                                                |
0.00/0.04	c |  Number Clauses:        2688                                                |
0.00/0.04	c |  Number Cardinality:    402                                                 |
0.00/0.04	c |  Number PB Constraints: 2488                                                |
0.05/0.06	c ============================[ Search Statistics ]==============================
0.05/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.05/0.06	c ===============================================================================
0.05/0.06	c |         0 |    2888     5578    21104 |     5000        0    nan |  0.000 % |
0.05/0.07	c ===============================================================================
0.05/0.07	c New solution: 200
0.05/0.07	o 200
0.05/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.05/0.07	c ===============================================================================
0.05/0.07	c |         0 |    2888     5579    21304 |     5000        0    nan |  0.000 % |
0.05/0.07	c ===============================================================================
0.05/0.07	c New solution: 199
0.05/0.07	o 199
0.05/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.05/0.07	c ===============================================================================
0.05/0.07	c |         1 |    2888     5580    21504 |     5000        1    201 |  0.000 % |
0.05/0.08	c ===============================================================================
0.05/0.08	c New solution: 198
0.05/0.08	o 198
0.05/0.08	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 179.926 s
0.05/0.08	c ===============================================================================
0.05/0.08	c |         1 |    2888     5581    21704 |     5000        1    201 |  0.000 % |
0.05/0.08	c ===============================================================================
0.05/0.08	c New solution: 197
0.05/0.08	o 197
0.05/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 179.922 s
0.05/0.08	c ===============================================================================
0.05/0.08	c |         4 |    2888     5582    21904 |     5000        4    346 |  0.000 % |
0.05/0.08	c ===============================================================================
0.05/0.08	c New solution: 196
0.05/0.08	o 196
0.05/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.05/0.08	c ===============================================================================
0.05/0.08	c |         4 |    2888     5583    22104 |     5000        4    346 |  0.000 % |
0.05/0.09	c ===============================================================================
0.05/0.09	c New solution: 195
0.05/0.09	o 195
0.05/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.05/0.09	c ===============================================================================
0.05/0.09	c |         4 |    2888     5584    22304 |     5000        4    346 |  0.000 % |
0.05/0.09	c ===============================================================================
0.05/0.09	c New solution: 194
0.05/0.09	o 194
0.05/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 179.913 s
0.05/0.09	c ===============================================================================
0.05/0.09	c |         4 |    2888     5585    22504 |     5000        4    346 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 193
0.09/0.10	o 193
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 179.901 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        75 |    2888     5586    22704 |     5000       75    387 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 192
0.09/0.11	o 192
0.09/0.11	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        76 |    2888     5587    22904 |     5000       76    382 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 191
0.09/0.11	o 191
0.09/0.11	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 179.893 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       105 |    2888     5588    23104 |     5000      105    329 |  0.000 % |
0.09/0.13	c |       205 |    2888     5588    23104 |     5500      205    356 |  0.000 % |
0.09/0.16	c |       355 |    2888     5588    23104 |     6050      355    367 |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 190
0.09/0.17	o 190
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 179.83 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |       416 |    2888     5589    23304 |     5000      416    366 |  0.000 % |
0.09/0.19	c |       516 |    2888     5589    23304 |     5500      516    370 |  0.000 % |
0.19/0.22	c |       667 |    2888     5589    23304 |     6050      667    373 |  0.000 % |
0.19/0.26	c |       892 |    2888     5589    23304 |     6655      892    374 |  0.000 % |
0.29/0.31	c |      1229 |    2888     5589    23304 |     7320     1229    377 |  0.000 % |
0.39/0.40	c |      1735 |    2888     5589    23304 |     8052     1735    369 |  0.000 % |
0.49/0.56	c |      2494 |    2888     5589    23304 |     8857     2494    374 |  0.000 % |
0.79/0.84	c |      3633 |    2888     5589    23304 |     9743     3633    378 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: 189
0.79/0.85	o 189
0.79/0.85	c Elapsed CPU time: 0.830873 s	Remaining CPU time: 179.169 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |      3636 |    2888     5590    23504 |     5000     3636    377 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: 188
0.79/0.86	o 188
0.79/0.86	c Elapsed CPU time: 0.836872 s	Remaining CPU time: 179.163 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |      3636 |    2888     5591    23704 |     5000     3636    377 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: 187
0.79/0.87	o 187
0.79/0.87	c Elapsed CPU time: 0.841872 s	Remaining CPU time: 179.158 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |      3643 |    2888     5592    23904 |     5000     3643    377 |  0.000 % |
0.89/0.90	c |      3743 |    2888     5592    23904 |     5500     3743    377 |  0.000 % |
0.89/0.94	c |      3893 |    2888     5592    23904 |     6050     3893    377 |  0.000 % |
0.89/1.00	c |      4118 |    2888     5592    23904 |     6655     4118    376 |  0.000 % |
1.00/1.07	c |      4456 |    2888     5592    23904 |     7320     4456    377 |  0.000 % |
1.10/1.19	c |      4962 |    2888     5592    23904 |     8052     4962    377 |  0.000 % |
1.29/1.37	c |      5721 |    2888     5592    23904 |     8857     5721    374 |  0.000 % |
1.58/1.67	c |      6860 |    2888     5592    23904 |     9743     6860    374 |  0.000 % |
2.09/2.16	c |      8568 |    2888     5592    23904 |    10717     8568    375 |  0.000 % |
2.99/3.05	c |     11132 |    2888     5592    23904 |    11789    11132    377 |  0.000 % |
4.49/4.58	c |     14976 |    2888     5592    23904 |    12968     7658    380 |  0.000 % |
6.59/6.63	c |     20742 |    2888     5592    23904 |    14265    13424    381 |  0.000 % |
10.69/10.77	c |     29391 |    2888     5592    23904 |    15692    13514    381 |  0.000 % |
10.78/10.80	c ===============================================================================
10.78/10.80	c New solution: 186
10.78/10.80	o 186
10.78/10.80	c Elapsed CPU time: 10.6514 s	Remaining CPU time: 169.349 s
10.78/10.80	c ===============================================================================
10.78/10.80	c |     29418 |    2888     5593    24104 |     5000    13541    380 |  0.000 % |
10.89/10.90	c |     29518 |    2888     5593    24104 |     5500     3486    378 |  0.000 % |
10.89/10.95	c |     29668 |    2888     5593    24104 |     6050     3636    378 |  0.000 % |
10.99/11.02	c |     29893 |    2888     5593    24104 |     6655     3861    378 |  0.000 % |
11.09/11.13	c |     30230 |    2888     5593    24104 |     7320     4198    378 |  0.000 % |
11.19/11.23	c |     30737 |    2888     5593    24104 |     8052     4705    377 |  0.000 % |
11.38/11.42	c |     31497 |    2888     5593    24104 |     8857     5465    374 |  0.000 % |
11.69/11.76	c |     32636 |    2888     5593    24104 |     9743     6604    375 |  0.000 % |
11.69/11.77	c ===============================================================================
11.69/11.77	c New solution: 185
11.69/11.77	o 185
11.69/11.77	c Elapsed CPU time: 11.6072 s	Remaining CPU time: 168.393 s
11.69/11.77	c ===============================================================================
11.69/11.77	c |     32661 |    2888     5594    24304 |     5000     6629    374 |  0.000 % |
11.79/11.82	c |     32762 |    2888     5594    24304 |     5500     3416    369 |  0.000 % |
11.79/11.85	c |     32912 |    2888     5594    24304 |     6050     3566    369 |  0.000 % |
11.88/11.90	c |     33137 |    2888     5594    24304 |     6655     3791    369 |  0.000 % |
11.88/11.98	c |     33474 |    2888     5594    24304 |     7320     4128    369 |  0.000 % |
11.99/12.09	c |     33980 |    2888     5594    24304 |     8052     4634    370 |  0.000 % |
12.18/12.26	c |     34739 |    2888     5594    24304 |     8857     5393    370 |  0.000 % |
12.49/12.56	c |     35878 |    2888     5594    24304 |     9743     6532    371 |  0.000 % |
12.98/13.04	c |     37586 |    2888     5594    24304 |    10717     8240    373 |  0.000 % |
13.68/13.73	c |     40148 |    2888     5594    24304 |    11789    10802    374 |  0.000 % |
14.88/14.98	c |     43992 |    2888     5594    24304 |    12968     7325    379 |  0.000 % |
14.88/15.00	c ===============================================================================
14.88/15.00	c New solution: 184
14.88/15.00	o 184
14.88/15.00	c Elapsed CPU time: 14.7748 s	Remaining CPU time: 165.225 s
14.88/15.00	c ===============================================================================
14.88/15.00	c |     44018 |    2888     5595    24504 |     5000     7351    378 |  0.000 % |
14.98/15.03	c |     44118 |    2888     5595    24504 |     5500     3776    377 |  0.000 % |
14.98/15.06	c |     44268 |    2888     5595    24504 |     6050     3926    377 |  0.000 % |
15.09/15.11	c |     44493 |    2888     5595    24504 |     6655     4151    376 |  0.000 % |
15.09/15.19	c |     44830 |    2888     5595    24504 |     7320     4488    376 |  0.000 % |
15.19/15.29	c |     45336 |    2888     5595    24504 |     8052     4994    376 |  0.000 % |
15.39/15.48	c |     46095 |    2888     5595    24504 |     8857     5753    376 |  0.000 % |
15.69/15.76	c |     47234 |    2888     5595    24504 |     9743     6892    376 |  0.000 % |
16.09/16.18	c |     48942 |    2888     5595    24504 |    10717     8600    373 |  0.000 % |
16.89/16.91	c |     51504 |    2888     5595    24504 |    11789    11162    374 |  0.000 % |
16.89/16.92	c ===============================================================================
16.89/16.92	c New solution: 183
16.89/16.92	o 183
16.89/16.92	c Elapsed CPU time: 16.6595 s	Remaining CPU time: 163.341 s
16.89/16.92	c ===============================================================================
16.89/16.92	c |     51515 |    2888     5596    24704 |     5000    11173    374 |  0.000 % |
16.89/16.98	c |     51615 |    2888     5596    24704 |     5500     2894    375 |  0.000 % |
16.99/17.01	c |     51765 |    2888     5596    24704 |     6050     3044    375 |  0.000 % |
16.99/17.05	c |     51990 |    2888     5596    24704 |     6655     3269    375 |  0.000 % |
17.08/17.11	c |     52327 |    2888     5596    24704 |     7320     3606    375 |  0.000 % |
17.18/17.20	c |     52833 |    2888     5596    24704 |     8052     4112    375 |  0.000 % |
17.29/17.36	c |     53592 |    2888     5596    24704 |     8857     4871    375 |  0.000 % |
17.49/17.58	c |     54731 |    2888     5596    24704 |     9743     6010    375 |  0.000 % |
17.89/17.95	c |     56440 |    2888     5596    24704 |    10717     7719    374 |  0.000 % |
18.60/18.61	c |     59003 |    2888     5596    24704 |    11789    10282    369 |  0.000 % |
19.69/19.78	c |     62848 |    2888     5596    24704 |    12968    14127    370 |  0.000 % |
21.39/21.41	c |     68616 |    2888     5596    24704 |    14265    12832    369 |  0.000 % |
24.48/24.58	c |     77265 |    2888     5596    24704 |    15692    12934    372 |  0.000 % |
28.88/28.98	c |     90240 |    2888     5596    24704 |    17261    16644    358 |  0.000 % |
36.68/36.70	c |    109701 |    2888     5596    24704 |    18987    16003    371 |  0.000 % |
48.87/48.91	c |    138893 |    2888     5596    24704 |    20886    11885    375 |  0.000 % |
73.87/73.93	c |    182684 |    2888     5596    24704 |    22974    16797    374 |  0.000 % |
114.46/114.51	c |    248368 |    2888     5596    24704 |    25272    22703    370 |  0.000 % |
168.74/168.80	c |    346894 |    2888     5596    24704 |    27799    18291    371 |  0.000 % |
181.74/181.84	c There are 0 assigned variables. 0 in cost function.
182.24/182.30	c core #1
182.24/182.30	c #cores: 1
182.24/182.30	c Final Weight: 183
182.24/182.30	o 183
182.24/182.30	s OPTIMUM FOUND
182.24/182.30	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 -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.24/182.30	c Total CPU time: 180.46 s

Verifier Data 

OK	-17

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702688-1278574704/watcher-2702688-1278574704 -o /tmp/evaluation-result-2702688-1278574704/solver-2702688-1278574704 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702688-1278574704.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.03 0.99 0.88 3/106 28453
/proc/meminfo: memFree=1691644/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=3204 CPUtime=0
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 385 0 0 0 0 0 0 0 19 0 1 0 25676913 3280896 303 1992294400 134512640 135751879 4290274192 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 801 306 143 303 0 442 0

[startup+0.062252 s]
/proc/loadavg: 1.03 0.99 0.88 3/106 28453
/proc/meminfo: memFree=1691644/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=4376 CPUtime=0.05
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 788 0 0 0 5 0 0 0 19 0 1 0 25676913 4481024 652 1992294400 134512640 135751879 4290274192 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1094 652 145 303 0 789 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4376

[startup+0.101255 s]
/proc/loadavg: 1.03 0.99 0.88 3/106 28453
/proc/meminfo: memFree=1691644/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=4500 CPUtime=0.09
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 796 0 0 0 9 0 0 0 20 0 1 0 25676913 4608000 660 1992294400 134512640 135751879 4290274192 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1125 660 146 303 0 820 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4500

[startup+0.301274 s]
/proc/loadavg: 1.03 0.99 0.88 3/106 28453
/proc/meminfo: memFree=1691644/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=5656 CPUtime=0.29
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 1097 0 0 0 28 1 0 0 20 0 1 0 25676913 5791744 961 1992294400 134512640 135751879 4290274192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1414 961 147 303 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5656

[startup+0.701313 s]
/proc/loadavg: 1.03 0.99 0.88 3/106 28453
/proc/meminfo: memFree=1691644/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=8792 CPUtime=0.68
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 1879 0 0 0 67 1 0 0 20 0 1 0 25676913 9003008 1743 1992294400 134512640 135751879 4290274192 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 2198 1743 147 303 0 1893 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8792

[startup+1.50139 s]
/proc/loadavg: 1.02 0.99 0.88 2/107 28454
/proc/meminfo: memFree=1683824/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=13860 CPUtime=1.48
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 3161 0 0 0 145 3 0 0 22 0 1 0 25676913 14192640 3025 1992294400 134512640 135751879 4290274192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 3465 3025 147 303 0 3160 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13860

[startup+3.10155 s]
/proc/loadavg: 1.02 0.99 0.88 2/107 28454
/proc/meminfo: memFree=1676880/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=21976 CPUtime=3.09
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 5180 0 0 0 304 5 0 0 25 0 1 0 25676913 22503424 5044 1992294400 134512640 135751879 4290274192 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 5494 5044 147 303 0 5189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21976

[startup+6.30086 s]
/proc/loadavg: 1.02 0.99 0.88 2/107 28454
/proc/meminfo: memFree=1661876/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=36108 CPUtime=6.29
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 8708 0 0 0 621 8 0 0 25 0 1 0 25676913 36974592 8572 1992294400 134512640 135751879 4290274192 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 9027 8572 148 303 0 8722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36108

[startup+12.7015 s]
/proc/loadavg: 1.02 0.99 0.88 2/107 28454
/proc/meminfo: memFree=1635960/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=62460 CPUtime=12.68
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 15306 0 0 0 1250 18 0 0 25 0 1 0 25676913 63959040 15170 1992294400 134512640 135751879 4290274192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 15615 15170 148 303 0 15310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62460

[startup+25.5007 s]
/proc/loadavg: 1.02 0.99 0.89 2/107 28456
/proc/meminfo: memFree=1563916/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=131356 CPUtime=25.48
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 32535 0 0 0 2511 37 0 0 25 0 1 0 25676913 134508544 32399 1992294400 134512640 135751879 4290274192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 32839 32399 148 303 0 32534 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131356

[startup+51.1012 s]
/proc/loadavg: 1.01 0.99 0.89 2/107 28456
/proc/meminfo: memFree=1464344/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=231156 CPUtime=51.08
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 57461 0 0 0 5042 66 0 0 25 0 1 0 25676913 236703744 57325 1992294400 134512640 135751879 4290274192 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 57789 57325 148 303 0 57484 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 231156

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.89 2/107 28458
/proc/meminfo: memFree=1330176/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=363500 CPUtime=102.27
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 90544 0 0 0 10119 108 0 0 25 0 1 0 25676913 372224000 90408 1992294400 134512640 135751879 4290274192 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 90875 90408 148 303 0 90570 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 363500

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28458
/proc/meminfo: memFree=1166248/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=528768 CPUtime=162.24
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 131833 0 0 0 16063 161 0 0 25 0 1 0 25676913 541458432 131697 1992294400 134512640 135751879 4290274192 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 132192 131697 148 303 0 131887 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 528768

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

[startup+166.301 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28458
/proc/meminfo: memFree=1156576/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=537836 CPUtime=166.24
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 134094 0 0 0 16460 164 0 0 25 0 1 0 25676913 550744064 133958 1992294400 134512640 135751879 4290274192 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 134459 133958 148 303 0 134154 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 537836

[startup+172.709 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28458
/proc/meminfo: memFree=1131900/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=561356 CPUtime=172.64
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 139971 0 0 0 17093 171 0 0 25 0 1 0 25676913 574828544 139835 1992294400 134512640 135751879 4290274192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 140339 139835 148 303 0 140034 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 561356

[startup+179.101 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28460
/proc/meminfo: memFree=1117516/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=578104 CPUtime=179.04
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 144176 0 0 0 17728 176 0 0 25 0 1 0 25676913 591978496 144040 1992294400 134512640 135751879 4290274192 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 144526 144040 148 303 0 144221 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 578104

[startup+180.701 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28460
/proc/meminfo: memFree=1111440/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=582392 CPUtime=180.64
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 145245 0 0 0 17886 178 0 0 25 0 1 0 25676913 596369408 145109 1992294400 134512640 135751879 4290274192 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 145598 145109 148 303 0 145293 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 582392

[startup+181.509 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28460
/proc/meminfo: memFree=1108588/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=584472 CPUtime=181.44
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 145749 0 0 0 17966 178 0 0 25 0 1 0 25676913 598499328 145613 1992294400 134512640 135751879 4290274192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 146118 145613 148 303 0 145813 0
Current children cumulated CPU time (s) 181.44
Current children cumulated vsize (KiB) 584472

[startup+181.901 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28460
/proc/meminfo: memFree=1108588/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=586032 CPUtime=181.84
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 146133 0 0 0 18005 179 0 0 25 0 1 0 25676913 600096768 145997 1992294400 134512640 135751879 4290274192 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 146508 145997 149 303 0 146203 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 586032

[startup+182.301 s]
/proc/loadavg: 1.00 0.99 0.90 2/107 28460
/proc/meminfo: memFree=1108588/2059040 swapFree=4139856/4192956
[pid=28453] ppid=28451 vsize=585868 CPUtime=182.24
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28328 0 -1 4202496 146146 0 0 0 18045 179 0 0 25 0 1 0 25676913 599928832 145980 1992294400 134512640 135751879 4290274192 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 146467 145980 150 303 0 146162 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 585868

Child status: 0
Real time (s): 182.362
CPU time (s): 182.308
CPU user time (s): 180.46
CPU system time (s): 1.84872
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 586032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.46
system time used= 1.84872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 128

runsolver used 0.318951 second user time and 0.856869 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-08 09:38:25
IDJOB=2702688
IDBENCH=48279
IDSOLVER=1161
FILE ID=node056/2702688-1278574704
PBS_JOBID= 11240071
Free space on /tmp= 98472 MiB

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

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

MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3
RANDOM SEED=890864844

node056.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.197
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.39
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.197
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1692916 kB
Buffers:         78896 kB
Cached:         185548 kB
SwapCached:       8568 kB
Active:         134632 kB
Inactive:       145076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1692916 kB
SwapTotal:     4192956 kB
SwapFree:      4139856 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:       11872 kB
Mapped:          12052 kB
Slab:            64384 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182040 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-2702688-1278574704.opb

Free space on /tmp at the end= 98468 MiB
End job on node056 at 2010-07-08 09:41:27