Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 340 | 1800.14 | 1797.29 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
| MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 340 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 340 |
| Optimality of the best value was proved | NO |
| Number of variables | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 5 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 2500 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 2500 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 12995394264 0.06/0.09 c Max memory 13063553024 0.06/0.09 c Total memory 13063553024 0.06/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458880-1307146414.opb 0.10/0.11 c reading problem ... 1.48/0.98 c ... done. Wall clock time 0.868s. 1.48/0.98 c #vars 2700 1.48/0.98 c #constraints 43070 1.48/0.98 c constraints type 1.48/0.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340 1.48/0.98 c org.sat4j.minisat.constraints.card.MinWatchCard => 800 1.48/0.98 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330 1.48/0.98 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600 2.43/1.54 c SATISFIABLE 2.43/1.54 c OPTIMIZING... 2.43/1.54 c Got one! Elapsed wall clock time (in seconds):1.427 2.43/1.54 o 374 2.74/1.86 c Got one! Elapsed wall clock time (in seconds):1.749 2.74/1.86 o 370 2.88/1.98 c cleaning 3131 clauses out of 6263 with flag 1001/6263 3.55/2.59 c cleaning 4555 clauses out of 9132 with flag 7001/12263 4.27/3.25 c cleaning 5782 clauses out of 11576 with flag 14000/19262 5.17/4.18 c cleaning 6894 clauses out of 13795 with flag 22001/27263 8.12/7.05 c cleaning 7949 clauses out of 15902 with flag 31002/36264 9.53/8.49 c cleaning 8964 clauses out of 17952 with flag 41001/46263 11.43/10.39 c cleaning 9990 clauses out of 19994 with flag 52007/57269 15.14/14.01 c cleaning 10940 clauses out of 21999 with flag 64002/69264 15.54/14.40 c Got one! Elapsed wall clock time (in seconds):14.292 15.54/14.40 o 358 15.94/14.86 c cleaning 8420 clauses out of 16855 with flag 5000/75060 16.75/15.61 c cleaning 7185 clauses out of 14439 with flag 11004/81064 19.15/18.03 c cleaning 7111 clauses out of 14252 with flag 18002/88062 20.75/19.67 c Got one! Elapsed wall clock time (in seconds):19.553 20.75/19.67 o 344 21.26/20.15 c cleaning 8888 clauses out of 17806 with flag 5002/98727 22.57/21.49 c cleaning 7413 clauses out of 14916 with flag 11000/104725 25.47/24.39 c cleaning 7186 clauses out of 14503 with flag 18000/111725 28.98/27.82 c cleaning 7562 clauses out of 15317 with flag 26000/119725 30.29/29.16 c cleaning 8374 clauses out of 16756 with flag 35001/128726 31.39/30.22 c cleaning 9187 clauses out of 18381 with flag 45000/138725 33.01/31.85 c cleaning 10048 clauses out of 20195 with flag 56001/149726 37.90/36.74 c cleaning 11028 clauses out of 22146 with flag 68000/161725 46.22/45.06 c cleaning 11941 clauses out of 24118 with flag 81000/174725 51.42/50.24 c cleaning 13071 clauses out of 26178 with flag 95001/188726 56.63/55.47 c cleaning 14016 clauses out of 28106 with flag 110000/203725 64.55/63.35 c cleaning 15042 clauses out of 30092 with flag 126002/219727 67.17/66.00 c cleaning 16017 clauses out of 32048 with flag 143000/236725 70.86/69.61 c cleaning 16971 clauses out of 34033 with flag 161002/254727 77.97/76.73 c cleaning 18019 clauses out of 36061 with flag 180001/273726 85.78/84.50 c cleaning 19013 clauses out of 38041 with flag 200000/293725 94.39/93.13 c cleaning 19928 clauses out of 40028 with flag 221000/314725 105.50/104.20 c cleaning 20990 clauses out of 42101 with flag 243001/336726 118.92/117.63 c cleaning 22000 clauses out of 44110 with flag 266000/359725 125.94/124.68 c cleaning 23002 clauses out of 46110 with flag 290000/383725 137.55/136.20 c cleaning 23999 clauses out of 48108 with flag 315000/408725 144.97/143.65 c cleaning 24987 clauses out of 50109 with flag 341000/434725 158.08/156.71 c cleaning 25980 clauses out of 52124 with flag 368002/461727 175.40/174.02 c cleaning 26993 clauses out of 54142 with flag 396000/489725 190.92/189.59 c cleaning 28004 clauses out of 56150 with flag 425001/518726 208.15/206.72 c cleaning 28991 clauses out of 58147 with flag 455002/548727 224.86/223.43 c cleaning 29961 clauses out of 60155 with flag 486001/579726 238.07/236.66 c cleaning 31093 clauses out of 62193 with flag 518000/611725 247.09/245.62 c cleaning 31938 clauses out of 64100 with flag 551000/644725 268.20/266.78 c cleaning 32992 clauses out of 66163 with flag 585001/678726 292.13/290.65 c cleaning 33981 clauses out of 68171 with flag 620001/713726 314.85/313.31 c cleaning 35039 clauses out of 70190 with flag 656001/749726 340.48/338.92 c cleaning 35988 clauses out of 72150 with flag 693000/786725 366.11/364.51 c cleaning 36984 clauses out of 74162 with flag 731000/824725 397.94/396.36 c cleaning 37985 clauses out of 76180 with flag 770002/863727 421.56/419.94 c cleaning 39085 clauses out of 78193 with flag 810000/903725 436.78/435.11 c cleaning 39978 clauses out of 80109 with flag 851001/944726 457.99/456.33 c cleaning 41054 clauses out of 82130 with flag 893000/986725 482.71/481.02 c cleaning 41961 clauses out of 84078 with flag 936002/1029727 517.04/515.37 c cleaning 43014 clauses out of 86117 with flag 980002/1073727 550.08/548.38 c cleaning 43437 clauses out of 87101 with flag 1024000/1117725 590.49/588.73 c cleaning 43728 clauses out of 87664 with flag 1068000/1161725 623.81/622.03 c cleaning 43892 clauses out of 87937 with flag 1112001/1205726 669.23/667.40 c cleaning 43925 clauses out of 88045 with flag 1156001/1249726 716.88/715.04 c cleaning 43996 clauses out of 88121 with flag 1200002/1293727 754.22/752.38 c cleaning 44031 clauses out of 88123 with flag 1244000/1337725 774.05/772.15 c cleaning 43954 clauses out of 88094 with flag 1288002/1381727 804.16/802.29 c cleaning 43972 clauses out of 88138 with flag 1332000/1425725 831.89/829.94 c cleaning 44013 clauses out of 88166 with flag 1376000/1469725 866.63/864.68 c cleaning 43989 clauses out of 88158 with flag 1420005/1513730 900.75/898.75 c cleaning 43991 clauses out of 88165 with flag 1464001/1557726 947.98/945.92 c cleaning 43951 clauses out of 88174 with flag 1508001/1601726 979.69/977.69 c cleaning 44006 clauses out of 88224 with flag 1552002/1645727 1006.23/1004.12 c cleaning 44014 clauses out of 88217 with flag 1596001/1689726 1031.67/1029.61 c cleaning 43977 clauses out of 88202 with flag 1640000/1733725 1057.88/1055.78 c cleaning 44046 clauses out of 88225 with flag 1684000/1777725 1100.01/1097.85 c cleaning 43983 clauses out of 88179 with flag 1728000/1821725 1132.22/1130.02 c cleaning 44009 clauses out of 88196 with flag 1772000/1865725 1160.56/1158.33 c cleaning 44042 clauses out of 88190 with flag 1816003/1909728 1195.78/1193.53 c cleaning 44011 clauses out of 88148 with flag 1860003/1953728 1229.08/1226.82 c cleaning 43951 clauses out of 88136 with flag 1904002/1997727 1252.01/1249.71 c cleaning 44025 clauses out of 88183 with flag 1948000/2041725 1278.82/1276.59 c cleaning 44059 clauses out of 88160 with flag 1992002/2085727 1308.74/1306.42 c cleaning 44025 clauses out of 88100 with flag 2036001/2129726 1337.16/1334.83 c cleaning 43915 clauses out of 88075 with flag 2080001/2173726 1365.08/1362.73 c cleaning 43947 clauses out of 88159 with flag 2124000/2217725 1400.79/1398.49 c cleaning 43936 clauses out of 88213 with flag 2168001/2261726 1426.62/1424.21 c cleaning 44110 clauses out of 88278 with flag 2212002/2305727 1452.74/1450.32 c cleaning 44018 clauses out of 88166 with flag 2256000/2349725 1480.95/1478.58 c cleaning 43882 clauses out of 88148 with flag 2300000/2393725 1524.47/1522.07 c cleaning 43911 clauses out of 88266 with flag 2344000/2437725 1553.51/1551.08 c cleaning 44111 clauses out of 88355 with flag 2388000/2481725 1593.71/1591.25 c cleaning 44035 clauses out of 88244 with flag 2432000/2525725 1634.33/1631.81 c cleaning 43972 clauses out of 88209 with flag 2476000/2569725 1677.95/1675.41 c Got one! Elapsed wall clock time (in seconds):1675.3 1677.95/1675.41 o 340 1678.68/1676.15 c cleaning 46494 clauses out of 93004 with flag 5000/2618492 1679.50/1676.94 c cleaning 26244 clauses out of 52510 with flag 11000/2624492 1680.31/1677.71 c cleaning 16618 clauses out of 33266 with flag 18000/2631492 1681.24/1678.65 c cleaning 12313 clauses out of 24648 with flag 26000/2639492 1682.24/1679.65 c cleaning 10628 clauses out of 21337 with flag 35002/2648494 1683.83/1681.26 c cleaning 10325 clauses out of 20709 with flag 45002/2658494 1686.14/1683.58 c cleaning 10668 clauses out of 21384 with flag 56002/2669494 1688.35/1685.72 c cleaning 11315 clauses out of 22714 with flag 68000/2681492 1691.26/1688.67 c cleaning 12188 clauses out of 24399 with flag 81000/2694492 1694.16/1691.51 c cleaning 13094 clauses out of 26211 with flag 95000/2708492 1697.57/1694.99 c cleaning 14046 clauses out of 28117 with flag 110000/2723492 1702.28/1699.60 c cleaning 15019 clauses out of 30072 with flag 126001/2739493 1707.09/1704.40 c cleaning 16011 clauses out of 32052 with flag 143000/2756492 1712.59/1709.95 c cleaning 17008 clauses out of 34041 with flag 161000/2774492 1717.70/1715.03 c cleaning 18004 clauses out of 36033 with flag 180000/2793492 1724.41/1721.79 c cleaning 19002 clauses out of 38033 with flag 200004/2813496 1730.92/1728.29 c cleaning 19992 clauses out of 40027 with flag 221000/2834492 1737.23/1734.52 c cleaning 21014 clauses out of 42037 with flag 243002/2856494 1743.84/1741.19 c cleaning 22007 clauses out of 44023 with flag 266002/2879494 1751.15/1748.40 c cleaning 22996 clauses out of 46014 with flag 290000/2903492 1759.16/1756.42 c cleaning 24003 clauses out of 48019 with flag 315001/2928493 1767.67/1764.96 c cleaning 24995 clauses out of 50015 with flag 341000/2954492 1776.37/1773.66 c cleaning 26001 clauses out of 52022 with flag 368002/2981494 1786.38/1783.64 c cleaning 27005 clauses out of 54019 with flag 396000/3009492 1796.81/1794.02 c cleaning 28002 clauses out of 56017 with flag 425003/3038495 1800.02/1797.22 c starts : 236 1800.02/1797.22 c conflicts : 3048565 1800.02/1797.22 c decisions : 4815334 1800.02/1797.22 c propagations : 451634008 1800.02/1797.22 c inspects : 12357570126 1800.02/1797.22 c shortcuts : 0 1800.02/1797.22 c learnt literals : 0 1800.02/1797.22 c learnt binary clauses : 0 1800.02/1797.22 c learnt ternary clauses : 11 1800.02/1797.22 c learnt constraints : 3048565 1800.02/1797.22 c ignored constraints : 0 1800.02/1797.22 c root simplifications : 0 1800.02/1797.22 c removed literals (reason simplification) : 167527658 1800.02/1797.22 c reason swapping (by a shorter reason) : 0 1800.02/1797.22 c Calls to reduceDB : 110 1800.02/1797.22 c number of reductions to clauses (during analyze) : 0 1800.02/1797.22 c number of learned constraints concerned by reduction : 0 1800.02/1797.22 c number of learning phase by resolution : 0 1800.02/1797.22 c number of learning phase by cutting planes : 0 1800.02/1797.22 c speed (assignments/second) : 3707753.899579666 1800.02/1797.22 c non guided choices 7814 1800.02/1797.24 c learnt constraints type 1800.02/1797.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38127 1800.02/1797.24 c constraints type 1800.02/1797.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340 1800.02/1797.24 c org.sat4j.minisat.constraints.card.MinWatchCard => 800 1800.02/1797.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330 1800.02/1797.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21601 1800.02/1797.24 s SATISFIABLE 1800.02/1797.25 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 1800.02/1797.25 c objective function=340 1800.02/1797.25 c Total wall clock time (in seconds): 1797.138
OK 340
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458880-1307146414/watcher-3458880-1307146414 -o /tmp/evaluation-result-3458880-1307146414/solver-3458880-1307146414 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458880-1307146414.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.39 1.86 1.95 3/515 26540 /proc/meminfo: memFree=26370304/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 5643 0 1 0 0 0 0 0 18 0 2 0 904872073 13850947584 5345 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3381579 5356 917 9 0 3372735 0 [pid=26540/tid=26541] ppid=26538 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 7337 0 1 0 0 0 0 0 19 0 2 0 904872074 13850947584 8153 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0738329 s] /proc/loadavg: 1.39 1.86 1.95 3/515 26540 /proc/meminfo: memFree=26370304/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13555088 CPUtime=0.06 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 14382 0 1 0 5 1 0 0 18 0 18 0 904872073 13880410112 14078 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3388772 14078 1754 9 0 3379506 0 [pid=26540/tid=26541] ppid=26538 vsize=13555088 CPUtime=0.06 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 13207 0 1 0 5 1 0 0 25 0 18 0 904872074 13880410112 14078 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251367239376 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13555088 [startup+0.100837 s] /proc/loadavg: 1.39 1.86 1.95 3/515 26540 /proc/meminfo: memFree=26370304/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13622360 CPUtime=0.1 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 15506 0 1 0 8 2 0 0 18 0 18 0 904872073 13949296640 15202 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3405590 15202 2092 9 0 3396324 0 [pid=26540/tid=26541] ppid=26538 vsize=13622360 CPUtime=0.08 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 13603 0 1 0 7 1 0 0 25 0 18 0 904872074 13949296640 15202 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 47446780691203 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622360 [startup+0.322793 s] /proc/loadavg: 1.39 1.86 1.95 3/515 26540 /proc/meminfo: memFree=26370304/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13624876 CPUtime=0.53 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 21908 0 1 0 51 2 0 0 18 0 18 0 904872073 13951873024 21013 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406219 21013 2201 9 0 3396953 0 [pid=26540/tid=26541] ppid=26538 vsize=13624876 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 18621 0 1 0 29 2 0 0 25 0 18 0 904872074 13951873024 21013 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 47446784848783 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13624876 [startup+0.700732 s] /proc/loadavg: 1.39 1.86 1.95 3/515 26540 /proc/meminfo: memFree=26370304/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13627032 CPUtime=1.24 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 51133 0 1 0 117 7 0 0 18 0 18 0 904872073 13954080768 49258 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406758 49262 2224 9 0 3397492 0 [pid=26540/tid=26541] ppid=26538 vsize=13627032 CPUtime=0.68 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 45572 0 1 0 63 5 0 0 25 0 18 0 904872074 13954080768 49265 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505567282 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 13627032 [startup+1.50159 s] /proc/loadavg: 1.39 1.86 1.95 5/535 26567 /proc/meminfo: memFree=25982036/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13628436 CPUtime=2.43 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 82671 0 1 0 232 11 0 0 18 0 19 0 904872073 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3407109 78928 2239 9 0 3397843 0 [pid=26540/tid=26541] ppid=26538 vsize=13628436 CPUtime=1.49 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 74981 0 1 0 139 10 0 0 25 0 19 0 904872074 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505932103 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 904872076 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 904872077 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 904872077 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872077 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13628436 CPUtime=0.49 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3168 0 0 0 49 0 0 0 15 0 19 0 904872079 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13628436 CPUtime=0.44 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3361 0 0 0 43 1 0 0 15 0 19 0 904872079 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13955518464 78928 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904872079 13955518464 78929 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13955518464 78929 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 13628436 [startup+3.10128 s] /proc/loadavg: 1.39 1.86 1.95 4/535 26568 /proc/meminfo: memFree=25948804/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13628436 CPUtime=4.15 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 89137 0 1 0 402 13 0 0 18 0 19 0 904872073 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3407109 85384 2264 9 0 3397843 0 [pid=26540/tid=26541] ppid=26538 vsize=13628436 CPUtime=3 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 75709 0 1 0 290 10 0 0 25 0 19 0 904872074 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505919342 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 883 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 687 0 0 0 0 0 0 0 16 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 608 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 904872076 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13628436 CPUtime=0.06 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 2780 0 0 0 6 0 0 0 16 0 19 0 904872077 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13628436 CPUtime=0.55 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3180 0 0 0 55 0 0 0 16 0 19 0 904872079 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13628436 CPUtime=0.48 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3369 0 0 0 47 1 0 0 16 0 19 0 904872079 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904872079 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13628436 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13955518464 85384 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 13628436 [startup+6.3007 s] /proc/loadavg: 1.44 1.87 1.95 3/535 26568 /proc/meminfo: memFree=25943240/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13627696 CPUtime=7.42 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 89775 0 1 0 729 13 0 0 18 0 19 0 904872073 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406924 85702 2264 9 0 3397658 0 [pid=26540/tid=26541] ppid=26538 vsize=13627696 CPUtime=6.12 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 75711 0 1 0 602 10 0 0 25 0 19 0 904872074 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505973322 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 936 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 610 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 19 0 904872076 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13627696 CPUtime=0.14 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 2959 0 0 0 14 0 0 0 15 0 19 0 904872077 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13627696 CPUtime=0.61 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3346 0 0 0 61 0 0 0 15 0 19 0 904872079 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13627696 CPUtime=0.48 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3371 0 0 0 47 1 0 0 16 0 19 0 904872079 13954760704 85702 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=26540/tid=26549] ppid=26538 vsize=13627696 CPUtime=0.2 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 4134 0 0 0 20 0 0 0 16 0 19 0 904872076 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13627696 CPUtime=0.24 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 3042 0 0 0 24 0 0 0 15 0 19 0 904872076 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13627696 CPUtime=0.28 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 3694 0 0 0 28 0 0 0 16 0 19 0 904872076 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13627696 CPUtime=4.52 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 11133 0 0 0 450 2 0 0 15 0 19 0 904872077 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13627696 CPUtime=0.63 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3359 0 0 0 63 0 0 0 15 0 19 0 904872079 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13627696 CPUtime=0.48 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3371 0 0 0 47 1 0 0 15 0 19 0 904872079 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 904872079 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13954760704 119889 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1664.85 Current children cumulated vsize (KiB) 13627696 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/535 26622 /proc/meminfo: memFree=25664416/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13627696 CPUtime=1725.02 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 124749 0 1 0 172480 22 0 0 18 0 19 0 904872073 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406924 120363 2265 9 0 3397658 0 [pid=26540/tid=26541] ppid=26538 vsize=13627696 CPUtime=1716.1 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 75809 0 1 0 171598 12 0 0 25 0 19 0 904872074 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505883470 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13627696 CPUtime=0.32 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 5988 0 0 0 31 1 0 0 15 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13627696 CPUtime=0.27 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 4187 0 0 0 27 0 0 0 16 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13627696 CPUtime=0.29 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 3654 0 0 0 29 0 0 0 15 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13627696 CPUtime=0.26 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13627696 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 2564 0 0 0 31 0 0 0 16 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13627696 CPUtime=0.24 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 4139 0 0 0 24 0 0 0 16 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13627696 CPUtime=0.28 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 3044 0 0 0 28 0 0 0 15 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13627696 CPUtime=0.3 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 3700 0 0 0 30 0 0 0 15 0 19 0 904872076 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13627696 CPUtime=5.37 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 11576 0 0 0 535 2 0 0 15 0 19 0 904872077 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13627696 CPUtime=0.65 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3361 0 0 0 65 0 0 0 15 0 19 0 904872079 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13627696 CPUtime=0.49 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3371 0 0 0 48 1 0 0 15 0 19 0 904872079 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 904872079 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13954760704 120363 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1725.02 Current children cumulated vsize (KiB) 13627696 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.00 3/535 26624 /proc/meminfo: memFree=25659396/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13627696 CPUtime=1785.08 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 125634 0 1 0 178486 22 0 0 18 0 19 0 904872073 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406924 121235 2265 9 0 3397658 0 [pid=26540/tid=26541] ppid=26538 vsize=13627696 CPUtime=1775.67 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 75816 0 1 0 177555 12 0 0 25 0 19 0 904872074 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505931954 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13627696 CPUtime=0.34 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 5992 0 0 0 33 1 0 0 16 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13627696 CPUtime=0.29 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 4189 0 0 0 29 0 0 0 15 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13627696 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 3659 0 0 0 31 0 0 0 16 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13627696 CPUtime=0.26 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13627696 CPUtime=0.32 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 2564 0 0 0 32 0 0 0 16 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13627696 CPUtime=0.26 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 4139 0 0 0 26 0 0 0 15 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13627696 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 3054 0 0 0 31 0 0 0 15 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13627696 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 3701 0 0 0 31 0 0 0 15 0 19 0 904872076 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13627696 CPUtime=5.76 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 12428 0 0 0 574 2 0 0 15 0 19 0 904872077 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13627696 CPUtime=0.65 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3361 0 0 0 65 0 0 0 15 0 19 0 904872079 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13627696 CPUtime=0.49 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3371 0 0 0 48 1 0 0 15 0 19 0 904872079 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 904872079 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13954760704 121235 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1785.08 Current children cumulated vsize (KiB) 13627696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.2 s] /proc/loadavg: 2.03 2.03 2.00 2/515 26627 /proc/meminfo: memFree=26134832/32950928 swapFree=34421304/67111528 [pid=26540] ppid=26538 vsize=13627696 CPUtime=1800.02 cores=0,2,4,6 /proc/26540/stat : 26540 (java) S 26538 26540 24487 0 -1 4202496 125906 0 1 0 179980 22 0 0 18 0 19 0 904872073 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26540/statm: 3406924 121503 2265 9 0 3397658 0 [pid=26540/tid=26541] ppid=26538 vsize=13627696 CPUtime=1790.46 cores=0,2,4,6 /proc/26540/task/26541/stat : 26541 (java) R 26538 26540 24487 0 -1 4202560 75818 0 1 0 179034 12 0 0 25 0 19 0 904872074 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 46912505832432 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26540/tid=26543] ppid=26538 vsize=13627696 CPUtime=0.34 cores=0,2,4,6 /proc/26540/task/26543/stat : 26543 (java) S 26538 26540 24487 0 -1 4202560 5992 0 0 0 33 1 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26544] ppid=26538 vsize=13627696 CPUtime=0.29 cores=0,2,4,6 /proc/26540/task/26544/stat : 26544 (java) S 26538 26540 24487 0 -1 4202560 4189 0 0 0 29 0 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26545] ppid=26538 vsize=13627696 CPUtime=0.32 cores=0,2,4,6 /proc/26540/task/26545/stat : 26545 (java) S 26538 26540 24487 0 -1 4202560 3660 0 0 0 32 0 0 0 16 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26546] ppid=26538 vsize=13627696 CPUtime=0.26 cores=0,2,4,6 /proc/26540/task/26546/stat : 26546 (java) S 26538 26540 24487 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26548] ppid=26538 vsize=13627696 CPUtime=0.32 cores=0,2,4,6 /proc/26540/task/26548/stat : 26548 (java) S 26538 26540 24487 0 -1 4202560 2564 0 0 0 32 0 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26549] ppid=26538 vsize=13627696 CPUtime=0.26 cores=0,2,4,6 /proc/26540/task/26549/stat : 26549 (java) S 26538 26540 24487 0 -1 4202560 4139 0 0 0 26 0 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26551] ppid=26538 vsize=13627696 CPUtime=0.32 cores=0,2,4,6 /proc/26540/task/26551/stat : 26551 (java) S 26538 26540 24487 0 -1 4202560 3054 0 0 0 32 0 0 0 16 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26553] ppid=26538 vsize=13627696 CPUtime=0.31 cores=0,2,4,6 /proc/26540/task/26553/stat : 26553 (java) S 26538 26540 24487 0 -1 4202560 3706 0 0 0 31 0 0 0 15 0 19 0 904872076 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26554] ppid=26538 vsize=13627696 CPUtime=5.87 cores=0,2,4,6 /proc/26540/task/26554/stat : 26554 (java) S 26538 26540 24487 0 -1 4202560 12692 0 0 0 585 2 0 0 15 0 19 0 904872077 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 0 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26556] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26556/stat : 26556 (java) S 26538 26540 24487 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26558] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26558/stat : 26558 (java) S 26538 26540 24487 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904872077 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 0 0 0 0 [pid=26540/tid=26559] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26559/stat : 26559 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379370417 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26560] ppid=26538 vsize=13627696 CPUtime=0.65 cores=0,2,4,6 /proc/26540/task/26560/stat : 26560 (java) S 26538 26540 24487 0 -1 4202560 3361 0 0 0 65 0 0 0 15 0 19 0 904872079 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26562] ppid=26538 vsize=13627696 CPUtime=0.49 cores=0,2,4,6 /proc/26540/task/26562/stat : 26562 (java) S 26538 26540 24487 0 -1 4202560 3371 0 0 0 48 1 0 0 15 0 19 0 904872079 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 [pid=26540/tid=26563] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26563/stat : 26563 (java) S 26538 26540 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904872079 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379362713 0 4 0 16800975 18446604443685228928 0 0 -1 6 0 0 0 [pid=26540/tid=26564] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26564/stat : 26564 (java) S 26538 26540 24487 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 904872079 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 2 0 0 0 [pid=26540/tid=26567] ppid=26538 vsize=13627696 CPUtime=0 cores=0,2,4,6 /proc/26540/task/26567/stat : 26567 (java) S 26538 26540 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904872173 13954760704 121503 33554432000 1073741824 1073778376 140736675717600 18446744073709551615 251379363328 0 4 0 16800975 18446604443685228928 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13627696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.29 CPU time (s): 1800.14 CPU user time (s): 1799.9 CPU system time (s): 0.244962 CPU usage (%): 100.159 Max. virtual memory (cumulated for all children) (KiB): 13628436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.244962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125938 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39813 involuntary context switches= 6090 runsolver used 9.60754 second user time and 19.855 second system time The end
Begin job on node113 at 2011-06-04 02:13:34 IDJOB=3458880 IDBENCH=2013 IDSOLVER=1952 FILE ID=node113/3458880-1307146414 RUNJOBID= node113-1307146413-26437 PBS_JOBID= 13508803 Free space on /tmp= 73772 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458880-1307146414/watcher-3458880-1307146414 -o /tmp/evaluation-result-3458880-1307146414/solver-3458880-1307146414 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458880-1307146414.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED=1311004836 node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26371576 kB Buffers: 255156 kB Cached: 724272 kB SwapCached: 13476 kB Active: 5621092 kB Inactive: 635528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26371576 kB SwapTotal: 67111528 kB SwapFree: 34421304 kB Dirty: 6640 kB Writeback: 0 kB AnonPages: 5275108 kB Mapped: 29608 kB Slab: 135160 kB PageTables: 117168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 168210272 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73772 MiB End job on node113 at 2011-06-04 02:43:33