| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | -816461 | 1800.2 | 1799.07 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb |
| MD5SUM | 0c3c379676a8ddac6d8ad36181bfd2e9 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1009287 |
| Best CPU time to get the best result obtained on this benchmark | 1800.32 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -950703 |
| Optimality of the best value was proved | NO |
| Number of variables | 6000 |
| Total number of constraints | 2171 |
| Number of constraints which are clauses | 222 |
| Number of constraints which are cardinality constraints (but not clauses) | 1914 |
| Number of constraints which are nor clauses,nor cardinality constraints | 35 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5998 |
| Number of terms in the objective function | 5995 |
| Biggest coefficient in the objective function | 91110 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 12969603 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 800000 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 28761906 |
| Number of bits of the biggest sum of numbers | 25 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.12/0.11 c Pseudo Boolean Optimization 0.12/0.11 c --- Begin Solver configuration --- 0.12/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.12/0.11 c Learn all clauses as in MiniSAT 0.12/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.11 c Expensive reason simplification 0.12/0.11 c Armin Biere (Picosat) restarts strategy 0.12/0.11 c Glucose learned constraints deletion strategy 0.12/0.11 c timeout=2147483s 0.12/0.11 c DB Simplification allowed=false 0.12/0.11 c --- End Solver configuration --- 0.12/0.11 c solving HOME/instance-3458863-1307139789.opb 0.12/0.11 c reading problem ... 0.51/0.39 c ... done. Wall clock time 0.276s. 0.51/0.39 c #vars 6000 0.51/0.39 c #constraints 2294 0.51/0.39 c constraints type 0.51/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47 0.51/0.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 1871 0.51/0.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 374 0.51/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 2.11/1.54 c cleaning 2500 clauses out of 5000 with flag 5000/5000 3.49/2.81 c cleaning 4248 clauses out of 8500 with flag 11000/11000 5.01/4.30 c cleaning 5623 clauses out of 11252 with flag 18000/18000 6.72/6.05 c cleaning 6811 clauses out of 13630 with flag 26001/26001 8.78/8.03 c cleaning 7905 clauses out of 15818 with flag 35000/35000 10.87/10.17 c cleaning 8953 clauses out of 17914 with flag 45001/45001 13.17/12.40 c cleaning 9480 clauses out of 18960 with flag 55000/55000 15.28/14.56 c cleaning 9740 clauses out of 19482 with flag 65002/65002 17.58/16.84 c cleaning 9870 clauses out of 19740 with flag 75000/75000 19.78/19.06 c cleaning 9935 clauses out of 19871 with flag 85001/85001 21.98/21.24 c cleaning 9961 clauses out of 19935 with flag 95000/95000 24.18/23.49 c cleaning 9986 clauses out of 19975 with flag 105001/105001 26.48/25.72 c cleaning 9992 clauses out of 19989 with flag 115001/115001 28.58/27.83 c cleaning 9992 clauses out of 19996 with flag 125000/125000 30.78/30.08 c cleaning 9999 clauses out of 20004 with flag 135000/135000 33.08/32.37 c cleaning 9998 clauses out of 20005 with flag 145000/145000 35.49/34.77 c cleaning 9998 clauses out of 20008 with flag 155001/155001 37.89/37.16 c cleaning 9998 clauses out of 20010 with flag 165001/165001 40.19/39.46 c cleaning 10000 clauses out of 20012 with flag 175001/175001 42.49/41.74 c cleaning 9999 clauses out of 20011 with flag 185000/185000 44.80/44.08 c cleaning 10003 clauses out of 20014 with flag 195002/195002 47.19/46.42 c cleaning 9995 clauses out of 20010 with flag 205001/205001 49.50/48.77 c cleaning 10004 clauses out of 20015 with flag 215001/215001 51.90/51.17 c cleaning 9997 clauses out of 20010 with flag 225000/225000 55.00/54.21 c cleaning 9999 clauses out of 20013 with flag 235000/235000 58.40/57.61 c cleaning 9997 clauses out of 20014 with flag 245000/245000 61.80/61.06 c cleaning 9998 clauses out of 20018 with flag 255001/255001 65.30/64.59 c cleaning 10003 clauses out of 20020 with flag 265001/265001 68.90/68.11 c cleaning 10000 clauses out of 20016 with flag 275000/275000 72.42/71.67 c cleaning 10001 clauses out of 20017 with flag 285001/285001 76.10/75.33 c cleaning 10000 clauses out of 20016 with flag 295001/295001 79.90/79.18 c cleaning 9999 clauses out of 20015 with flag 305000/305000 83.80/83.06 c cleaning 10004 clauses out of 20017 with flag 315001/315001 87.60/86.82 c cleaning 9997 clauses out of 20012 with flag 325000/325000 91.31/90.52 c cleaning 10006 clauses out of 20017 with flag 335002/335002 95.21/94.45 c cleaning 10000 clauses out of 20009 with flag 345000/345000 99.01/98.21 c cleaning 10002 clauses out of 20009 with flag 355000/355000 102.71/101.94 c cleaning 9992 clauses out of 20008 with flag 365001/365001 106.53/105.73 c cleaning 10003 clauses out of 20015 with flag 375000/375000 110.31/109.51 c cleaning 9996 clauses out of 20013 with flag 385001/385001 113.91/113.17 c cleaning 9998 clauses out of 20016 with flag 395000/395000 117.62/116.89 c cleaning 10002 clauses out of 20018 with flag 405000/405000 121.52/120.78 c cleaning 10004 clauses out of 20017 with flag 415001/415001 125.13/124.39 c cleaning 10001 clauses out of 20014 with flag 425002/425002 128.82/128.04 c cleaning 9999 clauses out of 20012 with flag 435001/435001 130.63/129.84 c SATISFIABLE 130.63/129.84 c OPTIMIZING... 130.63/129.84 c Got one! Elapsed wall clock time (in seconds):129.727 130.63/129.84 o -816461 131.51/130.66 c cleaning 7836 clauses out of 15673 with flag 1001/440661 137.62/136.75 c cleaning 6920 clauses out of 13839 with flag 7003/446663 145.32/144.48 c cleaning 6958 clauses out of 13916 with flag 14000/453660 153.83/153.00 c cleaning 7477 clauses out of 14958 with flag 22000/461660 164.94/164.06 c cleaning 8236 clauses out of 16482 with flag 31001/470661 178.72/177.88 c cleaning 9118 clauses out of 18246 with flag 41001/480661 191.53/190.62 c cleaning 9561 clauses out of 19128 with flag 51001/490661 203.93/203.09 c cleaning 9780 clauses out of 19566 with flag 61000/500660 216.83/215.94 c cleaning 9892 clauses out of 19787 with flag 71001/510661 229.93/229.00 c cleaning 9943 clauses out of 19895 with flag 81001/520661 244.23/243.39 c cleaning 9971 clauses out of 19952 with flag 91001/530661 256.63/255.78 c cleaning 9986 clauses out of 19980 with flag 101000/540660 268.83/267.91 c cleaning 9996 clauses out of 19995 with flag 111001/550661 280.84/279.94 c cleaning 9996 clauses out of 19998 with flag 121000/560660 293.14/292.28 c cleaning 9997 clauses out of 20003 with flag 131001/570661 305.14/304.25 c cleaning 10001 clauses out of 20006 with flag 141001/580661 318.14/317.20 c cleaning 9999 clauses out of 20006 with flag 151002/590662 332.94/332.10 c cleaning 9995 clauses out of 20005 with flag 161000/600660 344.94/344.05 c cleaning 10004 clauses out of 20011 with flag 171001/610661 360.94/360.04 c cleaning 9995 clauses out of 20007 with flag 181001/620661 378.54/377.62 c cleaning 10000 clauses out of 20011 with flag 191000/630660 396.55/395.67 c cleaning 9999 clauses out of 20012 with flag 201001/640661 415.15/414.21 c cleaning 10003 clauses out of 20013 with flag 211001/650661 431.37/430.48 c cleaning 9997 clauses out of 20010 with flag 221001/660661 448.47/447.52 c cleaning 9999 clauses out of 20012 with flag 231000/670660 463.57/462.69 c cleaning 10000 clauses out of 20014 with flag 241001/680661 479.48/478.61 c cleaning 9998 clauses out of 20013 with flag 251000/690660 495.57/494.64 c cleaning 9998 clauses out of 20015 with flag 261000/700660 512.18/511.28 c cleaning 10003 clauses out of 20017 with flag 271000/710660 527.08/526.14 c cleaning 10003 clauses out of 20014 with flag 281000/720660 541.19/540.21 c cleaning 10000 clauses out of 20012 with flag 291001/730661 555.88/554.98 c cleaning 10000 clauses out of 20012 with flag 301001/740661 571.89/571.01 c cleaning 10000 clauses out of 20011 with flag 311000/750660 586.38/585.49 c cleaning 9995 clauses out of 20012 with flag 321001/760661 603.99/603.07 c cleaning 10001 clauses out of 20017 with flag 331001/770661 621.50/620.59 c cleaning 9997 clauses out of 20015 with flag 341000/780660 636.90/635.95 c cleaning 10005 clauses out of 20019 with flag 351001/790661 652.39/651.45 c cleaning 10000 clauses out of 20014 with flag 361001/800661 667.70/666.74 c cleaning 9999 clauses out of 20013 with flag 371000/810660 683.19/682.24 c cleaning 10003 clauses out of 20015 with flag 381001/820661 697.41/696.45 c cleaning 9998 clauses out of 20011 with flag 391000/830660 711.71/710.76 c cleaning 9999 clauses out of 20013 with flag 401000/840660 726.70/725.71 c cleaning 10000 clauses out of 20015 with flag 411001/850661 742.21/741.25 c cleaning 10004 clauses out of 20014 with flag 421000/860660 757.61/756.64 c cleaning 9994 clauses out of 20010 with flag 431000/870660 772.41/771.43 c cleaning 10002 clauses out of 20017 with flag 441001/880661 786.53/785.59 c cleaning 9996 clauses out of 20014 with flag 451000/890660 802.61/801.67 c cleaning 10005 clauses out of 20019 with flag 461001/900661 820.31/819.35 c cleaning 9998 clauses out of 20013 with flag 471000/910660 852.42/851.45 c cleaning 9993 clauses out of 20016 with flag 481001/920661 890.82/889.83 c cleaning 10005 clauses out of 20022 with flag 491000/930660 910.73/909.77 c cleaning 10004 clauses out of 20018 with flag 501001/940661 926.73/925.78 c cleaning 9995 clauses out of 20013 with flag 511000/950660 941.93/940.99 c cleaning 10001 clauses out of 20018 with flag 521000/960660 956.73/955.74 c cleaning 9999 clauses out of 20017 with flag 531000/970660 970.93/969.99 c cleaning 10003 clauses out of 20018 with flag 541000/980660 988.33/987.34 c cleaning 10002 clauses out of 20015 with flag 551000/990660 1024.05/1023.04 c cleaning 9996 clauses out of 20013 with flag 561000/1000660 1058.74/1057.79 c cleaning 9998 clauses out of 20018 with flag 571001/1010661 1102.26/1101.26 c cleaning 9996 clauses out of 20019 with flag 581000/1020660 1142.45/1141.46 c cleaning 10003 clauses out of 20025 with flag 591002/1030662 1185.76/1184.74 c cleaning 9998 clauses out of 20020 with flag 601000/1040660 1230.45/1229.43 c cleaning 10004 clauses out of 20023 with flag 611001/1050661 1277.55/1276.51 c cleaning 9998 clauses out of 20018 with flag 621000/1060660 1323.15/1322.16 c cleaning 10001 clauses out of 20020 with flag 631000/1070660 1369.46/1368.43 c cleaning 9999 clauses out of 20020 with flag 641001/1080661 1415.77/1414.77 c cleaning 10002 clauses out of 20020 with flag 651000/1090660 1462.26/1461.22 c cleaning 10001 clauses out of 20019 with flag 661001/1100661 1508.36/1507.38 c cleaning 9998 clauses out of 20017 with flag 671000/1110660 1553.56/1552.54 c cleaning 10002 clauses out of 20019 with flag 681000/1120660 1599.48/1598.44 c cleaning 10002 clauses out of 20017 with flag 691000/1130660 1645.06/1644.00 c cleaning 9994 clauses out of 20015 with flag 701000/1140660 1690.78/1689.73 c cleaning 10001 clauses out of 20021 with flag 711000/1150660 1738.08/1737.03 c cleaning 10002 clauses out of 20021 with flag 721001/1160661 1784.67/1783.64 c cleaning 10001 clauses out of 20018 with flag 731000/1170660 1800.08/1799.02 c starts : 190 1800.08/1799.02 c conflicts : 1173935 1800.08/1799.02 c decisions : 1186671 1800.08/1799.02 c propagations : 837124251 1800.08/1799.02 c inspects : 734915488 1800.08/1799.02 c shortcuts : 0 1800.08/1799.02 c learnt literals : 0 1800.08/1799.02 c learnt binary clauses : 0 1800.08/1799.02 c learnt ternary clauses : 0 1800.08/1799.02 c learnt constraints : 1173935 1800.08/1799.02 c ignored constraints : 0 1800.08/1799.02 c root simplifications : 0 1800.08/1799.02 c removed literals (reason simplification) : 6714694 1800.08/1799.02 c reason swapping (by a shorter reason) : 0 1800.08/1799.02 c Calls to reduceDB : 120 1800.08/1799.02 c number of reductions to clauses (during analyze) : 0 1800.08/1799.02 c number of learned constraints concerned by reduction : 0 1800.08/1799.02 c number of learning phase by resolution : 0 1800.08/1799.02 c number of learning phase by cutting planes : 0 1800.08/1799.02 c speed (assignments/second) : 501520.1261222617 1800.08/1799.02 c non guided choices 21 1800.08/1799.03 c learnt constraints type 1800.08/1799.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13294 1800.08/1799.03 c constraints type 1800.08/1799.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47 1800.08/1799.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 1871 1800.08/1799.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 374 1800.08/1799.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3 1800.08/1799.03 s SATISFIABLE 1800.08/1799.05 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 1800.08/1799.06 c objective function=-816461 1800.08/1799.06 c Total wall clock time (in seconds): 1798.948
OK -816461
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458863-1307139789/watcher-3458863-1307139789 -o /tmp/evaluation-result-3458863-1307139789/solver-3458863-1307139789 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458863-1307139789.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.10 2.07 2.01 2/464 19439 /proc/meminfo: memFree=30942376/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=36924 CPUtime=0 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 1366 0 1 0 0 0 0 0 25 0 2 0 825577629 37810176 1068 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 9231 1071 832 9 0 387 0 [pid=19439/tid=19440] ppid=19437 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 4260 0 1 0 0 0 0 0 25 0 2 0 825577630 13850947584 5076 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.115388 s] /proc/loadavg: 2.10 2.07 2.01 2/464 19439 /proc/meminfo: memFree=30942376/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13621992 CPUtime=0.12 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 15738 0 1 0 10 2 0 0 25 0 18 0 825577629 13948919808 15406 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3405498 15408 2124 9 0 3396232 0 [pid=19439/tid=19440] ppid=19437 vsize=13621992 CPUtime=0.09 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 13750 0 1 0 8 1 0 0 18 0 18 0 825577630 13948919808 15408 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 47597965070341 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 13621992 [startup+0.200374 s] /proc/loadavg: 2.10 2.07 2.01 2/464 19439 /proc/meminfo: memFree=30942376/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13622232 CPUtime=0.29 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 17015 0 1 0 27 2 0 0 25 0 18 0 825577629 13949165568 16357 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3405558 16358 2187 9 0 3396292 0 [pid=19439/tid=19440] ppid=19437 vsize=13622232 CPUtime=0.17 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 14437 0 1 0 16 1 0 0 18 0 18 0 825577630 13949165568 16358 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505558168 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13622232 [startup+0.300356 s] /proc/loadavg: 2.10 2.07 2.01 2/464 19439 /proc/meminfo: memFree=30942376/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13623264 CPUtime=0.51 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 23238 0 1 0 48 3 0 0 25 0 18 0 825577629 13950222336 22056 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3405816 22057 2202 9 0 3396550 0 [pid=19439/tid=19440] ppid=19437 vsize=13623264 CPUtime=0.28 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 19521 0 1 0 26 2 0 0 18 0 18 0 825577630 13950222336 22057 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 47597969570643 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 13623264 [startup+0.700354 s] /proc/loadavg: 2.10 2.07 2.01 2/464 19439 /proc/meminfo: memFree=30942376/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13625688 CPUtime=1.29 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 45882 0 1 0 123 6 0 0 25 0 19 0 825577629 13952704512 43821 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406422 43822 2228 9 0 3397156 0 [pid=19439/tid=19440] ppid=19437 vsize=13625688 CPUtime=0.68 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 40528 0 1 0 63 5 0 0 19 0 19 0 825577630 13952704512 43822 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 47597969570643 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 13625688 [startup+1.50109 s] /proc/loadavg: 2.10 2.07 2.01 3/483 19458 /proc/meminfo: memFree=30773780/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13625688 CPUtime=2.11 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 46239 0 1 0 205 6 0 0 25 0 19 0 825577629 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406422 44177 2230 9 0 3397156 0 [pid=19439/tid=19440] ppid=19437 vsize=13625688 CPUtime=1.48 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 40877 0 1 0 143 5 0 0 20 0 19 0 825577630 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505718208 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577632 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825577633 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825577633 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825577633 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13625688 CPUtime=0.3 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 1941 0 0 0 30 0 0 0 25 0 19 0 825577635 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13625688 CPUtime=0.31 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2261 0 0 0 31 0 0 0 15 0 19 0 825577635 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577635 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13952704512 44177 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 13625688 [startup+3.10092 s] /proc/loadavg: 2.10 2.07 2.01 3/483 19458 /proc/meminfo: memFree=30765228/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13625688 CPUtime=3.8 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 48694 0 1 0 373 7 0 0 25 0 19 0 825577629 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406422 46624 2259 9 0 3397156 0 [pid=19439/tid=19440] ppid=19437 vsize=13625688 CPUtime=3.03 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 40893 0 1 0 298 5 0 0 25 0 19 0 825577630 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505712936 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 113 0 0 0 0 0 0 0 18 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 423 0 0 0 0 0 0 0 17 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 354 0 0 0 0 0 0 0 18 0 19 0 825577632 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13625688 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 1093 0 0 0 3 0 0 0 16 0 19 0 825577633 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13625688 CPUtime=0.33 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 1952 0 0 0 33 0 0 0 16 0 19 0 825577635 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13625688 CPUtime=0.36 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2280 0 0 0 36 0 0 0 15 0 19 0 825577635 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577635 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13625688 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13952704512 46624 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 13625688 [startup+6.30136 s] /proc/loadavg: 2.09 2.07 2.01 3/483 19459 /proc/meminfo: memFree=30761956/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13624516 CPUtime=7.08 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 49655 0 1 0 701 7 0 0 25 0 19 0 825577629 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406129 46801 2259 9 0 3396863 0 [pid=19439/tid=19440] ppid=19437 vsize=13624516 CPUtime=6.17 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 40896 0 1 0 612 5 0 0 25 0 19 0 825577630 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505794813 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13624516 CPUtime=0.01 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 333 0 0 0 1 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 423 0 0 0 0 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13624516 CPUtime=0.01 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 359 0 0 0 1 0 0 0 15 0 19 0 825577632 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13624516 CPUtime=0.07 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 1253 0 0 0 7 0 0 0 16 0 19 0 825577633 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13624516 CPUtime=0.38 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 2575 0 0 0 38 0 0 0 16 0 19 0 825577635 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13624516 CPUtime=0.37 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2281 0 0 0 37 0 0 0 15 0 19 0 825577635 13951504384 46801 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=19439/tid=19447] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 258 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 436 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 392 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13624516 CPUtime=2.41 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 2507 0 0 0 240 1 0 0 15 0 19 0 825577633 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13624516 CPUtime=0.42 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 2579 0 0 0 42 0 0 0 15 0 19 0 825577635 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13624516 CPUtime=0.44 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2500 0 0 0 44 0 0 0 15 0 19 0 825577635 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825577635 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13951504384 48200 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1723.37 Current children cumulated vsize (KiB) 13624516 [startup+1782.3 s] /proc/loadavg: 2.04 2.06 2.01 3/483 19554 /proc/meminfo: memFree=31091044/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13624516 CPUtime=1783.37 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 51657 0 1 0 178328 9 0 0 25 0 19 0 825577629 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406129 48202 2260 9 0 3396863 0 [pid=19439/tid=19440] ppid=19437 vsize=13624516 CPUtime=1779.68 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 41018 0 1 0 177963 5 0 0 25 0 19 0 825577630 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505780539 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 350 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13624516 CPUtime=0.05 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 41 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 16 0 0 0 4 0 0 0 16 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 258 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 436 0 0 0 4 0 0 0 16 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 392 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13624516 CPUtime=2.43 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 2511 0 0 0 242 1 0 0 15 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13624516 CPUtime=0.42 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 2579 0 0 0 42 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13624516 CPUtime=0.44 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2500 0 0 0 44 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (KiB) 13624516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799 s] /proc/loadavg: 2.03 2.06 2.01 3/483 19554 /proc/meminfo: memFree=31091020/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13624516 CPUtime=1800.08 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 51660 0 1 0 179999 9 0 0 25 0 19 0 825577629 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406129 48202 2260 9 0 3396863 0 [pid=19439/tid=19440] ppid=19437 vsize=13624516 CPUtime=1796.37 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 41019 0 1 0 179632 5 0 0 25 0 19 0 825577630 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505632729 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 350 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13624516 CPUtime=0.05 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 41 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 16 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 258 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 436 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13624516 CPUtime=0.05 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 392 0 0 0 5 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13624516 CPUtime=2.45 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 2513 0 0 0 244 1 0 0 15 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13624516 CPUtime=0.42 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 2579 0 0 0 42 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13624516 CPUtime=0.44 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2500 0 0 0 44 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13624516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1799 s] /proc/loadavg: 2.03 2.06 2.01 3/483 19554 /proc/meminfo: memFree=31091020/32950928 swapFree=34365992/67111528 [pid=19439] ppid=19437 vsize=13624516 CPUtime=1800.08 cores=0,2,4,6 /proc/19439/stat : 19439 (java) S 19437 19439 12983 0 -1 4202496 51660 0 1 0 179999 9 0 0 25 0 19 0 825577629 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19439/statm: 3406129 48202 2260 9 0 3396863 0 [pid=19439/tid=19440] ppid=19437 vsize=13624516 CPUtime=1796.37 cores=0,2,4,6 /proc/19439/task/19440/stat : 19440 (java) R 19437 19439 12983 0 -1 4202560 41019 0 1 0 179632 5 0 0 25 0 19 0 825577630 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 46912505632729 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19439/tid=19442] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19442/stat : 19442 (java) S 19437 19439 12983 0 -1 4202560 350 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19443] ppid=19437 vsize=13624516 CPUtime=0.03 cores=0,2,4,6 /proc/19439/task/19443/stat : 19443 (java) S 19437 19439 12983 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19444] ppid=19437 vsize=13624516 CPUtime=0.05 cores=0,2,4,6 /proc/19439/task/19444/stat : 19444 (java) S 19437 19439 12983 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19445] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19445/stat : 19445 (java) S 19437 19439 12983 0 -1 4202560 41 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19446] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19446/stat : 19446 (java) S 19437 19439 12983 0 -1 4202560 16 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19447] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19447/stat : 19447 (java) S 19437 19439 12983 0 -1 4202560 258 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19448] ppid=19437 vsize=13624516 CPUtime=0.04 cores=0,2,4,6 /proc/19439/task/19448/stat : 19448 (java) S 19437 19439 12983 0 -1 4202560 436 0 0 0 4 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19449] ppid=19437 vsize=13624516 CPUtime=0.05 cores=0,2,4,6 /proc/19439/task/19449/stat : 19449 (java) S 19437 19439 12983 0 -1 4202560 392 0 0 0 5 0 0 0 15 0 19 0 825577632 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19450] ppid=19437 vsize=13624516 CPUtime=2.45 cores=0,2,4,6 /proc/19439/task/19450/stat : 19450 (java) S 19437 19439 12983 0 -1 4202560 2513 0 0 0 244 1 0 0 15 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 0 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19451] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19451/stat : 19451 (java) S 19437 19439 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19452] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19452/stat : 19452 (java) S 19437 19439 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825577633 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19453] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19453/stat : 19453 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606690225 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19454] ppid=19437 vsize=13624516 CPUtime=0.42 cores=0,2,4,6 /proc/19439/task/19454/stat : 19454 (java) S 19437 19439 12983 0 -1 4202560 2579 0 0 0 42 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 2 0 0 0 [pid=19439/tid=19455] ppid=19437 vsize=13624516 CPUtime=0.44 cores=0,2,4,6 /proc/19439/task/19455/stat : 19455 (java) S 19437 19439 12983 0 -1 4202560 2500 0 0 0 44 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 [pid=19439/tid=19456] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19456/stat : 19456 (java) S 19437 19439 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606682521 0 4 0 16800975 18446604441090414592 0 0 -1 4 0 0 0 [pid=19439/tid=19457] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19457/stat : 19457 (java) S 19437 19439 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825577635 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 0 0 0 0 [pid=19439/tid=19458] ppid=19437 vsize=13624516 CPUtime=0 cores=0,2,4,6 /proc/19439/task/19458/stat : 19458 (java) S 19437 19439 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825577672 13951504384 48202 33554432000 1073741824 1073778376 140735748464864 18446744073709551615 235606683136 0 4 0 16800975 18446604441090414592 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13624516 Child status: 143 Real time (s): 1799.07 CPU time (s): 1800.2 CPU user time (s): 1800.09 CPU system time (s): 0.106983 CPU usage (%): 100.062 Max. virtual memory (cumulated for all children) (KiB): 13625772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.106983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51785 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40343 involuntary context switches= 7756 runsolver used 8.67968 second user time and 17.5053 second system time The end
Begin job on node120 at 2011-06-04 00:23:09 IDJOB=3458863 IDBENCH=1517 IDSOLVER=1952 FILE ID=node120/3458863-1307139789 RUNJOBID= node120-1307134082-15998 PBS_JOBID= 13508796 Free space on /tmp= 73808 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458863-1307139789/watcher-3458863-1307139789 -o /tmp/evaluation-result-3458863-1307139789/solver-3458863-1307139789 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458863-1307139789.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9 RANDOM SEED=357027641 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30942664 kB Buffers: 286144 kB Cached: 979228 kB SwapCached: 12852 kB Active: 764260 kB Inactive: 951456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30942664 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 480 kB Writeback: 0 kB AnonPages: 447460 kB Mapped: 17444 kB Slab: 133088 kB PageTables: 92048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 118814520 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73812 MiB End job on node120 at 2011-06-04 00:53:10