Trace number 2702658

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.-12 182.206 182.255

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
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-14
Best CPU time to get the best result obtained on this benchmark1789.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

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-2702658-1278573244.opb.
0.00/0.00	c Instance file HOME/instance-2702658-1278573244.opb
0.00/0.00	c File size is 257506 bytes.
0.00/0.04	c Highest Coefficient sum: 200
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:      3270                                                |
0.00/0.04	c |  Number Clauses:        3170                                                |
0.00/0.04	c |  Number Cardinality:    202                                                 |
0.00/0.04	c |  Number PB Constraints: 3070                                                |
0.04/0.08	c ============================[ Search Statistics ]==============================
0.04/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.08	c ===============================================================================
0.04/0.08	c |         0 |    3270     6442    25160 |     5000        0    nan |  0.000 % |
0.04/0.08	c ===============================================================================
0.04/0.08	c New solution: 100
0.04/0.08	o 100
0.04/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.04/0.08	c ===============================================================================
0.04/0.08	c |         0 |    3270     6443    25260 |     5000        0    nan |  0.000 % |
0.04/0.08	c ===============================================================================
0.04/0.08	c New solution: 99
0.04/0.08	o 99
0.04/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 179.915 s
0.04/0.08	c ===============================================================================
0.04/0.08	c |         1 |    3270     6444    25360 |     5000        1    101 |  0.000 % |
0.04/0.09	c ===============================================================================
0.04/0.09	c New solution: 98
0.04/0.09	o 98
0.04/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 179.913 s
0.04/0.09	c ===============================================================================
0.04/0.09	c |         1 |    3270     6445    25460 |     5000        1    101 |  0.000 % |
0.04/0.09	c ===============================================================================
0.04/0.09	c New solution: 97
0.04/0.09	o 97
0.04/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 179.911 s
0.04/0.09	c ===============================================================================
0.04/0.09	c |         1 |    3270     6446    25560 |     5000        1    101 |  0.000 % |
0.04/0.09	c ===============================================================================
0.04/0.09	c New solution: 96
0.04/0.09	o 96
0.04/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 179.905 s
0.04/0.09	c ===============================================================================
0.04/0.09	c |        39 |    3270     6447    25660 |     5000       39    186 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 95
0.09/0.10	o 95
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 |        44 |    3270     6448    25760 |     5000       44    167 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 94
0.09/0.11	o 94
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 179.887 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        77 |    3270     6449    25860 |     5000       77    106 |  0.000 % |
0.19/0.21	c |       181 |    3270     6449    25860 |     5500      181    134 |  0.000 % |
0.19/0.22	c |       332 |    3270     6449    25860 |     6050      332    159 |  0.000 % |
0.19/0.25	c |       557 |    3270     6449    25860 |     6655      557    169 |  0.000 % |
0.19/0.28	c |       894 |    3270     6449    25860 |     7320      894    173 |  0.000 % |
0.30/0.34	c |      1400 |    3270     6449    25860 |     8052     1400    177 |  0.000 % |
0.39/0.45	c |      2159 |    3270     6449    25860 |     8857     2159    181 |  0.000 % |
0.59/0.64	c |      3299 |    3270     6449    25860 |     9743     3299    183 |  0.000 % |
0.89/0.97	c |      5008 |    3270     6449    25860 |    10717     5008    183 |  0.000 % |
1.50/1.52	c |      7574 |    3270     6449    25860 |    11789     7574    185 |  0.000 % |
2.59/2.66	c |     11419 |    3270     6449    25860 |    12968    11419    186 |  0.000 % |
2.99/3.02	c ===============================================================================
2.99/3.02	c New solution: 93
2.99/3.02	o 93
2.99/3.02	c Elapsed CPU time: 2.97255 s	Remaining CPU time: 177.027 s
2.99/3.02	c ===============================================================================
2.99/3.02	c |     11918 |    3270     6450    25960 |     5000    11918    186 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 92
3.09/3.10	o 92
3.09/3.10	c Elapsed CPU time: 3.04854 s	Remaining CPU time: 176.951 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |     11966 |    3270     6451    26060 |     5000     3028    183 |  0.000 % |
3.09/3.14	c |     12066 |    3270     6451    26060 |     5500     3128    184 |  0.000 % |
3.09/3.16	c |     12216 |    3270     6451    26060 |     6050     3278    184 |  0.000 % |
3.09/3.19	c |     12441 |    3270     6451    26060 |     6655     3503    184 |  0.000 % |
3.20/3.24	c |     12778 |    3270     6451    26060 |     7320     3840    184 |  0.000 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 91
3.20/3.27	o 91
3.20/3.27	c Elapsed CPU time: 3.22051 s	Remaining CPU time: 176.779 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |     12895 |    3270     6452    26160 |     5000     3957    183 |  0.000 % |
3.29/3.31	c |     12995 |    3270     6452    26160 |     5500     4057    183 |  0.000 % |
3.29/3.33	c |     13145 |    3270     6452    26160 |     6050     4207    183 |  0.000 % |
3.29/3.39	c |     13370 |    3270     6452    26160 |     6655     4432    183 |  0.000 % |
3.39/3.45	c |     13707 |    3270     6452    26160 |     7320     4769    183 |  0.000 % |
3.39/3.50	c ===============================================================================
3.39/3.50	c New solution: 90
3.39/3.50	o 90
3.39/3.50	c Elapsed CPU time: 3.43548 s	Remaining CPU time: 176.565 s
3.39/3.50	c ===============================================================================
3.39/3.50	c |     13874 |    3270     6453    26260 |     5000     4936    177 |  0.000 % |
3.49/3.53	c |     13974 |    3270     6453    26260 |     5500     5036    177 |  0.000 % |
3.49/3.55	c |     14124 |    3270     6453    26260 |     6050     5186    177 |  0.000 % |
3.59/3.60	c |     14350 |    3270     6453    26260 |     6655     5412    177 |  0.000 % |
3.59/3.67	c |     14687 |    3270     6453    26260 |     7320     5749    177 |  0.000 % |
3.69/3.76	c |     15193 |    3270     6453    26260 |     8052     6255    178 |  0.000 % |
3.89/3.90	c |     15952 |    3270     6453    26260 |     8857     7014    178 |  0.000 % |
4.09/4.12	c |     17091 |    3270     6453    26260 |     9743     8153    179 |  0.000 % |
4.69/4.72	c |     18799 |    3270     6453    26260 |    10717     9861    164 |  0.000 % |
5.29/5.39	c |     21362 |    3270     6453    26260 |    11789    12424    160 |  0.000 % |
5.50/5.55	c ===============================================================================
5.50/5.55	c New solution: 89
5.50/5.55	o 89
5.50/5.55	c Elapsed CPU time: 5.45617 s	Remaining CPU time: 174.544 s
5.50/5.55	c ===============================================================================
5.50/5.55	c |     21834 |    3270     6454    26360 |     5000     6684    134 |  0.000 % |
5.50/5.57	c |     21934 |    3270     6454    26360 |     5500     3442    110 |  0.000 % |
5.50/5.59	c |     22084 |    3270     6454    26360 |     6050     3592    113 |  0.000 % |
5.59/5.62	c |     22310 |    3270     6454    26360 |     6655     3818    117 |  0.000 % |
5.59/5.67	c |     22647 |    3270     6454    26360 |     7320     4155    121 |  0.000 % |
5.69/5.73	c |     23153 |    3270     6454    26360 |     8052     4661    128 |  0.000 % |
5.79/5.83	c |     23912 |    3270     6454    26360 |     8857     5420    135 |  0.000 % |
5.89/5.99	c |     25051 |    3270     6454    26360 |     9743     6559    143 |  0.000 % |
6.19/6.29	c |     26759 |    3270     6454    26360 |    10717     8267    151 |  0.000 % |
6.99/7.05	c |     29323 |    3270     6454    26360 |    11789    10831    143 |  0.000 % |
8.19/8.21	c |     33167 |    3270     6454    26360 |    12968    14675    142 |  0.000 % |
9.99/10.03	c |     38933 |    3270     6454    26360 |    14265    13104    132 |  0.000 % |
12.88/12.99	c |     47583 |    3270     6454    26360 |    15692    13115    137 |  0.000 % |
17.98/18.02	c |     60557 |    3270     6454    26360 |    17261    16800    143 |  0.000 % |
25.69/25.75	c |     80018 |    3270     6454    26360 |    18987    15976    142 |  0.000 % |
27.98/28.02	c ===============================================================================
27.98/28.02	c New solution: 88
27.98/28.02	o 88
27.98/28.02	c Elapsed CPU time: 27.6778 s	Remaining CPU time: 152.322 s
27.98/28.02	c ===============================================================================
27.98/28.02	c |     85499 |    3270     6455    26460 |     5000    21457    146 |  0.000 % |
28.19/28.20	c |     85600 |    3270     6455    26460 |     5500     2784    119 |  0.000 % |
28.19/28.23	c |     85750 |    3270     6455    26460 |     6050     2934    120 |  0.000 % |
28.19/28.26	c |     85975 |    3270     6455    26460 |     6655     3159    123 |  0.000 % |
28.28/28.34	c |     86313 |    3270     6455    26460 |     7320     3497    113 |  0.000 % |
28.38/28.41	c |     86819 |    3270     6455    26460 |     8052     4003    121 |  0.000 % |
28.49/28.52	c |     87579 |    3270     6455    26460 |     8857     4763    130 |  0.000 % |
28.59/28.70	c |     88718 |    3270     6455    26460 |     9743     5902    139 |  0.000 % |
28.88/28.94	c |     90426 |    3270     6455    26460 |    10717     7610    148 |  0.000 % |
29.28/29.37	c |     92990 |    3270     6455    26460 |    11789    10174    156 |  0.000 % |
30.08/30.19	c |     96834 |    3270     6455    26460 |    12968    14018    163 |  0.000 % |
31.39/31.44	c |    102602 |    3270     6455    26460 |    14265    12777    178 |  0.000 % |
33.59/33.60	c |    111251 |    3270     6455    26460 |    15692    12696    180 |  0.000 % |
37.28/37.32	c |    124225 |    3270     6455    26460 |    17261    16221    180 |  0.000 % |
43.58/43.69	c |    143688 |    3270     6455    26460 |    18987    15221    180 |  0.000 % |
54.67/54.74	c |    172880 |    3270     6455    26460 |    20886    21527    180 |  0.000 % |
69.47/69.56	c |    216670 |    3270     6455    26460 |    22974    14564    183 |  0.000 % |
100.47/100.51	c |    282354 |    3270     6455    26460 |    25272    19116    181 |  0.000 % |
146.16/146.24	c |    380880 |    3270     6455    26460 |    27799    12858    177 |  0.000 % |
181.65/181.76	c There are 0 assigned variables. 0 in cost function.
182.14/182.22	c core #1
182.14/182.22	c #cores: 1
182.14/182.22	c Final Weight: 88
182.14/182.22	o 88
182.14/182.22	s OPTIMUM FOUND
182.14/182.22	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -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
182.14/182.22	c Total CPU time: 180.461 s

