Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | -128625 | 1800.83 | 1782.67 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb |
MD5SUM | eae2e8a732d92a062f083ccb58900b63 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -147500 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -144250 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 20000 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 31442101 |
Number of bits of the sum of numbers in the objective function | 25 |
Biggest number in a constraint | 67108864000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 138201238403 |
Number of bits of the biggest sum of numbers | 38 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version 2.3.2.v20120418 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687973-1337879062.opb 0.09/0.12 c reading problem ... 0.48/0.36 c ... done. Wall clock time 0.236s. 0.48/0.36 c declared #vars 5383 0.48/0.36 c #constraints 3225 0.48/0.36 c constraints type 0.48/0.36 c org.sat4j.minisat.constraints.card.MinWatchCard => 276 0.48/0.36 c ignored satisfied constraints => 56 0.48/0.36 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2921 0.48/0.36 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 28 0.48/0.36 c 3281 constraints processed. 0.48/0.36 c objective function length is 2946 literals 1.17/0.61 c SATISFIABLE 1.17/0.61 c OPTIMIZING... 1.17/0.62 c Got one! Elapsed wall clock time (in seconds):0.492 1.17/0.62 o -126875 1.57/0.94 c Got one! Elapsed wall clock time (in seconds):0.816 1.57/0.94 o -128625 3.01/2.21 c cleaning 2834 clauses out of 5673 with flag 5001/5673 5.75/4.91 c cleaning 4420 clauses out of 8839 with flag 11001/11673 9.36/8.45 c cleaning 5709 clauses out of 11418 with flag 18000/18672 13.30/12.22 c cleaning 6849 clauses out of 13711 with flag 26002/26674 17.26/16.08 c cleaning 7927 clauses out of 15861 with flag 35001/35673 21.79/20.46 c cleaning 8963 clauses out of 17934 with flag 45001/45673 26.53/24.91 c cleaning 9983 clauses out of 19971 with flag 56001/56673 31.15/29.57 c cleaning 10987 clauses out of 21987 with flag 68000/68672 36.43/34.79 c cleaning 11996 clauses out of 24000 with flag 81000/81672 42.30/40.54 c cleaning 13002 clauses out of 26004 with flag 95000/95672 48.66/46.76 c cleaning 13992 clauses out of 28002 with flag 110000/110672 56.43/54.43 c cleaning 15006 clauses out of 30012 with flag 126002/126674 63.85/61.74 c cleaning 15998 clauses out of 32004 with flag 143000/143672 71.56/69.37 c cleaning 17004 clauses out of 34007 with flag 161001/161673 79.46/77.27 c cleaning 18002 clauses out of 36003 with flag 180001/180673 88.16/85.93 c cleaning 18993 clauses out of 38001 with flag 200001/200673 97.46/95.27 c cleaning 19995 clauses out of 40007 with flag 221000/221672 107.76/105.23 c cleaning 20999 clauses out of 42012 with flag 243000/243672 118.09/115.54 c cleaning 22004 clauses out of 44015 with flag 266002/266674 128.39/125.78 c cleaning 22997 clauses out of 46009 with flag 290000/290672 138.76/136.06 c cleaning 24004 clauses out of 48012 with flag 315000/315672 149.89/147.08 c cleaning 25004 clauses out of 50010 with flag 341002/341674 161.79/158.62 c cleaning 26001 clauses out of 52005 with flag 368001/368673 174.27/171.04 c cleaning 26998 clauses out of 54003 with flag 396000/396672 186.11/182.79 c cleaning 28002 clauses out of 56005 with flag 425000/425672 199.33/195.93 c cleaning 29002 clauses out of 58004 with flag 455001/455673 213.25/209.76 c cleaning 29994 clauses out of 60001 with flag 486000/486672 226.91/222.92 c cleaning 31004 clauses out of 62007 with flag 518000/518672 240.44/236.46 c cleaning 31999 clauses out of 64003 with flag 551000/551672 254.53/250.46 c cleaning 32997 clauses out of 66004 with flag 585000/585672 269.63/265.44 c cleaning 33998 clauses out of 68007 with flag 620000/620672 287.49/283.10 c cleaning 34997 clauses out of 70011 with flag 656002/656674 301.82/297.39 c cleaning 35996 clauses out of 72012 with flag 693000/693672 316.60/311.91 c cleaning 37005 clauses out of 74017 with flag 731001/731673 332.20/327.38 c cleaning 38003 clauses out of 76011 with flag 770000/770672 347.98/342.93 c cleaning 38998 clauses out of 78008 with flag 810000/810672 365.09/359.91 c cleaning 40002 clauses out of 80010 with flag 851000/851672 383.60/378.10 c cleaning 41001 clauses out of 82008 with flag 893000/893672 400.70/395.17 c cleaning 41999 clauses out of 84007 with flag 936000/936672 418.86/413.23 c cleaning 43001 clauses out of 86009 with flag 980001/980673 437.86/432.17 c cleaning 44001 clauses out of 88008 with flag 1025001/1025673 458.85/453.10 c cleaning 45000 clauses out of 90007 with flag 1071001/1071673 480.63/474.67 c cleaning 46001 clauses out of 92007 with flag 1118001/1118673 502.64/496.58 c cleaning 47001 clauses out of 94005 with flag 1166000/1166672 527.64/520.75 c cleaning 47999 clauses out of 96004 with flag 1215000/1215672 554.97/548.02 c cleaning 48998 clauses out of 98005 with flag 1265000/1265672 581.39/574.13 c cleaning 50002 clauses out of 100007 with flag 1316000/1316672 607.29/599.63 c cleaning 50999 clauses out of 102006 with flag 1368001/1368673 634.28/626.55 c cleaning 52000 clauses out of 104006 with flag 1421000/1421672 660.75/652.82 c cleaning 53001 clauses out of 106006 with flag 1475000/1475672 690.25/682.23 c cleaning 54003 clauses out of 108006 with flag 1530001/1530673 726.40/718.25 c cleaning 54995 clauses out of 110002 with flag 1586000/1586672 763.39/754.83 c cleaning 56003 clauses out of 112007 with flag 1643000/1643672 797.51/788.69 c cleaning 56999 clauses out of 114004 with flag 1701000/1701672 829.61/820.42 c cleaning 58000 clauses out of 116008 with flag 1760003/1760675 868.29/858.83 c cleaning 59003 clauses out of 118007 with flag 1820002/1820674 904.95/895.18 c cleaning 59996 clauses out of 120002 with flag 1881000/1881672 942.09/932.08 c cleaning 61002 clauses out of 122006 with flag 1943000/1943672 982.73/972.33 c cleaning 61998 clauses out of 124004 with flag 2006000/2006672 1018.06/1007.67 c cleaning 62999 clauses out of 126006 with flag 2070000/2070672 1052.64/1042.10 c cleaning 63999 clauses out of 128007 with flag 2135000/2135672 1089.18/1078.57 c cleaning 65000 clauses out of 130009 with flag 2201001/2201673 1125.72/1114.98 c cleaning 66002 clauses out of 132009 with flag 2268001/2268673 1161.89/1151.07 c cleaning 66999 clauses out of 134006 with flag 2336000/2336672 1200.36/1189.48 c cleaning 68002 clauses out of 136009 with flag 2405002/2405674 1239.45/1228.30 c cleaning 68999 clauses out of 138006 with flag 2475001/2475673 1282.07/1270.82 c cleaning 69998 clauses out of 140007 with flag 2546001/2546673 1330.23/1318.79 c cleaning 71001 clauses out of 142008 with flag 2618000/2618672 1374.76/1363.00 c cleaning 71998 clauses out of 144007 with flag 2691000/2691672 1416.89/1405.02 c cleaning 72998 clauses out of 146010 with flag 2765001/2765673 1460.27/1448.06 c cleaning 74003 clauses out of 148013 with flag 2840002/2840674 1505.46/1492.98 c cleaning 74999 clauses out of 150009 with flag 2916001/2916673 1549.35/1536.63 c cleaning 76001 clauses out of 152011 with flag 2993002/2993674 1592.07/1579.11 c cleaning 77000 clauses out of 154008 with flag 3071000/3071672 1636.66/1622.73 c cleaning 77999 clauses out of 156008 with flag 3150000/3150672 1691.73/1676.35 c cleaning 79000 clauses out of 158010 with flag 3230001/3230673 1751.61/1735.18 c cleaning 80001 clauses out of 160010 with flag 3311001/3311673 1800.02/1782.61 c starts : 252 1800.02/1782.61 c conflicts : 3384792 1800.02/1782.61 c decisions : 4499139 1800.02/1782.61 c propagations : 272661511 1800.02/1782.61 c inspects : 5704962586 1800.02/1782.61 c shortcuts : 0 1800.02/1782.61 c learnt literals : 0 1800.02/1782.61 c learnt binary clauses : 0 1800.02/1782.61 c learnt ternary clauses : 0 1800.02/1782.61 c learnt constraints : 3384792 1800.02/1782.61 c ignored constraints : 0 1800.02/1782.61 c root simplifications : 0 1800.02/1782.61 c removed literals (reason simplification) : 0 1800.02/1782.61 c reason swapping (by a shorter reason) : 0 1800.02/1782.61 c Calls to reduceDB : 77 1800.02/1782.61 c number of reductions to clauses (during analyze) : 0 1800.02/1782.61 c number of learned constraints concerned by reduction : 0 1800.02/1782.61 c number of learning phase by resolution : 0 1800.02/1782.61 c number of learning phase by cutting planes : 0 1800.02/1782.61 c speed (assignments/second) : 152989.3055089534 1800.02/1782.61 c non guided choices 5348 1800.02/1782.63 c learnt constraints type 1800.02/1782.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153152 1800.02/1782.63 c constraints type 1800.02/1782.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 276 1800.02/1782.64 c ignored satisfied constraints => 56 1800.02/1782.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2921 1800.02/1782.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 29 1800.02/1782.64 c 3282 constraints processed. 1800.02/1782.64 s SATISFIABLE 1800.02/1782.65 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156 -x2157 x2158 x2159 -x2160 -x2161 x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 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 -x3302 -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 -x3329 -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 -x3356 -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 -x3383 -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 -x3410 -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 -x3437 -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 -x3464 -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 -x3491 -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 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -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 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -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 -x4073 -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 -x4100 -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 -x4127 -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 -x4154 -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 -x4181 -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 -x4208 -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 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -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 -x4675 -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 -x4702 -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 -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 -x4755 -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 -x4782 -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 -x4809 -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 -x4836 -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 -x4863 -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 -x4890 -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 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.02/1782.65 c objective function=-128625 1800.02/1782.65 c Total wall clock time (in seconds): 1782.529
OK -128625
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-3687973-1337879062/watcher-3687973-1337879062 -o /tmp/evaluation-result-3687973-1337879062/solver-3687973-1337879062 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687973-1337879062.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: 1.92 1.98 1.99 2/193 22347 /proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22347/stat : 22347 (java) D 22345 22347 21479 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254032938 9515008 183 33554432000 1073741824 1073778376 140733847192896 140733847183928 271787572917 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2323 183 140 9 0 71 0 [startup+0.016711 s] /proc/loadavg: 1.92 1.98 1.99 2/193 22347 /proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=101528 CPUtime=0 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 254032938 103964672 1053 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 25382 1053 806 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.100229 s] /proc/loadavg: 1.92 1.98 1.99 2/193 22347 /proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 4155 0 1 0 8 1 0 0 20 0 18 0 254032938 9787813888 5351 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2389603 5351 2080 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300173 s] /proc/loadavg: 1.92 1.98 1.99 2/193 22347 /proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9558412 CPUtime=0.48 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 5981 0 1 0 46 2 0 0 20 0 18 0 254032938 9787813888 9699 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2389603 9699 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558412 [startup+0.700173 s] /proc/loadavg: 1.92 1.98 1.99 2/193 22347 /proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=1.34 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8213 0 1 0 131 3 0 0 20 0 19 0 254032938 9855975424 15176 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 15176 2252 9 0 2396937 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9624976 [startup+1.50076 s] /proc/loadavg: 1.92 1.98 1.99 3/212 22366 /proc/meminfo: memFree=28457128/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=2.28 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8871 0 1 0 225 3 0 0 20 0 19 0 254032938 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 19791 2258 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1.47 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2480 0 1 0 145 2 0 0 20 0 19 0 254032939 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914143140304 139914012864982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.41 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3007 0 0 0 41 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2182 0 0 0 36 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 9624976 [startup+3.10075 s] /proc/loadavg: 1.92 1.98 1.99 3/212 22366 /proc/meminfo: memFree=28436284/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=3.92 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8966 0 1 0 388 4 0 0 20 0 19 0 254032938 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 27002 2283 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=3.04 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2490 0 1 0 302 2 0 0 20 0 19 0 254032939 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914143142264 139914012957046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3011 0 0 0 43 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2209 0 0 0 37 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9624976 [startup+6.30075 s] /proc/loadavg: 1.93 1.98 1.99 3/212 22366 /proc/meminfo: memFree=28348968/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=7.26 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 9453 0 1 0 715 11 0 0 20 0 19 0 254032938 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 45225 2283 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=6.19 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2498 0 1 0 616 3 0 0 20 0 19 0 254032939 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914143142408 139914012864813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 141 0 0 0 0 2 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 100 0 0 0 0 1 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 140 0 0 0 0 2 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3011 0 0 0 44 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2209 0 0 0 39 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.26 Current children cumulated vsize (KiB) 9624976 [startup+12.7008 s] ################ # More data... # ################ [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=2.55 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 991 0 0 0 225 30 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.24 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 797 0 0 0 193 31 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.52 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1148 0 0 0 215 37 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=5.89 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4207 0 0 0 584 5 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 95 0 0 0 32 33 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1677.72 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.03 3/214 22442 /proc/meminfo: memFree=24979248/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=1738.35 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 26367 0 1 0 173517 318 0 0 20 0 19 0 254032938 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 806304 2284 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1710.62 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3601 0 1 0 171021 41 0 0 20 0 19 0 254032939 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914012957039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.55 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1240 0 0 0 217 38 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.63 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1450 0 0 0 223 40 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.43 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 901 0 0 0 213 30 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1372 0 0 0 230 32 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.45 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1017 0 0 0 209 36 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1002 0 0 0 234 31 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.36 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 843 0 0 0 205 31 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.59 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1148 0 0 0 222 37 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.15 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4261 0 0 0 610 5 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 99 0 0 0 33 34 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1738.35 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.27 2.16 2.06 3/213 22442 /proc/meminfo: memFree=24664040/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=1799.71 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 27153 0 1 0 179624 347 0 0 20 0 19 0 254032938 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 875143 2284 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1770.08 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3605 0 1 0 176966 42 0 0 20 0 19 0 254032939 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914013022310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.76 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1304 0 0 0 235 41 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1518 0 0 0 242 43 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 977 0 0 0 229 33 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.79 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1409 0 0 0 245 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1135 0 0 0 227 38 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=3.01 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1083 0 0 0 264 37 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.57 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 938 0 0 0 223 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1244 0 0 0 243 42 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.23 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4404 0 0 0 618 5 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.6 s] /proc/loadavg: 2.27 2.16 2.06 3/213 22442 /proc/meminfo: memFree=24664040/32873648 swapFree=6844/6844 [pid=22347] ppid=22345 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6 /proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 27153 0 1 0 179655 347 0 0 20 0 19 0 254032938 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22347/statm: 2406244 875143 2284 9 0 2396937 0 [pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1770.38 cores=0,2,4,6 /proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3605 0 1 0 176996 42 0 0 20 0 19 0 254032939 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914012886138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.76 cores=0,2,4,6 /proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1304 0 0 0 235 41 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1518 0 0 0 242 43 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6 /proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 977 0 0 0 229 33 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.79 cores=0,2,4,6 /proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1409 0 0 0 245 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6 /proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1135 0 0 0 227 38 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=3.01 cores=0,2,4,6 /proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1083 0 0 0 264 37 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.57 cores=0,2,4,6 /proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 938 0 0 0 223 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1244 0 0 0 243 42 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.23 cores=0,2,4,6 /proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4404 0 0 0 618 5 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1782.67 CPU time (s): 1800.83 CPU user time (s): 1796.84 CPU system time (s): 3.99239 CPU usage (%): 101.019 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.84 system time used= 3.99239 maximum resident set size= 3500692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27188 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40346 involuntary context switches= 28615 runsolver used 9.32858 second user time and 12.1352 second system time The end
Begin job on node115 at 2012-05-24 19:04:22 IDJOB=3687973 IDBENCH=2519 IDSOLVER=2269 FILE ID=node115/3687973-1337879062 RUNJOBID= node115-1337871882-21495 PBS_JOBID= 14620089 Free space on /tmp= 71648 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687973-1337879062/watcher-3687973-1337879062 -o /tmp/evaluation-result-3687973-1337879062/solver-3687973-1337879062 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687973-1337879062.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63 RANDOM SEED=1516854087 node115.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 : 2666.462 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 : 5332.92 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 : 2666.462 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 : 2666.462 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.92 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 : 2666.462 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.91 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 : 2666.462 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.92 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 : 2666.462 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 : 2666.462 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 : 2666.462 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: 32873648 kB MemFree: 28515772 kB Buffers: 198964 kB Cached: 2821412 kB SwapCached: 0 kB Active: 1454344 kB Inactive: 2140208 kB Active(anon): 576888 kB Inactive(anon): 0 kB Active(file): 877456 kB Inactive(file): 2140208 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 581100 kB Mapped: 22360 kB Shmem: 200 kB Slab: 624044 kB SReclaimable: 68516 kB SUnreclaim: 555528 kB KernelStack: 1592 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 786844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 548864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node115 at 2012-05-24 19:34:06