Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 8209 | 1800.14 | 899.366 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
| MD5SUM | 32662df0ae948242aace0258625ea4cc |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4372 |
| Best CPU time to get the best result obtained on this benchmark | 1413.34 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6277 |
| Optimality of the best value was proved | NO |
| Number of variables | 2574 |
| Total number of constraints | 363 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 327 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 61 |
| Number of terms in the objective function | 1254 |
| Biggest coefficient in the objective function | 7958 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 524887 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261914 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524887 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4101762-1466216001.opb 0.08/0.13 c reading problem ... 0.08/0.13 c objective function found 0.24/0.29 c ... done. Wall clock time 0.162s. 0.24/0.29 c declared #vars 2574 0.24/0.29 c #constraints 726 0.24/0.29 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.24/0.29 c constraints type 0.24/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33 0.24/0.29 c org.sat4j.specs.Constr$1 => 15 0.24/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 491 0.24/0.29 c org.sat4j.minisat.constraints.cnf.UnitClause => 15 0.24/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 84 0.24/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 88 0.24/0.29 c 726 constraints processed. 0.24/0.29 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.24/0.29 c constraints type 0.24/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 84 0.24/0.29 c org.sat4j.specs.Constr$1 => 15 0.24/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33 0.24/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 491 0.24/0.29 c org.sat4j.pb.constraints.pb.UnitClausePB => 15 0.24/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 88 0.24/0.29 c 726 constraints processed. 0.24/0.29 c objective function length is 1254 literals 1.70/0.64 c And the winner is solver1 1.92/0.80 c SATISFIABLE 1.92/0.80 c OPTIMIZING... 1.92/0.80 c Got one! Elapsed wall clock time (in seconds):0.669 1.92/0.80 o 79562 1.94/0.82 c And the winner is solver1 2.04/1.30 c Got one! Elapsed wall clock time (in seconds):1.177 2.04/1.30 o 47047 2.04/1.32 c And the winner is solver0 2.22/1.81 c Got one! Elapsed wall clock time (in seconds):1.685 2.22/1.81 o 8209 3.77/2.42 c cleaning 2578 clauses out of 5155 with flag 12710/5155 5.31/3.13 c cleaning 4289 clauses out of 8579 with flag 27299/11157 6.94/3.94 c cleaning 5646 clauses out of 11291 with flag 46060/18158 8.86/4.86 c cleaning 6819 clauses out of 13645 with flag 65884/26158 11.04/5.86 c cleaning 7910 clauses out of 15822 with flag 89229/35154 13.74/7.13 c cleaning 8950 clauses out of 17912 with flag 115482/45154 16.60/8.54 c cleaning 9980 clauses out of 19962 with flag 144237/56154 19.83/10.10 c cleaning 10992 clauses out of 21983 with flag 174674/68155 23.29/11.81 c cleaning 11996 clauses out of 23995 with flag 206866/81159 26.89/13.61 c cleaning 12994 clauses out of 25994 with flag 242310/95154 30.98/15.68 c cleaning 14002 clauses out of 28003 with flag 278150/110157 35.66/17.93 c cleaning 14994 clauses out of 29999 with flag 316642/126155 40.29/20.26 c cleaning 16003 clauses out of 32005 with flag 358400/143155 46.55/23.32 c cleaning 16992 clauses out of 34001 with flag 401638/161154 53.41/26.72 c cleaning 17998 clauses out of 36011 with flag 452825/180156 59.43/29.80 c cleaning 19000 clauses out of 38013 with flag 502684/200156 65.71/32.80 c cleaning 20006 clauses out of 40012 with flag 555872/221155 73.50/36.78 c cleaning 21003 clauses out of 42005 with flag 609646/243154 81.59/40.79 c cleaning 21989 clauses out of 44002 with flag 665731/266154 89.57/44.79 c cleaning 22999 clauses out of 46013 with flag 725301/290154 98.04/48.95 c cleaning 24007 clauses out of 48015 with flag 788214/315155 107.08/53.40 c cleaning 24998 clauses out of 50007 with flag 854446/341154 116.72/58.28 c cleaning 26002 clauses out of 52009 with flag 926804/368154 125.59/62.64 c cleaning 26997 clauses out of 54007 with flag 1007198/396154 134.87/67.25 c cleaning 28003 clauses out of 56012 with flag 1096564/425156 145.32/72.47 c cleaning 29004 clauses out of 58007 with flag 1182107/455154 155.97/77.76 c cleaning 30001 clauses out of 60004 with flag 1264818/486155 164.38/81.93 c cleaning 31002 clauses out of 62004 with flag 1353320/518156 175.01/87.25 c cleaning 32002 clauses out of 64003 with flag 1442620/551157 188.51/93.90 c cleaning 32999 clauses out of 66000 with flag 1538700/585156 201.59/100.42 c cleaning 34001 clauses out of 68001 with flag 1645875/620156 216.50/107.87 c cleaning 34999 clauses out of 69999 with flag 1751746/656155 233.93/116.59 c cleaning 35996 clauses out of 72000 with flag 1846854/693155 251.01/125.05 c cleaning 37001 clauses out of 74003 with flag 1965633/731154 268.54/133.75 c cleaning 38001 clauses out of 76005 with flag 2088551/770157 289.44/144.30 c cleaning 39000 clauses out of 78002 with flag 2223708/810155 309.93/154.51 c cleaning 39998 clauses out of 80001 with flag 2337575/851154 327.80/163.41 c cleaning 40995 clauses out of 82004 with flag 2463946/893155 348.24/173.66 c cleaning 41997 clauses out of 84010 with flag 2597637/936156 368.07/183.55 c cleaning 43006 clauses out of 86011 with flag 2746955/980154 388.07/193.60 c cleaning 43997 clauses out of 88005 with flag 2899998/1025154 406.10/202.53 c cleaning 45006 clauses out of 90012 with flag 3055865/1071158 426.70/212.88 c cleaning 45999 clauses out of 92004 with flag 3199888/1118156 449.72/224.39 c cleaning 46990 clauses out of 94003 with flag 3332870/1166154 473.40/236.12 c cleaning 47999 clauses out of 96013 with flag 3463451/1215154 494.83/246.80 c cleaning 49008 clauses out of 98015 with flag 3599856/1265155 513.91/256.33 c cleaning 50003 clauses out of 100009 with flag 3750908/1316157 534.14/266.45 c cleaning 50998 clauses out of 102003 with flag 3896727/1368154 550.85/274.79 c cleaning 52001 clauses out of 104005 with flag 4054246/1421154 567.48/283.01 c cleaning 52998 clauses out of 106006 with flag 4204189/1475156 585.28/291.99 c cleaning 53997 clauses out of 108006 with flag 4368119/1530154 609.71/304.39 c cleaning 55005 clauses out of 110010 with flag 4545968/1586155 635.41/317.11 c cleaning 55998 clauses out of 112005 with flag 4726834/1643155 660.88/329.83 c cleaning 57001 clauses out of 114006 with flag 4914478/1701154 687.58/343.13 c cleaning 58002 clauses out of 116005 with flag 5096083/1760154 708.94/353.71 c cleaning 58998 clauses out of 118003 with flag 5277426/1820154 730.44/364.44 c cleaning 59995 clauses out of 120006 with flag 5440522/1881155 750.20/374.55 c cleaning 61002 clauses out of 122010 with flag 5619104/1943154 772.49/385.63 c cleaning 61999 clauses out of 124009 with flag 5799264/2006155 801.38/400.05 c cleaning 62991 clauses out of 126009 with flag 5976649/2070154 827.81/413.20 c cleaning 64008 clauses out of 128018 with flag 6167183/2135154 857.07/427.88 c cleaning 65000 clauses out of 130012 with flag 6373446/2201156 889.15/443.84 c cleaning 66004 clauses out of 132011 with flag 6575063/2268155 920.39/459.48 c cleaning 66997 clauses out of 134006 with flag 6780527/2336154 956.83/477.63 c cleaning 68006 clauses out of 136011 with flag 6986566/2405156 993.02/495.72 c cleaning 68999 clauses out of 138003 with flag 7185987/2475154 1027.63/513.09 c cleaning 69996 clauses out of 140005 with flag 7376255/2546155 1056.46/527.45 c cleaning 71002 clauses out of 142008 with flag 7579495/2618154 1087.08/542.78 c cleaning 71995 clauses out of 144008 with flag 7815814/2691156 1116.61/557.83 c cleaning 73002 clauses out of 146017 with flag 8090619/2765160 1144.26/571.62 c cleaning 74005 clauses out of 148009 with flag 8320630/2840154 1182.92/590.98 c cleaning 74992 clauses out of 150004 with flag 8516388/2916154 1227.35/613.14 c cleaning 76007 clauses out of 152014 with flag 8736116/2993156 1266.39/632.68 c cleaning 76998 clauses out of 154005 with flag 8944348/3071154 1301.38/650.18 c cleaning 77995 clauses out of 156007 with flag 9160150/3150154 1332.23/665.54 c cleaning 79000 clauses out of 158012 with flag 9404203/3230154 1363.27/681.01 c cleaning 80000 clauses out of 160012 with flag 9663916/3311154 1401.88/700.24 c cleaning 80998 clauses out of 162013 with flag 9919347/3393155 1440.00/719.30 c cleaning 81999 clauses out of 164014 with flag 10224379/3476154 1482.88/740.61 c cleaning 82998 clauses out of 166015 with flag 10632916/3560154 1524.24/761.20 c cleaning 84009 clauses out of 168018 with flag 11098817/3645155 1563.22/780.72 c cleaning 84998 clauses out of 170008 with flag 11401923/3731154 1601.62/800.12 c cleaning 85998 clauses out of 172010 with flag 11684460/3818154 1638.54/818.57 c cleaning 86999 clauses out of 174012 with flag 11957101/3906154 1681.32/839.96 c cleaning 87995 clauses out of 176013 with flag 12245033/3995154 1724.51/861.57 c cleaning 89003 clauses out of 178019 with flag 12552337/4085155 1765.50/882.02 c cleaning 90008 clauses out of 180017 with flag 12843554/4176156 1800.14/899.30 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.14/899.30 c starts : 352 1800.14/899.30 c conflicts : 4240864 1800.14/899.30 c decisions : 7271750 1800.14/899.30 c propagations : 538534735 1800.14/899.30 c inspects : 11108211248 1800.14/899.30 c shortcuts : 0 1800.14/899.30 c learnt literals : 0 1800.14/899.30 c learnt binary clauses : 25 1800.14/899.30 c learnt ternary clauses : 105 1800.14/899.30 c learnt constraints : 4240864 1800.14/899.30 c ignored constraints : 0 1800.14/899.30 c root simplifications : 0 1800.14/899.30 c removed literals (reason simplification) : 20665729 1800.14/899.30 c reason swapping (by a shorter reason) : 0 1800.14/899.30 c Calls to reduceDB : 87 1800.14/899.30 c Number of update (reduction) of LBD : 983899 1800.14/899.30 c Imported unit clauses : 0 1800.14/899.30 c number of reductions to clauses (during analyze) : 0 1800.14/899.30 c number of learned constraints concerned by reduction : 0 1800.14/899.30 c number of learning phase by resolution : 0 1800.14/899.30 c number of learning phase by cutting planes : 0 1800.14/899.30 c speed (assignments/second) : 599709.2794709981 1800.14/899.30 c non guided choices 678 1800.14/899.33 c learnt constraints type 1800.14/899.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 25 1800.14/899.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154692 1800.14/899.33 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.14/899.33 c starts : 4 1800.14/899.33 c conflicts : 1615 1800.14/899.33 c decisions : 271461 1800.14/899.33 c propagations : 706483 1800.14/899.33 c inspects : 23165809 1800.14/899.33 c shortcuts : 0 1800.14/899.33 c learnt literals : 0 1800.14/899.33 c learnt binary clauses : 0 1800.14/899.33 c learnt ternary clauses : 5 1800.14/899.33 c learnt constraints : 1613 1800.14/899.33 c ignored constraints : 0 1800.14/899.33 c root simplifications : 0 1800.14/899.33 c removed literals (reason simplification) : 0 1800.14/899.33 c reason swapping (by a shorter reason) : 0 1800.14/899.33 c Calls to reduceDB : 0 1800.14/899.33 c Number of update (reduction) of LBD : 0 1800.14/899.33 c Imported unit clauses : 0 1800.14/899.33 c number of reductions to clauses (during analyze) : 0 1800.14/899.33 c number of learned constraints concerned by reduction : 0 1800.14/899.33 c number of learning phase by resolution : 0 1800.14/899.33 c number of learning phase by cutting planes : 0 1800.14/899.33 c speed (assignments/second) : 787.1571633582615 1800.14/899.33 c non guided choices 557 1800.14/899.33 c learnt constraints type 1800.14/899.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4 1800.14/899.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 327 1800.14/899.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1282 1800.14/899.33 s SATISFIABLE 1800.14/899.33 c Found 3 solution(s) 1800.14/899.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 x40 x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 x323 x324 x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 x378 x379 x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 x408 x409 -x410 x411 -x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 x442 x443 x444 -x445 x446 x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 x470 -x471 x472 x473 -x474 -x475 x476 x477 -x478 -x479 -x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 -x529 -x530 -x531 -x532 -x533 x534 x535 -x536 x537 -x538 x539 x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 x563 x564 x565 -x566 x567 -x568 x569 x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 x619 x620 -x621 x622 x623 x624 -x625 x626 -x627 x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 x868 x869 x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 x960 x961 x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x1010 x1011 x1012 x1013 -x1014 x1015 x1016 -x1017 x1018 x1019 x1020 x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 x1256 x1257 x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 x1341 x1342 x1343 -x1344 x1345 -x1346 x1347 x1348 x1349 x1350 -x1351 -x1352 x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 x1408 -x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 x1438 x1439 x1440 -x1441 -x1442 x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.14/899.34 c objective function=8209 1800.14/899.34 c Total wall clock time (in seconds): 899.217
OK 8209
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101762-1466216001/watcher-4101762-1466216001 -o /tmp/evaluation-result-4101762-1466216001/solver-4101762-1466216001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101762-1466216001.opb pid=19774 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: 4.34 4.30 4.25 4/197 19777 /proc/meminfo: memFree=26153292/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/19777/stat : 19777 (java) D 19774 19777 15709 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23648540 9515008 175 33554432000 1073741824 1073778376 140734069045392 140734069028120 217410519952 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/19777/statm: 2323 175 133 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 4.34 4.30 4.25 4/197 19777 /proc/meminfo: memFree=26153292/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 4408 0 1 0 7 1 0 0 20 0 18 0 23648540 9787879424 5026 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2389619 5027 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200282 s] /proc/loadavg: 4.34 4.30 4.25 4/197 19777 /proc/meminfo: memFree=26153292/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 4832 0 1 0 23 1 0 0 20 0 18 0 23648540 9787879424 7407 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2389619 7407 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300256 s] /proc/loadavg: 4.34 4.30 4.25 4/197 19777 /proc/meminfo: memFree=26153292/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9691604 CPUtime=0.52 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 7816 0 1 0 50 2 0 0 20 0 20 0 23648540 9924202496 15841 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2422901 15841 2240 9 0 2413578 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9691604 [startup+0.700272 s] /proc/loadavg: 4.34 4.30 4.25 4/197 19777 /proc/meminfo: memFree=26153292/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 15013 0 1 0 187 5 0 0 20 0 19 0 23648540 10060525568 21243 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 21243 2256 9 0 2446860 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 9824732 [startup+1.50085 s] /proc/loadavg: 4.34 4.30 4.25 3/216 19802 /proc/meminfo: memFree=26072604/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=2.22 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 15060 0 1 0 213 9 0 0 20 0 19 0 23648540 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 23321 2259 9 0 2446860 0 [pid=19777/tid=19779] ppid=19774 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/19777/task/19779/stat : 19779 (java) S 19774 19777 15709 0 -1 4202560 2505 0 1 0 25 2 0 0 20 0 19 0 23648541 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333556515704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19780] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19780/stat : 19780 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333495245736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19781] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19781/stat : 19781 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333494193192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19782] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23648543 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23648544 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23648544 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648544 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648547 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5562 0 0 0 56 0 0 0 20 0 19 0 23648547 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 5627 0 0 0 56 1 0 0 20 0 19 0 23648547 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648547 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648547 10060525568 23321 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 9824732 [startup+3.10091 s] /proc/loadavg: 4.39 4.31 4.25 5/219 19808 /proc/meminfo: memFree=26040936/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=5.31 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 15655 0 1 0 520 11 0 0 20 0 22 0 23648540 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 42358 2271 9 0 2446860 0 [pid=19777/tid=19779] ppid=19774 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/19777/task/19779/stat : 19779 (java) S 19774 19777 15709 0 -1 4202560 2506 0 1 0 26 2 0 0 20 0 22 0 23648541 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333556515704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19780] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19780/stat : 19780 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333495245736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19781] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19781/stat : 19781 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333494193192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19782] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5596 0 0 0 78 0 0 0 20 0 22 0 23648547 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 6138 0 0 0 89 2 0 0 20 0 22 0 23648547 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19805] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19805/stat : 19805 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648672 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333367002792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19806] ppid=19774 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/19777/task/19806/stat : 19806 (java) R 19774 19777 15709 0 -1 4202560 7 0 0 0 126 0 0 0 20 0 22 0 23648722 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333371159528 140333497062959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19807] ppid=19774 vsize=9824732 CPUtime=1.23 cores=0,2,4,6 /proc/19777/task/19807/stat : 19807 (java) R 19774 19777 15709 0 -1 4202560 39 0 0 0 122 1 0 0 20 0 22 0 23648722 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333372209712 140333497112320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19808] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19808/stat : 19808 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648722 10060525568 42358 33554432000 1073741824 1073778376 140734752562144 140333368054824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.31 Current children cumulated vsize (KiB) 9824732 [startup+6.30088 s] /proc/loadavg: 4.39 4.31 4.25 5/219 19808 /proc/meminfo: memFree=26019192/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=12.1 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 15780 0 1 0 1199 11 0 0 20 0 22 0 23648540 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 47430 2285 9 0 2446860 0 [pid=19777/tid=19779] ppid=19774 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/19777/task/19779/stat : 19779 (java) S 19774 19777 15709 0 -1 4202560 2506 0 1 0 26 2 0 0 20 0 22 0 23648541 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333556515704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19780] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19780/stat : 19780 (java) S 19774 19777 15709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333495245736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19781] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19781/stat : 19781 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333494193192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19782] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648543 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=1.11 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5654 0 0 0 111 0 0 0 20 0 22 0 23648547 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 6144 0 0 0 95 2 0 0 20 0 22 0 23648547 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 47430 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19805] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 1397 0 0 0 140 17 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 1408 0 0 0 133 17 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 1500 0 0 0 129 17 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 709 0 0 0 122 17 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 1096 0 0 0 117 14 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 747 0 0 0 124 15 0 0 20 0 22 0 23648543 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 1634 0 0 0 267 15 0 0 20 0 22 0 23648544 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5663 0 0 0 118 0 0 0 20 0 22 0 23648547 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=1.07 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 6159 0 0 0 105 2 0 0 20 0 22 0 23648547 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 50 0 0 0 10 9 0 0 20 0 22 0 23648547 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19805] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19805/stat : 19805 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648672 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333367002792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19806] ppid=19774 vsize=9824732 CPUtime=871.9 cores=0,2,4,6 /proc/19777/task/19806/stat : 19806 (java) R 19774 19777 15709 0 -1 4202560 134 0 0 0 87174 16 0 0 20 0 22 0 23648722 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333371150480 140333497037390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19807] ppid=19774 vsize=9824732 CPUtime=871.95 cores=0,2,4,6 /proc/19777/task/19807/stat : 19807 (java) R 19774 19777 15709 0 -1 4202560 783 0 0 0 87170 25 0 0 20 0 22 0 23648722 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333372209776 140333497137777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19808] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19808/stat : 19808 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648722 10060525568 357386 33554432000 1073741824 1073778376 140734752562144 140333368054824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1766.12 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.301 s] /proc/loadavg: 4.17 4.16 4.18 6/219 20035 /proc/meminfo: memFree=24053948/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 26757 0 1 0 179833 181 0 0 20 0 22 0 23648540 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 355399 2295 9 0 2446860 0 [pid=19777/tid=19779] ppid=19774 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/19777/task/19779/stat : 19779 (java) S 19774 19777 15709 0 -1 4202560 2512 0 1 0 29 2 0 0 20 0 22 0 23648541 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333556515704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19780] ppid=19774 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/19777/task/19780/stat : 19780 (java) S 19774 19777 15709 0 -1 4202560 663 0 0 0 136 18 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333495245736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19781] ppid=19774 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/19777/task/19781/stat : 19781 (java) S 19774 19777 15709 0 -1 4202560 916 0 0 0 127 19 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333494193192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19782] ppid=19774 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 1397 0 0 0 141 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 1408 0 0 0 134 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 1522 0 0 0 130 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 709 0 0 0 123 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 1100 0 0 0 119 14 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 748 0 0 0 125 15 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 1636 0 0 0 267 15 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5663 0 0 0 118 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=1.07 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 6159 0 0 0 105 2 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 50 0 0 0 10 9 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19805] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19805/stat : 19805 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648672 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333367002792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19806] ppid=19774 vsize=9824732 CPUtime=888.83 cores=0,2,4,6 /proc/19777/task/19806/stat : 19806 (java) R 19774 19777 15709 0 -1 4202560 135 0 0 0 88867 16 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333371158192 140333496890229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19807] ppid=19774 vsize=9824732 CPUtime=888.87 cores=0,2,4,6 /proc/19777/task/19807/stat : 19807 (java) R 19774 19777 15709 0 -1 4202560 783 0 0 0 88862 25 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333372209568 140333497137696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19808] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19808/stat : 19808 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333368054824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19777 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.301 s] /proc/loadavg: 4.17 4.16 4.18 6/219 20035 /proc/meminfo: memFree=24053948/32872528 swapFree=1534436/1655032 [pid=19777] ppid=19774 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6 /proc/19777/stat : 19777 (java) S 19774 19777 15709 0 -1 4202496 26757 0 1 0 179833 181 0 0 20 0 22 0 23648540 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140734752553280 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19777/statm: 2456183 355399 2295 9 0 2446860 0 [pid=19777/tid=19779] ppid=19774 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/19777/task/19779/stat : 19779 (java) S 19774 19777 15709 0 -1 4202560 2512 0 1 0 29 2 0 0 20 0 22 0 23648541 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333556515704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19780] ppid=19774 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/19777/task/19780/stat : 19780 (java) S 19774 19777 15709 0 -1 4202560 663 0 0 0 136 18 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333495245736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19781] ppid=19774 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/19777/task/19781/stat : 19781 (java) S 19774 19777 15709 0 -1 4202560 916 0 0 0 127 19 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333494193192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19782] ppid=19774 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/19777/task/19782/stat : 19782 (java) S 19774 19777 15709 0 -1 4202560 1397 0 0 0 141 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333398309544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19783] ppid=19774 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/19777/task/19783/stat : 19783 (java) S 19774 19777 15709 0 -1 4202560 1408 0 0 0 134 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333397257000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19784] ppid=19774 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/19777/task/19784/stat : 19784 (java) S 19774 19777 15709 0 -1 4202560 1522 0 0 0 130 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333396203944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19785] ppid=19774 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/19777/task/19785/stat : 19785 (java) S 19774 19777 15709 0 -1 4202560 709 0 0 0 123 17 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333395151400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19786] ppid=19774 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/19777/task/19786/stat : 19786 (java) S 19774 19777 15709 0 -1 4202560 1100 0 0 0 119 14 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333394098344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19787] ppid=19774 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/19777/task/19787/stat : 19787 (java) S 19774 19777 15709 0 -1 4202560 748 0 0 0 125 15 0 0 20 0 22 0 23648543 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333393045800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19788] ppid=19774 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19777/task/19788/stat : 19788 (java) S 19774 19777 15709 0 -1 4202560 1636 0 0 0 267 15 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333380635496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19789] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19789/stat : 19789 (java) S 19774 19777 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333379581816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19790] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19790/stat : 19790 (java) S 19774 19777 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648544 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333378528648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19791] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19791/stat : 19791 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333377477392 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19792] ppid=19774 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/19777/task/19792/stat : 19792 (java) S 19774 19777 15709 0 -1 4202560 5663 0 0 0 118 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333376424248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19777/tid=19793] ppid=19774 vsize=9824732 CPUtime=1.07 cores=0,2,4,6 /proc/19777/task/19793/stat : 19793 (java) S 19774 19777 15709 0 -1 4202560 6159 0 0 0 105 2 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333375371704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19794] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19794/stat : 19794 (java) S 19774 19777 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333374318840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19777/tid=19795] ppid=19774 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/19777/task/19795/stat : 19795 (java) S 19774 19777 15709 0 -1 4202560 50 0 0 0 10 9 0 0 20 0 22 0 23648547 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333373266504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19805] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19805/stat : 19805 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648672 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333367002792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19806] ppid=19774 vsize=9824732 CPUtime=888.83 cores=0,2,4,6 /proc/19777/task/19806/stat : 19806 (java) R 19774 19777 15709 0 -1 4202560 135 0 0 0 88867 16 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333371158192 140333496890229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19777/tid=19807] ppid=19774 vsize=9824732 CPUtime=888.87 cores=0,2,4,6 /proc/19777/task/19807/stat : 19807 (java) R 19774 19777 15709 0 -1 4202560 783 0 0 0 88862 25 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333372209568 140333497137696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19777/tid=19808] ppid=19774 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19777/task/19808/stat : 19808 (java) S 19774 19777 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23648722 10060525568 355399 33554432000 1073741824 1073778376 140734752562144 140333368054824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19777 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=930281 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=261656 # CPU time returned by wait4() is 1796.19 # while last known CPU time is 1800.14 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 899.366 CPU time (s): 1800.14 CPU user time (s): 1798.33 CPU system time (s): 1.81 CPU usage (%): 200.157 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.93 system time used= 2.26166 maximum resident set size= 1493108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26800 page faults= 1 swaps= 0 block input operations= 0 block output operations= 904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26630 involuntary context switches= 35996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.72013 second user time and 7.12592 second system time The end
Begin job on node122 at 2016-06-18 04:13:21 IDJOB=4101762 IDBENCH=1791 IDSOLVER=2543 FILE ID=node122/4101762-1466216001 RUNJOBID= node122-1466206083-15725 PBS_JOBID= 19918155 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101762-1466216001/watcher-4101762-1466216001 -o /tmp/evaluation-result-4101762-1466216001/solver-4101762-1466216001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101762-1466216001.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED=1210700373 node122.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.769 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.53 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26154200 kB Buffers: 131308 kB Cached: 1634192 kB SwapCached: 0 kB Active: 2636296 kB Inactive: 1680676 kB Active(anon): 2553644 kB Inactive(anon): 0 kB Active(file): 82652 kB Inactive(file): 1680676 kB Unevictable: 1655032 kB Mlocked: 1534436 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 4165376 kB Mapped: 21184 kB Shmem: 204 kB Slab: 608248 kB SReclaimable: 52116 kB SUnreclaim: 556132 kB KernelStack: 1808 kB PageTables: 12648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4467964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2570240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node122 at 2016-06-18 04:28:21