Trace number 3500548

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)22 1800.22 900.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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-3500548-1307996570.opb.
0.00/0.00	c Instance file HOME/instance-3500548-1307996570.opb
0.00/0.00	c File size is 560274 bytes.
0.00/0.04	c Highest Coefficient sum: 643
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      5499                                                |
0.00/0.04	c |  Number Clauses:        19318                                               |
0.00/0.04	c |  Number Cardinality:    1                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.04/0.05	c init lb 0
0.04/0.05	c init ub 614
0.04/0.06	c lb 6 (thread 0)
0.04/0.07	c ub 27 (thread 1)
0.04/0.07	o 27
0.04/0.07	c lb 7 (thread 0)
0.04/0.08	c lb 8 (thread 0)
0.04/0.09	c lb 9 (thread 0)
0.04/0.09	c lb 10 (thread 0)
0.14/0.10	c lb 11 (thread 0)
0.34/0.20	c lb 12 (thread 0)
14.93/7.59	c lb 13 (thread 0)
43.73/21.93	c ub 26 (thread 1)
63.32/31.75	o 26
63.32/31.75	c ub 25 (thread 1)
78.12/39.11	o 25
78.12/39.11	c ub 24 (thread 1)
481.72/240.98	o 24
481.72/240.98	c ub 23 (thread 1)
665.31/332.72	o 23
665.31/332.72	c ub 22 (thread 1)
1011.33/505.71	o 22
1011.33/505.71	c lb 14 (thread 0)
1012.33/506.25	c lb 15 (thread 0)
1012.73/506.45	c lb 16 (thread 0)
1041.73/520.99	c lb 17 (thread 0)
1800.15/900.11	s SATISFIABLE
1800.15/900.11	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 x1088 -x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 x1381 -x1383 -x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 x2200 x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -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 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 x5053 -x754 -x5065 -x5077 -x5089 -x5091 x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -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 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 x79 -x78 -x80 -x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 x309 x308 x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -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 -x539 -x540 -x542 -x541 -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 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 x751 x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -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 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 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 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368 -x1370 -x1371 -x1372 -x1373 -x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 -x1389 -x1391 -x1392 -x1393 -x1394 -x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 x1447 -x1448 x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 -x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 x1480 -x1482 -x1483 -x1484 -x1485 x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 -x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 -x1554 -x1555 -x1557 x1559 -x1560 -x1561 -x1562 x1564 -x1566 -x1567 -x1568 -x1569 -x1571 -x1573 -x1574 -x1575 -x1576 x1578 x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1599 x1601 -x1602 -x1603 -x1604 -x1606 -x1608 -x1609 -x1610 -x1611 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 x2063 -x2064 -x2065 -x2066 -x2068 x2070 -x2071 x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 x2133 -x2134 -x2135 -x2136 -x2138 x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 -x2166 -x2168 -x2169 -x2170 -x2171 x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 -x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212 -x2213 -x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 -x2238 -x2239 -x2240 -x2241 x2243 -x2245 -x2246 -x2247 -x2248 x2250 x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 -x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 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 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3573 -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 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -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 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 x4314 x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 x4459 -x4460 -x4461 -x4462 x4464 x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 x4544 -x4545 x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 x5097 -x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 -x5139 -x5141 -x5142 -x5143 -x5144 -x5146 x5148 x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5162 -x5164 -x5165 -x5166 -x5167 x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 x5190 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 x5214 -x5216 -x5217 -x5218 -x5219 x5221 -x5223 -x5224 -x5225 -x5226 x5228 -x5230 -x5231 -x5232 -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 x5282 -x5283 -x5284 -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 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 x5397 -x5398 -x5399 -x5400 x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5417 -x5418 -x5419 -x5420 x5422 x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 x5467 -x5469 x5471 -x5473 -x5475 -x5477 -x5479 x5481 x5483 x5485 x5487 -x5489 -x5491 -x5493 -x5495 x5497 -x5499
1800.15/900.11	c Memory used           : 920.66 MB
1800.15/900.11	c CPU time              : 1790.78 s

Verifier Data 