Verifier Data 

OK	-12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702658-1278573244/watcher-2702658-1278573244 -o /tmp/evaluation-result-2702658-1278573244/solver-2702658-1278573244 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702658-1278573244.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.08 0.76 0.63 2/105 28744
/proc/meminfo: memFree=1657796/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=3384 CPUtime=0
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 1 0 25532852 3465216 340 1992294400 134512640 135751879 4293208096 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 846 341 143 303 0 478 0

[startup+0.044518 s]
/proc/loadavg: 1.08 0.76 0.63 2/105 28744
/proc/meminfo: memFree=1657796/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=4228 CPUtime=0.04
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 766 0 0 0 4 0 0 0 25 0 1 0 25532852 4329472 621 1992294400 134512640 135751879 4293208096 18446744073709551615 135202562 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 1057 621 144 303 0 752 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4228

[startup+0.101524 s]
/proc/loadavg: 1.08 0.76 0.63 2/105 28744
/proc/meminfo: memFree=1657796/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=4732 CPUtime=0.09
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 880 0 0 0 9 0 0 0 18 0 1 0 25532852 4845568 735 1992294400 134512640 135751879 4293208096 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 1183 735 146 303 0 878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4732

[startup+0.301547 s]
/proc/loadavg: 1.08 0.76 0.63 2/105 28744
/proc/meminfo: memFree=1657796/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=4732 CPUtime=0.3
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 890 0 0 0 29 1 0 0 18 0 1 0 25532852 4845568 745 1992294400 134512640 135751879 4293208096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 1183 745 147 303 0 878 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4732

