Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 24 | 1800.85 | 1796.77 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 60.8677 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.02/0.09 c version 2.3.2.v20120418 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 501472288 0.02/0.09 c Max memory 7480803328 0.02/0.09 c Total memory 504102912 0.02/0.09 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710906-1338162141.opb 0.09/0.12 c reading problem ... 0.71/0.40 c ... done. Wall clock time 0.28s. 0.71/0.40 c declared #vars 4318 0.71/0.40 c #constraints 15120 0.71/0.40 c constraints type 0.71/0.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 0.71/0.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.71/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 0.71/0.40 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 0.71/0.40 c 15120 constraints processed. 0.71/0.47 c SATISFIABLE 0.71/0.47 c OPTIMIZING... 0.71/0.47 c Got one! Elapsed wall clock time (in seconds):0.349 0.71/0.47 o 24 2.61/1.84 c cleaning 2499 clauses out of 5010 with flag 5000/5010 4.08/3.28 c cleaning 4248 clauses out of 8511 with flag 11000/11010 5.69/4.85 c cleaning 5602 clauses out of 11263 with flag 18000/18010 7.60/6.72 c cleaning 6810 clauses out of 13661 with flag 26000/26010 9.75/8.87 c cleaning 7918 clauses out of 15851 with flag 35000/35010 12.45/11.59 c cleaning 8960 clauses out of 17933 with flag 45000/45010 15.56/14.60 c cleaning 9983 clauses out of 19974 with flag 56001/56011 18.37/17.44 c cleaning 10991 clauses out of 21993 with flag 68003/68013 21.97/21.07 c cleaning 11991 clauses out of 23999 with flag 81000/81010 25.48/24.53 c cleaning 12959 clauses out of 26008 with flag 95000/95010 28.99/28.05 c cleaning 14006 clauses out of 28049 with flag 110000/110010 32.90/31.92 c cleaning 15016 clauses out of 30044 with flag 126001/126011 36.59/35.62 c cleaning 15999 clauses out of 32027 with flag 143000/143010 41.91/40.96 c cleaning 17007 clauses out of 34028 with flag 161000/161010 47.43/46.42 c cleaning 17906 clauses out of 36021 with flag 180000/180010 53.06/52.08 c cleaning 19051 clauses out of 38118 with flag 200003/200013 58.28/57.20 c cleaning 20026 clauses out of 40065 with flag 221001/221011 63.98/62.90 c cleaning 20943 clauses out of 42038 with flag 243000/243010 69.49/68.40 c cleaning 22038 clauses out of 44095 with flag 266000/266010 75.83/74.72 c cleaning 23019 clauses out of 46058 with flag 290001/290011 83.54/82.43 c cleaning 24004 clauses out of 48038 with flag 315000/315010 91.15/90.09 c cleaning 25003 clauses out of 50034 with flag 341000/341010 98.76/97.63 c cleaning 26009 clauses out of 52031 with flag 368000/368010 105.27/104.16 c cleaning 26967 clauses out of 54022 with flag 396000/396010 112.78/111.69 c cleaning 27978 clauses out of 56055 with flag 425000/425010 121.59/120.45 c cleaning 29034 clauses out of 58077 with flag 455000/455010 129.99/128.81 c cleaning 30007 clauses out of 60043 with flag 486000/486010 138.72/137.58 c cleaning 30960 clauses out of 62036 with flag 518000/518010 147.62/146.42 c cleaning 32027 clauses out of 64077 with flag 551001/551011 156.53/155.30 c cleaning 33012 clauses out of 66049 with flag 585000/585010 166.57/165.33 c cleaning 34005 clauses out of 68037 with flag 620000/620010 174.78/173.58 c cleaning 35013 clauses out of 70034 with flag 656002/656012 184.89/183.62 c cleaning 35999 clauses out of 72019 with flag 693000/693010 196.09/194.80 c cleaning 36995 clauses out of 74020 with flag 731000/731010 207.90/206.60 c cleaning 37997 clauses out of 76025 with flag 770000/770010 219.93/218.62 c cleaning 39008 clauses out of 78028 with flag 810000/810010 228.95/227.63 c cleaning 39978 clauses out of 80020 with flag 851000/851010 239.98/238.66 c cleaning 41008 clauses out of 82045 with flag 893003/893013 252.30/250.96 c cleaning 42008 clauses out of 84035 with flag 936001/936011 264.51/263.11 c cleaning 43001 clauses out of 86031 with flag 980005/980015 277.13/275.75 c cleaning 44003 clauses out of 88025 with flag 1025000/1025010 290.24/288.90 c cleaning 44998 clauses out of 90022 with flag 1071000/1071010 304.15/302.72 c cleaning 46000 clauses out of 92027 with flag 1118003/1118013 317.58/316.16 c cleaning 46998 clauses out of 94024 with flag 1166000/1166010 331.10/329.64 c cleaning 47999 clauses out of 96028 with flag 1215002/1215012 345.42/343.90 c cleaning 49002 clauses out of 98027 with flag 1265000/1265010 359.14/357.69 c cleaning 50002 clauses out of 100025 with flag 1316000/1316010 372.97/371.48 c cleaning 51006 clauses out of 102023 with flag 1368000/1368010 386.71/385.10 c cleaning 52002 clauses out of 104018 with flag 1421001/1421011 402.13/400.53 c cleaning 52979 clauses out of 106016 with flag 1475001/1475011 417.45/415.86 c cleaning 54004 clauses out of 108037 with flag 1530001/1530011 432.08/430.45 c cleaning 55002 clauses out of 110033 with flag 1586001/1586011 448.60/446.96 c cleaning 55964 clauses out of 112030 with flag 1643000/1643010 467.33/465.64 c cleaning 57002 clauses out of 114066 with flag 1701000/1701010 483.14/481.49 c cleaning 57962 clauses out of 116066 with flag 1760002/1760012 495.95/494.29 c cleaning 59036 clauses out of 118102 with flag 1820000/1820010 508.89/507.19 c cleaning 60015 clauses out of 120067 with flag 1881001/1881011 522.59/520.83 c cleaning 61010 clauses out of 122051 with flag 1943000/1943010 537.43/535.70 c cleaning 62007 clauses out of 124041 with flag 2006000/2006010 556.54/554.75 c cleaning 63002 clauses out of 126034 with flag 2070000/2070010 573.48/571.61 c cleaning 64006 clauses out of 128034 with flag 2135002/2135012 592.50/590.67 c cleaning 65001 clauses out of 130026 with flag 2201000/2201010 610.51/608.64 c cleaning 65998 clauses out of 132025 with flag 2268000/2268010 628.33/626.41 c cleaning 67001 clauses out of 134027 with flag 2336000/2336010 647.56/645.67 c cleaning 67999 clauses out of 136027 with flag 2405001/2405011 668.59/666.68 c cleaning 69000 clauses out of 138028 with flag 2475001/2475011 693.12/691.19 c cleaning 70003 clauses out of 140027 with flag 2546000/2546010 718.17/716.18 c cleaning 70995 clauses out of 142024 with flag 2618000/2618010 739.79/737.80 c cleaning 71997 clauses out of 144029 with flag 2691000/2691010 762.11/760.05 c cleaning 72995 clauses out of 146034 with flag 2765002/2765012 783.32/781.23 c cleaning 73988 clauses out of 148037 with flag 2840000/2840010 805.17/803.08 c cleaning 75008 clauses out of 150053 with flag 2916004/2916014 825.59/823.40 c cleaning 76007 clauses out of 152041 with flag 2993000/2993010 845.33/843.16 c cleaning 77001 clauses out of 154034 with flag 3071000/3071010 868.03/865.81 c cleaning 78000 clauses out of 156033 with flag 3150000/3150010 893.46/891.23 c cleaning 79001 clauses out of 158034 with flag 3230001/3230011 917.27/915.08 c cleaning 80001 clauses out of 160034 with flag 3311002/3311012 943.11/940.88 c cleaning 81001 clauses out of 162032 with flag 3393001/3393011 966.83/964.59 c cleaning 82002 clauses out of 164031 with flag 3476001/3476011 991.85/989.50 c cleaning 83004 clauses out of 166029 with flag 3560001/3560011 1015.89/1013.50 c cleaning 83999 clauses out of 168026 with flag 3645002/3645012 1045.53/1043.16 c cleaning 84998 clauses out of 170026 with flag 3731001/3731011 1074.56/1072.19 c cleaning 85998 clauses out of 172031 with flag 3818004/3818014 1103.49/1101.04 c cleaning 87006 clauses out of 174034 with flag 3906005/3906015 1131.61/1129.11 c cleaning 87998 clauses out of 176023 with flag 3995000/3995010 1161.63/1159.17 c cleaning 89000 clauses out of 178027 with flag 4085002/4085012 1189.65/1187.10 c cleaning 89996 clauses out of 180025 with flag 4176000/4176010 1219.41/1216.84 c cleaning 91000 clauses out of 182029 with flag 4268000/4268010 1250.46/1247.81 c cleaning 91998 clauses out of 184031 with flag 4361002/4361012 1279.90/1277.20 c cleaning 92999 clauses out of 186032 with flag 4455001/4455011 1309.53/1306.87 c cleaning 94003 clauses out of 188032 with flag 4550000/4550010 1336.74/1334.06 c cleaning 95002 clauses out of 190029 with flag 4646000/4646010 1364.65/1361.95 c cleaning 96007 clauses out of 192027 with flag 4743000/4743010 1396.49/1393.70 c cleaning 97003 clauses out of 194023 with flag 4841003/4841013 1429.12/1426.32 c cleaning 98004 clauses out of 196018 with flag 4940001/4940011 1458.44/1455.62 c cleaning 98988 clauses out of 198013 with flag 5040000/5040010 1486.52/1483.63 c cleaning 99984 clauses out of 200025 with flag 5141000/5141010 1515.97/1513.04 c cleaning 101001 clauses out of 202041 with flag 5243000/5243010 1546.02/1543.05 c cleaning 102010 clauses out of 204041 with flag 5346001/5346011 1575.36/1572.34 c cleaning 103004 clauses out of 206033 with flag 5450003/5450013 1607.80/1604.80 c cleaning 103949 clauses out of 208026 with flag 5555000/5555010 1637.45/1634.30 c cleaning 104970 clauses out of 210077 with flag 5661000/5661010 1671.59/1668.41 c cleaning 106043 clauses out of 212108 with flag 5768001/5768011 1703.13/1699.91 c cleaning 106984 clauses out of 214064 with flag 5876000/5876010 1733.46/1730.21 c cleaning 108024 clauses out of 216082 with flag 5985002/5985012 1767.21/1763.90 c cleaning 109022 clauses out of 218057 with flag 6095001/6095011 1799.82/1796.58 c cleaning 110004 clauses out of 220037 with flag 6206003/6206013 1800.07/1796.71 c starts : 277 1800.07/1796.71 c conflicts : 6206201 1800.07/1796.71 c decisions : 18764092 1800.07/1796.71 c propagations : 3989626849 1800.07/1796.71 c inspects : 16220410267 1800.07/1796.71 c shortcuts : 0 1800.07/1796.71 c learnt literals : 0 1800.07/1796.71 c learnt binary clauses : 0 1800.07/1796.71 c learnt ternary clauses : 1 1800.07/1796.71 c learnt constraints : 6206201 1800.07/1796.71 c ignored constraints : 0 1800.07/1796.71 c root simplifications : 277 1800.07/1796.71 c removed literals (reason simplification) : 48293028 1800.07/1796.71 c reason swapping (by a shorter reason) : 0 1800.07/1796.71 c Calls to reduceDB : 107 1800.07/1796.71 c number of reductions to clauses (during analyze) : 0 1800.07/1796.71 c number of learned constraints concerned by reduction : 0 1800.07/1796.71 c number of learning phase by resolution : 0 1800.07/1796.71 c number of learning phase by cutting planes : 0 1800.07/1796.71 c speed (assignments/second) : 2221025.1928965095 1800.07/1796.71 c non guided choices 636 1800.07/1796.74 c learnt constraints type 1800.07/1796.74 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110323 1800.07/1796.74 c constraints type 1800.07/1796.74 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 1800.07/1796.74 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.07/1796.74 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 1800.07/1796.74 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1800.07/1796.74 c 15121 constraints processed. 1800.07/1796.74 s SATISFIABLE 1800.07/1796.75 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 1800.07/1796.75 c objective function=24 1800.07/1796.75 c Total wall clock time (in seconds): 1796.633
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710906-1338162141/watcher-3710906-1338162141 -o /tmp/evaluation-result-3710906-1338162141/solver-3710906-1338162141 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710906-1338162141.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/194 13463 /proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13463/stat : 13463 (java) D 13461 13463 12979 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 282340165 9515008 182 33554432000 1073741824 1073778376 140735005514336 140735005505368 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/13463/statm: 2323 182 140 9 0 71 0 [startup+0.0402321 s] /proc/loadavg: 1.92 1.98 1.99 3/194 13463 /proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 2965 0 1 0 1 1 0 0 20 0 13 0 282340165 9446973440 3664 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2306390 3664 1661 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100297 s] /proc/loadavg: 1.92 1.98 1.99 3/194 13463 /proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 4253 0 1 0 8 1 0 0 20 0 18 0 282340165 9787842560 5461 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2389610 5461 2113 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300292 s] /proc/loadavg: 1.92 1.98 1.99 3/194 13463 /proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9558440 CPUtime=0.47 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 5372 0 1 0 45 2 0 0 20 0 18 0 282340165 9787842560 8293 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2389610 8293 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558440 [startup+0.700295 s] /proc/loadavg: 1.92 1.98 1.99 3/194 13463 /proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9563 0 1 0 143 3 0 0 20 0 19 0 282340165 9856004096 15618 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 15618 2259 9 0 2396937 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 9625004 [startup+1.50068 s] /proc/loadavg: 1.92 1.98 1.99 3/213 13482 /proc/meminfo: memFree=30877188/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=2.31 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9571 0 1 0 228 3 0 0 20 0 19 0 282340165 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 16136 2262 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2515 0 1 0 144 2 0 0 20 0 19 0 282340167 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497414064728 140497255978528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2433 0 0 0 39 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3428 0 0 0 42 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 9625004 [startup+3.10066 s] /proc/loadavg: 1.92 1.98 1.99 3/213 13482 /proc/meminfo: memFree=30864140/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=3.98 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9626 0 1 0 395 3 0 0 20 0 19 0 282340165 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 18739 2287 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=3.05 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2517 0 1 0 302 3 0 0 20 0 19 0 282340167 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497414066344 140497256163369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2434 0 0 0 42 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 9625004 [startup+6.30067 s] /proc/loadavg: 1.93 1.98 1.99 3/213 13482 /proc/meminfo: memFree=30861728/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=7.2 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9645 0 1 0 716 4 0 0 20 0 19 0 282340165 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 19263 2287 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=6.21 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2519 0 1 0 618 3 0 0 20 0 19 0 282340167 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497414066648 140497256130037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0.03 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2435 0 0 0 43 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 236 0 0 0 40 2 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 38 1 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 142 0 0 0 38 1 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.28 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 164 0 0 0 425 3 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 99 0 0 0 19 18 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1725.55 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13578 /proc/meminfo: memFree=30834316/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=1785.62 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11816 0 1 0 178538 24 0 0 20 0 19 0 282340165 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 37677 2288 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1776.87 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2621 0 1 0 177657 30 0 0 20 0 19 0 282340167 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497414066480 140497256164786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 45 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 40 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 40 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 236 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 40 1 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.4 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 168 0 0 0 437 3 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13578 /proc/meminfo: memFree=30832144/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11825 0 1 0 179983 24 0 0 20 0 19 0 282340165 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 38194 2288 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1791.2 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2622 0 1 0 179090 30 0 0 20 0 19 0 282340167 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497414066440 140497256141617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 46 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 241 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 41 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.46 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 171 0 0 0 443 3 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13578 /proc/meminfo: memFree=30832144/32873844 swapFree=7372/7372 [pid=13463] ppid=13461 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11825 0 1 0 179983 24 0 0 20 0 19 0 282340165 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13463/statm: 2406251 38194 2288 9 0 2396937 0 [pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1791.2 cores=1,3,5,7 /proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2622 0 1 0 179090 30 0 0 20 0 19 0 282340167 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497414066440 140497256141617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 46 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 241 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 41 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.46 cores=1,3,5,7 /proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 171 0 0 0 443 3 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1796.77 CPU time (s): 1800.85 CPU user time (s): 1800.11 CPU system time (s): 0.742887 CPU usage (%): 100.227 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.11 system time used= 0.742887 maximum resident set size= 152900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11858 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40859 involuntary context switches= 9230 runsolver used 6.01209 second user time and 14.9317 second system time The end
Begin job on node118 at 2012-05-28 01:42:21 IDJOB=3710906 IDBENCH=25017 IDSOLVER=2289 FILE ID=node118/3710906-1338162141 RUNJOBID= node118-1338156758-12996 PBS_JOBID= 14624527 Free space on /tmp= 71668 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710906-1338162141/watcher-3710906-1338162141 -o /tmp/evaluation-result-3710906-1338162141/solver-3710906-1338162141 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710906-1338162141.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=604920036 node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5320.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30931768 kB Buffers: 371188 kB Cached: 496480 kB SwapCached: 0 kB Active: 725976 kB Inactive: 378384 kB Active(anon): 226860 kB Inactive(anon): 11320 kB Active(file): 499116 kB Inactive(file): 367064 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 916 kB Writeback: 0 kB AnonPages: 244084 kB Mapped: 19916 kB Shmem: 200 kB Slab: 695252 kB SReclaimable: 136648 kB SUnreclaim: 558604 kB KernelStack: 1608 kB PageTables: 4372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697736 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node118 at 2012-05-28 02:12:19