OK	22

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-3500548-1307996570/watcher-3500548-1307996570 -o /var/tmp/evaluation-result-3500548-1307996570/solver-3500548-1307996570 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500548-1307996570.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: 3.99 3.97 3.91 3/179 20359
/proc/meminfo: memFree=10590544/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=3528 CPUtime=0 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) R 20357 20359 19040 0 -1 4202496 517 0 0 0 0 0 0 0 25 0 1 0 911256758 3612672 469 33554432000 4194304 5714118 140733454898400 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20359/statm: 882 469 168 372 0 370 0

[startup+0.0483319 s]
/proc/loadavg: 3.99 3.97 3.91 3/179 20359
/proc/meminfo: memFree=10590544/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=140556 CPUtime=0.04 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 2573 0 0 0 4 0 0 0 25 0 3 0 911256758 143929344 2388 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35139 2399 172 372 0 34764 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 140556

[startup+0.100312 s]
/proc/loadavg: 3.99 3.97 3.91 3/179 20359
/proc/meminfo: memFree=10590544/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=142992 CPUtime=0.14 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 5959 0 0 0 13 1 0 0 25 0 3 0 911256758 146423808 5524 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35748 5524 180 372 0 35373 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 142992

[startup+0.300276 s]
/proc/loadavg: 3.99 3.97 3.91 3/179 20359
/proc/meminfo: memFree=10590544/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=142992 CPUtime=0.54 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 6472 0 0 0 50 4 0 0 25 0 3 0 911256758 146423808 6029 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35748 6029 181 372 0 35373 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 142992

[startup+0.700266 s]
/proc/loadavg: 3.99 3.97 3.91 3/179 20359
/proc/meminfo: memFree=10590544/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=142992 CPUtime=1.34 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 7367 0 0 0 125 9 0 0 25 0 3 0 911256758 146423808 6924 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35748 6924 181 372 0 35373 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 142992