[startup+0.701592 s]
/proc/loadavg: 1.08 0.76 0.63 2/105 28744
/proc/meminfo: memFree=1657796/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=6952 CPUtime=0.69
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 1451 0 0 0 67 2 0 0 18 0 1 0 25532852 7118848 1306 1992294400 134512640 135751879 4293208096 18446744073709551615 134610760 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 1738 1306 147 303 0 1433 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6952

[startup+1.50168 s]
/proc/loadavg: 1.08 0.76 0.63 2/106 28745
/proc/meminfo: memFree=1651960/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=10324 CPUtime=1.5
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 2278 0 0 0 146 4 0 0 20 0 1 0 25532852 10571776 2133 1992294400 134512640 135751879 4293208096 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 2581 2133 147 303 0 2276 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10324

[startup+3.10086 s]
/proc/loadavg: 1.08 0.76 0.63 2/106 28745
/proc/meminfo: memFree=1647992/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=14264 CPUtime=3.09
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 3271 0 0 0 304 5 0 0 25 0 1 0 25532852 14606336 3126 1992294400 134512640 135751879 4293208096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 3566 3126 148 303 0 3261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14264

[startup+6.30123 s]
/proc/loadavg: 1.08 0.76 0.63 2/106 28745
/proc/meminfo: memFree=1638692/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=25344 CPUtime=6.29
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 6039 0 0 0 619 10 0 0 25 0 1 0 25532852 25952256 5894 1992294400 134512640 135751879 4293208096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 6336 5894 148 303 0 6031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25344

