Trace number 3500542

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
pwbo 1.1SAT (TO)20 1800.23 900.146

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500542-1307996480.opb.
0.00/0.00	c Instance file HOME/instance-3500542-1307996480.opb
0.00/0.00	c File size is 617335 bytes.
0.00/0.05	c Highest Coefficient sum: 681
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.05         s                                      |
0.00/0.05	c |  Number Variables:      6027                                                |
0.00/0.05	c |  Number Clauses:        21277                                               |
0.00/0.05	c |  Number Cardinality:    1                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.00/0.06	c init lb 0
0.00/0.06	c init ub 651
0.00/0.07	c lb 6 (thread 0)
0.00/0.08	c ub 30 (thread 1)
0.00/0.08	o 30
0.00/0.08	c lb 7 (thread 0)
0.12/0.09	c lb 8 (thread 0)
0.13/0.10	c lb 9 (thread 0)
0.13/0.11	c lb 10 (thread 0)
0.13/0.13	c lb 11 (thread 0)
0.13/0.14	c lb 12 (thread 0)
0.13/0.17	c lb 13 (thread 0)
0.32/0.25	c ub 25 (thread 1)
0.73/0.43	o 25
0.73/0.43	c lb 14 (thread 0)
5.13/2.62	c lb 15 (thread 0)
10.94/5.59	c ub 24 (thread 1)
98.93/49.59	o 24
98.93/49.59	c ub 23 (thread 1)
187.92/94.01	o 23
187.92/94.01	c ub 22 (thread 1)
431.72/215.97	o 22
431.72/215.97	c ub 21 (thread 1)
830.14/415.14	o 21
830.14/415.14	c ub 20 (thread 1)
1162.15/581.14	o 20
1162.15/581.14	c lb 16 (thread 0)
1800.17/900.11	s SATISFIABLE
1800.17/900.11	v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 x49 -x1339 -x52 -x1351 -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 -x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 -x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 -x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 -x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 -x2772 -x356 -x2830 -x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 -x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 -x3992 -x4004 -x4006 -x4018 -x4020 x4032 x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 x4716 -x4743 -x4770 -x4797 -x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 -x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 x33 x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 -x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 x212 x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 -x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 -x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 x525 x524 x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -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 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 x953 x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847 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 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 -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 -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 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 -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 -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 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 x1445 -x1446 x1447 -x1448 x1450 x1452 -x1453 x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 x1485 x1487 -x1488 x1489 -x1490 -x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1508 -x1509 -x1510 -x1511 x1513 x1515 -x1516 x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 x1555 -x1557 -x1558 -x1559 -x1560 -x1562 -x1564 -x1565 -x1566 -x1567 x1569 -x1571 -x1572 -x1573 -x1574 -x1576 -x1578 -x1579 -x1580 -x1581 x1583 -x1585 -x1586 -x1587 -x1588 x1590 -x1592 -x1593 -x1594 -x1595 x1597 -x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 x1632 -x1634 -x1635 -x1636 -x1637 x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 -x1655 -x1656 -x1657 -x1658 x1660 -x1662 -x1663 -x1664 -x1665 x1667 -x1669 -x1670 -x1671 -x1672 x1674 -x1676 -x1677 -x1678 -x1679 -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 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 -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 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 -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 -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 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 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 x2129 -x2131 -x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 x2143 -x2145 -x2146 -x2147 -x2148 x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 x2164 -x2166 -x2167 -x2168 -x2169 x2171 -x2173 -x2174 -x2175 -x2176 -x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 x2192 x2194 -x2195 -x2196 x2197 -x2199 -x2201 -x2202 -x2203 -x2204 x2206 -x2208 -x2209 -x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 x2220 x2222 -x2223 x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 -x2257 -x2258 -x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 x2269 x2271 -x2272 -x2273 x2274 -x2276 -x2278 -x2279 -x2280 -x2281 x2283 -x2285 -x2286 -x2287 -x2288 x2290 -x2292 -x2293 -x2294 -x2295 x2297 x2299 -x2300 x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 -x2311 -x2313 -x2314 -x2315 -x2316 x2318 -x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 x2330 -x2332 -x2334 -x2335 -x2336 -x2337 -x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 -x2360 -x2362 -x2363 -x2364 -x2365 -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 -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 -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 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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4033 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4339 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4367 -x4368 -x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 x4477 -x4478 -x4479 -x4480 x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 -x4527 -x4528 -x4529 -x4530 x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 -x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 x4587 -x4588 -x4589 -x4590 x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4602 -x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 x4622 -x4623 -x4624 x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4906 -x4907 x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 x5160 -x5161 -x5162 -x5163 -x5165 -x5167 x5169 -x5170 -x5171 -x5172 -x5174 x5176 -x5177 x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 x5193 -x5195 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 -x5228 -x5229 -x5230 -x5231 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 x5252 x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 -x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 -x5340 -x5341 -x5342 -x5343 x5345 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 -x5829 -x5830 -x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 x5841 x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 x5886 x5888 -x5889 -x5890 -x5891 x5893 -x5895 -x5896 -x5897 -x5898 x5900 -x5902 -x5903 -x5904 -x5905 -x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 x5935 -x5936 -x5937 -x5938 x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950 -x5952 -x5954 -x5955 -x5956 -x5957 -x5959 x5961 -x5962 -x5963 -x5964 -x5966 -x5968 -x5969 -x5970 -x5971 -x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 -x5987 -x5989 x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 -x6015 x6017 -x6018 -x6019 -x6020 -x6022 x6024 -x6025 x6026 -x6027
1800.17/900.11	c Memory used           : 792.71 MB
1800.17/900.11	c CPU time              : 1793.38 s

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500542-1307996480/watcher-3500542-1307996480 -o /var/tmp/evaluation-result-3500542-1307996480/solver-3500542-1307996480 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500542-1307996480.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.01 4.00 3.92 2/172 25683
/proc/meminfo: memFree=15140812/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=3512 CPUtime=0 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) R 25681 25683 24381 0 -1 4202496 515 0 0 0 0 0 0 0 22 0 1 0 892063378 3596288 467 33554432000 4194304 5714118 140737274560384 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25683/statm: 878 468 167 372 0 352 0

