Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 25 | 1800.6 | 948.556 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
| 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 | 21 |
| Best CPU time to get the best result obtained on this benchmark | 266.663 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | NO |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3688458-1337877693.opb 0.10/0.11 c reading problem ... 1.09/0.58 c ... done. Wall clock time 0.47s. 1.09/0.58 c declared #vars 6076 1.09/0.58 c #constraints 21401 1.09/0.58 c constraints type 1.09/0.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1.09/0.58 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.09/0.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1.09/0.58 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.09/0.58 c 21401 constraints processed. 1.09/0.58 c constraints type 1.09/0.58 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1.09/0.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1.09/0.58 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.09/0.58 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.09/0.58 c 21401 constraints processed. 1.09/0.58 c objective function length is 666 literals 1.40/0.67 c And the winner is solver0 2.04/1.09 c SATISFIABLE 2.04/1.09 c OPTIMIZING... 2.04/1.09 c Got one! Elapsed wall clock time (in seconds):0.975 2.04/1.09 o 26 6.64/2.99 c cleaning 2461 clauses out of 5003 with flag 5000/5003 10.98/5.00 c cleaning 4190 clauses out of 8542 with flag 11000/11003 15.76/7.45 c cleaning 5671 clauses out of 11352 with flag 18000/18003 21.75/10.47 c cleaning 6837 clauses out of 13681 with flag 26000/26003 28.29/13.77 c cleaning 7903 clauses out of 15844 with flag 35000/35003 35.39/17.31 c cleaning 8920 clauses out of 17941 with flag 45000/45003 43.67/21.53 c cleaning 9955 clauses out of 20022 with flag 56001/56004 52.34/25.93 c cleaning 11001 clauses out of 22068 with flag 68002/68005 62.70/31.25 c cleaning 12032 clauses out of 24065 with flag 81000/81003 73.99/36.95 c cleaning 13016 clauses out of 26033 with flag 95000/95003 86.45/43.25 c cleaning 13994 clauses out of 28017 with flag 110000/110003 99.64/49.96 c cleaning 15009 clauses out of 30023 with flag 126000/126003 113.96/57.23 c cleaning 16000 clauses out of 32015 with flag 143001/143004 129.02/64.76 c cleaning 16996 clauses out of 34015 with flag 161001/161004 143.56/72.14 c cleaning 17983 clauses out of 36018 with flag 180000/180003 160.34/80.63 c cleaning 18969 clauses out of 38035 with flag 200000/200003 178.19/89.83 c cleaning 20023 clauses out of 40066 with flag 221000/221003 197.06/99.40 c cleaning 21008 clauses out of 42044 with flag 243001/243004 219.49/111.26 c cleaning 22011 clauses out of 44036 with flag 266001/266004 240.68/122.24 c cleaning 23012 clauses out of 46024 with flag 290000/290003 263.31/133.83 c cleaning 23996 clauses out of 48012 with flag 315000/315003 286.58/145.86 c cleaning 24974 clauses out of 50016 with flag 341000/341003 310.83/158.36 c cleaning 25987 clauses out of 52042 with flag 368000/368003 334.86/171.07 c cleaning 27027 clauses out of 54056 with flag 396001/396004 340.10/174.17 c And the winner is solver1 340.33/174.65 c Got one! Elapsed wall clock time (in seconds):174.535 340.33/174.65 o 25 341.05/175.05 c cleaning 16094 clauses out of 32226 with flag 1000/401201 346.50/178.23 c cleaning 11066 clauses out of 22137 with flag 7005/407206 352.73/181.84 c cleaning 9023 clauses out of 18066 with flag 14000/414201 360.73/186.66 c cleaning 8518 clauses out of 17043 with flag 22000/422201 368.74/191.17 c cleaning 8763 clauses out of 17525 with flag 31000/431201 378.21/196.39 c cleaning 9350 clauses out of 18762 with flag 41000/441201 388.65/202.03 c cleaning 10164 clauses out of 20412 with flag 52000/452201 400.43/208.73 c cleaning 11110 clauses out of 22248 with flag 64000/464201 412.45/215.20 c cleaning 12072 clauses out of 24143 with flag 77005/477206 425.24/222.14 c cleaning 13010 clauses out of 26067 with flag 91001/491202 439.22/229.62 c cleaning 14003 clauses out of 28056 with flag 106000/506201 455.34/238.56 c cleaning 14965 clauses out of 30055 with flag 122002/522203 473.83/249.00 c cleaning 16033 clauses out of 32089 with flag 139001/539202 490.98/258.05 c cleaning 16998 clauses out of 34055 with flag 157000/557201 509.60/268.23 c cleaning 18016 clauses out of 36057 with flag 176000/576201 528.05/277.89 c cleaning 19018 clauses out of 38041 with flag 196000/596201 549.59/289.18 c cleaning 20011 clauses out of 40024 with flag 217001/617202 570.83/300.37 c cleaning 20991 clauses out of 42012 with flag 239000/639201 594.87/313.39 c cleaning 22002 clauses out of 44021 with flag 262000/662201 619.76/326.36 c cleaning 23002 clauses out of 46019 with flag 286000/686201 646.39/340.20 c cleaning 24003 clauses out of 48017 with flag 311000/711201 667.89/351.64 c cleaning 24916 clauses out of 50014 with flag 337000/737201 693.85/365.77 c cleaning 0 clauses out of 5801 with flag 0/5801 697.36/368.01 c cleaning 26028 clauses out of 52098 with flag 364000/764201 723.82/381.95 c cleaning 27032 clauses out of 54070 with flag 392000/792201 752.29/396.83 c cleaning 28012 clauses out of 56038 with flag 421000/821201 780.78/412.24 c cleaning 29005 clauses out of 58027 with flag 451001/851202 808.44/426.76 c cleaning 30004 clauses out of 60021 with flag 482000/882201 839.75/443.01 c cleaning 30969 clauses out of 62017 with flag 514000/914201 865.20/456.47 c cleaning 31997 clauses out of 64048 with flag 547000/947201 896.43/473.22 c cleaning 32996 clauses out of 66052 with flag 581001/981202 924.46/487.99 c cleaning 34007 clauses out of 68055 with flag 616000/1016201 950.28/501.55 c cleaning 34997 clauses out of 70048 with flag 652000/1052201 981.44/517.82 c cleaning 35984 clauses out of 72051 with flag 689000/1089201 1010.44/533.68 c cleaning 36973 clauses out of 74067 with flag 727000/1127201 1040.63/549.52 c cleaning 37982 clauses out of 76095 with flag 766001/1166202 1078.15/569.06 c cleaning 39049 clauses out of 78112 with flag 806000/1206201 1108.18/584.83 c cleaning 39990 clauses out of 80063 with flag 847000/1247201 1146.01/605.04 c cleaning 41033 clauses out of 82073 with flag 889000/1289201 1184.51/625.07 c cleaning 42012 clauses out of 84040 with flag 932000/1332201 1220.75/643.90 c cleaning 42991 clauses out of 86028 with flag 976000/1376201 1260.31/664.46 c cleaning 43957 clauses out of 88038 with flag 1021001/1421202 1303.39/687.36 c cleaning 44971 clauses out of 90080 with flag 1067000/1467201 1347.55/710.26 c cleaning 46020 clauses out of 92109 with flag 1114000/1514201 1391.92/733.21 c cleaning 46998 clauses out of 94089 with flag 1162000/1562201 1433.44/754.88 c cleaning 48025 clauses out of 96091 with flag 1211000/1611201 1482.12/780.60 c cleaning 49025 clauses out of 98067 with flag 1261001/1661202 1531.26/806.00 c cleaning 50017 clauses out of 100041 with flag 1312000/1712201 1582.04/832.26 c cleaning 50980 clauses out of 102024 with flag 1364000/1764201 1634.68/861.20 c cleaning 52010 clauses out of 104044 with flag 1417000/1817201 1682.08/885.74 c cleaning 52983 clauses out of 106035 with flag 1471001/1871202 1729.36/910.34 c cleaning 53985 clauses out of 108051 with flag 1526000/1926201 1781.60/937.45 c cleaning 55013 clauses out of 110068 with flag 1582002/1982203 1800.13/948.51 c starts : 36 1800.13/948.51 c conflicts : 9686 1800.13/948.51 c decisions : 136456 1800.13/948.51 c propagations : 2065202 1800.13/948.51 c inspects : 675822832 1800.13/948.51 c shortcuts : 0 1800.13/948.51 c learnt literals : 0 1800.13/948.51 c learnt binary clauses : 1 1800.13/948.51 c learnt ternary clauses : 0 1800.13/948.51 c learnt constraints : 9685 1800.13/948.51 c ignored constraints : 0 1800.13/948.51 c root simplifications : 0 1800.13/948.51 c removed literals (reason simplification) : 0 1800.13/948.51 c reason swapping (by a shorter reason) : 0 1800.13/948.51 c Calls to reduceDB : 1 1800.13/948.51 c number of reductions to clauses (during analyze) : 0 1800.13/948.51 c number of learned constraints concerned by reduction : 0 1800.13/948.51 c number of learning phase by resolution : 0 1800.13/948.51 c number of learning phase by cutting planes : 0 1800.13/948.51 c speed (assignments/second) : 2179.8213671262315 1800.13/948.51 c non guided choices 0 1800.13/948.51 c learnt constraints type 1800.13/948.51 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 131 1800.13/948.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6 1800.13/948.51 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.13/948.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9548 1800.13/948.51 c constraints type 1800.13/948.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1800.13/948.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.13/948.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1800.13/948.51 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1800.13/948.51 c 21402 constraints processed. 1800.13/948.51 c constraints type 1800.13/948.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1800.13/948.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1800.13/948.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.13/948.51 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1800.13/948.51 c 21402 constraints processed. 1800.13/948.51 s SATISFIABLE 1800.13/948.53 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 1800.13/948.54 c objective function=25 1800.13/948.54 c Total wall clock time (in seconds): 948.425
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688458-1337877693/watcher-3688458-1337877693 -o /tmp/evaluation-result-3688458-1337877693/solver-3688458-1337877693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688458-1337877693.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.06 4.00 3.87 4/197 24592 /proc/meminfo: memFree=25932780/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/24592/stat : 24592 (java) D 24590 24592 22184 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253895256 9515008 182 33554432000 1073741824 1073778376 140736419396848 140736419387880 226084339381 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/24592/statm: 2323 182 140 9 0 71 0 [startup+0.0828679 s] /proc/loadavg: 4.06 4.00 3.87 4/197 24592 /proc/meminfo: memFree=25932780/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9558412 CPUtime=0.05 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 3630 0 1 0 5 0 0 0 20 0 18 0 253895256 9787813888 4838 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2389603 4840 1932 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100209 s] /proc/loadavg: 4.06 4.00 3.87 4/197 24592 /proc/meminfo: memFree=25932780/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 4309 0 1 0 9 1 0 0 20 0 18 0 253895256 9787813888 5497 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2389603 5497 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300227 s] /proc/loadavg: 4.06 4.00 3.87 4/197 24592 /proc/meminfo: memFree=25932780/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9558412 CPUtime=0.5 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 5558 0 1 0 49 1 0 0 20 0 18 0 253895256 9787813888 8417 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2389603 8417 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.700188 s] /proc/loadavg: 4.06 4.00 3.87 4/197 24592 /proc/meminfo: memFree=25932780/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=1.75 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 17233 0 1 0 170 5 0 0 20 0 19 0 253895256 10060460032 27904 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 27904 2246 9 0 2446860 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 9824668 [startup+1.50065 s] /proc/loadavg: 3.97 3.98 3.86 3/216 24614 /proc/meminfo: memFree=25829404/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=3.62 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 21798 0 1 0 356 6 0 0 20 0 22 0 253895256 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 35792 2261 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.56 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2475 0 1 0 54 2 0 0 20 0 22 0 253895257 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253895259 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=1.03 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) R 24590 24592 22184 0 -1 4202560 10752 0 0 0 101 2 0 0 20 0 22 0 253895262 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645420542392 139646073821495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.02 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) R 24590 24592 22184 0 -1 4202560 7228 0 0 0 102 0 0 0 20 0 22 0 253895262 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645419489592 139646073015153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24614] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24614/stat : 24614 (java) S 24590 24592 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253895317 10060460032 35792 33554432000 1073741824 1073778376 140734029415696 139645413172520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 9824668 [startup+3.10074 s] /proc/loadavg: 3.97 3.98 3.86 5/219 24617 /proc/meminfo: memFree=25764776/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=7.06 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 21929 0 1 0 696 10 0 0 20 0 22 0 253895256 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 55137 2286 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.56 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2475 0 1 0 54 2 0 0 20 0 22 0 253895257 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 253895259 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=1.18 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) S 24590 24592 22184 0 -1 4202560 10756 0 0 0 116 2 0 0 20 0 22 0 253895262 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645420542392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.1 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) S 24590 24592 22184 0 -1 4202560 7232 0 0 0 110 0 0 0 20 0 22 0 253895262 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645419489592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24614] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24614/stat : 24614 (java) S 24590 24592 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253895317 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645413172520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24615] ppid=24590 vsize=9824668 CPUtime=1.9 cores=1,3,5,7 /proc/24592/task/24615/stat : 24615 (java) R 24590 24592 22184 0 -1 4202560 6 0 0 0 190 0 0 0 20 0 22 0 253895366 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645415277024 139645913227905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24616] ppid=24590 vsize=9824668 CPUtime=1.89 cores=1,3,5,7 /proc/24592/task/24616/stat : 24616 (java) R 24590 24592 22184 0 -1 4202560 64 0 0 0 187 2 0 0 20 0 22 0 253895366 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645416327456 139645913218649 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24617] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24617/stat : 24617 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895366 10060460032 55137 33554432000 1073741824 1073778376 140734029415696 139645414224808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.06 Current children cumulated vsize (KiB) 9824668 [startup+6.30073 s] /proc/loadavg: 3.97 3.98 3.87 5/219 24617 /proc/meminfo: memFree=25709852/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=13.53 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 21969 0 1 0 1341 12 0 0 20 0 22 0 253895256 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 59291 2287 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.56 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2477 0 1 0 54 2 0 0 20 0 22 0 253895257 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 253895258 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=0.13 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 43 0 0 0 13 0 0 0 20 0 22 0 253895259 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=1.21 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) S 24590 24592 22184 0 -1 4202560 10756 0 0 0 119 2 0 0 20 0 22 0 253895262 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645420542392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.19 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) S 24590 24592 22184 0 -1 4202560 7233 0 0 0 119 0 0 0 20 0 22 0 253895262 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645419489592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 59291 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=24592/tid=24695] ppid=24590 vsize=9824668 CPUtime=609.78 cores=1,3,5,7 /proc/24592/task/24695/stat : 24695 (java) R 24590 24592 22184 0 -1 4202560 42 0 0 0 60969 9 0 0 20 0 22 0 253912722 10060460032 684992 33554432000 1073741824 1073778376 140734029415696 139645415275680 139645913228877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24696] ppid=24590 vsize=9824668 CPUtime=609.72 cores=1,3,5,7 /proc/24592/task/24696/stat : 24696 (java) R 24590 24592 22184 0 -1 4202560 89 0 0 0 60963 9 0 0 20 0 22 0 253912722 10060460032 684992 33554432000 1073741824 1073778376 140734029415696 139645416328272 139645913347433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24697] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24697/stat : 24697 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912722 10060460032 684992 33554432000 1073741824 1073778376 140734029415696 139645413172776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1675.28 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.86 3.85 3.82 5/219 24706 /proc/meminfo: memFree=23430560/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=1787.72 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 41736 0 1 0 178586 186 0 0 20 0 22 0 253895256 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 721423 2288 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.61 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2521 0 1 0 57 4 0 0 20 0 22 0 253895257 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=4.17 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 902 0 0 0 403 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 1381 0 0 0 357 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 857 0 0 0 357 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 1046 0 0 0 359 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=4.09 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 906 0 0 0 396 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=3.89 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 1013 0 0 0 378 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=3.95 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 827 0 0 0 381 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=3.75 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 760 0 0 0 361 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=112.76 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 5018 0 0 0 11241 35 0 0 20 0 22 0 253895259 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=2.53 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) S 24590 24592 22184 0 -1 4202560 16702 0 0 0 250 3 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645420542392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) S 24590 24592 22184 0 -1 4202560 7237 0 0 0 136 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645419489592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24617] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24617/stat : 24617 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895366 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645414224808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24695] ppid=24590 vsize=9824668 CPUtime=660.9 cores=1,3,5,7 /proc/24592/task/24695/stat : 24695 (java) R 24590 24592 22184 0 -1 4202560 47 0 0 0 66080 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645415276640 139645913310117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24696] ppid=24590 vsize=9824668 CPUtime=660.82 cores=1,3,5,7 /proc/24592/task/24696/stat : 24696 (java) R 24590 24592 22184 0 -1 4202560 92 0 0 0 66072 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645416328448 139645913176949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24697] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24697/stat : 24697 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645413172776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.72 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+948.501 s] /proc/loadavg: 3.87 3.85 3.82 5/219 24706 /proc/meminfo: memFree=23387180/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 41736 0 1 0 179827 186 0 0 20 0 22 0 253895256 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 721423 2288 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.61 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2521 0 1 0 57 4 0 0 20 0 22 0 253895257 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=4.17 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 902 0 0 0 403 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 1381 0 0 0 357 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 857 0 0 0 357 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 1046 0 0 0 359 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=4.09 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 906 0 0 0 396 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=3.89 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 1013 0 0 0 378 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=3.95 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 827 0 0 0 381 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=3.75 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 760 0 0 0 361 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=112.76 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 5018 0 0 0 11241 35 0 0 20 0 22 0 253895259 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=2.53 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) S 24590 24592 22184 0 -1 4202560 16702 0 0 0 250 3 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645420542392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) S 24590 24592 22184 0 -1 4202560 7237 0 0 0 136 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645419489592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24617] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24617/stat : 24617 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895366 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645414224808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24695] ppid=24590 vsize=9824668 CPUtime=667.11 cores=1,3,5,7 /proc/24592/task/24695/stat : 24695 (java) R 24590 24592 22184 0 -1 4202560 47 0 0 0 66701 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645415276640 139645912618924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24696] ppid=24590 vsize=9824668 CPUtime=667.03 cores=1,3,5,7 /proc/24592/task/24696/stat : 24696 (java) R 24590 24592 22184 0 -1 4202560 92 0 0 0 66693 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645416328448 139645913218649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24697] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24697/stat : 24697 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645413172776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+948.501 s] /proc/loadavg: 3.87 3.85 3.82 5/219 24706 /proc/meminfo: memFree=23387180/32873648 swapFree=6864/6864 [pid=24592] ppid=24590 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7 /proc/24592/stat : 24592 (java) S 24590 24592 22184 0 -1 4202496 41736 0 1 0 179827 186 0 0 20 0 22 0 253895256 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 140734029406832 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24592/statm: 2456167 721423 2288 9 0 2446860 0 [pid=24592/tid=24594] ppid=24590 vsize=9824668 CPUtime=0.61 cores=1,3,5,7 /proc/24592/task/24594/stat : 24594 (java) S 24590 24592 22184 0 -1 4202560 2521 0 1 0 57 4 0 0 20 0 22 0 253895257 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646071211000 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24595] ppid=24590 vsize=9824668 CPUtime=4.17 cores=1,3,5,7 /proc/24592/task/24595/stat : 24595 (java) S 24590 24592 22184 0 -1 4202560 902 0 0 0 403 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646032702504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24596] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24596/stat : 24596 (java) S 24590 24592 22184 0 -1 4202560 1381 0 0 0 357 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139646031649704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24597] ppid=24590 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/24592/task/24597/stat : 24597 (java) S 24590 24592 22184 0 -1 4202560 857 0 0 0 357 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645912345384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24598] ppid=24590 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/24592/task/24598/stat : 24598 (java) S 24590 24592 22184 0 -1 4202560 1046 0 0 0 359 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645911292584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24599] ppid=24590 vsize=9824668 CPUtime=4.09 cores=1,3,5,7 /proc/24592/task/24599/stat : 24599 (java) S 24590 24592 22184 0 -1 4202560 906 0 0 0 396 13 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645910239784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24600] ppid=24590 vsize=9824668 CPUtime=3.89 cores=1,3,5,7 /proc/24592/task/24600/stat : 24600 (java) S 24590 24592 22184 0 -1 4202560 1013 0 0 0 378 11 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645909186984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24601] ppid=24590 vsize=9824668 CPUtime=3.95 cores=1,3,5,7 /proc/24592/task/24601/stat : 24601 (java) S 24590 24592 22184 0 -1 4202560 827 0 0 0 381 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645908134184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24602] ppid=24590 vsize=9824668 CPUtime=3.75 cores=1,3,5,7 /proc/24592/task/24602/stat : 24602 (java) S 24590 24592 22184 0 -1 4202560 760 0 0 0 361 14 0 0 20 0 22 0 253895258 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645907081384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24603] ppid=24590 vsize=9824668 CPUtime=112.76 cores=1,3,5,7 /proc/24592/task/24603/stat : 24603 (java) S 24590 24592 22184 0 -1 4202560 5018 0 0 0 11241 35 0 0 20 0 22 0 253895259 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645424753640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24604] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24604/stat : 24604 (java) S 24590 24592 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645423699704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24605] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24605/stat : 24605 (java) S 24590 24592 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253895260 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645422646792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24606] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24606/stat : 24606 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645421595280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24607] ppid=24590 vsize=9824668 CPUtime=2.53 cores=1,3,5,7 /proc/24592/task/24607/stat : 24607 (java) S 24590 24592 22184 0 -1 4202560 16702 0 0 0 250 3 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645420542392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24608] ppid=24590 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/24592/task/24608/stat : 24608 (java) S 24590 24592 22184 0 -1 4202560 7237 0 0 0 136 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645419489592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24592/tid=24609] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24609/stat : 24609 (java) S 24590 24592 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645418436984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24610] ppid=24590 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/24592/task/24610/stat : 24610 (java) S 24590 24592 22184 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 253895262 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645417384392 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24617] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24617/stat : 24617 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253895366 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645414224808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24592/tid=24695] ppid=24590 vsize=9824668 CPUtime=667.11 cores=1,3,5,7 /proc/24592/task/24695/stat : 24695 (java) R 24590 24592 22184 0 -1 4202560 47 0 0 0 66701 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645415276640 139645912618924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24592/tid=24696] ppid=24590 vsize=9824668 CPUtime=667.03 cores=1,3,5,7 /proc/24592/task/24696/stat : 24696 (java) R 24590 24592 22184 0 -1 4202560 92 0 0 0 66693 10 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645416328448 139645913218649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24592/tid=24697] ppid=24590 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24592/task/24697/stat : 24697 (java) S 24590 24592 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912722 10060460032 721423 33554432000 1073741824 1073778376 140734029415696 139645413172776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 948.556 CPU time (s): 1800.6 CPU user time (s): 1798.33 CPU system time (s): 2.27065 CPU usage (%): 189.825 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.33 system time used= 2.27065 maximum resident set size= 2885828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41767 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28967 involuntary context switches= 55374 runsolver used 2.99154 second user time and 9.02563 second system time The end
Begin job on node120 at 2012-05-24 18:41:33 IDJOB=3688458 IDBENCH=25012 IDSOLVER=2268 FILE ID=node120/3688458-1337877693 RUNJOBID= node120-1337871880-22201 PBS_JOBID= 14620084 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688458-1337877693/watcher-3688458-1337877693 -o /tmp/evaluation-result-3688458-1337877693/solver-3688458-1337877693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688458-1337877693.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=682849769 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 25932408 kB Buffers: 181984 kB Cached: 3235952 kB SwapCached: 492 kB Active: 3295208 kB Inactive: 2876788 kB Active(anon): 2744196 kB Inactive(anon): 12388 kB Active(file): 551012 kB Inactive(file): 2864400 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67107896 kB Dirty: 564 kB Writeback: 0 kB AnonPages: 2761828 kB Mapped: 21520 kB Shmem: 120 kB Slab: 625644 kB SReclaimable: 69940 kB SUnreclaim: 555704 kB KernelStack: 1624 kB PageTables: 9664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 2989300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2691072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71628 MiB End job on node120 at 2012-05-24 18:57:23