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 Resolution 2.3.2 Snapshot | SAT (TO) | 27 | 1800.04 | 1795.56 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | d25f6086317f033c233c4700493f03d1 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 97.9001 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | NO |
| Number of variables | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| 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 | 650 |
| 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 | 681 |
| 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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.2.v20120418 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 501472288 0.07/0.09 c Max memory 7480803328 0.07/0.09 c Total memory 504102912 0.07/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3688465-1337884442.opb 0.08/0.12 c reading problem ... 0.70/0.45 c ... done. Wall clock time 0.33s. 0.70/0.45 c declared #vars 6027 0.70/0.45 c #constraints 21278 0.70/0.45 c constraints type 0.70/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 0.70/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.70/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 0.70/0.45 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 0.70/0.45 c 21278 constraints processed. 0.70/0.45 c objective function length is 650 literals 0.99/0.52 c SATISFIABLE 0.99/0.52 c OPTIMIZING... 0.99/0.52 c Got one! Elapsed wall clock time (in seconds):0.401 0.99/0.52 o 28 0.99/0.55 c Got one! Elapsed wall clock time (in seconds):0.43 0.99/0.55 o 27 3.20/2.36 c cleaning 2495 clauses out of 5007 with flag 5000/5007 5.87/4.49 c cleaning 4248 clauses out of 8512 with flag 11000/11007 8.07/6.69 c cleaning 5623 clauses out of 11264 with flag 18000/18007 10.38/8.98 c cleaning 6806 clauses out of 13641 with flag 26000/26007 13.23/11.72 c cleaning 7913 clauses out of 15835 with flag 35000/35007 16.64/15.12 c cleaning 8954 clauses out of 17922 with flag 45000/45007 20.44/18.93 c cleaning 9965 clauses out of 19968 with flag 56000/56007 24.55/23.02 c cleaning 10992 clauses out of 22003 with flag 68000/68007 29.07/27.54 c cleaning 11998 clauses out of 24011 with flag 81000/81007 33.97/32.45 c cleaning 12978 clauses out of 26013 with flag 95000/95007 38.89/37.40 c cleaning 14001 clauses out of 28035 with flag 110000/110007 44.68/43.13 c cleaning 14943 clauses out of 30034 with flag 126000/126007 50.89/49.34 c cleaning 16041 clauses out of 32091 with flag 143000/143007 57.61/56.04 c cleaning 17012 clauses out of 34050 with flag 161000/161007 64.91/63.39 c cleaning 17986 clauses out of 36038 with flag 180000/180007 71.94/70.37 c cleaning 18999 clauses out of 38052 with flag 200000/200007 79.53/77.90 c cleaning 20009 clauses out of 40053 with flag 221000/221007 87.24/85.67 c cleaning 21011 clauses out of 42044 with flag 243000/243007 94.75/93.20 c cleaning 21976 clauses out of 44033 with flag 266000/266007 103.26/101.47 c cleaning 23018 clauses out of 46057 with flag 290000/290007 112.00/109.97 c cleaning 23994 clauses out of 48041 with flag 315002/315009 121.42/119.30 c cleaning 25011 clauses out of 50045 with flag 341000/341007 130.54/128.43 c cleaning 25994 clauses out of 52034 with flag 368000/368007 140.17/138.04 c cleaning 27011 clauses out of 54040 with flag 396000/396007 149.98/147.81 c cleaning 28001 clauses out of 56029 with flag 425000/425007 159.80/157.60 c cleaning 29012 clauses out of 58028 with flag 455000/455007 170.63/168.42 c cleaning 29947 clauses out of 60016 with flag 486000/486007 180.64/178.40 c cleaning 30977 clauses out of 62069 with flag 518000/518007 190.85/188.62 c cleaning 32029 clauses out of 64095 with flag 551003/551010 200.87/198.65 c cleaning 32998 clauses out of 66063 with flag 585000/585007 212.49/210.22 c cleaning 34024 clauses out of 68065 with flag 620000/620007 224.71/222.46 c cleaning 35004 clauses out of 70041 with flag 656000/656007 236.63/234.32 c cleaning 36004 clauses out of 72037 with flag 693000/693007 249.46/247.10 c cleaning 36995 clauses out of 74033 with flag 731000/731007 262.16/259.81 c cleaning 38003 clauses out of 76038 with flag 770000/770007 275.89/273.54 c cleaning 39010 clauses out of 78035 with flag 810000/810007 289.71/287.31 c cleaning 39973 clauses out of 80025 with flag 851000/851007 302.72/300.37 c cleaning 41003 clauses out of 82052 with flag 893000/893007 316.94/314.51 c cleaning 41995 clauses out of 84049 with flag 936000/936007 330.56/328.17 c cleaning 43017 clauses out of 86055 with flag 980001/980008 345.08/342.62 c cleaning 44007 clauses out of 88037 with flag 1025000/1025007 359.50/357.01 c cleaning 44992 clauses out of 90030 with flag 1071000/1071007 376.03/373.51 c cleaning 45982 clauses out of 92040 with flag 1118002/1118009 393.76/391.22 c cleaning 46996 clauses out of 94056 with flag 1166000/1166007 410.98/408.46 c cleaning 48005 clauses out of 96060 with flag 1215000/1215007 427.99/425.47 c cleaning 48976 clauses out of 98056 with flag 1265001/1265008 447.14/444.54 c cleaning 50008 clauses out of 100079 with flag 1316000/1316007 466.81/464.11 c cleaning 51026 clauses out of 102071 with flag 1368000/1368007 485.85/483.15 c cleaning 52011 clauses out of 104045 with flag 1421000/1421007 505.77/503.02 c cleaning 52989 clauses out of 106034 with flag 1475000/1475007 525.89/523.18 c cleaning 53985 clauses out of 108045 with flag 1530000/1530007 546.83/544.09 c cleaning 54984 clauses out of 110060 with flag 1586000/1586007 566.40/563.51 c cleaning 55995 clauses out of 112076 with flag 1643000/1643007 585.13/582.20 c cleaning 57007 clauses out of 114081 with flag 1701000/1701007 607.05/604.12 c cleaning 57945 clauses out of 116074 with flag 1760000/1760007 634.58/631.63 c cleaning 59025 clauses out of 118129 with flag 1820000/1820007 658.84/655.81 c cleaning 60024 clauses out of 120104 with flag 1881000/1881007 682.89/679.89 c cleaning 60994 clauses out of 122081 with flag 1943001/1943008 706.50/703.45 c cleaning 62042 clauses out of 124087 with flag 2006001/2006008 730.44/727.36 c cleaning 62994 clauses out of 126044 with flag 2070000/2070007 753.81/750.65 c cleaning 64009 clauses out of 128052 with flag 2135002/2135009 777.58/774.36 c cleaning 65003 clauses out of 130041 with flag 2201000/2201007 802.62/799.37 c cleaning 65943 clauses out of 132038 with flag 2268000/2268007 827.05/823.77 c cleaning 67035 clauses out of 134096 with flag 2336001/2336008 851.60/848.28 c cleaning 67936 clauses out of 136062 with flag 2405002/2405009 876.75/873.34 c cleaning 68991 clauses out of 138124 with flag 2475000/2475007 901.99/898.52 c cleaning 70044 clauses out of 140133 with flag 2546000/2546007 929.11/925.60 c cleaning 71016 clauses out of 142090 with flag 2618001/2618008 956.51/952.99 c cleaning 71952 clauses out of 144074 with flag 2691001/2691008 982.77/979.17 c cleaning 73046 clauses out of 146121 with flag 2765000/2765007 1010.03/1006.30 c cleaning 73998 clauses out of 148075 with flag 2840000/2840007 1038.05/1034.38 c cleaning 74993 clauses out of 150077 with flag 2916000/2916007 1066.58/1062.84 c cleaning 76038 clauses out of 152086 with flag 2993002/2993009 1096.12/1092.36 c cleaning 76966 clauses out of 154046 with flag 3071000/3071007 1122.63/1118.80 c cleaning 78006 clauses out of 156080 with flag 3150000/3150007 1150.47/1146.62 c cleaning 79024 clauses out of 158074 with flag 3230000/3230007 1177.10/1173.24 c cleaning 79974 clauses out of 160050 with flag 3311000/3311007 1207.55/1203.63 c cleaning 80965 clauses out of 162076 with flag 3393000/3393007 1237.09/1233.18 c cleaning 81954 clauses out of 164111 with flag 3476000/3476007 1263.72/1259.79 c cleaning 82981 clauses out of 166157 with flag 3560000/3560007 1293.26/1289.28 c cleaning 84066 clauses out of 168176 with flag 3645000/3645007 1324.86/1320.84 c cleaning 85023 clauses out of 170110 with flag 3731000/3731007 1358.40/1354.39 c cleaning 86004 clauses out of 172087 with flag 3818000/3818007 1391.84/1387.70 c cleaning 87007 clauses out of 174083 with flag 3906000/3906007 1423.88/1419.72 c cleaning 88013 clauses out of 176077 with flag 3995001/3995008 1460.32/1456.18 c cleaning 88964 clauses out of 178063 with flag 4085000/4085007 1493.64/1489.41 c cleaning 89999 clauses out of 180099 with flag 4176000/4176007 1526.96/1522.73 c cleaning 91005 clauses out of 182100 with flag 4268000/4268007 1557.97/1553.77 c cleaning 92002 clauses out of 184095 with flag 4361000/4361007 1592.30/1588.05 c cleaning 93030 clauses out of 186093 with flag 4455000/4455007 1627.85/1623.55 c cleaning 94016 clauses out of 188065 with flag 4550002/4550009 1664.10/1659.78 c cleaning 94985 clauses out of 190047 with flag 4646000/4646007 1698.60/1694.26 c cleaning 95997 clauses out of 192065 with flag 4743003/4743010 1732.73/1728.39 c cleaning 96996 clauses out of 194066 with flag 4841001/4841008 1775.79/1771.35 c cleaning 97966 clauses out of 196070 with flag 4940001/4940008 1800.04/1795.51 c starts : 275 1800.04/1795.51 c conflicts : 5011459 1800.04/1795.51 c decisions : 81610461 1800.04/1795.51 c propagations : 4650957294 1800.04/1795.51 c inspects : 14713679133 1800.04/1795.51 c shortcuts : 0 1800.04/1795.51 c learnt literals : 0 1800.04/1795.51 c learnt binary clauses : 3 1800.04/1795.51 c learnt ternary clauses : 29 1800.04/1795.51 c learnt constraints : 5011459 1800.04/1795.51 c ignored constraints : 0 1800.04/1795.51 c root simplifications : 0 1800.04/1795.51 c removed literals (reason simplification) : 0 1800.04/1795.51 c reason swapping (by a shorter reason) : 0 1800.04/1795.51 c Calls to reduceDB : 95 1800.04/1795.51 c number of reductions to clauses (during analyze) : 0 1800.04/1795.51 c number of learned constraints concerned by reduction : 0 1800.04/1795.51 c number of learning phase by resolution : 0 1800.04/1795.51 c number of learning phase by cutting planes : 0 1800.04/1795.51 c speed (assignments/second) : 2590999.53872997 1800.04/1795.51 c non guided choices 0 1800.04/1795.54 c learnt constraints type 1800.04/1795.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.04/1795.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 169619 1800.04/1795.54 c constraints type 1800.04/1795.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1800.04/1795.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.04/1795.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1800.04/1795.54 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1800.04/1795.54 c 21279 constraints processed. 1800.04/1795.54 s SATISFIABLE 1800.04/1795.55 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 1800.04/1795.56 c objective function=27 1800.04/1795.56 c Total wall clock time (in seconds): 1795.44
OK 27
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-3688465-1337884442/watcher-3688465-1337884442 -o /tmp/evaluation-result-3688465-1337884442/solver-3688465-1337884442 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688465-1337884442.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.02 2.00 3/194 22354 /proc/meminfo: memFree=29802200/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22354/stat : 22354 (java) D 22352 22354 20833 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254572756 9515008 176 33554432000 1073741824 1073778376 140734860730528 140734860713256 249650037648 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2323 176 133 9 0 71 0 [startup+0.0945471 s] /proc/loadavg: 2.01 2.02 2.00 3/194 22354 /proc/meminfo: memFree=29802200/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 4016 0 1 0 7 0 0 0 20 0 18 0 254572756 9787813888 5219 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2389603 5247 2036 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.100241 s] /proc/loadavg: 2.01 2.02 2.00 3/194 22354 /proc/meminfo: memFree=29802200/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 4242 0 1 0 8 0 0 0 20 0 18 0 254572756 9787813888 5443 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2389603 5443 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300215 s] /proc/loadavg: 2.01 2.02 2.00 3/194 22354 /proc/meminfo: memFree=29802200/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9558412 CPUtime=0.47 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 5517 0 1 0 46 1 0 0 20 0 18 0 254572756 9787813888 8309 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2389603 8309 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.700226 s] /proc/loadavg: 2.01 2.02 2.00 3/194 22354 /proc/meminfo: memFree=29802200/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=1.54 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 11143 0 1 0 151 3 0 0 20 0 19 0 254572756 9855975424 18714 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 18714 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 9624976 [startup+1.50061 s] /proc/loadavg: 2.01 2.02 2.00 3/213 22373 /proc/meminfo: memFree=29735124/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=2.38 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 11162 0 1 0 235 3 0 0 20 0 19 0 254572756 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 19228 2252 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=1.46 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2473 0 1 0 144 2 0 0 20 0 19 0 254572757 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076179425960 140076013885028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254572759 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 2652 0 0 0 44 0 0 0 20 0 19 0 254572762 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 4837 0 0 0 43 0 0 0 20 0 19 0 254572762 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 19228 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.38 Current children cumulated vsize (KiB) 9624976 [startup+3.1006 s] /proc/loadavg: 2.01 2.02 2.00 3/213 22373 /proc/meminfo: memFree=29732456/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=4.47 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 18220 0 1 0 443 4 0 0 20 0 19 0 254572756 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 25895 2282 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=3.04 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2476 0 1 0 302 2 0 0 20 0 19 0 254572757 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076179427704 140076013884254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254572759 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9654 0 0 0 89 1 0 0 20 0 19 0 254572762 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 4838 0 0 0 45 0 0 0 20 0 19 0 254572762 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 25895 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.47 Current children cumulated vsize (KiB) 9624976 [startup+6.3006 s] /proc/loadavg: 2.01 2.02 2.00 3/213 22373 /proc/meminfo: memFree=29703116/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=7.77 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 18522 0 1 0 772 5 0 0 20 0 19 0 254572756 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 26367 2282 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=6.22 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2478 0 1 0 620 2 0 0 20 0 19 0 254572757 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076179427848 140076013748015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254572758 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254572759 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.94 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9666 0 0 0 93 1 0 0 20 0 19 0 254572762 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.5 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 5116 0 0 0 50 0 0 0 20 0 19 0 254572762 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 26367 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.77 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9670 0 0 0 98 1 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 10784 0 0 0 86 2 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0.38 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 99 0 0 0 18 20 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1726.73 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 22469 /proc/meminfo: memFree=29530996/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=1786.83 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 25426 0 1 0 178644 39 0 0 20 0 19 0 254572756 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 67849 2283 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=1772.93 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2590 0 1 0 177264 29 0 0 20 0 19 0 254572757 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076179427616 140076013884277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 89 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 80 0 0 0 47 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 98 0 0 0 42 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 200 0 0 0 45 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0.42 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 76 0 0 0 40 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 62 0 0 0 41 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 226 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 114 0 0 0 42 3 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=3.71 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 149 0 0 0 370 1 0 0 20 0 19 0 254572759 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9670 0 0 0 98 1 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 10784 0 0 0 86 2 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0.4 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1786.83 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.5 s] /proc/loadavg: 2.00 2.00 2.00 3/212 22469 /proc/meminfo: memFree=29531004/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=1800.04 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 25426 0 1 0 179965 39 0 0 20 0 19 0 254572756 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 67849 2283 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=1786.1 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2590 0 1 0 178580 30 0 0 20 0 19 0 254572757 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076179427616 140076013783294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 89 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 80 0 0 0 47 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 98 0 0 0 42 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 200 0 0 0 45 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0.42 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 76 0 0 0 40 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 62 0 0 0 41 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 226 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 114 0 0 0 42 3 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=3.71 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 149 0 0 0 370 1 0 0 20 0 19 0 254572759 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9670 0 0 0 98 1 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 10784 0 0 0 86 2 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0.4 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.5 s] /proc/loadavg: 2.00 2.00 2.00 3/212 22469 /proc/meminfo: memFree=29531004/32873844 swapFree=7100/7100 [pid=22354] ppid=22352 vsize=9624976 CPUtime=1800.04 cores=0,2,4,6 /proc/22354/stat : 22354 (java) S 22352 22354 20833 0 -1 4202496 25426 0 1 0 179965 39 0 0 20 0 19 0 254572756 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140737263433984 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22354/statm: 2406244 67849 2283 9 0 2396937 0 [pid=22354/tid=22356] ppid=22352 vsize=9624976 CPUtime=1786.1 cores=0,2,4,6 /proc/22354/task/22356/stat : 22356 (java) R 22352 22354 20833 0 -1 4202560 2590 0 1 0 178580 30 0 0 20 0 19 0 254572757 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076179427616 140076013783294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22357] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22357/stat : 22357 (java) S 22352 22354 20833 0 -1 4202560 89 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076140919592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22358] ppid=22352 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/22354/task/22358/stat : 22358 (java) S 22352 22354 20833 0 -1 4202560 80 0 0 0 47 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076139866792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22359] ppid=22352 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/22354/task/22359/stat : 22359 (java) S 22352 22354 20833 0 -1 4202560 98 0 0 0 42 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076138814504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22360] ppid=22352 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/22354/task/22360/stat : 22360 (java) S 22352 22354 20833 0 -1 4202560 200 0 0 0 45 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076137761704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22361] ppid=22352 vsize=9624976 CPUtime=0.42 cores=0,2,4,6 /proc/22354/task/22361/stat : 22361 (java) S 22352 22354 20833 0 -1 4202560 76 0 0 0 40 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076136708392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22362] ppid=22352 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/22354/task/22362/stat : 22362 (java) S 22352 22354 20833 0 -1 4202560 62 0 0 0 41 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076135655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22363] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22363/stat : 22363 (java) S 22352 22354 20833 0 -1 4202560 226 0 0 0 43 2 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076134603304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22364] ppid=22352 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/22354/task/22364/stat : 22364 (java) S 22352 22354 20833 0 -1 4202560 114 0 0 0 42 3 0 0 20 0 19 0 254572758 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076133550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22365] ppid=22352 vsize=9624976 CPUtime=3.71 cores=0,2,4,6 /proc/22354/task/22365/stat : 22365 (java) S 22352 22354 20833 0 -1 4202560 149 0 0 0 370 1 0 0 20 0 19 0 254572759 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076003580648 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22366] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22366/stat : 22366 (java) S 22352 22354 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076002526712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22367] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22367/stat : 22367 (java) S 22352 22354 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254572760 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076001474312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22368] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22368/stat : 22368 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140076000422800 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22369] ppid=22352 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/22354/task/22369/stat : 22369 (java) S 22352 22354 20833 0 -1 4202560 9670 0 0 0 98 1 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075999369400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22354/tid=22370] ppid=22352 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/22354/task/22370/stat : 22370 (java) S 22352 22354 20833 0 -1 4202560 10784 0 0 0 86 2 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075998316600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22354/tid=22371] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22371/stat : 22371 (java) S 22352 22354 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075123862136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22354/tid=22372] ppid=22352 vsize=9624976 CPUtime=0.4 cores=0,2,4,6 /proc/22354/task/22372/stat : 22372 (java) S 22352 22354 20833 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 254572762 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075122809544 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22354/tid=22373] ppid=22352 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22354/task/22373/stat : 22373 (java) S 22352 22354 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254572803 9855975424 67849 33554432000 1073741824 1073778376 140737263442848 140075121755560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22354 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=228083 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=862868 # CPU time returned by wait4() is 1796.09 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.56 CPU time (s): 1800.04 CPU user time (s): 1799.65 CPU system time (s): 0.39 CPU usage (%): 100.249 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.23 system time used= 0.862868 maximum resident set size= 271520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25458 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40503 involuntary context switches= 9613 runsolver used 5.9201 second user time and 13.7829 second system time The end
Begin job on node102 at 2012-05-24 20:34:02 IDJOB=3688465 IDBENCH=25015 IDSOLVER=2269 FILE ID=node102/3688465-1337884442 RUNJOBID= node102-1337871881-20849 PBS_JOBID= 14620102 Free space on /tmp= 71736 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688465-1337884442/watcher-3688465-1337884442 -o /tmp/evaluation-result-3688465-1337884442/solver-3688465-1337884442 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688465-1337884442.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=1139212100 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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: 32873844 kB MemFree: 29802464 kB Buffers: 204620 kB Cached: 1951552 kB SwapCached: 0 kB Active: 787380 kB Inactive: 1518744 kB Active(anon): 152552 kB Inactive(anon): 0 kB Active(file): 634828 kB Inactive(file): 1518744 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 844 kB Writeback: 0 kB AnonPages: 160820 kB Mapped: 22520 kB Shmem: 200 kB Slab: 623136 kB SReclaimable: 65692 kB SUnreclaim: 557444 kB KernelStack: 1608 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 695576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node102 at 2012-05-24 21:04:00