[startup+1.50107 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20362
/proc/meminfo: memFree=10556680/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=142992 CPUtime=2.94 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 9992 0 0 0 276 18 0 0 25 0 3 0 911256758 146423808 9550 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35748 9550 181 372 0 35373 0
[pid=20359/tid=20361] ppid=20357 vsize=142992 CPUtime=1.44 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 3746 0 0 0 138 6 0 0 25 0 3 0 911256763 146423808 9550 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=142992 CPUtime=1.44 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 4428 0 0 0 133 11 0 0 19 0 3 0 911256763 146423808 9550 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 142992

[startup+3.10079 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20362
/proc/meminfo: memFree=10537956/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=143272 CPUtime=6.13 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 14968 0 0 0 585 28 0 0 25 0 3 0 911256758 146710528 14525 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35818 14525 181 372 0 35443 0
[pid=20359/tid=20361] ppid=20357 vsize=143272 CPUtime=3.04 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 5747 0 0 0 293 11 0 0 20 0 3 0 911256763 146710528 14525 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=143272 CPUtime=3.03 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 7402 0 0 0 287 16 0 0 19 0 3 0 911256763 146710528 14525 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319200 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) 143272

[startup+6.30017 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20362
/proc/meminfo: memFree=10476796/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=143800 CPUtime=12.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 22792 0 0 0 1217 35 0 0 25 0 3 0 911256758 147251200 22349 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 35950 22349 181 372 0 35575 0
[pid=20359/tid=20361] ppid=20357 vsize=143800 CPUtime=6.23 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 8801 0 0 0 609 14 0 0 25 0 3 0 911256763 147251200 22349 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319203 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=143800 CPUtime=6.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 12172 0 0 0 604 19 0 0 25 0 3 0 911256763 147251200 22349 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 143800

[startup+12.701 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20363
/proc/meminfo: memFree=10410916/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=211460 CPUtime=25.32 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 31019 0 0 0 2475 57 0 0 25 0 3 0 911256758 216535040 30511 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 52865 30511 181 372 0 52490 0
[pid=20359/tid=20361] ppid=20357 vsize=211460 CPUtime=12.64 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 9164 0 0 0 1243 21 0 0 25 0 3 0 911256763 216535040 30511 33554432000 4194304 5714118 140733454898400 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=211460 CPUtime=12.64 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 20036 0 0 0 1228 36 0 0 25 0 3 0 911256763 216535040 30511 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 211460

[startup+25.5008 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20363
/proc/meminfo: memFree=10286904/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=212356 CPUtime=50.91 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 47252 0 0 0 4990 101 0 0 25 0 3 0 911256758 217452544 46744 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 53089 46744 182 372 0 52714 0
[pid=20359/tid=20361] ppid=20357 vsize=212356 CPUtime=25.43 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 12169 0 0 0 2511 32 0 0 25 0 3 0 911256763 217452544 46744 33554432000 4194304 5714118 140733454898400 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=212356 CPUtime=25.43 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 33264 0 0 0 2475 68 0 0 25 0 3 0 911256763 217452544 46744 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 212356

[startup+51.1003 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20364
/proc/meminfo: memFree=10060940/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=278972 CPUtime=102.12 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 55264 0 0 0 10069 143 0 0 25 0 3 0 911256758 285667328 54756 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 69743 54756 182 372 0 69368 0
[pid=20359/tid=20361] ppid=20357 vsize=278972 CPUtime=51.03 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 19924 0 0 0 5047 56 0 0 25 0 3 0 911256763 285667328 54756 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=278972 CPUtime=51.03 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 33521 0 0 0 5017 86 0 0 25 0 3 0 911256763 285667328 54756 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 278972

[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20365
/proc/meminfo: memFree=9413140/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=411768 CPUtime=204.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 92562 0 0 0 20220 232 0 0 25 0 3 0 911256758 421650432 92054 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 102942 92054 182 372 0 102567 0
[pid=20359/tid=20361] ppid=20357 vsize=411768 CPUtime=102.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 27333 0 0 0 10133 91 0 0 25 0 3 0 911256763 421650432 92054 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=411768 CPUtime=102.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 63410 0 0 0 10083 140 0 0 25 0 3 0 911256763 421650432 92054 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 411768

[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20367
/proc/meminfo: memFree=8940408/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=478596 CPUtime=324.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 110300 0 0 0 32154 298 0 0 25 0 3 0 911256758 490082304 109792 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 119649 109792 182 372 0 119274 0
[pid=20359/tid=20361] ppid=20357 vsize=478596 CPUtime=162.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 32849 0 0 0 16098 126 0 0 25 0 3 0 911256763 490082304 109792 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=478596 CPUtime=162.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 75632 0 0 0 16052 171 0 0 25 0 3 0 911256763 490082304 109792 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 478596

[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20368
/proc/meminfo: memFree=8213588/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=741672 CPUtime=444.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 158581 0 0 0 44066 386 0 0 25 0 3 0 911256758 759472128 158073 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 185418 158073 182 372 0 185043 0
[pid=20359/tid=20361] ppid=20357 vsize=741672 CPUtime=222.23 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 39059 0 0 0 22067 156 0 0 25 0 3 0 911256763 759472128 158073 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319258 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=741672 CPUtime=222.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 117703 0 0 0 21994 229 0 0 25 0 3 0 911256763 759472128 158073 33554432000 4194304 5714118 140733454898400 18446744073709551615 4199408 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) 741672

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20370
/proc/meminfo: memFree=7872664/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=742348 CPUtime=564.51 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 171808 0 0 0 55992 459 0 0 25 0 3 0 911256758 760164352 171255 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 185587 171255 182 372 0 185212 0
[pid=20359/tid=20361] ppid=20357 vsize=742348 CPUtime=282.23 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 44422 0 0 0 28027 196 0 0 25 0 3 0 911256763 760164352 171255 33554432000 4194304 5714118 140733454898400 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=742348 CPUtime=282.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 125567 0 0 0 27961 262 0 0 25 0 3 0 911256763 760164352 171255 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.51
Current children cumulated vsize (KiB) 742348

[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20371
/proc/meminfo: memFree=7632060/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=808180 CPUtime=684.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 178912 0 0 0 67941 511 0 0 25 0 3 0 911256758 827576320 178359 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 202045 178359 182 372 0 201670 0
[pid=20359/tid=20361] ppid=20357 vsize=808180 CPUtime=342.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 51425 0 0 0 33994 230 0 0 25 0 3 0 911256763 827576320 178359 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=808180 CPUtime=342.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 125668 0 0 0 33943 280 0 0 25 0 3 0 911256763 827576320 178359 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.52
Current children cumulated vsize (KiB) 808180

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20373
/proc/meminfo: memFree=7464136/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=808756 CPUtime=804.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 180362 0 0 0 79911 541 0 0 25 0 3 0 911256758 828166144 179809 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 202189 179809 182 372 0 201814 0
[pid=20359/tid=20361] ppid=20357 vsize=808756 CPUtime=402.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 52764 0 0 0 39974 250 0 0 25 0 3 0 911256763 828166144 179809 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=808756 CPUtime=402.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 125779 0 0 0 39932 291 0 0 25 0 3 0 911256763 828166144 179809 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.52
Current children cumulated vsize (KiB) 808756

[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20375
/proc/meminfo: memFree=7293456/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=809076 CPUtime=924.52 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 184255 0 0 0 91864 588 0 0 25 0 3 0 911256758 828493824 183698 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 202269 183698 182 372 0 201894 0
[pid=20359/tid=20361] ppid=20357 vsize=809076 CPUtime=462.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 56565 0 0 0 45944 280 0 0 25 0 3 0 911256763 828493824 183698 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=809076 CPUtime=462.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 125871 0 0 0 45916 307 0 0 25 0 3 0 911256763 828493824 183698 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.52
Current children cumulated vsize (KiB) 809076

[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20376
/proc/meminfo: memFree=7101836/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=874372 CPUtime=1044.53 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 195925 0 0 0 103799 654 0 0 25 0 3 0 911256758 895356928 195062 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 218593 195062 182 372 0 218218 0
[pid=20359/tid=20361] ppid=20357 vsize=874372 CPUtime=522.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68073 0 0 0 51897 327 0 0 25 0 3 0 911256763 895356928 195062 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=874372 CPUtime=522.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 126033 0 0 0 51897 326 0 0 25 0 3 0 911256763 895356928 195062 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (KiB) 874372

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20378
/proc/meminfo: memFree=7099316/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=874880 CPUtime=1164.53 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 196270 0 0 0 115743 710 0 0 25 0 3 0 911256758 895877120 195407 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 218720 195407 182 372 0 218345 0
[pid=20359/tid=20361] ppid=20357 vsize=874880 CPUtime=582.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68284 0 0 0 57854 370 0 0 25 0 3 0 911256763 895877120 195407 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=874880 CPUtime=582.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 126167 0 0 0 57884 339 0 0 25 0 3 0 911256763 895877120 195407 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.53
Current children cumulated vsize (KiB) 874880

[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20379
/proc/meminfo: memFree=7053144/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=875288 CPUtime=1284.54 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 196637 0 0 0 127710 744 0 0 25 0 3 0 911256758 896294912 195774 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 218822 195774 182 372 0 218447 0
[pid=20359/tid=20361] ppid=20357 vsize=875288 CPUtime=642.25 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68545 0 0 0 63830 395 0 0 25 0 3 0 911256763 896294912 195774 33554432000 4194304 5714118 140733454898400 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=875288 CPUtime=642.24 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 126273 0 0 0 63876 348 0 0 25 0 3 0 911256763 896294912 195774 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.54
Current children cumulated vsize (KiB) 875288

[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20381
/proc/meminfo: memFree=6981304/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=941368 CPUtime=1404.54 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 207675 0 0 0 139657 797 0 0 25 0 3 0 911256758 963960832 206812 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235342 206812 182 372 0 234967 0
[pid=20359/tid=20361] ppid=20357 vsize=941368 CPUtime=702.24 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68579 0 0 0 69798 426 0 0 25 0 3 0 911256763 963960832 206812 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=941368 CPUtime=702.23 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 137277 0 0 0 69854 369 0 0 25 0 3 0 911256763 963960832 206812 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.54
Current children cumulated vsize (KiB) 941368

[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20383
/proc/meminfo: memFree=6856392/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=941920 CPUtime=1524.55 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 217186 0 0 0 151611 844 0 0 25 0 3 0 911256758 964526080 216323 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235480 216323 182 372 0 235105 0
[pid=20359/tid=20361] ppid=20357 vsize=941920 CPUtime=762.25 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68595 0 0 0 75774 451 0 0 25 0 3 0 911256763 964526080 216323 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=941920 CPUtime=762.24 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 146772 0 0 0 75832 392 0 0 25 0 3 0 911256763 964526080 216323 33554432000 4194304 5714118 140733454898400 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.55
Current children cumulated vsize (KiB) 941920

[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20384
/proc/meminfo: memFree=6786932/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=942584 CPUtime=1644.55 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 217296 0 0 0 163572 883 0 0 25 0 3 0 911256758 965206016 216433 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235646 216433 182 372 0 235271 0
[pid=20359/tid=20361] ppid=20357 vsize=942584 CPUtime=822.25 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 68595 0 0 0 81747 478 0 0 25 0 3 0 911256763 965206016 216433 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=942584 CPUtime=822.24 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 146882 0 0 0 81820 404 0 0 25 0 3 0 911256763 965206016 216433 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 942584

[startup+882.301 s]
/proc/loadavg: 3.11 3.75 3.84 3/174 20411
/proc/meminfo: memFree=10158348/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=942584 CPUtime=1764.54 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 226877 0 0 0 175526 928 0 0 25 0 3 0 911256758 965206016 226014 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235646 226014 182 372 0 235271 0
[pid=20359/tid=20361] ppid=20357 vsize=942584 CPUtime=882.25 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 78172 0 0 0 87706 519 0 0 25 0 3 0 911256763 965206016 226014 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=942584 CPUtime=882.25 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 146886 0 0 0 87816 409 0 0 25 0 3 0 911256763 965206016 226014 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.54
Current children cumulated vsize (KiB) 942584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.1 s]
/proc/loadavg: 2.86 3.66 3.81 3/174 20411
/proc/meminfo: memFree=10154984/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=942748 CPUtime=1800.15 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 227794 0 0 0 179076 939 0 0 25 0 3 0 911256758 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235687 226931 182 372 0 235312 0
[pid=20359/tid=20361] ppid=20357 vsize=942748 CPUtime=900.05 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 79026 0 0 0 89477 528 0 0 25 0 3 0 911256763 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4311800 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=942748 CPUtime=900.05 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 146949 0 0 0 89595 410 0 0 25 0 3 0 911256763 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 942748

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

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

[startup+900.1 s]
/proc/loadavg: 2.86 3.66 3.81 3/174 20411
/proc/meminfo: memFree=10154984/32950928 swapFree=67055156/67111528
[pid=20359] ppid=20357 vsize=942748 CPUtime=1800.15 cores=0,2,4,6
/proc/20359/stat : 20359 (pwbo1.1) S 20357 20359 19040 0 -1 4202496 227794 0 0 0 179076 939 0 0 25 0 3 0 911256758 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20359/statm: 235687 226931 182 372 0 235312 0
[pid=20359/tid=20361] ppid=20357 vsize=942748 CPUtime=900.05 cores=0,2,4,6
/proc/20359/task/20361/stat : 20361 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 79026 0 0 0 89477 528 0 0 25 0 3 0 911256763 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4311800 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=942748 CPUtime=900.05 cores=0,2,4,6
/proc/20359/task/20362/stat : 20362 (pwbo1.1) R 20357 20359 19040 0 -1 4202560 146949 0 0 0 89595 410 0 0 25 0 3 0 911256763 965373952 226931 33554432000 4194304 5714118 140733454898400 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 942748

Child status: 0
Real time (s): 900.15
CPU time (s): 1800.22
CPU user time (s): 1790.78
CPU system time (s): 9.43257
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 942748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.78
system time used= 9.43257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227799
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= 673
involuntary context switches= 2074

runsolver used 1.55476 second user time and 3.09753 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-13 22:22:50
IDJOB=3500548
IDBENCH=25021
IDSOLVER=1954
FILE ID=node123/3500548-1307996570
RUNJOBID= node123-1307990189-19321
PBS_JOBID= 13559734
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1084904204

node123.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.838
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.67
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.838
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.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10590600 kB
Buffers:        126076 kB
Cached:       21011360 kB
SwapCached:      10120 kB
Active:        5968284 kB
Inactive:     15654256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10590600 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:            7272 kB
Writeback:           0 kB
AnonPages:      482292 kB
Mapped:          13628 kB
Slab:           672312 kB
PageTables:       5592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   679108 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= 2888 MiB
End job on node123 at 2011-06-13 22:37:52