[startup+0.09329 s]
/proc/loadavg: 4.01 4.00 3.92 2/172 25683
/proc/meminfo: memFree=15140812/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143724 CPUtime=0.12 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 6341 0 0 0 10 2 0 0 18 0 3 0 892063378 147173376 5877 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35931 5878 180 372 0 35556 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 143724

[startup+0.100271 s]
/proc/loadavg: 4.01 4.00 3.92 2/172 25683
/proc/meminfo: memFree=15140812/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143436 CPUtime=0.13 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 6484 0 0 0 11 2 0 0 18 0 3 0 892063378 146878464 5972 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35859 5972 180 372 0 35484 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 143436

[startup+0.300262 s]
/proc/loadavg: 4.01 4.00 3.92 2/172 25683
/proc/meminfo: memFree=15140812/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143436 CPUtime=0.53 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 6948 0 0 0 49 4 0 0 18 0 3 0 892063378 146878464 6436 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35859 6436 181 372 0 35484 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 143436

[startup+0.701202 s]
/proc/loadavg: 4.01 4.00 3.92 2/172 25683
/proc/meminfo: memFree=15140812/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143436 CPUtime=1.33 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 8197 0 0 0 126 7 0 0 18 0 3 0 892063378 146878464 7685 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35859 7685 181 372 0 35484 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 143436

