Trace number 3720351

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
PB07: Pueblo 1.4SAT27 1783.01 1783.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark266.663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
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 697
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

Solver Data

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.29/0.37	c starting to Solve
0.29/0.37	c #variables read: 6076 - #constraints read: 21397
0.29/0.38	o 27
1782.95/1783.34	c total time              : 1783 s
1782.95/1783.34	s SATISFIABLE
1782.95/1783.34	v x1 x363 x532 x696 x859 -x1010 -x1068 -x1126 -x1184 -x1242 -x1300 -x1358 -x1416 -x11 -x1474 -x14 -x1501 -x17 -x1528 -x20 -x1555 -x23 -x1582 -x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 -x39 -x1744 -x42 -x1771 -x45 -x1798 -x1825 -x50 -x1852 -x53 -x1879 -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 -x77 -x2095 x80 -x2122 x83 -x2149 -x86 -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 -x2328 -x2330 -x2342 -x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442 -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566 -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 -x2620 -x2622 -x2634 -x2636 -x2648 -x2650 -x2662 -x2664 -x2676 -x2678 -x2690 -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 -x2774 -x2776 -x2788 -x2790 -x2802 -x2804 -x2816 -x2818 x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 x2900 -x2902 -x2914 -x2916 -x2928 -x2930 -x2942 -x2944 -x2956 -x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 -x3017 -x3022 -x3027 -x3032 -x3037 -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122 -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207 -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 x3282 x3287 -x3292 -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 -x3416 -x3443 -x3470 -x3497 -x3524 -x3551 -x3563 -x376 -x3575 -x379 -x3587 -x382 -x3599 -x3611 -x3623 -x389 -x3635 -x392 -x3647 -x395 -x3659 -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 -x3707 -x3719 -x412 -x3731 -x415 -x3743 x418 -x3755 x421 -x3767 -x424 -x3779 -x3791 -x3803 -x3805 -x3810 -x3812 -x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852 -x3854 -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913 -x3915 -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 x3955 -x3957 -x3962 -x3964 -x3969 -x3971 -x3976 -x3978 -x3983 -x3985 x3990 x3992 -x3997 -x3999 -x4004 -x4006 -x4011 -x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034 -x4039 -x4041 -x4046 -x4073 -x4100 -x4127 -x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 -x549 -x4271 -x4283 -x4295 -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 -x582 -x4427 -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 -x4508 -x4510 -x4515 -x4517 -x4522 -x4524 -x4529 -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 -x4569 -x4571 -x4576 -x4578 -x4583 -x4585 -x4590 -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 x4632 -x4634 -x4639 -x4641 -x4646 -x4648 -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 x4679 x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 -x4709 -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 -x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 -x716 -x4977 -x719 -x4989 -x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 x742 -x5097 -x5109 -x747 -x5121 -x5133 -x5145 x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 -x5209 -x5211 -x5216 -x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 -x5270 -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5321 -x5326 -x5328 x5333 -x5335 x5340 x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 -x5389 -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 -x5491 -x5518 -x5545 -x5572 -x5599 -x5611 -x5623 -x5635 -x5647 -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 -x5791 -x5803 -x5815 -x5827 -x5839 -x5851 -x5856 -x5858 -x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 -x5903 -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 x5960 -x5962 -x5967 -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 -x6025 -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 x6061 x6063 -x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 -x91 -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 -x114 -x116 -x115 -x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 -x135 -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x178 -x177 -x179 -x181 -x180 -x182 -x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 x235 -x234 -x236 -x238 -x237 -x239 -x241 -x240 -x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325 -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 x340 x339 x341 -x343 -x342 -x344 -x346 -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 -x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 -x394 -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 -x420 -x422 -x423 -x425 -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 -x466 -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 x508 x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 -x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529 -x531 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -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 -x673 -x674 x676 x675 x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 -x712 -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 -x739 -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 -x818 -x817 -x819 -x821 -x820 -x822 -x824 -x823 -x825 x827 -x826 -x828 x830 x829 x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x915 -x917 -x918 -x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 -x936 -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 -x957 -x958 x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 -x1000 -x999 -x1001 x1003 x1002 x1004 -x1006 -x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 -x863 -x864 -x865 -x866 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 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 -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 -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 -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 -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 -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 -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 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 -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 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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x2231 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2245 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2259 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2273 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2343 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2385 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2469 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2551 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2565 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2621 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2677 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2691 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2733 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2831 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2901 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2915 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2971 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3013 -x3014 -x3015 -x3016 x3018 -x3019 -x3020 x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 x3038 -x3039 -x3040 -x3041 -x3043 -x3044 -x3045 -x3046 x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 -x3061 -x3063 -x3064 -x3065 -x3066 x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 x3098 -x3099 -x3100 -x3101 -x3103 -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3123 -x3124 -x3125 -x3126 x3128 -x3129 -x3130 -x3131 -x3133 -x3134 -x3135 -x3136 x3138 -x3139 -x3140 -x3141 -x3143 -x3144 -x3145 -x3146 -x3148 -x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3176 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3193 -x3194 -x3195 -x3196 -x3198 -x3199 -x3200 -x3201 -x3203 -x3204 -x3205 -x3206 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3228 -x3229 -x3230 -x3231 x3233 -x3234 -x3235 -x3236 x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3248 -x3249 -x3250 -x3251 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3278 -x3279 -x3280 -x3281 x3283 -x3284 -x3285 -x3286 x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 -x3320 -x3321 -x3323 -x3324 -x3325 -x3326 -x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3804 x3806 -x3807 -x3808 x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3818 x3820 -x3821 -x3822 -x3823 -x3825 x3827 -x3828 -x3829 -x3830 -x3832 -x3834 -x3835 -x3836 -x3837 -x3839 x3841 -x3842 -x3843 -x3844 -x3846 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 x3860 -x3861 -x3862 -x3863 -x3865 -x3867 -x3868 -x3869 -x3870 -x3872 -x3874 -x3875 -x3876 -x3877 x3879 x3881 -x3882 -x3883 -x3884 x3886 x3888 -x3889 -x3890 -x3891 -x3893 -x3895 -x3896 -x3897 -x3898 x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 -x3914 -x3916 -x3917 -x3918 -x3919 -x3921 -x3923 -x3924 -x3925 -x3926 -x3928 -x3930 -x3931 -x3932 -x3933 -x3935 -x3937 -x3938 -x3939 -x3940 -x3942 -x3944 -x3945 -x3946 -x3947 x3949 -x3951 -x3952 -x3953 -x3954 x3956 x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 x3970 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3984 -x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 x3998 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 x4012 -x4014 -x4015 -x4016 -x4017 x4019 -x4021 -x4022 -x4023 -x4024 x4026 -x4028 -x4029 -x4030 -x4031 x4033 -x4035 -x4036 -x4037 -x4038 x4040 -x4042 -x4043 -x4044 -x4045 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4488 -x4490 -x4491 -x4492 -x4493 -x4495 x4497 -x4498 -x4499 -x4500 -x4502 x4504 -x4505 x4506 -x4507 -x4509 x4511 -x4512 -x4513 -x4514 -x4516 x4518 -x4519 -x4520 -x4521 -x4523 -x4525 -x4526 -x4527 -x4528 -x4530 x4532 -x4533 -x4534 -x4535 x4537 -x4538 -x4539 -x4540 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4551 -x4552 -x4553 -x4554 -x4556 -x4558 -x4559 -x4560 -x4561 x4563 x4565 -x4566 -x4567 -x4568 -x4570 x4572 -x4573 -x4574 -x4575 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4586 -x4587 -x4588 -x4589 -x4591 -x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601 -x4602 -x4603 x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4621 -x4622 -x4623 -x4624 -x4626 -x4628 -x4629 -x4630 -x4631 x4633 x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4649 -x4650 -x4651 -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 -x4663 -x4664 -x4665 -x4666 x4668 -x4670 -x4671 -x4672 -x4673 -x4675 -x4676 -x4677 -x4678 x4680 x4682 -x4683 -x4684 -x4685 -x4687 -x4689 -x4690 -x4691 -x4692 x4694 -x4696 -x4697 -x4698 -x4699 -x4701 -x4703 -x4704 -x4705 -x4706 x4708 -x4710 -x4711 -x4712 -x4713 x4715 -x4717 -x4718 -x4719 -x4720 -x4722 -x4724 -x4725 -x4726 -x4727 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 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 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 x5172 x5173 -x5174 -x5175 -x5177 -x5179 -x5180 -x5181 -x5182 -x5184 -x5186 -x5187 -x5188 -x5189 x5191 -x5192 -x5193 -x5194 -x5196 x5198 -x5199 -x5200 -x5201 -x5203 x5205 -x5206 -x5207 -x5208 -x5210 x5212 -x5213 -x5214 -x5215 -x5217 -x5219 -x5220 -x5221 -x5222 -x5224 -x5226 -x5227 -x5228 -x5229 x5231 x5233 -x5234 -x5235 -x5236 -x5238 -x5240 -x5241 -x5242 -x5243 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5257 -x5259 -x5260 -x5261 -x5262 x5264 x5266 -x5267 -x5268 -x5269 -x5271 -x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324 -x5325 -x5327 -x5329 -x5330 -x5331 -x5332 x5334 x5336 -x5337 -x5338 -x5339 x5341 x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5364 -x5365 -x5366 -x5367 -x5369 -x5371 -x5372 -x5373 -x5374 x5376 -x5378 -x5379 -x5380 -x5381 x5383 -x5385 -x5386 -x5387 -x5388 x5390 -x5392 -x5393 -x5394 -x5395 x5397 -x5399 -x5400 -x5401 -x5402 x5404 -x5406 -x5407 -x5408 -x5409 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5852 -x5853 -x5854 -x5855 -x5857 -x5859 -x5860 -x5861 -x5862 x5864 -x5865 x5866 -x5867 -x5869 x5871 -x5872 -x5873 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 -x5883 -x5885 -x5886 -x5887 -x5888 -x5890 -x5891 -x5892 -x5893 x5895 x5897 -x5898 -x5899 -x5900 -x5902 -x5904 -x5905 -x5906 -x5907 -x5909 x5911 x5912 -x5913 -x5914 -x5916 -x5918 -x5919 -x5920 -x5921 x5923 x5925 -x5926 -x5927 -x5928 -x5930 x5932 x5933 -x5934 -x5935 x5937 -x5938 -x5939 -x5940 x5942 -x5944 -x5945 -x5946 -x5947 x5949 -x5951 -x5952 -x5953 -x5954 -x5956 -x5957 -x5958 -x5959 x5961 x5963 -x5964 -x5965 -x5966 x5968 -x5970 -x5971 -x5972 -x5973 -x5975 -x5977 -x5978 -x5979 -x5980 -x5982 -x5984 -x5985 -x5986 -x5987 x5989 -x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6005 -x6006 -x6007 -x6008 x6010 -x6012 -x6013 -x6014 -x6015 -x6017 -x6019 -x6020 -x6021 -x6022 x6024 -x6026 -x6027 -x6028 -x6029 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6041 -x6043 -x6044 -x6045 -x6046 x6048 -x6050 -x6051 -x6052 -x6053 -x6055 -x6057 -x6058 -x6059 -x6060 x6062 x6064 -x6065 -x6066 -x6067 x6069 x6071 -x6073 -x6074 -x6075 -x6076 

