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 Resolution 2.3.2 Snapshot | SAT (TO) | -54 | 1800.04 | 1791.96 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb |
| MD5SUM | 04b0fb885ddf05bea62d9eda618b3e5b |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -68 |
| Best CPU time to get the best result obtained on this benchmark | 1800.42 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -79 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 49 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| 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 | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 7861 |
| Sum of products size | 15722 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.10 c version 2.3.2.v20120418 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 501472288 0.06/0.10 c Max memory 7480803328 0.06/0.10 c Total memory 504102912 0.06/0.10 c Number of processors 8 0.12/0.12 c Pseudo Boolean Optimization by upper bound 0.12/0.12 c --- Begin Solver configuration --- 0.12/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.12/0.12 c Learn all clauses as in MiniSAT 0.12/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.12 c No reason simplification 0.12/0.12 c Armin Biere (Picosat) restarts strategy 0.12/0.12 c Glucose learned constraints deletion strategy 0.12/0.12 c timeout=2147483s 0.12/0.12 c DB Simplification allowed=false 0.12/0.12 c c --- End Solver configuration --- 0.12/0.12 c solving HOME/instance-3688709-1337886424.opb 0.12/0.12 c reading problem ... 1.03/0.53 c ... done. Wall clock time 0.413s. 1.03/0.53 c declared #vars 500 1.03/0.53 c internal #vars 8361 1.03/0.53 c #constraints 16222 1.03/0.53 c constraints type 1.03/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861 1.03/0.53 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1.03/0.53 c ignored satisfied constraints => 500 1.03/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861 1.03/0.53 c 16722 constraints processed. 1.03/0.53 c objective function length is 500 literals 1.33/0.62 c SATISFIABLE 1.33/0.62 c OPTIMIZING... 1.33/0.62 c Got one! Elapsed wall clock time (in seconds):0.496 1.33/0.62 o -51 1.63/0.74 c Got one! Elapsed wall clock time (in seconds):0.618 1.63/0.74 o -52 1.63/0.79 c Got one! Elapsed wall clock time (in seconds):0.673 1.63/0.79 o -53 2.50/1.25 c cleaning 2590 clauses out of 5184 with flag 5001/5184 2.74/1.40 c Got one! Elapsed wall clock time (in seconds):1.278 2.74/1.40 o -54 3.07/1.71 c cleaning 3935 clauses out of 7870 with flag 4002/10460 3.51/2.18 c cleaning 4964 clauses out of 9933 with flag 10000/16458 4.13/2.71 c cleaning 5986 clauses out of 11971 with flag 17002/23460 4.76/3.33 c cleaning 6992 clauses out of 13983 with flag 25000/31458 5.46/4.02 c cleaning 7997 clauses out of 15993 with flag 34002/40460 6.18/4.77 c cleaning 8990 clauses out of 17994 with flag 44000/50458 7.09/5.66 c cleaning 10001 clauses out of 20004 with flag 55000/61458 8.11/6.62 c cleaning 11000 clauses out of 22004 with flag 67001/73459 9.13/7.69 c cleaning 11998 clauses out of 24005 with flag 80002/86460 10.34/8.83 c cleaning 13002 clauses out of 26005 with flag 94000/100458 11.67/10.15 c cleaning 13999 clauses out of 28003 with flag 109000/115458 13.19/11.61 c cleaning 14999 clauses out of 30004 with flag 125000/131458 14.72/13.18 c cleaning 16002 clauses out of 32005 with flag 142000/148458 16.45/14.88 c cleaning 17000 clauses out of 34003 with flag 160000/166458 18.36/16.74 c cleaning 18000 clauses out of 36003 with flag 179000/185458 20.41/18.78 c cleaning 19002 clauses out of 38004 with flag 199001/205459 22.64/20.96 c cleaning 20000 clauses out of 40005 with flag 220004/226462 25.07/23.38 c cleaning 20997 clauses out of 42001 with flag 242000/248458 27.80/26.07 c cleaning 21995 clauses out of 44004 with flag 265000/271458 30.22/28.46 c cleaning 22998 clauses out of 46009 with flag 289000/295458 32.74/30.94 c cleaning 24000 clauses out of 48011 with flag 314000/320458 35.89/34.08 c cleaning 25007 clauses out of 50014 with flag 340003/346461 39.27/37.31 c cleaning 26001 clauses out of 52005 with flag 367001/373459 42.90/40.94 c cleaning 26993 clauses out of 54003 with flag 395000/401458 47.35/45.34 c cleaning 28004 clauses out of 56011 with flag 424001/430459 51.74/49.61 c cleaning 29004 clauses out of 58007 with flag 454001/460459 56.06/53.96 c cleaning 30000 clauses out of 60002 with flag 485000/491458 60.71/58.55 c cleaning 31000 clauses out of 62004 with flag 517002/523460 65.34/63.19 c cleaning 32000 clauses out of 64004 with flag 550002/556460 70.89/68.62 c cleaning 32999 clauses out of 66003 with flag 584001/590459 76.03/73.77 c cleaning 33999 clauses out of 68004 with flag 619001/625459 82.18/79.88 c cleaning 35000 clauses out of 70006 with flag 655002/661460 88.41/86.06 c cleaning 35998 clauses out of 72004 with flag 692000/698458 95.25/92.88 c cleaning 36997 clauses out of 74006 with flag 730000/736458 102.64/100.18 c cleaning 37998 clauses out of 76009 with flag 769000/775458 110.07/107.56 c cleaning 39003 clauses out of 78011 with flag 809000/815458 117.13/114.55 c cleaning 40005 clauses out of 80013 with flag 850005/856463 125.41/122.70 c cleaning 40999 clauses out of 82003 with flag 892000/898458 133.77/131.02 c cleaning 42003 clauses out of 84006 with flag 935002/941460 140.70/137.94 c cleaning 42995 clauses out of 86001 with flag 979000/985458 148.19/145.36 c cleaning 44000 clauses out of 88006 with flag 1024000/1030458 155.24/152.30 c cleaning 45000 clauses out of 90006 with flag 1070000/1076458 163.19/160.29 c cleaning 46003 clauses out of 92006 with flag 1117000/1123458 173.81/170.79 c cleaning 47002 clauses out of 94003 with flag 1165000/1171458 184.08/180.96 c cleaning 47995 clauses out of 96002 with flag 1214001/1220459 193.16/189.96 c cleaning 49002 clauses out of 98008 with flag 1264002/1270460 202.49/199.29 c cleaning 49998 clauses out of 100004 with flag 1315000/1321458 214.11/210.74 c cleaning 51002 clauses out of 102008 with flag 1367002/1373460 224.59/221.16 c cleaning 51997 clauses out of 104006 with flag 1420002/1426460 237.02/233.53 c cleaning 53000 clauses out of 106008 with flag 1474001/1480459 247.69/244.12 c cleaning 54000 clauses out of 108008 with flag 1529001/1535459 258.52/254.98 c cleaning 54998 clauses out of 110007 with flag 1585000/1591458 268.54/264.97 c cleaning 55997 clauses out of 112009 with flag 1642000/1648458 281.02/277.38 c cleaning 57001 clauses out of 114015 with flag 1700003/1706461 293.66/289.95 c cleaning 58002 clauses out of 116012 with flag 1759001/1765459 306.53/302.73 c cleaning 59002 clauses out of 118011 with flag 1819002/1825460 319.77/315.92 c cleaning 59997 clauses out of 120007 with flag 1880000/1886458 334.55/330.65 c cleaning 61001 clauses out of 122011 with flag 1942001/1948459 349.53/345.52 c cleaning 61999 clauses out of 124010 with flag 2005001/2011459 364.62/360.53 c cleaning 63004 clauses out of 126010 with flag 2069000/2075458 381.15/377.02 c cleaning 63999 clauses out of 128006 with flag 2134000/2140458 397.52/393.37 c cleaning 65003 clauses out of 130007 with flag 2200000/2206458 413.59/409.34 c cleaning 66000 clauses out of 132006 with flag 2267002/2273460 433.66/429.31 c cleaning 67001 clauses out of 134004 with flag 2335000/2341458 455.51/451.18 c cleaning 67999 clauses out of 136007 with flag 2404004/2410462 472.99/468.57 c cleaning 68997 clauses out of 138004 with flag 2474000/2480458 489.82/485.39 c cleaning 70000 clauses out of 140008 with flag 2545001/2551459 506.42/501.68 c cleaning 71000 clauses out of 142007 with flag 2617000/2623458 525.87/520.95 c cleaning 72001 clauses out of 144009 with flag 2690002/2696460 547.00/542.05 c cleaning 72998 clauses out of 146007 with flag 2764001/2770459 568.58/563.57 c cleaning 74003 clauses out of 148008 with flag 2839000/2845458 591.32/586.21 c cleaning 74999 clauses out of 150007 with flag 2915002/2921460 611.29/606.12 c cleaning 75999 clauses out of 152006 with flag 2992000/2998458 634.56/629.32 c cleaning 76999 clauses out of 154008 with flag 3070001/3076459 661.06/655.73 c cleaning 78001 clauses out of 156008 with flag 3149000/3155458 691.94/686.56 c cleaning 79002 clauses out of 158009 with flag 3229002/3235460 721.03/715.53 c cleaning 79997 clauses out of 160006 with flag 3310001/3316459 747.38/741.80 c cleaning 81002 clauses out of 162009 with flag 3392001/3398459 773.75/768.13 c cleaning 82001 clauses out of 164008 with flag 3475002/3481460 799.11/793.40 c cleaning 83003 clauses out of 166005 with flag 3559000/3565458 823.43/817.63 c cleaning 83999 clauses out of 168003 with flag 3644001/3650459 845.59/839.78 c cleaning 84998 clauses out of 170003 with flag 3730000/3736458 871.10/865.14 c cleaning 86000 clauses out of 172005 with flag 3817000/3823458 900.40/894.36 c cleaning 87003 clauses out of 174005 with flag 3905000/3911458 929.99/923.84 c cleaning 87991 clauses out of 176002 with flag 3994000/4000458 961.84/955.68 c cleaning 89004 clauses out of 178013 with flag 4084002/4090460 994.99/988.71 c cleaning 90001 clauses out of 180008 with flag 4175001/4181459 1038.67/1032.37 c cleaning 90996 clauses out of 182006 with flag 4267000/4273458 1081.28/1074.84 c cleaning 92001 clauses out of 184011 with flag 4360001/4366459 1125.93/1119.47 c cleaning 93002 clauses out of 186011 with flag 4454002/4460460 1181.89/1175.06 c cleaning 93999 clauses out of 188009 with flag 4549002/4555460 1234.49/1227.38 c cleaning 94998 clauses out of 190008 with flag 4645000/4651458 1282.83/1275.65 c cleaning 96001 clauses out of 192010 with flag 4742000/4748458 1324.23/1316.99 c cleaning 97002 clauses out of 194011 with flag 4840002/4846460 1362.76/1355.34 c cleaning 98002 clauses out of 196007 with flag 4939000/4945458 1404.86/1397.32 c cleaning 98998 clauses out of 198006 with flag 5039001/5045459 1448.91/1441.23 c cleaning 100001 clauses out of 200007 with flag 5140000/5146458 1493.56/1485.86 c cleaning 101003 clauses out of 202006 with flag 5242000/5248458 1541.90/1534.14 c cleaning 101998 clauses out of 204004 with flag 5345001/5351459 1583.12/1575.39 c cleaning 102998 clauses out of 206005 with flag 5449000/5455458 1623.19/1615.40 c cleaning 104003 clauses out of 208009 with flag 5554002/5560460 1669.33/1661.46 c cleaning 104999 clauses out of 210004 with flag 5660000/5666458 1720.20/1712.28 c cleaning 105998 clauses out of 212006 with flag 5767001/5773459 1771.28/1763.24 c cleaning 106998 clauses out of 214008 with flag 5875001/5881459 1800.04/1791.92 c starts : 279 1800.04/1791.92 c conflicts : 5949990 1800.04/1791.92 c decisions : 6158379 1800.04/1791.92 c propagations : 31181756 1800.04/1791.92 c inspects : 16600254004 1800.04/1791.92 c shortcuts : 0 1800.04/1791.92 c learnt literals : 0 1800.04/1791.92 c learnt binary clauses : 0 1800.04/1791.92 c learnt ternary clauses : 0 1800.04/1791.92 c learnt constraints : 5949991 1800.04/1791.92 c ignored constraints : 0 1800.04/1791.92 c root simplifications : 0 1800.04/1791.92 c removed literals (reason simplification) : 0 1800.04/1791.92 c reason swapping (by a shorter reason) : 0 1800.04/1791.92 c Calls to reduceDB : 105 1800.04/1791.92 c number of reductions to clauses (during analyze) : 0 1800.04/1791.92 c number of learned constraints concerned by reduction : 0 1800.04/1791.92 c number of learning phase by resolution : 0 1800.04/1791.92 c number of learning phase by cutting planes : 0 1800.04/1791.92 c speed (assignments/second) : 17406.819314786084 1800.04/1791.92 c non guided choices 0 1800.04/1791.95 c learnt constraints type 1800.04/1791.95 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 175644 1800.04/1791.95 c constraints type 1800.04/1791.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861 1800.04/1791.95 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1800.04/1791.95 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.04/1791.95 c ignored satisfied constraints => 500 1800.04/1791.95 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861 1800.04/1791.95 c 16723 constraints processed. 1800.04/1791.95 s SATISFIABLE 1800.04/1791.95 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 1800.04/1791.95 c objective function=-54 1800.04/1791.95 c Total wall clock time (in seconds): 1791.831
OK -54
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-3688709-1337886424/watcher-3688709-1337886424 -o /tmp/evaluation-result-3688709-1337886424/solver-3688709-1337886424 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688709-1337886424.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 1.98 1.99 3/192 23146 /proc/meminfo: memFree=28586440/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23146/stat : 23146 (java) D 23144 23146 21473 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254770857 9515008 183 33554432000 1073741824 1073778376 140734123320384 140734123311416 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/23146/statm: 2323 183 140 9 0 71 0 [startup+0.088036 s] /proc/loadavg: 1.96 1.98 1.99 3/192 23146 /proc/meminfo: memFree=28586440/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 3349 0 1 0 5 1 0 0 20 0 18 0 254770857 9787813888 4558 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2389603 4559 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.122974 s] /proc/loadavg: 1.96 1.98 1.99 3/192 23146 /proc/meminfo: memFree=28586440/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9558412 CPUtime=0.12 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 4464 0 1 0 11 1 0 0 20 0 18 0 254770857 9787813888 6138 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2389603 6138 2138 9 0 2380296 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 1.96 1.98 1.99 3/192 23146 /proc/meminfo: memFree=28586440/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9558412 CPUtime=0.44 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 5372 0 1 0 43 1 0 0 20 0 18 0 254770857 9787813888 7809 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2389603 7809 2223 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558412 [startup+0.700283 s] /proc/loadavg: 1.96 1.98 1.99 3/192 23146 /proc/meminfo: memFree=28586440/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=1.63 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 14161 0 1 0 159 4 0 0 20 0 19 0 254770857 9855975424 17825 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 17825 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9624976 [startup+1.50073 s] /proc/loadavg: 1.97 1.98 1.99 3/211 23165 /proc/meminfo: memFree=28517776/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=2.84 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 15350 0 1 0 278 6 0 0 20 0 19 0 254770857 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 28118 2285 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=1.41 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2477 0 1 0 139 2 0 0 20 0 19 0 254770858 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375763661224 140375587882082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 254770860 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.66 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6791 0 0 0 64 2 0 0 20 0 19 0 254770864 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.66 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4816 0 0 0 64 2 0 0 20 0 19 0 254770864 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 28118 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 9624976 [startup+3.10072 s] /proc/loadavg: 1.97 1.98 1.99 3/211 23165 /proc/meminfo: memFree=28465824/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=4.55 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 15396 0 1 0 447 8 0 0 20 0 19 0 254770857 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 33767 2285 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=2.89 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2478 0 1 0 287 2 0 0 20 0 19 0 254770858 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375763661304 140375587950810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 42 0 0 0 12 0 0 0 20 0 19 0 254770860 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4817 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 33767 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 9624976 [startup+6.30072 s] /proc/loadavg: 1.97 1.98 1.99 3/211 23165 /proc/meminfo: memFree=28442800/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=7.8 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 15428 0 1 0 771 9 0 0 20 0 19 0 254770857 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 37827 2285 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=5.9 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2483 0 1 0 588 2 0 0 20 0 19 0 254770858 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375763661088 140375587833466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254770859 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=0.27 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 48 0 0 0 27 0 0 0 20 0 19 0 254770860 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4817 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 37827 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 177969 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.71 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4834 0 0 0 69 2 0 0 20 0 19 0 254770864 9855975424 177969 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177969 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0.77 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 99 0 0 0 46 31 0 0 20 0 19 0 254770864 9855975424 177969 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 177969 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1730.39 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 4/211 23239 /proc/meminfo: memFree=27372548/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=1790.42 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 19375 0 1 0 178939 103 0 0 20 0 19 0 254770857 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 177980 2286 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=1766.03 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2626 0 1 0 176571 32 0 0 20 0 19 0 254770858 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375763661088 140375587950805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=1.13 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 322 0 0 0 105 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=1.11 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 388 0 0 0 103 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 339 0 0 0 107 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=1.44 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 336 0 0 0 130 14 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 488 0 0 0 97 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 512 0 0 0 109 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 357 0 0 0 95 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 331 0 0 0 106 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=8.77 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 762 0 0 0 873 4 0 0 20 0 19 0 254770860 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.71 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4834 0 0 0 69 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 103 0 0 0 47 32 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.91 s] /proc/loadavg: 2.01 2.02 2.00 3/211 23239 /proc/meminfo: memFree=27372548/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 19375 0 1 0 179900 104 0 0 20 0 19 0 254770857 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 177980 2286 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=1775.61 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2626 0 1 0 177529 32 0 0 20 0 19 0 254770858 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375763661088 140375587873633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=1.13 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 322 0 0 0 105 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=1.11 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 388 0 0 0 103 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 339 0 0 0 107 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=1.44 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 336 0 0 0 130 14 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 488 0 0 0 97 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 512 0 0 0 109 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 357 0 0 0 95 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 331 0 0 0 106 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=8.77 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 762 0 0 0 873 4 0 0 20 0 19 0 254770860 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.71 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4834 0 0 0 69 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 103 0 0 0 47 32 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.01 2.02 2.00 3/211 23239 /proc/meminfo: memFree=27372548/32873844 swapFree=6080/6080 [pid=23146] ppid=23144 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7 /proc/23146/stat : 23146 (java) S 23144 23146 21473 0 -1 4202496 19375 0 1 0 179900 104 0 0 20 0 19 0 254770857 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140735864150496 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23146/statm: 2406244 177980 2286 9 0 2396937 0 [pid=23146/tid=23148] ppid=23144 vsize=9624976 CPUtime=1775.61 cores=1,3,5,7 /proc/23146/task/23148/stat : 23148 (java) R 23144 23146 21473 0 -1 4202560 2626 0 1 0 177529 32 0 0 20 0 19 0 254770858 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375763661088 140375587873633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23149] ppid=23144 vsize=9624976 CPUtime=1.13 cores=1,3,5,7 /proc/23146/task/23149/stat : 23149 (java) S 23144 23146 21473 0 -1 4202560 322 0 0 0 105 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375725153064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23150] ppid=23144 vsize=9624976 CPUtime=1.11 cores=1,3,5,7 /proc/23146/task/23150/stat : 23150 (java) S 23144 23146 21473 0 -1 4202560 388 0 0 0 103 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375724100264 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23151] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23151/stat : 23151 (java) S 23144 23146 21473 0 -1 4202560 339 0 0 0 107 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375723047976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23152] ppid=23144 vsize=9624976 CPUtime=1.44 cores=1,3,5,7 /proc/23146/task/23152/stat : 23152 (java) S 23144 23146 21473 0 -1 4202560 336 0 0 0 130 14 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375721995176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23153] ppid=23144 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/23146/task/23153/stat : 23153 (java) S 23144 23146 21473 0 -1 4202560 488 0 0 0 97 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375720941864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23154] ppid=23144 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/23146/task/23154/stat : 23154 (java) S 23144 23146 21473 0 -1 4202560 512 0 0 0 109 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375719889064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23155] ppid=23144 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/23146/task/23155/stat : 23155 (java) S 23144 23146 21473 0 -1 4202560 357 0 0 0 95 8 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375718836776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23156] ppid=23144 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/23146/task/23156/stat : 23156 (java) S 23144 23146 21473 0 -1 4202560 331 0 0 0 106 9 0 0 20 0 19 0 254770859 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375717783976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23146/tid=23157] ppid=23144 vsize=9624976 CPUtime=8.77 cores=1,3,5,7 /proc/23146/task/23157/stat : 23157 (java) S 23144 23146 21473 0 -1 4202560 762 0 0 0 873 4 0 0 20 0 19 0 254770860 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375587023592 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23158] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23158/stat : 23158 (java) S 23144 23146 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375585969656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23159] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23159/stat : 23159 (java) S 23144 23146 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254770861 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375584917256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23160] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23160/stat : 23160 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375583865744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23161] ppid=23144 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/23146/task/23161/stat : 23161 (java) S 23144 23146 21473 0 -1 4202560 6792 0 0 0 67 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375582812344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23146/tid=23162] ppid=23144 vsize=9624976 CPUtime=0.71 cores=1,3,5,7 /proc/23146/task/23162/stat : 23162 (java) S 23144 23146 21473 0 -1 4202560 4834 0 0 0 69 2 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375581759544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23163] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23163/stat : 23163 (java) S 23144 23146 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375580707448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23146/tid=23164] ppid=23144 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/23146/task/23164/stat : 23164 (java) S 23144 23146 21473 0 -1 4202560 103 0 0 0 47 32 0 0 20 0 19 0 254770864 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375579654856 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23146/tid=23165] ppid=23144 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23146/task/23165/stat : 23165 (java) S 23144 23146 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254770914 9855975424 177980 33554432000 1073741824 1073778376 140735864159360 140375578600872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23146 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=588181 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=582759 # CPU time returned by wait4() is 1796.17 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1791.96 CPU time (s): 1800.04 CPU user time (s): 1799 CPU system time (s): 1.04 CPU usage (%): 100.451 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 1.58276 maximum resident set size= 712040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19408 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41016 involuntary context switches= 31717 runsolver used 6.25105 second user time and 15.2627 second system time The end
Begin job on node110 at 2012-05-24 21:07:04 IDJOB=3688709 IDBENCH=48215 IDSOLVER=2269 FILE ID=node110/3688709-1337886424 RUNJOBID= node110-1337871882-21490 PBS_JOBID= 14620094 Free space on /tmp= 71612 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688709-1337886424/watcher-3688709-1337886424 -o /tmp/evaluation-result-3688709-1337886424/solver-3688709-1337886424 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688709-1337886424.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b RANDOM SEED=1602369030 node110.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.893 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.78 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.893 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.893 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.893 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.893 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.92 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.893 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.893 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.893 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: 28586712 kB Buffers: 208960 kB Cached: 3209320 kB SwapCached: 0 kB Active: 643144 kB Inactive: 2877784 kB Active(anon): 105220 kB Inactive(anon): 0 kB Active(file): 537924 kB Inactive(file): 2877784 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 108596 kB Mapped: 21576 kB Shmem: 200 kB Slab: 628068 kB SReclaimable: 70724 kB SUnreclaim: 557344 kB KernelStack: 1592 kB PageTables: 4388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 685344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 71612 MiB End job on node110 at 2012-05-24 21:36:58