[startup+1.50105 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25698
/proc/meminfo: memFree=15048640/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143436 CPUtime=2.93 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 10115 0 0 0 279 14 0 0 18 0 3 0 892063378 146878464 9603 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35859 9604 181 372 0 35484 0
[pid=25683/tid=25695] ppid=25681 vsize=143436 CPUtime=1.44 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 3246 0 0 0 142 2 0 0 23 0 3 0 892063383 146878464 9604 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319392 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=143436 CPUtime=1.43 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 4913 0 0 0 132 11 0 0 18 0 3 0 892063383 146878464 9604 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 143436

[startup+3.10077 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25698
/proc/meminfo: memFree=15029296/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143436 CPUtime=6.13 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 16225 0 0 0 589 24 0 0 18 0 3 0 892063378 146878464 15712 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35859 15712 181 372 0 35484 0
[pid=25683/tid=25695] ppid=25681 vsize=143436 CPUtime=3.04 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 5436 0 0 0 299 5 0 0 25 0 3 0 892063383 146878464 15712 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=143436 CPUtime=3.03 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 8832 0 0 0 285 18 0 0 18 0 3 0 892063383 146878464 15712 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 143436

[startup+6.3012 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25698
/proc/meminfo: memFree=14966072/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=143852 CPUtime=12.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 21024 0 0 0 1214 40 0 0 18 0 3 0 892063378 147304448 20511 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 35963 20511 181 372 0 35588 0
[pid=25683/tid=25695] ppid=25681 vsize=143852 CPUtime=6.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 6284 0 0 0 616 7 0 0 25 0 3 0 892063383 147304448 20511 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=143852 CPUtime=6.23 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 12783 0 0 0 592 31 0 0 25 0 3 0 892063383 147304448 20511 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 143852

[startup+12.7011 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25698
/proc/meminfo: memFree=14896260/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=144520 CPUtime=25.33 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 25862 0 0 0 2484 49 0 0 18 0 3 0 892063378 147988480 25349 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 36130 25349 182 372 0 35755 0
[pid=25683/tid=25695] ppid=25681 vsize=144520 CPUtime=12.64 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 10267 0 0 0 1251 13 0 0 25 0 3 0 892063383 147988480 25349 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=144520 CPUtime=12.63 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 13638 0 0 0 1228 35 0 0 25 0 3 0 892063383 147988480 25349 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 144520

[startup+25.5008 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25698
/proc/meminfo: memFree=14628560/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=212052 CPUtime=50.93 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 47523 0 0 0 5000 93 0 0 18 0 3 0 892063378 217141248 47010 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 53013 47010 182 372 0 52638 0
[pid=25683/tid=25695] ppid=25681 vsize=212052 CPUtime=25.43 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 13402 0 0 0 2525 18 0 0 25 0 3 0 892063383 217141248 47010 33554432000 4194304 5714118 140737274560384 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=212052 CPUtime=25.44 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 32167 0 0 0 2470 74 0 0 24 0 3 0 892063383 217141248 47013 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 212052

[startup+51.1013 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25699
/proc/meminfo: memFree=14184252/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=475560 CPUtime=102.13 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 96901 0 0 0 10047 166 0 0 18 0 3 0 892063378 486973440 96388 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 118890 96388 182 372 0 118515 0
[pid=25683/tid=25695] ppid=25681 vsize=475560 CPUtime=51.03 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 33182 0 0 0 5071 32 0 0 25 0 3 0 892063383 486973440 96388 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=475560 CPUtime=51.03 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 61762 0 0 0 4970 133 0 0 22 0 3 0 892063383 486973440 96388 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 475560

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25700
/proc/meminfo: memFree=13698336/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=476912 CPUtime=204.53 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 111765 0 0 0 20245 208 0 0 18 0 3 0 892063378 488357888 111252 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 119228 111252 182 372 0 118853 0
[pid=25683/tid=25695] ppid=25681 vsize=476912 CPUtime=102.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 47728 0 0 0 10160 63 0 0 25 0 3 0 892063383 488357888 111252 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=476912 CPUtime=102.23 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 62080 0 0 0 10079 144 0 0 25 0 3 0 892063383 488357888 111252 33554432000 4194304 5714118 140737274560384 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 476912

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25702
/proc/meminfo: memFree=13176024/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=608904 CPUtime=324.53 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 122486 0 0 0 32204 249 0 0 18 0 3 0 892063378 623517696 121973 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 152226 121973 182 372 0 151851 0
[pid=25683/tid=25695] ppid=25681 vsize=608904 CPUtime=162.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 50823 0 0 0 16141 82 0 0 25 0 3 0 892063383 623517696 121973 33554432000 4194304 5714118 140737274560384 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=608904 CPUtime=162.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 69706 0 0 0 16058 166 0 0 25 0 3 0 892063383 623517696 121973 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 608904

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25706
/proc/meminfo: memFree=12600636/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=741092 CPUtime=444.52 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 159920 0 0 0 44112 340 0 0 18 0 3 0 892063378 758878208 159407 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 185273 159407 182 372 0 184898 0
[pid=25683/tid=25695] ppid=25681 vsize=741092 CPUtime=222.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 55001 0 0 0 22122 101 0 0 25 0 3 0 892063383 758878208 159407 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=741092 CPUtime=222.23 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 102962 0 0 0 21985 238 0 0 25 0 3 0 892063383 758878208 159407 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 741092

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25708
/proc/meminfo: memFree=12338548/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=741836 CPUtime=564.53 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 164051 0 0 0 56079 374 0 0 18 0 3 0 892063378 759640064 163538 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 185459 163538 182 372 0 185084 0
[pid=25683/tid=25695] ppid=25681 vsize=741836 CPUtime=282.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 58991 0 0 0 28102 121 0 0 25 0 3 0 892063383 759640064 163538 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=741836 CPUtime=282.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 103103 0 0 0 27971 253 0 0 25 0 3 0 892063383 759640064 163538 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (KiB) 741836

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25710
/proc/meminfo: memFree=12057292/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=742360 CPUtime=684.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 166028 0 0 0 68054 400 0 0 18 0 3 0 892063378 760176640 165515 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 185590 165515 182 372 0 185215 0
[pid=25683/tid=25695] ppid=25681 vsize=742360 CPUtime=342.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 60827 0 0 0 34088 135 0 0 25 0 3 0 892063383 760176640 165515 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=742360 CPUtime=342.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 103244 0 0 0 33960 264 0 0 25 0 3 0 892063383 760176640 165515 33554432000 4194304 5714118 140737274560384 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (KiB) 742360

[startup+402.301 s]
/proc/loadavg: 4.05 4.01 3.93 5/182 25711
/proc/meminfo: memFree=11940832/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=742816 CPUtime=804.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 170133 0 0 0 80020 434 0 0 18 0 3 0 892063378 760643584 169620 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 185704 169620 182 372 0 185329 0
[pid=25683/tid=25695] ppid=25681 vsize=742816 CPUtime=402.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 64843 0 0 0 40063 160 0 0 25 0 3 0 892063383 760643584 169620 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=742816 CPUtime=402.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 103333 0 0 0 39951 273 0 0 25 0 3 0 892063383 760643584 169620 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.54
Current children cumulated vsize (KiB) 742816

[startup+462.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 25713
/proc/meminfo: memFree=11920464/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=809068 CPUtime=924.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 174913 0 0 0 91984 470 0 0 18 0 3 0 892063378 828485632 174400 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202267 174400 182 372 0 201892 0
[pid=25683/tid=25695] ppid=25681 vsize=809068 CPUtime=462.24 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 69465 0 0 0 46040 184 0 0 25 0 3 0 892063383 828485632 174400 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=809068 CPUtime=462.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 103491 0 0 0 45939 285 0 0 25 0 3 0 892063383 828485632 174400 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.54
Current children cumulated vsize (KiB) 809068

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25715
/proc/meminfo: memFree=11906436/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=809508 CPUtime=1044.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 177964 0 0 0 103948 506 0 0 18 0 3 0 892063378 828936192 177451 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202377 177451 182 372 0 202002 0
[pid=25683/tid=25695] ppid=25681 vsize=809508 CPUtime=522.24 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 72390 0 0 0 52011 213 0 0 25 0 3 0 892063383 828936192 177451 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=809508 CPUtime=522.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 103617 0 0 0 51932 292 0 0 25 0 3 0 892063383 828936192 177451 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.54
Current children cumulated vsize (KiB) 809508

[startup+582.301 s]
/proc/loadavg: 4.04 4.01 3.93 5/182 25716
/proc/meminfo: memFree=11871828/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=809548 CPUtime=1164.54 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 186439 0 0 0 115902 552 0 0 18 0 3 0 892063378 828977152 185829 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202387 185829 182 372 0 202012 0
[pid=25683/tid=25695] ppid=25681 vsize=809548 CPUtime=582.23 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75113 0 0 0 57985 238 0 0 25 0 3 0 892063383 828977152 185829 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=809548 CPUtime=582.24 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109369 0 0 0 57911 313 0 0 25 0 3 0 892063383 828977152 185829 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (KiB) 809548

[startup+642.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 25718
/proc/meminfo: memFree=11870816/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=810412 CPUtime=1284.56 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 186631 0 0 0 127875 581 0 0 18 0 3 0 892063378 829861888 186021 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202603 186021 182 372 0 202228 0
[pid=25683/tid=25695] ppid=25681 vsize=810412 CPUtime=642.24 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75122 0 0 0 63964 260 0 0 25 0 3 0 892063383 829861888 186021 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=810412 CPUtime=642.25 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109552 0 0 0 63905 320 0 0 25 0 3 0 892063383 829861888 186021 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 810412

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25719
/proc/meminfo: memFree=11867080/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=810796 CPUtime=1404.55 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 186740 0 0 0 139841 614 0 0 18 0 3 0 892063378 830255104 186130 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202699 186130 182 372 0 202324 0
[pid=25683/tid=25695] ppid=25681 vsize=810796 CPUtime=702.24 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75132 0 0 0 69948 276 0 0 25 0 3 0 892063383 830255104 186130 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=810796 CPUtime=702.25 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109651 0 0 0 69888 337 0 0 25 0 3 0 892063383 830255104 186130 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.55
Current children cumulated vsize (KiB) 810796

[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25721
/proc/meminfo: memFree=11692344/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=811348 CPUtime=1524.56 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 186837 0 0 0 151822 634 0 0 18 0 3 0 892063378 830820352 186227 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202837 186227 182 372 0 202462 0
[pid=25683/tid=25695] ppid=25681 vsize=811348 CPUtime=762.25 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75152 0 0 0 75937 288 0 0 25 0 3 0 892063383 830820352 186227 33554432000 4194304 5714118 140737274560384 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=811348 CPUtime=762.26 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109728 0 0 0 75880 346 0 0 25 0 3 0 892063383 830820352 186227 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.56
Current children cumulated vsize (KiB) 811348

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25723
/proc/meminfo: memFree=11498264/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=811728 CPUtime=1644.56 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 186978 0 0 0 163799 657 0 0 18 0 3 0 892063378 831209472 186368 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202932 186368 182 372 0 202557 0
[pid=25683/tid=25695] ppid=25681 vsize=811728 CPUtime=822.25 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75217 0 0 0 81925 300 0 0 25 0 3 0 892063383 831209472 186368 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=811728 CPUtime=822.25 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109804 0 0 0 81869 356 0 0 25 0 3 0 892063383 831209472 186368 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 811728

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25724
/proc/meminfo: memFree=11341260/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=811728 CPUtime=1764.56 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 187019 0 0 0 175780 676 0 0 18 0 3 0 892063378 831209472 186409 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202932 186409 182 372 0 202557 0
[pid=25683/tid=25695] ppid=25681 vsize=811728 CPUtime=882.25 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75253 0 0 0 87915 310 0 0 25 0 3 0 892063383 831209472 186409 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=811728 CPUtime=882.25 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109809 0 0 0 87860 365 0 0 25 0 3 0 892063383 831209472 186409 33554432000 4194304 5714118 140737274560384 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 811728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25725
/proc/meminfo: memFree=11292764/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=811728 CPUtime=1800.17 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 187021 0 0 0 179336 681 0 0 18 0 3 0 892063378 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202932 186411 182 372 0 202557 0
[pid=25683/tid=25695] ppid=25681 vsize=811728 CPUtime=900.06 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75255 0 0 0 89693 313 0 0 25 0 3 0 892063383 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=811728 CPUtime=900.05 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109809 0 0 0 89638 367 0 0 25 0 3 0 892063383 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 811728

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 25725
/proc/meminfo: memFree=11292764/32951124 swapFree=67057920/67111528
[pid=25683] ppid=25681 vsize=811728 CPUtime=1800.17 cores=0,2,4,6
/proc/25683/stat : 25683 (pwbo1.1) S 25681 25683 24381 0 -1 4202496 187021 0 0 0 179336 681 0 0 18 0 3 0 892063378 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25683/statm: 202932 186411 182 372 0 202557 0
[pid=25683/tid=25695] ppid=25681 vsize=811728 CPUtime=900.06 cores=0,2,4,6
/proc/25683/task/25695/stat : 25695 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 75255 0 0 0 89693 313 0 0 25 0 3 0 892063383 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25683/tid=25696] ppid=25681 vsize=811728 CPUtime=900.05 cores=0,2,4,6
/proc/25683/task/25696/stat : 25696 (pwbo1.1) R 25681 25683 24381 0 -1 4202560 109809 0 0 0 89638 367 0 0 25 0 3 0 892063383 831209472 186411 33554432000 4194304 5714118 140737274560384 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 811728

Child status: 0
Real time (s): 900.146
CPU time (s): 1800.23
CPU user time (s): 1793.38
CPU system time (s): 6.84396
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 811728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.38
system time used= 6.84396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187027
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= 595
involuntary context switches= 2631

runsolver used 1.41278 second user time and 2.76458 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-13 22:21:21
IDJOB=3500542
IDBENCH=25015
IDSOLVER=1954
FILE ID=node140/3500542-1307996480
RUNJOBID= node140-1307996480-25665
PBS_JOBID= 13559728
Free space on /var/tmp= 2912 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500542-1307996480/watcher-3500542-1307996480 -o /var/tmp/evaluation-result-3500542-1307996480/solver-3500542-1307996480 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500542-1307996480.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1511346446

node140.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15139132 kB
Buffers:        117084 kB
Cached:       17045540 kB
SwapCached:       6704 kB
Active:        1752016 kB
Inactive:     15432468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15139132 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:            5824 kB
Writeback:           0 kB
AnonPages:       20216 kB
Mapped:          12448 kB
Slab:           562584 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2900 MiB
End job on node140 at 2011-06-13 22:36:23