Verifier Data

OK	27

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 /tmp/evaluation-result-3720351-1338510143/watcher-3720351-1338510143 -o /tmp/evaluation-result-3720351-1338510143/solver-3720351-1338510143 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720351-1338510143.opb 

running on 4 cores: 1,3,5,7

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: 2.00 2.00 1.93 3/176 2425
/proc/meminfo: memFree=27534716/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 317140029 3174400 272 33554432000 134512640 134579096 4290646880 4290514180 8827658 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 775 272 219 17 0 81 0

[startup+0.0588359 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2425
/proc/meminfo: memFree=27534716/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=4696 CPUtime=0.05 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 722 0 0 0 5 0 0 0 20 0 1 0 317140029 4808704 660 33554432000 134512640 134579096 4290646880 4290514292 8827653 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 1174 660 219 17 0 480 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4696

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2425
/proc/meminfo: memFree=27534716/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=5896 CPUtime=0.09 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 1006 0 0 0 9 0 0 0 20 0 1 0 317140029 6037504 944 33554432000 134512640 134579096 4290646880 4290514156 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 1474 944 219 17 0 780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896

[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2425
/proc/meminfo: memFree=27534716/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=7612 CPUtime=0.29 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 1420 0 0 0 29 0 0 0 20 0 1 0 317140029 7794688 1358 33554432000 134512640 134579096 4290646880 4290645584 8078631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 1903 1358 226 17 0 1209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7612

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2425
/proc/meminfo: memFree=27534716/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=8304 CPUtime=0.69 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 1579 0 0 0 69 0 0 0 20 0 1 0 317140029 8503296 1517 33554432000 134512640 134579096 4290646880 4290645852 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 2076 1517 227 17 0 1382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8304

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27529656/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=8492 CPUtime=1.49 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 1677 0 0 0 149 0 0 0 20 0 1 0 317140029 8695808 1588 33554432000 134512640 134579096 4290646880 4290645536 134522724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 2123 1588 227 17 0 1429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8492

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27526920/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=10536 CPUtime=3.09 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 2233 0 0 0 309 0 0 0 20 0 1 0 317140029 10788864 2099 33554432000 134512640 134579096 4290646880 4290645536 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 2634 2099 227 17 0 1940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10536

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27524732/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=13824 CPUtime=6.28 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 3023 0 0 0 628 0 0 0 20 0 1 0 317140029 14155776 2889 33554432000 134512640 134579096 4290646880 4290644608 134532840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 3456 2889 227 17 0 2762 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13824

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27516412/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=19988 CPUtime=12.69 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 4794 0 0 0 1267 2 0 0 20 0 1 0 317140029 20467712 4484 33554432000 134512640 134579096 4290646880 4290645852 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 4997 4484 227 17 0 4303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19988

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27501580/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=35068 CPUtime=25.48 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 8588 0 0 0 2544 4 0 0 20 0 1 0 317140029 35909632 8254 33554432000 134512640 134579096 4290646880 4290645852 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 8767 8254 227 17 0 8073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35068

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27471680/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=65636 CPUtime=51.07 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 16342 0 0 0 5100 7 0 0 20 0 1 0 317140029 67211264 15864 33554432000 134512640 134579096 4290646880 4290645536 134522726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 16409 15864 227 17 0 15715 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65636

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2426
/proc/meminfo: memFree=27445444/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=92572 CPUtime=102.25 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 23114 0 0 0 10215 10 0 0 20 0 1 0 317140029 94793728 22629 33554432000 134512640 134579096 4290646880 4290642928 134533511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 23143 22629 227 17 0 22449 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 92572

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 2426
/proc/meminfo: memFree=27424860/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=112312 CPUtime=162.24 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 28037 0 0 0 16210 14 0 0 20 0 1 0 317140029 115007488 27541 33554432000 134512640 134579096 4290646880 4290642976 134533489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 28078 27541 227 17 0 27384 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 112312

[startup+222.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 2426
/proc/meminfo: memFree=27405112/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=131584 CPUtime=222.22 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 32885 0 0 0 22206 16 0 0 20 0 1 0 317140029 134742016 32376 33554432000 134512640 134579096 4290646880 4290645728 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 32896 32376 227 17 0 32202 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 131584

[startup+282.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/178 2427
/proc/meminfo: memFree=27366324/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=169916 CPUtime=282.21 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 42485 0 0 0 28200 21 0 0 20 0 1 0 317140029 173993984 41951 33554432000 134512640 134579096 4290646880 4290645728 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 42479 41951 227 17 0 41785 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 169916

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/177 2428
/proc/meminfo: memFree=27366600/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=169916 CPUtime=342.19 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 42497 0 0 0 34197 22 0 0 20 0 1 0 317140029 173993984 41952 33554432000 134512640 134579096 4290646880 4290645728 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 42479 41952 227 17 0 41785 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 169916

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 2428
/proc/meminfo: memFree=27365484/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=171628 CPUtime=402.18 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 42916 0 0 0 40193 25 0 0 20 0 1 0 317140029 175747072 42371 33554432000 134512640 134579096 4290646880 4290645536 134522729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 42907 42371 227 17 0 42213 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 171628

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 2431
/proc/meminfo: memFree=27339180/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=197488 CPUtime=462.17 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 49392 0 0 0 46189 28 0 0 20 0 1 0 317140029 202227712 48847 33554432000 134512640 134579096 4290646880 4290645536 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 49372 48847 227 17 0 48678 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 197488

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 2431
/proc/meminfo: memFree=27339144/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=197488 CPUtime=522.16 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 49400 0 0 0 52187 29 0 0 20 0 1 0 317140029 202227712 48850 33554432000 134512640 134579096 4290646880 4290645536 134522726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 49372 48850 227 17 0 48678 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 197488

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2431
/proc/meminfo: memFree=27322104/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=215536 CPUtime=582.15 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 53896 0 0 0 58184 31 0 0 20 0 1 0 317140029 220708864 53346 33554432000 134512640 134579096 4290646880 4290645712 134517935 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 53884 53346 227 17 0 53190 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 215536

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=27308220/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=229036 CPUtime=822.11 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 57298 0 0 0 82171 40 0 0 20 0 1 0 317140029 234532864 56736 33554432000 134512640 134579096 4290646880 4290645712 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 57259 56736 227 17 0 56565 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 229036

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2432
/proc/meminfo: memFree=27306360/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=230836 CPUtime=882.09 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 57733 0 0 0 88168 41 0 0 20 0 1 0 317140029 236376064 57171 33554432000 134512640 134579096 4290646880 4290645700 134556290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 57709 57171 227 17 0 57015 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 230836

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2433
/proc/meminfo: memFree=27306172/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=230836 CPUtime=942.09 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 57733 0 0 0 94167 42 0 0 20 0 1 0 317140029 236376064 57171 33554432000 134512640 134579096 4290646880 4290645712 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 57709 57171 227 17 0 57015 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 230836

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2433
/proc/meminfo: memFree=27291232/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=245984 CPUtime=1002.08 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 61542 0 0 0 100164 44 0 0 20 0 1 0 317140029 251887616 60980 33554432000 134512640 134579096 4290646880 4290645728 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 61496 60980 227 17 0 60802 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 245984

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2436
/proc/meminfo: memFree=27261964/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=274008 CPUtime=1062.07 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 68535 0 0 0 106160 47 0 0 20 0 1 0 317140029 280584192 67970 33554432000 134512640 134579096 4290646880 4290645536 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 68502 67970 227 17 0 67808 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 274008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2436
/proc/meminfo: memFree=27263056/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=274008 CPUtime=1122.05 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 68544 0 0 0 112157 48 0 0 20 0 1 0 317140029 280584192 67971 33554432000 134512640 134579096 4290646880 4290645728 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 68502 67971 227 17 0 67808 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 274008

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/177 2436
/proc/meminfo: memFree=27263060/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=274008 CPUtime=1182.04 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 68544 0 0 0 118155 49 0 0 20 0 1 0 317140029 280584192 67971 33554432000 134512640 134579096 4290646880 4290645728 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 68502 67971 227 17 0 67808 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 274008

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 2437
/proc/meminfo: memFree=27239624/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=296988 CPUtime=1242.03 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 74299 0 0 0 124151 52 0 0 20 0 1 0 317140029 304115712 73726 33554432000 134512640 134579096 4290646880 4290645728 134527830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 74247 73726 227 17 0 73553 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 296988

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 2537
/proc/meminfo: memFree=27239500/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=296988 CPUtime=1302.03 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 74303 0 0 0 130150 53 0 0 20 0 1 0 317140029 304115712 73726 33554432000 134512640 134579096 4290646880 4290645632 134532225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 74247 73726 227 17 0 73553 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 296988

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2537
/proc/meminfo: memFree=27239500/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=296988 CPUtime=1362.02 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 74303 0 0 0 136147 55 0 0 20 0 1 0 317140029 304115712 73726 33554432000 134512640 134579096 4290646880 4290645728 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 74247 73726 227 17 0 73553 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 296988

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2537
/proc/meminfo: memFree=27236772/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=299924 CPUtime=1422.01 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 75026 0 0 0 142145 56 0 0 20 0 1 0 317140029 307122176 74449 33554432000 134512640 134579096 4290646880 4290645536 134522726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 74981 74449 227 17 0 74287 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 299924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2537
/proc/meminfo: memFree=27223876/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312156 CPUtime=1482 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 148141 59 0 0 20 0 1 0 317140029 319647744 77524 33554432000 134512640 134579096 4290646880 4290645728 134528349 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78039 77524 227 17 0 77345 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 312156

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2538
/proc/meminfo: memFree=27223628/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312156 CPUtime=1541.99 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 154138 61 0 0 20 0 1 0 317140029 319647744 77524 33554432000 134512640 134579096 4290646880 4290645852 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78039 77524 227 17 0 77345 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 312156

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2538
/proc/meminfo: memFree=27223628/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1601.98 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 160135 63 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645536 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 312072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2541
/proc/meminfo: memFree=27222964/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1661.97 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 166133 64 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645808 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 312072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2541
/proc/meminfo: memFree=27223520/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1721.96 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 172129 67 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645728 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 312072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2541
/proc/meminfo: memFree=27223024/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1781.95 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 178126 69 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645728 134528058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 312072

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

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2541
/proc/meminfo: memFree=27223024/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1782.76 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 178207 69 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645852 14996528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1782.76
Current children cumulated vsize (KiB) 312072

[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2541
/proc/meminfo: memFree=27223024/32873660 swapFree=7120/7120
[pid=2425] ppid=2423 vsize=312072 CPUtime=1782.95 cores=1,3,5,7
/proc/2425/stat : 2425 (Pueblo) R 2423 2425 1765 0 -1 4202496 78103 0 0 0 178226 69 0 0 20 0 1 0 317140029 319561728 77505 33554432000 134512640 134579096 4290646880 4290645760 134516836 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2425/statm: 78018 77505 227 17 0 77324 0
Current children cumulated CPU time (s) 1782.95
Current children cumulated vsize (KiB) 312072

Child status: 10
Real time (s): 1783.35
CPU time (s): 1783.01
CPU user time (s): 1782.31
CPU system time (s): 0.696894
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 312272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.31
system time used= 0.696894
maximum resident set size= 310100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78108
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= 116
involuntary context switches= 1829

runsolver used 3.13852 second user time and 8.27374 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-01 02:22:23
IDJOB=3720351
IDBENCH=25012
IDSOLVER=2305
FILE ID=node117/3720351-1338510143
RUNJOBID= node117-1338506007-1785
PBS_JOBID= 14635774
Free space on /tmp= 69132 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720351-1338510143/watcher-3720351-1338510143 -o /tmp/evaluation-result-3720351-1338510143/solver-3720351-1338510143 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720351-1338510143.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1055146995

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27535408 kB
Buffers:          555368 kB
Cached:          3857148 kB
SwapCached:          708 kB
Active:          2180044 kB
Inactive:        2252236 kB
Active(anon):       5496 kB
Inactive(anon):     9916 kB
Active(file):    2174548 kB
Inactive(file):  2242320 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107004 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:         23636 kB
Mapped:            13152 kB
Shmem:                80 kB
Slab:             770292 kB
SReclaimable:     214712 kB
SUnreclaim:       555580 kB
KernelStack:        1472 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     128284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720351-1338510143.opb

Free space on /tmp at the end= 69128 MiB
End job on node117 at 2012-06-01 02:52:06