Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | OPT | 52 | 1413.31 | 752.865 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
| MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 52 |
| Best CPU time to get the best result obtained on this benchmark | 1.16482 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 52 |
| Optimality of the best value was proved | YES |
| Number of variables | 2091 |
| Total number of constraints | 7288 |
| Number of constraints which are clauses | 7288 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 124 |
| Number of terms in the objective function | 486 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 486 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 486 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.19 c See www.sat4j.org for details. 0.01/0.19 c version 2.3.2.v20120418 0.01/0.19 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.19 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.19 c java.vm.version 19.1-b02 0.01/0.19 c java.vm.vendor Sun Microsystems Inc. 0.01/0.19 c sun.arch.data.model 64 0.01/0.19 c java.version 1.6.0_24 0.01/0.19 c os.name Linux 0.01/0.19 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.19 c os.arch amd64 0.01/0.19 c Free memory 501472288 0.01/0.19 c Max memory 7480803328 0.01/0.19 c Total memory 504102912 0.01/0.19 c Number of processors 8 0.09/0.22 c Pseudo Boolean Optimization by upper bound 0.09/0.22 c ManyCore solver with 2 solvers running in parallel 0.09/0.22 c --- Begin Solver configuration --- 0.09/0.22 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.22 c Learn all clauses as in MiniSAT 0.09/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.22 c Expensive reason simplification 0.09/0.22 c Armin Biere (Picosat) restarts strategy 0.09/0.22 c Glucose learned constraints deletion strategy 0.09/0.22 c timeout=2147483s 0.09/0.22 c DB Simplification allowed=false 0.09/0.22 c c --- End Solver configuration --- 0.09/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.22 c --- Begin Solver configuration --- 0.09/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.22 c Learn all clauses as in MiniSAT 0.09/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.22 c No reason simplification 0.09/0.22 c Armin Biere (Picosat) restarts strategy 0.09/0.22 c Glucose learned constraints deletion strategy 0.09/0.22 c timeout=2147483s 0.09/0.22 c DB Simplification allowed=false 0.09/0.22 c c --- End Solver configuration --- 0.09/0.22 c solving HOME/instance-3688492-1337877992.opb 0.09/0.22 c reading problem ... 0.78/0.50 c ... done. Wall clock time 0.281s. 0.78/0.50 c declared #vars 2091 0.78/0.50 c #constraints 7288 0.78/0.50 c constraints type 0.78/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614 0.78/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628 0.78/0.50 c org.sat4j.minisat.constraints.cnf.UnitClause => 46 0.78/0.51 c 7288 constraints processed. 0.78/0.51 c constraints type 0.78/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628 0.78/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614 0.78/0.51 c org.sat4j.pb.constraints.pb.UnitClausePB => 46 0.78/0.51 c 7288 constraints processed. 0.78/0.51 c objective function length is 486 literals 0.78/0.54 c And the winner is solver0 1.50/1.01 c SATISFIABLE 1.50/1.01 c OPTIMIZING... 1.50/1.01 c Got one! Elapsed wall clock time (in seconds):0.784 1.50/1.01 o 55 2.25/1.22 c And the winner is solver0 2.67/1.51 c Got one! Elapsed wall clock time (in seconds):1.29 2.67/1.51 o 54 4.53/2.21 c cleaning 2666 clauses out of 5331 with flag 5003/5331 6.10/2.93 c cleaning 4311 clauses out of 8662 with flag 11000/11328 6.67/3.28 c And the winner is solver1 6.84/3.52 c Got one! Elapsed wall clock time (in seconds):3.294 6.84/3.52 o 53 7.42/3.89 c cleaning 4882 clauses out of 9764 with flag 3001/16741 9.11/4.69 c cleaning 5429 clauses out of 10881 with flag 9000/22740 11.07/5.66 c cleaning 6216 clauses out of 12452 with flag 16000/29740 13.24/6.76 c cleaning 7116 clauses out of 14236 with flag 24000/37740 15.55/7.98 c cleaning 8050 clauses out of 16120 with flag 33000/46740 18.46/9.43 c cleaning 9000 clauses out of 18070 with flag 43000/56740 19.31/9.93 c And the winner is solver1 19.40/10.16 c Got one! Elapsed wall clock time (in seconds):9.933 19.40/10.16 o 52 20.08/10.50 c cleaning 7230 clauses out of 14459 with flag 3000/62129 21.54/11.38 c cleaning 6599 clauses out of 13229 with flag 9000/68129 23.58/12.42 c cleaning 6801 clauses out of 13631 with flag 16001/75130 26.28/13.85 c cleaning 7404 clauses out of 14833 with flag 24004/83133 29.78/15.57 c cleaning 8208 clauses out of 16425 with flag 33000/92129 33.49/17.35 c cleaning 9103 clauses out of 18217 with flag 43000/102129 37.11/19.26 c cleaning 10043 clauses out of 20114 with flag 54000/113129 41.28/21.23 c cleaning 11034 clauses out of 22075 with flag 66004/125133 45.88/23.58 c cleaning 12002 clauses out of 24037 with flag 79000/138129 50.87/26.16 c cleaning 13017 clauses out of 26035 with flag 93000/152129 55.61/28.66 c cleaning 13995 clauses out of 28018 with flag 108000/167129 60.92/31.42 c cleaning 14997 clauses out of 30024 with flag 124001/183130 65.84/34.18 c cleaning 16002 clauses out of 32026 with flag 141000/200129 71.09/36.94 c cleaning 16997 clauses out of 34024 with flag 159000/218129 76.77/39.94 c cleaning 18010 clauses out of 36032 with flag 178005/237134 82.99/43.22 c cleaning 19003 clauses out of 38018 with flag 198001/257130 90.22/47.13 c cleaning 19988 clauses out of 40014 with flag 219000/278129 97.09/50.77 c cleaning 20987 clauses out of 42026 with flag 241000/300129 104.52/54.66 c cleaning 22015 clauses out of 44039 with flag 264000/323129 112.34/58.72 c cleaning 23003 clauses out of 46024 with flag 288000/347129 119.91/62.86 c cleaning 24007 clauses out of 48021 with flag 313000/372129 128.51/67.35 c cleaning 24991 clauses out of 50014 with flag 339000/398129 137.55/72.00 c cleaning 25991 clauses out of 52023 with flag 366000/425129 146.36/76.61 c cleaning 27003 clauses out of 54032 with flag 394000/453129 156.47/82.01 c cleaning 27998 clauses out of 56029 with flag 423000/482129 165.48/86.76 c cleaning 29001 clauses out of 58030 with flag 453000/512129 174.70/91.59 c cleaning 29991 clauses out of 60029 with flag 484000/543129 184.43/96.66 c cleaning 31000 clauses out of 62038 with flag 516000/575129 196.15/102.80 c cleaning 31987 clauses out of 64038 with flag 549000/608129 207.84/108.91 c cleaning 33009 clauses out of 66051 with flag 583000/642129 219.87/115.29 c cleaning 34004 clauses out of 68042 with flag 618000/677129 232.21/121.67 c cleaning 34995 clauses out of 70039 with flag 654001/713130 246.00/128.94 c cleaning 36022 clauses out of 72043 with flag 691000/750129 259.66/136.40 c cleaning 36999 clauses out of 74021 with flag 729000/788129 273.96/143.76 c cleaning 37989 clauses out of 76022 with flag 768000/827129 288.94/151.71 c cleaning 39004 clauses out of 78033 with flag 808000/867129 303.44/159.39 c cleaning 39985 clauses out of 80029 with flag 849000/908129 317.43/166.67 c cleaning 41017 clauses out of 82047 with flag 891003/950132 332.19/174.36 c cleaning 41984 clauses out of 84027 with flag 934000/993129 346.87/182.28 c cleaning 43007 clauses out of 86043 with flag 978000/1037129 361.82/190.03 c cleaning 43988 clauses out of 88038 with flag 1023002/1082131 377.76/198.38 c cleaning 44999 clauses out of 90051 with flag 1069003/1128132 392.01/205.83 c cleaning 46011 clauses out of 92049 with flag 1116000/1175129 407.37/214.10 c cleaning 47001 clauses out of 94038 with flag 1164000/1223129 422.83/222.28 c cleaning 47987 clauses out of 96037 with flag 1213000/1272129 437.86/230.14 c cleaning 49019 clauses out of 98050 with flag 1263000/1322129 453.05/238.14 c cleaning 49994 clauses out of 100030 with flag 1314000/1373129 470.26/247.48 c cleaning 51001 clauses out of 102036 with flag 1366000/1425129 486.24/255.85 c cleaning 51974 clauses out of 104035 with flag 1419000/1478129 503.16/264.72 c cleaning 53011 clauses out of 106061 with flag 1473000/1532129 520.28/273.74 c cleaning 54005 clauses out of 108051 with flag 1528001/1587130 524.07/276.43 c cleaning 0 clauses out of 5914 with flag 0/5915 540.29/284.99 c cleaning 55006 clauses out of 110045 with flag 1584000/1643129 559.94/295.28 c cleaning 56001 clauses out of 112039 with flag 1641000/1700129 580.62/306.07 c cleaning 57011 clauses out of 114037 with flag 1699000/1758129 600.13/316.69 c cleaning 58000 clauses out of 116027 with flag 1758001/1817130 620.17/327.12 c cleaning 58987 clauses out of 118026 with flag 1818000/1877129 641.37/338.30 c cleaning 59979 clauses out of 120039 with flag 1879000/1938129 662.78/349.48 c cleaning 61025 clauses out of 122061 with flag 1941001/2000130 684.11/360.95 c cleaning 61994 clauses out of 124033 with flag 2004000/2063129 706.79/373.41 c cleaning 63002 clauses out of 126039 with flag 2068000/2127129 727.39/384.21 c cleaning 64002 clauses out of 128038 with flag 2133002/2192131 749.49/396.15 c cleaning 65010 clauses out of 130034 with flag 2199000/2258129 771.99/407.91 c cleaning 66012 clauses out of 132023 with flag 2266000/2325129 795.77/420.38 c cleaning 67007 clauses out of 134013 with flag 2334002/2393131 818.15/432.08 c cleaning 67983 clauses out of 136003 with flag 2403000/2462129 843.17/445.44 c cleaning 68995 clauses out of 138020 with flag 2473000/2532129 867.15/457.96 c cleaning 70002 clauses out of 140025 with flag 2544000/2603129 890.70/470.21 c cleaning 71003 clauses out of 142023 with flag 2616000/2675129 914.49/482.65 c cleaning 71969 clauses out of 144020 with flag 2689000/2748129 938.49/495.64 c cleaning 73023 clauses out of 146050 with flag 2763000/2822129 963.01/508.44 c cleaning 73985 clauses out of 148027 with flag 2838000/2897129 988.68/521.86 c cleaning 74985 clauses out of 150042 with flag 2914000/2973129 1015.65/535.99 c cleaning 76012 clauses out of 152057 with flag 2991000/3050129 1041.31/549.70 c cleaning 77021 clauses out of 154048 with flag 3069004/3128133 1068.55/563.97 c cleaning 77997 clauses out of 156023 with flag 3148000/3207129 1093.40/576.95 c cleaning 78991 clauses out of 158027 with flag 3228002/3287131 1119.18/590.41 c cleaning 79999 clauses out of 160033 with flag 3309002/3368131 1145.93/604.90 c cleaning 81007 clauses out of 162032 with flag 3391002/3450131 1170.55/617.96 c cleaning 81992 clauses out of 164020 with flag 3474000/3533129 1196.17/631.32 c cleaning 83005 clauses out of 166028 with flag 3558001/3617130 1222.18/644.97 c cleaning 83979 clauses out of 168021 with flag 3643000/3702129 1249.70/659.89 c cleaning 84999 clauses out of 170042 with flag 3729000/3788129 1275.52/673.37 c cleaning 86012 clauses out of 172044 with flag 3816001/3875130 1302.60/687.55 c cleaning 87005 clauses out of 174030 with flag 3904000/3963129 1328.65/701.20 c cleaning 88004 clauses out of 176027 with flag 3993002/4052131 1356.82/716.46 c cleaning 88993 clauses out of 178022 with flag 4083001/4142130 1384.15/730.77 c cleaning 89984 clauses out of 180028 with flag 4174000/4233129 1398.39/738.58 c And the winner is solver0 1413.03/752.83 c starts : 339 1413.03/752.83 c conflicts : 4283203 1413.03/752.83 c decisions : 32704312 1413.03/752.83 c propagations : 1512831625 1413.03/752.83 c inspects : 5161209828 1413.03/752.83 c shortcuts : 0 1413.03/752.83 c learnt literals : 33 1413.03/752.83 c learnt binary clauses : 487 1413.03/752.83 c learnt ternary clauses : 4281 1413.03/752.83 c learnt constraints : 4283169 1413.03/752.83 c ignored constraints : 0 1413.03/752.83 c root simplifications : 0 1413.03/752.83 c removed literals (reason simplification) : 31085994 1413.03/752.83 c reason swapping (by a shorter reason) : 0 1413.03/752.83 c Calls to reduceDB : 95 1413.03/752.83 c number of reductions to clauses (during analyze) : 0 1413.03/752.83 c number of learned constraints concerned by reduction : 0 1413.03/752.83 c number of learning phase by resolution : 0 1413.03/752.83 c number of learning phase by cutting planes : 0 1413.03/752.83 c speed (assignments/second) : 2037017.28223841 1413.03/752.83 c non guided choices 0 1413.03/752.83 c learnt constraints type 1413.03/752.83 c constraints type 1413.03/752.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614 1413.03/752.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 0 1413.03/752.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628 1413.03/752.83 c org.sat4j.minisat.constraints.cnf.UnitClause => 46 1413.03/752.83 c 7288 constraints processed. 1413.03/752.83 c constraints type 1413.03/752.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628 1413.03/752.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614 1413.03/752.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 0 1413.03/752.83 c org.sat4j.pb.constraints.pb.UnitClausePB => 46 1413.03/752.83 c 7288 constraints processed. 1413.03/752.83 s OPTIMUM FOUND 1413.03/752.84 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 1413.03/752.84 c objective function=52 1413.03/752.84 c Total wall clock time (in seconds): 752.615
OK 52
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688492-1337877992/watcher-3688492-1337877992 -o /tmp/evaluation-result-3688492-1337877992/solver-3688492-1337877992 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688492-1337877992.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: 3.62 3.90 3.88 4/197 26231 /proc/meminfo: memFree=28704868/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/26231/stat : 26231 (runsolver) D 26229 23987 23987 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 1 0 253923777 12095488 48 33554432000 4194304 5436572 140736086635888 140736086631888 4268383 0 0 4096 24578 18446744071580543392 0 0 17 0 0 0 0 0 0 /proc/26231/statm: 2953 48 29 304 0 2645 0 [startup+0.146037 s] /proc/loadavg: 3.62 3.90 3.88 4/197 26231 /proc/meminfo: memFree=28704868/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9225560 CPUtime=0.01 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 2987 0 1 0 1 0 0 0 20 0 13 0 253923777 9446973440 3685 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2306390 3685 1676 9 0 2297091 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9225560 [startup+0.200247 s] /proc/loadavg: 3.62 3.90 3.88 4/197 26231 /proc/meminfo: memFree=28704868/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 4244 0 1 0 8 1 0 0 20 0 18 0 253923777 9787813888 5447 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2389603 5447 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 3.62 3.90 3.88 4/197 26231 /proc/meminfo: memFree=28704868/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9558412 CPUtime=0.24 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 4648 0 1 0 23 1 0 0 20 0 18 0 253923777 9787813888 6275 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2389603 6275 2186 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558412 [startup+0.700282 s] /proc/loadavg: 3.62 3.90 3.88 4/197 26231 /proc/meminfo: memFree=28704868/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9825256 CPUtime=1.27 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 20786 0 1 0 120 7 0 0 20 0 19 0 253923777 10061062144 21504 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456314 21504 2241 9 0 2447007 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 9825256 [startup+1.50077 s] /proc/loadavg: 3.62 3.90 3.88 7/219 26256 /proc/meminfo: memFree=28622960/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=2.67 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 22855 0 1 0 258 9 0 0 20 0 19 0 253923777 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 24217 2257 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=0.38 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) S 26229 26231 23987 0 -1 4202560 2497 0 1 0 36 2 0 0 20 0 19 0 253923789 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637742302200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253923790 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=0.78 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 7916 0 0 0 76 2 0 0 20 0 19 0 253923793 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=0.96 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 11106 0 0 0 94 2 0 0 20 0 19 0 253923793 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923794 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26253] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26253/stat : 26253 (java) S 26229 26231 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923829 10060460032 24217 33554432000 1073741824 1073778376 140736636606432 140636816028840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 9824668 [startup+3.10079 s] /proc/loadavg: 3.62 3.90 3.88 7/219 26259 /proc/meminfo: memFree=28562048/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=6.47 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 26089 0 1 0 634 13 0 0 20 0 22 0 253923777 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 50910 2286 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=0.38 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) S 26229 26231 23987 0 -1 4202560 2497 0 1 0 36 2 0 0 20 0 22 0 253923789 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637742302200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=0.06 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 38 0 0 0 6 0 0 0 20 0 22 0 253923791 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253923791 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253923791 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923793 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11006 0 0 0 111 2 0 0 20 0 22 0 253923793 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 11111 0 0 0 130 2 0 0 20 0 22 0 253923793 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923793 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923794 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26253] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26253/stat : 26253 (java) S 26229 26231 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253923829 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636816028840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26257] ppid=26229 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/26231/task/26257/stat : 26257 (java) R 26229 26231 23987 0 -1 4202560 7 0 0 0 145 0 0 0 20 0 22 0 253923929 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636819186776 140637580782464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26258] ppid=26229 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/26231/task/26258/stat : 26258 (java) R 26229 26231 23987 0 -1 4202560 41 0 0 0 144 1 0 0 20 0 22 0 253923929 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636818131152 140637581325008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26259] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26259/stat : 26259 (java) S 26229 26231 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253923929 10060460032 50910 33554432000 1073741824 1073778376 140736636606432 140636817081256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 9824668 [startup+6.30091 s] /proc/loadavg: 3.65 3.90 3.88 5/219 26262 /proc/meminfo: memFree=28472060/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=12.38 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 26209 0 1 0 1222 16 0 0 20 0 22 0 253923777 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 65079 2287 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) S 26229 26231 23987 0 -1 4202560 2498 0 1 0 37 2 0 0 20 0 22 0 253923789 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637742302200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253923790 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=0.33 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 117 0 0 0 33 0 0 0 20 0 22 0 253923791 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253923791 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253923791 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923793 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11007 0 0 0 119 3 0 0 20 0 22 0 253923793 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 11113 0 0 0 143 2 0 0 20 0 22 0 253923793 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923793 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253923794 10060460032 65079 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26259] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 726 0 0 0 281 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=3.18 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 693 0 0 0 309 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=3.07 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 707 0 0 0 299 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=2.86 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 588 0 0 0 276 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=3.08 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 777 0 0 0 298 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=3.05 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 1080 0 0 0 293 12 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=3.01 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 489 0 0 0 292 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=2.93 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 494 0 0 0 285 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=90.85 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 3325 0 0 0 9062 23 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11018 0 0 0 149 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=3.14 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 13906 0 0 0 311 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0.25 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 43 0 0 0 12 13 0 0 20 0 19 0 253923794 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26265] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26265/stat : 26265 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253924793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636818134696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1410.63 Current children cumulated vsize (KiB) 9824668 [startup+752.001 s] /proc/loadavg: 3.64 3.70 3.76 4/216 26407 /proc/meminfo: memFree=25486000/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=1412.23 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 38598 0 1 0 141065 158 0 0 20 0 19 0 253923777 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 566882 2289 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=13.01 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) R 26229 26231 23987 0 -1 4202560 2557 0 1 0 1298 3 0 0 20 0 19 0 253923789 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637742301976 140637580302274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=2.91 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 726 0 0 0 281 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=3.18 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 693 0 0 0 309 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=3.07 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 707 0 0 0 299 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=2.86 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 588 0 0 0 276 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=3.08 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 777 0 0 0 298 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=3.05 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 1080 0 0 0 293 12 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=3.01 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 489 0 0 0 292 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=2.93 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 494 0 0 0 285 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=90.85 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 3325 0 0 0 9062 23 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11018 0 0 0 150 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=3.14 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 13906 0 0 0 311 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0.25 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 43 0 0 0 12 13 0 0 20 0 19 0 253923794 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26265] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26265/stat : 26265 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253924793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636818134696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1412.23 Current children cumulated vsize (KiB) 9824668 [startup+752.401 s] /proc/loadavg: 3.64 3.70 3.76 4/216 26407 /proc/meminfo: memFree=25486000/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=1412.63 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 38598 0 1 0 141105 158 0 0 20 0 19 0 253923777 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 566882 2289 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=13.42 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) R 26229 26231 23987 0 -1 4202560 2557 0 1 0 1339 3 0 0 20 0 19 0 253923789 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637742301976 140637580302274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=2.91 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 726 0 0 0 281 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=3.18 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 693 0 0 0 309 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=3.07 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 707 0 0 0 299 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=2.86 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 588 0 0 0 276 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=3.08 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 777 0 0 0 298 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=3.05 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 1080 0 0 0 293 12 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=3.01 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 489 0 0 0 292 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=2.93 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 494 0 0 0 285 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=90.85 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 3325 0 0 0 9062 23 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11018 0 0 0 150 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=3.14 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 13906 0 0 0 311 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0.25 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 43 0 0 0 12 13 0 0 20 0 19 0 253923794 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26265] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26265/stat : 26265 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253924793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636818134696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1412.63 Current children cumulated vsize (KiB) 9824668 [startup+752.801 s] /proc/loadavg: 3.64 3.70 3.76 4/216 26407 /proc/meminfo: memFree=25486000/32873844 swapFree=7900/7900 [pid=26231] ppid=26229 vsize=9824668 CPUtime=1413.03 cores=0,2,4,6 /proc/26231/stat : 26231 (java) S 26229 26231 23987 0 -1 4202496 38598 0 1 0 141145 158 0 0 20 0 19 0 253923777 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140736636597568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 10 0 0 /proc/26231/statm: 2456167 566882 2289 9 0 2446860 0 [pid=26231/tid=26233] ppid=26229 vsize=9824668 CPUtime=13.81 cores=0,2,4,6 /proc/26231/task/26233/stat : 26233 (java) R 26229 26231 23987 0 -1 4202560 2557 0 1 0 1378 3 0 0 20 0 19 0 253923789 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637742301976 140637580302262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26234] ppid=26229 vsize=9824668 CPUtime=2.91 cores=0,2,4,6 /proc/26231/task/26234/stat : 26234 (java) S 26229 26231 23987 0 -1 4202560 726 0 0 0 281 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637703792808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26235] ppid=26229 vsize=9824668 CPUtime=3.18 cores=0,2,4,6 /proc/26231/task/26235/stat : 26235 (java) S 26229 26231 23987 0 -1 4202560 693 0 0 0 309 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637702740264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26236] ppid=26229 vsize=9824668 CPUtime=3.07 cores=0,2,4,6 /proc/26231/task/26236/stat : 26236 (java) S 26229 26231 23987 0 -1 4202560 707 0 0 0 299 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637701687720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26237] ppid=26229 vsize=9824668 CPUtime=2.86 cores=0,2,4,6 /proc/26231/task/26237/stat : 26237 (java) S 26229 26231 23987 0 -1 4202560 588 0 0 0 276 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637700635176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26238] ppid=26229 vsize=9824668 CPUtime=3.08 cores=0,2,4,6 /proc/26231/task/26238/stat : 26238 (java) S 26229 26231 23987 0 -1 4202560 777 0 0 0 298 10 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637699582632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26239] ppid=26229 vsize=9824668 CPUtime=3.05 cores=0,2,4,6 /proc/26231/task/26239/stat : 26239 (java) S 26229 26231 23987 0 -1 4202560 1080 0 0 0 293 12 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637698530088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26240] ppid=26229 vsize=9824668 CPUtime=3.01 cores=0,2,4,6 /proc/26231/task/26240/stat : 26240 (java) S 26229 26231 23987 0 -1 4202560 489 0 0 0 292 9 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637580028840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26241] ppid=26229 vsize=9824668 CPUtime=2.93 cores=0,2,4,6 /proc/26231/task/26241/stat : 26241 (java) S 26229 26231 23987 0 -1 4202560 494 0 0 0 285 8 0 0 20 0 19 0 253923790 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637578976296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26242] ppid=26229 vsize=9824668 CPUtime=90.85 cores=0,2,4,6 /proc/26231/task/26242/stat : 26242 (java) S 26229 26231 23987 0 -1 4202560 3325 0 0 0 9062 23 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637566564456 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26243] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26243/stat : 26243 (java) S 26229 26231 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637565510776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26244] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26244/stat : 26244 (java) S 26229 26231 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253923791 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140637564458120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26245] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26245/stat : 26245 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636825053712 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26231/tid=26246] ppid=26229 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/26231/task/26246/stat : 26246 (java) S 26229 26231 23987 0 -1 4202560 11018 0 0 0 150 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636824001080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26231/tid=26247] ppid=26229 vsize=9824668 CPUtime=3.14 cores=0,2,4,6 /proc/26231/task/26247/stat : 26247 (java) S 26229 26231 23987 0 -1 4202560 13906 0 0 0 311 3 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636822948536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26248] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26248/stat : 26248 (java) S 26229 26231 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636821896184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26231/tid=26249] ppid=26229 vsize=9824668 CPUtime=0.25 cores=0,2,4,6 /proc/26231/task/26249/stat : 26249 (java) S 26229 26231 23987 0 -1 4202560 43 0 0 0 12 13 0 0 20 0 19 0 253923794 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636820843848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26231/tid=26265] ppid=26229 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26231/task/26265/stat : 26265 (java) S 26229 26231 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253924793 10060460032 566882 33554432000 1073741824 1073778376 140736636606432 140636818134696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1413.03 Current children cumulated vsize (KiB) 9824668 Child status: 30 Real time (s): 752.865 CPU time (s): 1413.31 CPU user time (s): 1411.5 CPU system time (s): 1.81072 CPU usage (%): 187.724 Max. virtual memory (cumulated for all children) (KiB): 9825256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1411.5 system time used= 1.81072 maximum resident set size= 2267600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38602 page faults= 1 swaps= 0 block input operations= 0 block output operations= 808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24106 involuntary context switches= 47887 runsolver used 3.11053 second user time and 7.75082 second system time The end
Begin job on node137 at 2012-05-24 18:46:33 IDJOB=3688492 IDBENCH=25029 IDSOLVER=2268 FILE ID=node137/3688492-1337877992 RUNJOBID= node137-1337871881-24003 PBS_JOBID= 14620067 Free space on /tmp= 71516 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688492-1337877992/watcher-3688492-1337877992 -o /tmp/evaluation-result-3688492-1337877992/solver-3688492-1337877992 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688492-1337877992.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=232779606 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 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 : 5333.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 : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28705140 kB Buffers: 215476 kB Cached: 2167816 kB SwapCached: 22060 kB Active: 1686968 kB Inactive: 1678196 kB Active(anon): 961308 kB Inactive(anon): 22680 kB Active(file): 725660 kB Inactive(file): 1655516 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67081504 kB Dirty: 608 kB Writeback: 8 kB AnonPages: 1017612 kB Mapped: 17932 kB Shmem: 0 kB Slab: 639688 kB SReclaimable: 80792 kB SUnreclaim: 558896 kB KernelStack: 1672 kB PageTables: 6460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1570976 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 942080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71516 MiB End job on node137 at 2012-05-24 18:59:05