[startup+12.7009 s]
/proc/loadavg: 1.07 0.77 0.63 2/106 28745
/proc/meminfo: memFree=1623316/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=38156 CPUtime=12.68
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 9259 0 0 0 1252 16 0 0 25 0 1 0 25532852 39071744 9114 1992294400 134512640 135751879 4293208096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 9539 9114 148 303 0 9234 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38156

[startup+25.5014 s]
/proc/loadavg: 1.06 0.78 0.64 2/106 28745
/proc/meminfo: memFree=1599632/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=60796 CPUtime=25.49
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 14892 0 0 0 2518 31 0 0 25 0 1 0 25532852 62255104 14747 1992294400 134512640 135751879 4293208096 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 15199 14747 148 303 0 14894 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60796

[startup+51.1013 s]
/proc/loadavg: 1.03 0.80 0.65 2/106 28745
/proc/meminfo: memFree=1533168/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=127464 CPUtime=51.08
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 31559 0 0 0 5051 57 0 0 25 0 1 0 25532852 130523136 31414 1992294400 134512640 135751879 4293208096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 31866 31414 148 303 0 31561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127464

[startup+102.309 s]
/proc/loadavg: 1.01 0.83 0.66 2/106 28747
/proc/meminfo: memFree=1430868/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=228808 CPUtime=102.27
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 56842 0 0 0 10121 106 0 0 25 0 1 0 25532852 234299392 56697 1992294400 134512640 135751879 4293208096 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 57202 56697 148 303 0 56897 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 228808

