Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | MSAT (TO) | 1800.07 | 900.661 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo |
| MD5SUM | f4b0099465ae664e0955235299f0c44e |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 20092634 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2600 |
| Total number of constraints | 5148 |
| Number of soft constraints | 5048 |
| Number of constraints which are clauses | 5048 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Top cost | 63756436 |
| Min constraint cost | 1 |
| Max constraint cost | 63756436 |
| Sum of constraints costs | 160674796300 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 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 lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 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 taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4091879-1466089452.wbo 0.09/0.12 c reading problem ... 0.55/0.39 c ... done. Wall clock time 0.269s. 0.55/0.39 c declared #vars 2600 0.55/0.39 c internal #vars 7648 0.55/0.39 c #constraints 5248 0.55/0.39 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.55/0.39 c constraints type 0.55/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2550 0.55/0.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.55/0.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2648 0.55/0.39 c 5248 constraints processed. 0.55/0.39 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.55/0.39 c constraints type 0.55/0.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2648 0.55/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2550 0.55/0.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.55/0.39 c 5248 constraints processed. 0.55/0.39 c objective function length is 5048 literals 1.19/0.58 c And the winner is solver0 1.66/0.90 c SATISFIABLE 1.66/0.90 c OPTIMIZING... 1.66/0.90 c Got one! Elapsed wall clock time (in seconds):0.778 1.66/0.90 o 8785136 1.97/1.09 c And the winner is solver1 2.47/1.45 c Got one! Elapsed wall clock time (in seconds):1.33 2.47/1.45 o 8715550 2.63/1.53 c And the winner is solver1 2.86/1.97 c Got one! Elapsed wall clock time (in seconds):1.853 2.86/1.97 o 8712781 3.33/2.20 c And the winner is solver1 3.66/2.49 c Got one! Elapsed wall clock time (in seconds):2.369 3.66/2.49 o 8710302 4.46/2.82 c And the winner is solver1 4.53/3.00 c Got one! Elapsed wall clock time (in seconds):2.882 4.53/3.00 o 8686238 6.34/3.99 c And the winner is solver1 6.53/4.01 c Got one! Elapsed wall clock time (in seconds):3.892 6.53/4.01 o 8683653 8.94/5.24 c cleaning 3510 clauses out of 7023 with flag 12271/7023 13.65/7.54 c cleaning 4754 clauses out of 9513 with flag 40486/13023 19.25/10.33 c cleaning 5873 clauses out of 11759 with flag 83427/20023 25.16/13.25 c cleaning 6909 clauses out of 13886 with flag 123363/28023 31.80/16.56 c cleaning 7984 clauses out of 15977 with flag 165111/37023 38.98/20.13 c cleaning 8994 clauses out of 17995 with flag 214650/47025 40.25/20.78 c And the winner is solver1 40.35/21.05 c Got one! Elapsed wall clock time (in seconds):20.929 40.35/21.05 o 8661464 43.44/22.63 c cleaning 7373 clauses out of 14823 with flag 18030/52847 48.05/24.94 c cleaning 6723 clauses out of 13447 with flag 46232/58844 53.46/27.62 c cleaning 6857 clauses out of 13724 with flag 82162/65844 59.64/30.77 c cleaning 7425 clauses out of 14868 with flag 123434/73845 66.73/34.26 c cleaning 8193 clauses out of 16443 with flag 170598/82845 74.72/38.22 c cleaning 9121 clauses out of 18249 with flag 224230/92844 83.51/42.63 c cleaning 10059 clauses out of 20128 with flag 279458/103844 93.39/47.52 c cleaning 11030 clauses out of 22069 with flag 338654/115844 104.58/53.19 c cleaning 12017 clauses out of 24040 with flag 401735/128845 117.85/59.73 c cleaning 13008 clauses out of 26022 with flag 475376/142844 130.66/66.12 c cleaning 14007 clauses out of 28014 with flag 555664/157844 144.32/72.92 c cleaning 15002 clauses out of 30007 with flag 641161/173844 158.32/79.99 c cleaning 15989 clauses out of 32005 with flag 728304/190844 173.19/87.30 c cleaning 17007 clauses out of 34016 with flag 828094/208844 189.86/95.68 c cleaning 18005 clauses out of 36009 with flag 922636/227844 206.46/103.97 c cleaning 18991 clauses out of 38004 with flag 1023060/247844 223.52/112.43 c cleaning 19996 clauses out of 40013 with flag 1140111/268844 241.57/121.40 c cleaning 21001 clauses out of 42017 with flag 1261080/290844 258.58/129.91 c cleaning 21998 clauses out of 44016 with flag 1396004/313844 277.99/139.70 c cleaning 22997 clauses out of 46018 with flag 1518186/337844 299.21/150.27 c cleaning 24012 clauses out of 48023 with flag 1634397/362846 321.26/161.25 c cleaning 25000 clauses out of 50011 with flag 1748914/388846 343.10/172.20 c cleaning 26001 clauses out of 52009 with flag 1883982/415844 366.74/183.93 c cleaning 27002 clauses out of 54008 with flag 2012025/443844 392.79/197.00 c cleaning 28000 clauses out of 56006 with flag 2172651/472844 417.03/209.03 c cleaning 28981 clauses out of 58006 with flag 2328239/502844 441.67/221.34 c cleaning 30009 clauses out of 60026 with flag 2476263/533845 467.32/234.13 c cleaning 30995 clauses out of 62016 with flag 2650500/565844 493.85/247.37 c cleaning 32011 clauses out of 64024 with flag 2801421/598847 520.93/260.88 c cleaning 33005 clauses out of 66012 with flag 2982800/632846 548.56/274.62 c cleaning 33984 clauses out of 68005 with flag 3147330/667844 577.41/289.05 c cleaning 34984 clauses out of 70021 with flag 3356823/703844 608.04/304.31 c cleaning 36013 clauses out of 72037 with flag 3560685/740844 638.30/319.49 c cleaning 36990 clauses out of 74024 with flag 3764852/778844 669.77/335.11 c cleaning 38015 clauses out of 76036 with flag 3976462/817846 702.59/351.57 c cleaning 39001 clauses out of 78019 with flag 4180202/857844 735.62/368.08 c cleaning 40000 clauses out of 80018 with flag 4401691/898844 769.50/384.91 c cleaning 41010 clauses out of 82019 with flag 4630716/940845 805.64/403.23 c cleaning 41996 clauses out of 84008 with flag 4864776/983844 843.46/422.12 c cleaning 42987 clauses out of 86012 with flag 5110514/1027844 881.52/441.13 c cleaning 44009 clauses out of 88026 with flag 5348459/1072845 920.76/460.71 c cleaning 44997 clauses out of 90016 with flag 5581806/1118844 960.82/480.70 c cleaning 46004 clauses out of 92019 with flag 5822075/1165844 1007.85/504.25 c cleaning 47007 clauses out of 94018 with flag 6065669/1213847 1052.72/526.61 c cleaning 47982 clauses out of 96008 with flag 6329933/1262844 1095.15/547.82 c cleaning 48991 clauses out of 98026 with flag 6580394/1312844 1143.68/572.33 c cleaning 49997 clauses out of 100035 with flag 6848714/1363844 1194.36/597.68 c cleaning 50976 clauses out of 102038 with flag 7106988/1415844 1242.23/621.52 c cleaning 52024 clauses out of 104062 with flag 7389682/1468844 1290.09/645.43 c cleaning 52970 clauses out of 106038 with flag 7656343/1522844 1337.78/669.22 c cleaning 54016 clauses out of 108068 with flag 7915001/1577844 1386.87/693.70 c cleaning 54988 clauses out of 110052 with flag 8188902/1633844 1436.15/718.37 c cleaning 56015 clauses out of 112064 with flag 8489894/1690844 1491.73/746.39 c cleaning 57022 clauses out of 114049 with flag 8790026/1748844 1546.07/773.45 c cleaning 57970 clauses out of 116027 with flag 9115021/1807844 1598.17/799.45 c cleaning 59011 clauses out of 118057 with flag 9419724/1867844 1654.81/827.79 c cleaning 60018 clauses out of 120047 with flag 9732589/1928845 1710.48/855.97 c cleaning 60985 clauses out of 122030 with flag 10026745/1990846 1765.39/883.36 c cleaning 62008 clauses out of 124043 with flag 10355591/2053844 1800.07/900.60 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.07/900.60 c starts : 7133 1800.07/900.60 c conflicts : 2095313 1800.07/900.60 c decisions : 19064446 1800.07/900.60 c propagations : 1469095194 1800.07/900.60 c inspects : 2562263592 1800.07/900.60 c shortcuts : 0 1800.07/900.60 c learnt literals : 0 1800.07/900.60 c learnt binary clauses : 0 1800.07/900.60 c learnt ternary clauses : 0 1800.07/900.60 c learnt constraints : 2095312 1800.07/900.60 c ignored constraints : 0 1800.07/900.60 c root simplifications : 0 1800.07/900.60 c removed literals (reason simplification) : 4951944 1800.07/900.60 c reason swapping (by a shorter reason) : 0 1800.07/900.60 c Calls to reduceDB : 65 1800.07/900.60 c Number of update (reduction) of LBD : 1098350 1800.07/900.60 c Imported unit clauses : 0 1800.07/900.60 c number of reductions to clauses (during analyze) : 0 1800.07/900.60 c number of learned constraints concerned by reduction : 0 1800.07/900.60 c number of learning phase by resolution : 0 1800.07/900.60 c number of learning phase by cutting planes : 0 1800.07/900.60 c speed (assignments/second) : 1670286.1745876002 1800.07/900.60 c non guided choices 0 1800.07/900.63 c learnt constraints type 1800.07/900.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103504 1800.07/900.63 c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<< 1800.07/900.63 c starts : 8 1800.07/900.63 c conflicts : 402 1800.07/900.63 c decisions : 866736 1800.07/900.63 c propagations : 1974588 1800.07/900.63 c inspects : 24566366 1800.07/900.63 c shortcuts : 0 1800.07/900.63 c learnt literals : 0 1800.07/900.63 c learnt binary clauses : 0 1800.07/900.63 c learnt ternary clauses : 0 1800.07/900.63 c learnt constraints : 402 1800.07/900.63 c ignored constraints : 0 1800.07/900.63 c root simplifications : 0 1800.07/900.63 c removed literals (reason simplification) : 0 1800.07/900.63 c reason swapping (by a shorter reason) : 0 1800.07/900.63 c Calls to reduceDB : 0 1800.07/900.63 c Number of update (reduction) of LBD : 0 1800.07/900.63 c Imported unit clauses : 0 1800.07/900.63 c number of reductions to clauses (during analyze) : 0 1800.07/900.63 c number of learned constraints concerned by reduction : 0 1800.07/900.63 c number of learning phase by resolution : 0 1800.07/900.63 c number of learning phase by cutting planes : 0 1800.07/900.63 c speed (assignments/second) : 2194.7719072823834 1800.07/900.63 c non guided choices 0 1800.07/900.63 c learnt constraints type 1800.07/900.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 402 1800.07/900.63 s SATISFIABLE 1800.07/900.63 c Found 7 solution(s) 1800.07/900.64 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 1800.07/900.64 c objective function=8661464 1800.07/900.64 c Total wall clock time (in seconds): 900.522
OK 8661464
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4091879-1466089452/watcher-4091879-1466089452 -o /tmp/evaluation-result-4091879-1466089452/solver-4091879-1466089452 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466075487-11288 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091879-1466089452.wbo pid=23608 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: 3.12 2.98 2.75 4/197 23611 /proc/meminfo: memFree=30063592/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23611/stat : 23611 (java) D 23608 23611 7201 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 10994131 9515008 175 33554432000 1073741824 1073778376 140733682731120 140733682713848 271787574160 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/23611/statm: 2323 175 133 9 0 71 0 [startup+0.100058 s] /proc/loadavg: 3.12 2.98 2.75 4/197 23611 /proc/meminfo: memFree=30063592/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 10994131 9787879424 6028 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2389619 6028 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200283 s] /proc/loadavg: 3.12 2.98 2.75 4/197 23611 /proc/meminfo: memFree=30063592/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 5023 0 1 0 25 1 0 0 20 0 18 0 10994131 9787879424 8090 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2389619 8090 2212 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300324 s] /proc/loadavg: 3.12 2.98 2.75 4/197 23611 /proc/meminfo: memFree=30063592/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 7810 0 1 0 53 2 0 0 20 0 18 0 10994131 9787879424 11185 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2389619 11185 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700238 s] /proc/loadavg: 3.12 2.98 2.75 4/197 23611 /proc/meminfo: memFree=30063592/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=1.66 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 15800 0 1 0 161 5 0 0 20 0 19 0 10994131 10060525568 19266 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 19266 2266 9 0 2446860 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 9824732 [startup+1.50073 s] /proc/loadavg: 3.03 2.96 2.75 6/217 23636 /proc/meminfo: memFree=29983956/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=2.63 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 16243 0 1 0 255 8 0 0 20 0 22 0 10994131 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 23972 2272 9 0 2446860 0 [pid=23611/tid=23613] ppid=23608 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/23611/task/23613/stat : 23613 (java) S 23608 23611 7201 0 -1 4202560 2437 0 1 0 42 2 0 0 20 0 22 0 10994132 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465996616568 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23614] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23614/stat : 23614 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465969068712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23615] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23615/stat : 23615 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465968016168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23616] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 10994134 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 23972 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) R 23608 23611 7201 0 -1 4202560 7771 0 0 0 68 2 0 0 20 0 22 0 10994137 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465346549816 140466002460310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) R 23608 23611 7201 0 -1 4202560 4674 0 0 0 69 0 0 0 20 0 22 0 10994137 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465345497272 271787615351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 23971 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 3.03 2.96 2.75 5/219 23642 /proc/meminfo: memFree=29954788/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=4.72 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 17596 0 1 0 458 14 0 0 20 0 22 0 10994131 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 37289 2276 9 0 2446860 0 [pid=23611/tid=23613] ppid=23608 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/23611/task/23613/stat : 23613 (java) S 23608 23611 7201 0 -1 4202560 2446 0 1 0 46 2 0 0 20 0 22 0 10994132 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465996616568 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23614] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23614/stat : 23614 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465969068712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23615] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23615/stat : 23615 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465968016168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23616] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 10994134 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) S 23608 23611 7201 0 -1 4202560 7771 0 0 0 112 2 0 0 20 0 22 0 10994137 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465346549816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) S 23608 23611 7201 0 -1 4202560 5978 0 0 0 100 0 0 0 20 0 22 0 10994137 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465345497272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 37289 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 9824732 [startup+6.30098 s] /proc/loadavg: 3.03 2.96 2.75 5/219 23651 /proc/meminfo: memFree=29874436/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=11.16 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 17686 0 1 0 1098 18 0 0 20 0 22 0 10994131 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 49523 2292 9 0 2446860 0 [pid=23611/tid=23613] ppid=23608 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/23611/task/23613/stat : 23613 (java) S 23608 23611 7201 0 -1 4202560 2450 0 1 0 47 2 0 0 20 0 22 0 10994132 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465996616568 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23614] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23614/stat : 23614 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465969068712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23615] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23615/stat : 23615 (java) S 23608 23611 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465968016168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23616] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 10994133 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994134 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) S 23608 23611 7201 0 -1 4202560 7774 0 0 0 116 2 0 0 20 0 22 0 10994137 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465346549816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) S 23608 23611 7201 0 -1 4202560 5980 0 0 0 101 0 0 0 20 0 22 0 10994137 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465345497272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23649] ppid=23608 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/23611/task/23649/stat : 23649 (java) R 23608 23611 7201 0 -1 4202560 5 0 0 0 222 0 0 0 20 0 22 0 10994536 10060525568 49523 33554432000 1073741824 1073778376 140733805254224 140465341285344 140465849309514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23650] ppid=23608 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 ################ # More data... # ################ /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 185 0 0 0 95 6 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 160 0 0 0 91 6 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 192 0 0 0 99 7 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 291 0 0 0 92 6 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 149 0 0 0 81 5 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 274 0 0 0 89 4 0 0 20 0 22 0 10994133 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 159 0 0 0 159 10 0 0 20 0 22 0 10994134 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) S 23608 23611 7201 0 -1 4202560 7779 0 0 0 132 2 0 0 20 0 22 0 10994137 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465346549816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) S 23608 23611 7201 0 -1 4202560 5982 0 0 0 115 0 0 0 20 0 22 0 10994137 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465345497272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 46 0 0 0 13 23 0 0 20 0 22 0 10994137 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23652] ppid=23608 vsize=9824732 CPUtime=795.23 cores=1,3,5,7 /proc/23611/task/23652/stat : 23652 (java) R 23608 23611 7201 0 -1 4202560 59 0 0 0 79509 14 0 0 20 0 22 0 10996237 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465341283712 140465849295738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23653] ppid=23608 vsize=9824732 CPUtime=795.1 cores=1,3,5,7 /proc/23611/task/23653/stat : 23653 (java) R 23608 23611 7201 0 -1 4202560 69 0 0 0 79497 13 0 0 20 0 22 0 10996237 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465339177632 140465849877596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23654] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23654/stat : 23654 (java) S 23608 23611 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10996237 10060525568 119281 33554432000 1073741824 1073778376 140733805254224 140465342338344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1644 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.16 4.09 3.60 5/219 23751 /proc/meminfo: memFree=30047840/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=1763.39 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 20657 0 1 0 176243 96 0 0 20 0 22 0 10994131 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 120714 2301 9 0 2446860 0 [pid=23611/tid=23613] ppid=23608 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/23611/task/23613/stat : 23613 (java) S 23608 23611 7201 0 -1 4202560 2461 0 1 0 50 4 0 0 20 0 22 0 10994132 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465996616568 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23614] ppid=23608 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/23611/task/23614/stat : 23614 (java) S 23608 23611 7201 0 -1 4202560 424 0 0 0 92 6 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465969068712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23615] ppid=23608 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/23611/task/23615/stat : 23615 (java) S 23608 23611 7201 0 -1 4202560 448 0 0 0 100 7 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465968016168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23616] ppid=23608 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 187 0 0 0 103 6 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 308 0 0 0 100 6 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 480 0 0 0 107 7 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 292 0 0 0 99 6 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 197 0 0 0 87 6 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 316 0 0 0 96 5 0 0 20 0 22 0 10994133 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=2.53 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 172 0 0 0 242 11 0 0 20 0 22 0 10994134 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) S 23608 23611 7201 0 -1 4202560 7779 0 0 0 132 2 0 0 20 0 22 0 10994137 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465346549816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) S 23608 23611 7201 0 -1 4202560 5982 0 0 0 115 0 0 0 20 0 22 0 10994137 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465345497272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 50 0 0 0 13 26 0 0 20 0 22 0 10994137 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23652] ppid=23608 vsize=9824732 CPUtime=854.02 cores=1,3,5,7 /proc/23611/task/23652/stat : 23652 (java) R 23608 23611 7201 0 -1 4202560 64 0 0 0 85388 14 0 0 20 0 22 0 10996237 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465341283712 140465849309092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23653] ppid=23608 vsize=9824732 CPUtime=853.92 cores=1,3,5,7 /proc/23611/task/23653/stat : 23653 (java) R 23608 23611 7201 0 -1 4202560 78 0 0 0 85379 13 0 0 20 0 22 0 10996237 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465339177632 140465849402188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23654] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23654/stat : 23654 (java) S 23608 23611 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10996237 10060525568 120714 33554432000 1073741824 1073778376 140733805254224 140465342338344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1763.39 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.601 s] /proc/loadavg: 4.20 4.10 3.61 5/219 23752 /proc/meminfo: memFree=30014940/32872528 swapFree=1103228/1182944 [pid=23611] ppid=23608 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7 /proc/23611/stat : 23611 (java) S 23608 23611 7201 0 -1 4202496 20741 0 1 0 179910 97 0 0 20 0 22 0 10994131 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140733805245360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23611/statm: 2456183 120666 2301 9 0 2446860 0 [pid=23611/tid=23613] ppid=23608 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/23611/task/23613/stat : 23613 (java) S 23608 23611 7201 0 -1 4202560 2461 0 1 0 50 4 0 0 20 0 22 0 10994132 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465996616568 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23614] ppid=23608 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/23611/task/23614/stat : 23614 (java) S 23608 23611 7201 0 -1 4202560 480 0 0 0 96 7 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465969068712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23615] ppid=23608 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/23611/task/23615/stat : 23615 (java) S 23608 23611 7201 0 -1 4202560 448 0 0 0 101 7 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465968016168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23616] ppid=23608 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/23611/task/23616/stat : 23616 (java) S 23608 23611 7201 0 -1 4202560 187 0 0 0 105 6 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465966963624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23617] ppid=23608 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/23611/task/23617/stat : 23617 (java) S 23608 23611 7201 0 -1 4202560 308 0 0 0 104 6 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465837485096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23618] ppid=23608 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/23611/task/23618/stat : 23618 (java) S 23608 23611 7201 0 -1 4202560 480 0 0 0 111 7 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465836431528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23619] ppid=23608 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/23611/task/23619/stat : 23619 (java) S 23608 23611 7201 0 -1 4202560 292 0 0 0 103 6 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465835378984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23620] ppid=23608 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/23611/task/23620/stat : 23620 (java) S 23608 23611 7201 0 -1 4202560 217 0 0 0 91 6 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465834326440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23621] ppid=23608 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/23611/task/23621/stat : 23621 (java) S 23608 23611 7201 0 -1 4202560 316 0 0 0 101 5 0 0 20 0 22 0 10994133 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465833273896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23622] ppid=23608 vsize=9824732 CPUtime=2.54 cores=1,3,5,7 /proc/23611/task/23622/stat : 23622 (java) S 23608 23611 7201 0 -1 4202560 174 0 0 0 242 12 0 0 20 0 22 0 10994134 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465350761064 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23623] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23623/stat : 23623 (java) S 23608 23611 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465349707384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23624] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23624/stat : 23624 (java) S 23608 23611 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10994135 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465348654728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23625] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23625/stat : 23625 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465347603472 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23626] ppid=23608 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/23611/task/23626/stat : 23626 (java) S 23608 23611 7201 0 -1 4202560 7779 0 0 0 132 2 0 0 20 0 22 0 10994137 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465346549816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23627] ppid=23608 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/23611/task/23627/stat : 23627 (java) S 23608 23611 7201 0 -1 4202560 5982 0 0 0 115 0 0 0 20 0 22 0 10994137 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465345497272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23611/tid=23628] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23628/stat : 23628 (java) S 23608 23611 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10994137 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465344444920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23629] ppid=23608 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/23611/task/23629/stat : 23629 (java) S 23608 23611 7201 0 -1 4202560 50 0 0 0 13 26 0 0 20 0 22 0 10994137 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465343392584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23636] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23636/stat : 23636 (java) S 23608 23611 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10994226 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465340232744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23611/tid=23652] ppid=23608 vsize=9824732 CPUtime=872.17 cores=1,3,5,7 /proc/23611/task/23652/stat : 23652 (java) R 23608 23611 7201 0 -1 4202560 66 0 0 0 87202 15 0 0 20 0 22 0 10996237 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465341282736 140465848516556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23611/tid=23653] ppid=23608 vsize=9824732 CPUtime=872.06 cores=1,3,5,7 /proc/23611/task/23653/stat : 23653 (java) R 23608 23611 7201 0 -1 4202560 82 0 0 0 87192 14 0 0 20 0 22 0 10996237 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465339178448 140465849401824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23611/tid=23654] ppid=23608 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23611/task/23654/stat : 23654 (java) S 23608 23611 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10996237 10060525568 120666 33554432000 1073741824 1073778376 140733805254224 140465342338344 271790946217 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) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23611 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23611 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=708162 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=531767 # CPU time returned by wait4() is 1796.24 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.661 CPU time (s): 1800.07 CPU user time (s): 1799.1 CPU system time (s): 0.97 CPU usage (%): 199.861 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.71 system time used= 1.53177 maximum resident set size= 500124 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20777 page faults= 1 swaps= 0 block input operations= 0 block output operations= 904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25825 involuntary context switches= 28717 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.96624 second user time and 8.46171 second system time The end
Begin job on node115 at 2016-06-16 17:04:12 IDJOB=4091879 IDBENCH=79496 IDSOLVER=2552 FILE ID=node115/4091879-1466089452 RUNJOBID= node115-1466075487-11288 PBS_JOBID= 19904021 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap112_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091879-1466089452/watcher-4091879-1466089452 -o /tmp/evaluation-result-4091879-1466089452/solver-4091879-1466089452 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466075487-11288 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091879-1466089452.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4b0099465ae664e0955235299f0c44e RANDOM SEED=1351146746 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.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 : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30063972 kB Buffers: 37644 kB Cached: 77520 kB SwapCached: 2104 kB Active: 849472 kB Inactive: 73748 kB Active(anon): 808696 kB Inactive(anon): 1752 kB Active(file): 40776 kB Inactive(file): 71996 kB Unevictable: 1182944 kB Mlocked: 1103228 kB SwapTotal: 67108856 kB SwapFree: 67099112 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 2006052 kB Mapped: 15396 kB Shmem: 0 kB Slab: 567696 kB SReclaimable: 11456 kB SUnreclaim: 556240 kB KernelStack: 1816 kB PageTables: 8020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3045032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 864256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node115 at 2016-06-16 17:19:12