Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 28 | 1800.44 | 927.238 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
| MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 6.30604 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6080 |
| Total number of constraints | 18113 |
| Number of constraints which are clauses | 18113 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 125 |
| Number of terms in the objective function | 2975 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2975 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2975 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c ManyCore solver with 2 solvers running in parallel 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1786e64 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2808b3 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.21 c No reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 0.24/0.21 c solving HOME/instance-2662059-1276635841.opb 0.24/0.21 c reading problem ... 2.06/1.24 c ... done. Wall clock time 1.022s. 2.06/1.24 c #vars 6080 2.06/1.24 c #constraints 18113 2.06/1.24 c constraints type 2.06/1.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 2.06/1.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 2.06/1.24 c constraints type 2.06/1.24 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 2.06/1.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 3.06/1.74 c And the winner is Resolution 3.46/2.32 c SATISFIABLE 3.46/2.32 c OPTIMIZING... 3.46/2.32 c Got one! Elapsed wall clock time (in seconds):2.104 3.46/2.32 o 37 3.63/2.47 c And the winner is Resolution 3.82/3.41 c Got one! Elapsed wall clock time (in seconds):3.194 3.82/3.41 o 36 4.20/3.65 c And the winner is Resolution 4.61/4.51 c Got one! Elapsed wall clock time (in seconds):4.299 4.61/4.51 o 33 5.01/4.79 c And the winner is Resolution 5.21/5.65 c Got one! Elapsed wall clock time (in seconds):5.435 5.21/5.65 o 32 5.92/6.00 c And the winner is Resolution 6.00/6.69 c Got one! Elapsed wall clock time (in seconds):6.475 6.00/6.69 o 31 6.44/6.91 c And the winner is Resolution 6.52/7.72 c Got one! Elapsed wall clock time (in seconds):7.509 6.52/7.72 o 30 12.04/10.55 c cleaning 2496 clauses out of 5000 with flag 5000/5000 21.51/15.31 c cleaning 4242 clauses out of 8504 with flag 11000/11000 30.97/20.19 c cleaning 5623 clauses out of 11262 with flag 18000/18000 42.42/25.93 c cleaning 6813 clauses out of 13639 with flag 26000/26000 55.24/32.49 c cleaning 7907 clauses out of 15827 with flag 35001/35001 70.44/40.11 c cleaning 8954 clauses out of 17919 with flag 45000/45000 87.02/48.53 c cleaning 9975 clauses out of 19965 with flag 56000/56000 104.55/57.42 c cleaning 10994 clauses out of 21991 with flag 68001/68001 125.25/67.95 c cleaning 11991 clauses out of 23997 with flag 81001/81001 131.88/71.38 c And the winner is Resolution 132.29/71.96 c Got one! Elapsed wall clock time (in seconds):71.743 132.29/71.96 o 29 143.48/77.69 c cleaning 12991 clauses out of 26005 with flag 95000/95000 164.93/88.54 c cleaning 13999 clauses out of 28014 with flag 110000/110000 189.12/100.82 c cleaning 15001 clauses out of 30015 with flag 126000/126000 212.11/112.52 c cleaning 16002 clauses out of 32015 with flag 143001/143001 236.30/124.83 c cleaning 17000 clauses out of 34012 with flag 161000/161000 261.32/137.56 c cleaning 17498 clauses out of 35012 with flag 179000/179000 263.85/138.97 c And the winner is Resolution 264.10/139.15 c Got one! Elapsed wall clock time (in seconds):138.938 264.10/139.15 o 28 284.03/149.21 c cleaning 17749 clauses out of 35514 with flag 197000/197000 310.69/162.84 c cleaning 17873 clauses out of 35765 with flag 215000/215000 338.02/176.78 c cleaning 17932 clauses out of 35892 with flag 233000/233000 363.54/189.77 c cleaning 17972 clauses out of 35960 with flag 251000/251000 387.12/201.70 c cleaning 17987 clauses out of 35988 with flag 269000/269000 412.16/214.54 c cleaning 17986 clauses out of 36001 with flag 287000/287000 439.40/228.44 c cleaning 18001 clauses out of 36015 with flag 305000/305000 462.93/240.45 c cleaning 17999 clauses out of 36014 with flag 323000/323000 489.95/254.28 c cleaning 17996 clauses out of 36015 with flag 341000/341000 516.25/267.72 c cleaning 17999 clauses out of 36019 with flag 359000/359000 541.48/280.61 c cleaning 17997 clauses out of 36020 with flag 377000/377000 565.03/292.67 c cleaning 18007 clauses out of 36024 with flag 395001/395001 589.88/305.36 c cleaning 17991 clauses out of 36017 with flag 413001/413001 615.60/318.56 c cleaning 18000 clauses out of 36025 with flag 431000/431000 639.89/330.96 c cleaning 18006 clauses out of 36025 with flag 449000/449000 664.93/343.75 c cleaning 18002 clauses out of 36019 with flag 467000/467000 689.58/356.39 c cleaning 18006 clauses out of 36017 with flag 485000/485000 714.31/369.03 c cleaning 17999 clauses out of 36011 with flag 503000/503000 739.54/381.99 c cleaning 17995 clauses out of 36013 with flag 521001/521001 767.11/396.09 c cleaning 18003 clauses out of 36017 with flag 539000/539000 794.27/409.90 c cleaning 17998 clauses out of 36014 with flag 557000/557000 820.39/423.34 c cleaning 17998 clauses out of 36016 with flag 575000/575000 847.18/437.04 c cleaning 18002 clauses out of 36018 with flag 593000/593000 871.40/449.46 c cleaning 17999 clauses out of 36016 with flag 611000/611000 896.00/462.04 c cleaning 17999 clauses out of 36017 with flag 629000/629000 918.50/473.64 c cleaning 18006 clauses out of 36019 with flag 647001/647001 943.33/486.32 c cleaning 17997 clauses out of 36012 with flag 665000/665000 966.81/498.33 c cleaning 17997 clauses out of 36015 with flag 683000/683000 988.65/509.51 c cleaning 17998 clauses out of 36018 with flag 701000/701000 1012.36/521.72 c cleaning 17997 clauses out of 36020 with flag 719000/719000 1037.21/534.45 c cleaning 18003 clauses out of 36023 with flag 737000/737000 1064.03/548.14 c cleaning 17999 clauses out of 36020 with flag 755000/755000 1091.61/562.28 c cleaning 18006 clauses out of 36022 with flag 773001/773001 1119.45/576.51 c cleaning 18001 clauses out of 36015 with flag 791000/791000 1144.03/589.13 c cleaning 17997 clauses out of 36015 with flag 809001/809001 1168.04/601.46 c cleaning 17996 clauses out of 36017 with flag 827000/827000 1192.98/614.27 c cleaning 17997 clauses out of 36021 with flag 845000/845000 1220.30/628.40 c cleaning 18002 clauses out of 36024 with flag 863000/863000 1246.01/641.57 c cleaning 17997 clauses out of 36022 with flag 881000/881000 1269.78/653.71 c cleaning 18011 clauses out of 36025 with flag 899000/899000 1293.93/666.14 c cleaning 17998 clauses out of 36014 with flag 917000/917000 1320.03/679.64 c cleaning 18002 clauses out of 36016 with flag 935000/935000 1345.90/692.99 c cleaning 17999 clauses out of 36014 with flag 953000/953000 1372.34/706.56 c cleaning 17999 clauses out of 36016 with flag 971001/971001 1399.21/720.37 c cleaning 18003 clauses out of 36017 with flag 989001/989001 1426.29/734.32 c cleaning 18001 clauses out of 36015 with flag 1007002/1007002 1451.14/747.10 c cleaning 18001 clauses out of 36013 with flag 1025001/1025001 1477.98/760.90 c cleaning 17997 clauses out of 36014 with flag 1043003/1043003 1504.40/774.59 c cleaning 17997 clauses out of 36014 with flag 1061000/1061000 1532.42/789.07 c cleaning 17994 clauses out of 36018 with flag 1079001/1079001 1558.23/802.38 c cleaning 18006 clauses out of 36025 with flag 1097002/1097002 1583.10/815.13 c cleaning 18000 clauses out of 36018 with flag 1115001/1115001 1608.10/828.07 c cleaning 18002 clauses out of 36017 with flag 1133000/1133000 1633.36/841.18 c cleaning 18005 clauses out of 36016 with flag 1151001/1151001 1659.19/854.47 c cleaning 17997 clauses out of 36011 with flag 1169001/1169001 1687.95/869.25 c cleaning 17997 clauses out of 36013 with flag 1187000/1187000 1719.49/885.44 c cleaning 17994 clauses out of 36016 with flag 1205000/1205000 1750.62/901.52 c cleaning 18002 clauses out of 36022 with flag 1223000/1223000 1780.79/917.05 c cleaning 18003 clauses out of 36020 with flag 1241000/1241000 1800.03/927.02 c starts : 198 1800.03/927.02 c conflicts : 1252713 1800.03/927.02 c decisions : 4178313 1800.03/927.02 c propagations : 1649027847 1800.03/927.02 c inspects : 1807845525 1800.03/927.02 c learnt literals : 0 1800.03/927.02 c learnt binary clauses : 0 1800.03/927.02 c learnt ternary clauses : 2 1800.03/927.02 c learnt clauses : 1252712 1800.03/927.02 c ignored clauses : 0 1800.03/927.02 c root simplifications : 0 1800.03/927.02 c removed literals (reason simplification) : 1644948 1800.03/927.02 c reason swapping (by a shorter reason) : 0 1800.03/927.02 c Calls to reduceDB : 74 1800.03/927.02 c number of reductions to clauses (during analyze) : 0 1800.03/927.02 c number of learned constraints concerned by reduction : 0 1800.03/927.02 c number of learning phase by resolution : 0 1800.03/927.02 c number of learning phase by cutting planes : 0 1800.03/927.02 c speed (assignments/second) : 2093046.7938466226 1800.03/927.02 c non guided choices 11828 1800.03/927.09 c learnt constraints type 1800.03/927.09 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 29799 1800.03/927.09 c constraints type 1800.03/927.09 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1800.03/927.09 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.03/927.09 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1800.03/927.09 c constraints type 1800.03/927.09 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 1800.03/927.10 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1800.03/927.10 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.03/927.10 s SATISFIABLE 1800.24/927.12 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 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 x6080 1800.24/927.14 c objective function=28 1800.24/927.14 c Total wall clock time (in seconds): 926.927
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662059-1276635841/watcher-2662059-1276635841 -o /tmp/evaluation-result-2662059-1276635841/solver-2662059-1276635841 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662059-1276635841.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11665 /proc/meminfo: memFree=1815292/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1832 CPUtime=0 /proc/11665/stat : 11665 (java6) R 11663 11665 11111 0 -1 4194304 252 0 0 0 0 0 0 0 19 0 1 0 4879206 1875968 154 1992294400 134512640 134550932 4293127248 18446744073709551615 9447632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11665/statm: 458 156 119 10 0 63 0 [startup+0.0807201 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11665 /proc/meminfo: memFree=1815292/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1521796 CPUtime=0.06 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 3777 0 1 0 4 2 0 0 18 0 7 0 4879206 1558319104 3218 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 380449 3218 1040 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.10172 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11665 /proc/meminfo: memFree=1815292/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1525204 CPUtime=0.08 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 3956 0 1 0 5 3 0 0 18 0 12 0 4879206 1561808896 3395 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 381301 3395 1075 10 0 378604 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1525204 [startup+0.300129 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11665 /proc/meminfo: memFree=1815292/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1526660 CPUtime=0.38 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 5447 0 1 0 34 4 0 0 18 0 12 0 4879206 1563299840 4884 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 381665 4884 1361 10 0 378968 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526660 [startup+0.700129 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11665 /proc/meminfo: memFree=1815292/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1528232 CPUtime=1.08 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 7395 0 1 0 103 5 0 0 18 0 12 0 4879206 1564909568 6761 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 382058 6761 1399 10 0 379361 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1528232 [startup+1.50113 s] /proc/loadavg: 0.92 0.98 0.99 5/118 11677 /proc/meminfo: memFree=1777192/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1538452 CPUtime=2.66 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 19628 0 1 0 255 11 0 0 18 0 14 0 4879206 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384613 18119 1420 10 0 381916 0 [pid=11665/tid=11667] ppid=11663 vsize=1538452 CPUtime=1.17 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 12968 0 1 0 109 8 0 0 20 0 14 0 4879207 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 4879209 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 14 0 4879209 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 4879211 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 4879211 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 14 0 4879211 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 4879215 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1538452 CPUtime=0.86 /proc/11665/task/11674/stat : 11674 (java) R 11663 11665 11111 0 -1 4202560 1814 0 0 0 86 0 0 0 16 0 14 0 4879215 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 106251286 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1538452 CPUtime=0.35 /proc/11665/task/11675/stat : 11675 (java) R 11663 11665 11111 0 -1 4202560 2646 0 0 0 34 1 0 0 18 0 14 0 4879215 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 106262405 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 4879216 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1538452 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 4879216 1575374848 18119 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 1538452 [startup+3.10113 s] /proc/loadavg: 0.92 0.98 0.99 1/120 11681 /proc/meminfo: memFree=1745060/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1539536 CPUtime=3.8 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 22417 0 1 0 367 13 0 0 18 0 14 0 4879206 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384884 20474 1432 10 0 382187 0 [pid=11665/tid=11667] ppid=11663 vsize=1539536 CPUtime=1.22 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 13253 0 1 0 114 8 0 0 19 0 14 0 4879207 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 4879209 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 14 0 4879209 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 4879211 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 4879211 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 14 0 4879211 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 4879215 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1539536 CPUtime=1.36 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2128 0 0 0 135 1 0 0 16 0 14 0 4879215 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1539536 CPUtime=0.62 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 2908 0 0 0 61 1 0 0 16 0 14 0 4879215 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 4879216 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 4879216 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 4879360 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1539536 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 14 0 4879368 1576484864 20474 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 1539536 [startup+6.30113 s] /proc/loadavg: 0.85 0.97 0.99 1/120 11687 /proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1538252 CPUtime=6 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 29050 0 1 0 585 15 0 0 18 0 14 0 4879206 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384563 26616 1434 10 0 381866 0 [pid=11665/tid=11667] ppid=11663 vsize=1538252 CPUtime=1.31 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14047 0 1 0 123 8 0 0 19 0 14 0 4879207 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 4879209 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 14 0 4879209 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 14 0 4879211 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 4879211 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 14 0 4879211 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 4879215 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1538252 CPUtime=1.87 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2291 0 0 0 186 1 0 0 16 0 14 0 4879215 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1538252 CPUtime=1.11 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 2938 0 0 0 110 1 0 0 15 0 14 0 4879215 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 4879216 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 4879216 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 4879360 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 14 0 4879368 1575170048 26616 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6 Current children cumulated vsize (KiB) 1538252 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 3/122 11693 /proc/meminfo: memFree=1635180/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1538252 CPUtime=16.35 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 48951 0 1 0 1611 24 0 0 18 0 16 0 4879206 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384563 46226 1448 10 0 381866 0 [pid=11665/tid=11667] ppid=11663 vsize=1538252 CPUtime=1.35 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14575 0 1 0 127 8 0 0 18 0 16 0 4879207 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1538252 CPUtime=0.17 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 3564 0 0 0 15 2 0 0 15 0 16 0 4879209 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1538252 CPUtime=0.17 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 3468 0 0 0 16 1 0 0 16 0 16 0 4879209 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1538252 CPUtime=0.06 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 376 0 0 0 6 0 0 0 15 0 16 0 4879211 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 4879211 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 4879211 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4879215 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1538252 CPUtime=2.13 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2300 0 0 0 212 1 0 0 15 0 16 0 4879215 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1538252 CPUtime=1.37 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 2951 0 0 0 136 1 0 0 15 0 16 0 4879215 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4879216 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 4879216 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 4879360 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1538252 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 4879368 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11692] ppid=11663 vsize=1538252 CPUtime=4.54 /proc/11665/task/11692/stat : 11692 (java) R 11663 11665 11111 0 -1 4202560 758 0 0 0 454 0 0 0 25 0 16 0 4879979 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4109445186 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11665/tid=11693] ppid=11663 vsize=1538252 CPUtime=4.52 /proc/11665/task/11693/stat : 11693 (java) R 11663 11665 11111 0 -1 4202560 9245 0 0 0 449 3 0 0 25 0 16 0 4879979 1575170048 46226 1992294400 134512640 134550932 4288834800 18446744073709551615 4109780946 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.35 Current children cumulated vsize (KiB) 1538252 [startup+25.5011 s] /proc/loadavg: 1.17 1.03 1.01 3/122 11693 /proc/meminfo: memFree=1618688/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1539276 CPUtime=41.62 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 53440 0 1 0 4135 27 0 0 18 0 16 0 4879206 1576218624 50216 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ /proc/11665/statm: 384819 95109 1452 10 0 382122 0 [pid=11665/tid=11667] ppid=11663 vsize=1539276 CPUtime=1.39 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14585 0 1 0 131 8 0 0 15 0 16 0 4879207 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1539276 CPUtime=10.49 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 28118 0 0 0 1026 23 0 0 16 0 16 0 4879209 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1539276 CPUtime=10.48 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 30460 0 0 0 1026 22 0 0 15 0 16 0 4879209 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1539276 CPUtime=23.2 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 1596 0 0 0 2299 21 0 0 16 0 16 0 4879211 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4879215 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1539276 CPUtime=2.41 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2300 0 0 0 240 1 0 0 16 0 16 0 4879215 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1539276 CPUtime=2.18 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 4640 0 0 0 216 2 0 0 15 0 16 0 4879215 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4879216 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 16 0 4879216 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 4879360 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 4879368 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11700] ppid=11663 vsize=1539276 CPUtime=588.45 /proc/11665/task/11700/stat : 11700 (java) R 11663 11665 11111 0 -1 4202560 818 0 0 0 58827 18 0 0 22 0 16 0 4893122 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4109266611 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11665/tid=11701] ppid=11663 vsize=1539276 CPUtime=588.21 /proc/11665/task/11701/stat : 11701 (java) R 11663 11665 11111 0 -1 4202560 293 0 0 0 58810 11 0 0 21 0 16 0 4893122 1576218624 95109 1992294400 134512640 134550932 4288834800 18446744073709551615 4109626271 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1480.2 Current children cumulated vsize (KiB) 1539276 [startup+822.301 s] /proc/loadavg: 1.97 1.97 1.59 3/122 11719 /proc/meminfo: memFree=1422768/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1539276 CPUtime=1596.8 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 109734 0 1 0 159550 130 0 0 18 0 16 0 4879206 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384819 98986 1452 10 0 382122 0 [pid=11665/tid=11667] ppid=11663 vsize=1539276 CPUtime=1.4 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14586 0 1 0 132 8 0 0 15 0 16 0 4879207 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1539276 CPUtime=11.66 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 30378 0 0 0 1142 24 0 0 16 0 16 0 4879209 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1539276 CPUtime=11.66 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 32545 0 0 0 1143 23 0 0 16 0 16 0 4879209 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1539276 CPUtime=25.8 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 1600 0 0 0 2558 22 0 0 15 0 16 0 4879211 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4879215 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1539276 CPUtime=2.41 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2300 0 0 0 240 1 0 0 16 0 16 0 4879215 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1539276 CPUtime=2.18 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 4640 0 0 0 216 2 0 0 15 0 16 0 4879215 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4879216 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 4879216 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 4879360 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 4879368 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11700] ppid=11663 vsize=1539276 CPUtime=644.62 /proc/11665/task/11700/stat : 11700 (java) R 11663 11665 11111 0 -1 4202560 876 0 0 0 64442 20 0 0 25 0 16 0 4893122 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4109423855 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11665/tid=11701] ppid=11663 vsize=1539276 CPUtime=643.68 /proc/11665/task/11701/stat : 11701 (java) R 11663 11665 11111 0 -1 4202560 329 0 0 0 64356 12 0 0 25 0 16 0 4893122 1576218624 98986 1992294400 134512640 134550932 4288834800 18446744073709551615 4109746681 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1596.8 Current children cumulated vsize (KiB) 1539276 [startup+882.301 s] /proc/loadavg: 1.99 1.97 1.61 3/122 11721 /proc/meminfo: memFree=1416568/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1539276 CPUtime=1713.34 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 111298 0 1 0 171197 137 0 0 18 0 16 0 4879206 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384819 100377 1452 10 0 382122 0 [pid=11665/tid=11667] ppid=11663 vsize=1539276 CPUtime=1.4 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14587 0 1 0 132 8 0 0 15 0 16 0 4879207 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1539276 CPUtime=12.74 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 31205 0 0 0 1248 26 0 0 16 0 16 0 4879209 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1539276 CPUtime=12.72 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 33162 0 0 0 1247 25 0 0 15 0 16 0 4879209 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1539276 CPUtime=28.41 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 1604 0 0 0 2818 23 0 0 15 0 16 0 4879211 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4879215 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1539276 CPUtime=2.41 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2300 0 0 0 240 1 0 0 16 0 16 0 4879215 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1539276 CPUtime=2.18 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 4640 0 0 0 216 2 0 0 15 0 16 0 4879215 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4879216 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 4879216 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 4879360 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 4879368 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11700] ppid=11663 vsize=1539276 CPUtime=700.66 /proc/11665/task/11700/stat : 11700 (java) R 11663 11665 11111 0 -1 4202560 965 0 0 0 70044 22 0 0 25 0 16 0 4893122 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4109284258 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11665/tid=11701] ppid=11663 vsize=1539276 CPUtime=699.43 /proc/11665/task/11701/stat : 11701 (java) R 11663 11665 11111 0 -1 4202560 351 0 0 0 69931 12 0 0 25 0 16 0 4893122 1576218624 100377 1992294400 134512640 134550932 4288834800 18446744073709551615 4109776981 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1713.34 Current children cumulated vsize (KiB) 1539276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+927.002 s] /proc/loadavg: 1.99 1.97 1.63 3/122 11721 /proc/meminfo: memFree=1415576/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=1539276 CPUtime=1800.03 /proc/11665/stat : 11665 (java) S 11663 11665 11111 0 -1 4202496 111586 0 1 0 179861 142 0 0 18 0 16 0 4879206 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 384819 100571 1452 10 0 382122 0 [pid=11665/tid=11667] ppid=11663 vsize=1539276 CPUtime=1.4 /proc/11665/task/11667/stat : 11667 (java) S 11663 11665 11111 0 -1 4202560 14589 0 1 0 132 8 0 0 15 0 16 0 4879207 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11668] ppid=11663 vsize=1539276 CPUtime=13.6 /proc/11665/task/11668/stat : 11668 (java) S 11663 11665 11111 0 -1 4202560 31312 0 0 0 1334 26 0 0 16 0 16 0 4879209 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11669] ppid=11663 vsize=1539276 CPUtime=13.59 /proc/11665/task/11669/stat : 11669 (java) S 11663 11665 11111 0 -1 4202560 33256 0 0 0 1333 26 0 0 16 0 16 0 4879209 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11670] ppid=11663 vsize=1539276 CPUtime=30.5 /proc/11665/task/11670/stat : 11670 (java) S 11663 11665 11111 0 -1 4202560 1606 0 0 0 3026 24 0 0 15 0 16 0 4879211 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 0 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11671] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11671/stat : 11671 (java) S 11663 11665 11111 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11672] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11672/stat : 11672 (java) S 11663 11665 11111 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 4879211 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11673] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11673/stat : 11673 (java) S 11663 11665 11111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4879215 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11674] ppid=11663 vsize=1539276 CPUtime=2.41 /proc/11665/task/11674/stat : 11674 (java) S 11663 11665 11111 0 -1 4202560 2300 0 0 0 240 1 0 0 16 0 16 0 4879215 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11675] ppid=11663 vsize=1539276 CPUtime=2.18 /proc/11665/task/11675/stat : 11675 (java) S 11663 11665 11111 0 -1 4202560 4640 0 0 0 216 2 0 0 15 0 16 0 4879215 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11676] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11676/stat : 11676 (java) S 11663 11665 11111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4879216 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11677] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11677/stat : 11677 (java) S 11663 11665 11111 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 4879216 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 0 0 0 0 [pid=11665/tid=11680] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11680/stat : 11680 (java) S 11663 11665 11111 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 4879360 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11681] ppid=11663 vsize=1539276 CPUtime=0 /proc/11665/task/11681/stat : 11681 (java) S 11663 11665 11111 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 4879368 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4294960144 0 4 0 16800975 18446604437852646400 0 0 -1 1 0 0 0 [pid=11665/tid=11700] ppid=11663 vsize=1539276 CPUtime=742.18 /proc/11665/task/11700/stat : 11700 (java) R 11663 11665 11111 0 -1 4202560 1033 0 0 0 74194 24 0 0 25 0 16 0 4893122 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4109415884 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11665/tid=11701] ppid=11663 vsize=1539276 CPUtime=740.78 /proc/11665/task/11701/stat : 11701 (java) R 11663 11665 11111 0 -1 4202560 364 0 0 0 74065 13 0 0 25 0 16 0 4893122 1576218624 100571 1992294400 134512640 134550932 4288834800 18446744073709551615 4109776801 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1539276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+927.203 s] /proc/loadavg: 1.99 1.97 1.63 2/109 11724 /proc/meminfo: memFree=1466780/2059040 swapFree=4192956/4192956 [pid=11665] ppid=11663 vsize=0 CPUtime=1800.41 /proc/11665/stat : 11665 (java) Z 11663 11665 11111 0 -1 4203548 111611 0 1 0 179898 143 0 0 16 0 2 0 4879206 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11665/statm: 0 0 0 0 0 0 0 [pid=11665/tid=11701] ppid=11663 vsize=0 CPUtime=740.93 /proc/11665/task/11701/stat : 11701 (java) R 11663 11665 11111 0 -1 4203588 364 0 0 0 74079 14 0 0 25 0 2 0 4893122 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 927.238 CPU time (s): 1800.44 CPU user time (s): 1798.98 CPU system time (s): 1.46078 CPU usage (%): 194.173 Max. virtual memory (cumulated for all children) (KiB): 1541324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.46078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111611 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39109 involuntary context switches= 57665 runsolver used 4.54231 second user time and 8.25075 second system time The end
Begin job on node033 at 2010-06-15 23:04:01 IDJOB=2662059 IDBENCH=24996 IDSOLVER=1166 FILE ID=node033/2662059-1276635841 PBS_JOBID= 11172365 Free space on /tmp= 62588 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662059-1276635841/watcher-2662059-1276635841 -o /tmp/evaluation-result-2662059-1276635841/solver-2662059-1276635841 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662059-1276635841.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1016624345 node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1815812 kB Buffers: 11956 kB Cached: 106432 kB SwapCached: 0 kB Active: 72512 kB Inactive: 105936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1815812 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 868 kB Writeback: 0 kB AnonPages: 60048 kB Mapped: 15444 kB Slab: 42988 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182244 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62588 MiB End job on node033 at 2010-06-15 23:19:30