[startup+162.301 s]
/proc/loadavg: 1.00 0.85 0.68 2/106 28749
/proc/meminfo: memFree=1330428/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=329656 CPUtime=162.25
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 82034 0 0 0 16069 156 0 0 25 0 1 0 25532852 337567744 81889 1992294400 134512640 135751879 4293208096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 82414 81889 148 303 0 82109 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 329656

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

[startup+166.3 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1325220/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=334440 CPUtime=166.24
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 83220 0 0 0 16466 158 0 0 25 0 1 0 25532852 342466560 83075 1992294400 134512640 135751879 4293208096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 83610 83075 148 303 0 83305 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 334440

[startup+172.709 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1315424/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=344256 CPUtime=172.65
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 85662 0 0 0 17102 163 0 0 25 0 1 0 25532852 352518144 85517 1992294400 134512640 135751879 4293208096 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 86064 85517 148 303 0 85759 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 344256

[startup+179.101 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1309348/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=352180 CPUtime=179.04
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 87663 0 0 0 17736 168 0 0 25 0 1 0 25532852 360632320 87518 1992294400 134512640 135751879 4293208096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 88045 87518 148 303 0 87740 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 352180

[startup+180.701 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1304264/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=355796 CPUtime=180.64
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 88552 0 0 0 17894 170 0 0 25 0 1 0 25532852 364335104 88407 1992294400 134512640 135751879 4293208096 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 88949 88407 148 303 0 88644 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 355796

[startup+181.509 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1302528/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=357088 CPUtime=181.45
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 88877 0 0 0 17974 171 0 0 25 0 1 0 25532852 365658112 88732 1992294400 134512640 135751879 4293208096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 89272 88732 148 303 0 88967 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 357088

[startup+181.901 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1302528/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=358320 CPUtime=181.84
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 89186 0 0 0 18013 171 0 0 25 0 1 0 25532852 366919680 89041 1992294400 134512640 135751879 4293208096 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 89580 89041 149 303 0 89275 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 358320

[startup+182.101 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1302528/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=358320 CPUtime=182.04
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 89186 0 0 0 18033 171 0 0 25 0 1 0 25532852 366919680 89041 1992294400 134512640 135751879 4293208096 18446744073709551615 135200256 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 89580 89041 149 303 0 89275 0
Current children cumulated CPU time (s) 182.04
Current children cumulated vsize (KiB) 358320

[startup+182.201 s]
/proc/loadavg: 1.00 0.86 0.68 2/106 28749
/proc/meminfo: memFree=1302528/2059040 swapFree=4139760/4192956
[pid=28744] ppid=28742 vsize=358320 CPUtime=182.14
/proc/28744/stat : 28744 (wbo1.4b) R 28742 28744 28623 0 -1 4202496 89186 0 0 0 18043 171 0 0 25 0 1 0 25532852 366919680 89041 1992294400 134512640 135751879 4293208096 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28744/statm: 89580 89041 149 303 0 89275 0
Current children cumulated CPU time (s) 182.14
Current children cumulated vsize (KiB) 358320

Child status: 0
Real time (s): 182.255
CPU time (s): 182.206
CPU user time (s): 180.461
CPU system time (s): 1.74573
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 358320

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

runsolver used 0.32295 second user time and 0.84887 second system time

The end

Launcher Data 

Begin job on node085 at 2010-07-08 09:14:04
IDJOB=2702658
IDBENCH=48264
IDSOLVER=1161
FILE ID=node085/2702658-1278573244
PBS_JOBID= 11240063
Free space on /tmp= 121800 MiB

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

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=1016440531

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1658696 kB
Buffers:         76312 kB
Cached:         223056 kB
SwapCached:       7548 kB
Active:         132656 kB
Inactive:       181120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1658696 kB
SwapTotal:     4192956 kB
SwapFree:      4139760 kB
Dirty:            2764 kB
Writeback:           0 kB
AnonPages:       11776 kB
Mapped:          12040 kB
Slab:            64804 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180252 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-2702658-1278573244.opb

Free space on /tmp at the end= 121796 MiB
End job on node085 at 2010-07-08 09:17:06