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 Resolution PB16 | SAT (TO) | 7552 | 1800.01 | 1797.57 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 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.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4101765-1466225849.opb 0.11/0.10 c reading problem ... 0.11/0.10 c objective function found 0.30/0.23 c ... done. Wall clock time 0.133s. 0.30/0.23 c declared #vars 2574 0.30/0.23 c #constraints 726 0.30/0.23 c constraints type 0.30/0.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33 0.30/0.23 c org.sat4j.specs.Constr$1 => 15 0.30/0.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 491 0.30/0.23 c org.sat4j.minisat.constraints.cnf.UnitClause => 15 0.30/0.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 84 0.30/0.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 88 0.30/0.23 c 726 constraints processed. 0.30/0.23 c objective function length is 1254 literals 0.86/0.40 c SATISFIABLE 0.86/0.40 c OPTIMIZING... 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.297 0.86/0.40 o 12708 0.86/0.45 c Got one! Elapsed wall clock time (in seconds):0.345 0.86/0.45 o 8027 0.86/0.46 c Got one! Elapsed wall clock time (in seconds):0.36 0.86/0.46 o 7552 1.71/1.08 c cleaning 2586 clauses out of 5172 with flag 14219/5172 2.94/1.81 c cleaning 4293 clauses out of 8585 with flag 32567/11171 3.75/2.62 c cleaning 5646 clauses out of 11292 with flag 53115/18171 4.66/3.57 c cleaning 6824 clauses out of 13650 with flag 76107/26175 5.79/4.64 c cleaning 7913 clauses out of 15826 with flag 102528/35175 7.09/5.97 c cleaning 8952 clauses out of 17909 with flag 131668/45171 8.69/7.52 c cleaning 9979 clauses out of 19957 with flag 163608/56171 10.30/9.14 c cleaning 10990 clauses out of 21979 with flag 198567/68172 12.20/11.06 c cleaning 11988 clauses out of 23988 with flag 239131/81171 14.40/13.22 c cleaning 12996 clauses out of 26000 with flag 280500/95171 16.80/15.67 c cleaning 14002 clauses out of 28004 with flag 325586/110171 19.50/18.36 c cleaning 14994 clauses out of 30002 with flag 370306/126171 22.30/21.14 c cleaning 16005 clauses out of 32011 with flag 415629/143174 25.20/24.09 c cleaning 16993 clauses out of 34003 with flag 468859/161171 28.91/27.74 c cleaning 18003 clauses out of 36010 with flag 534698/180171 32.81/31.60 c cleaning 19003 clauses out of 38007 with flag 600595/200171 36.32/35.20 c cleaning 19994 clauses out of 40004 with flag 664713/221171 39.46/38.30 c cleaning 21003 clauses out of 42010 with flag 728836/243171 43.76/42.58 c cleaning 21998 clauses out of 44007 with flag 806953/266171 48.86/47.66 c cleaning 23003 clauses out of 46012 with flag 924532/290174 52.87/51.64 c cleaning 23998 clauses out of 48007 with flag 1012477/315172 57.37/56.14 c cleaning 24999 clauses out of 50008 with flag 1119648/341171 61.97/60.76 c cleaning 26005 clauses out of 52010 with flag 1196886/368172 66.76/65.52 c cleaning 27000 clauses out of 54005 with flag 1270022/396172 72.47/71.26 c cleaning 28000 clauses out of 56005 with flag 1344719/425172 77.57/76.32 c cleaning 28996 clauses out of 58004 with flag 1431435/455171 81.82/80.53 c cleaning 30004 clauses out of 60008 with flag 1518183/486171 85.82/84.55 c cleaning 30999 clauses out of 62004 with flag 1599930/518171 90.82/89.51 c cleaning 32004 clauses out of 64009 with flag 1700208/551175 96.42/95.11 c cleaning 32997 clauses out of 66001 with flag 1796259/585171 103.52/102.22 c cleaning 33999 clauses out of 68006 with flag 1893905/620173 110.82/109.59 c cleaning 34998 clauses out of 70005 with flag 2003656/656171 118.92/117.62 c cleaning 35998 clauses out of 72007 with flag 2117720/693171 127.82/126.53 c cleaning 36998 clauses out of 74010 with flag 2231336/731172 137.42/136.19 c cleaning 38001 clauses out of 76012 with flag 2344949/770172 145.52/144.25 c cleaning 38995 clauses out of 78010 with flag 2460328/810171 154.34/153.09 c cleaning 40003 clauses out of 80015 with flag 2575254/851171 163.93/162.63 c cleaning 41007 clauses out of 82013 with flag 2696416/893172 173.13/171.83 c cleaning 41996 clauses out of 84005 with flag 2820212/936171 184.43/183.19 c cleaning 43004 clauses out of 86009 with flag 2956216/980171 193.33/192.05 c cleaning 43998 clauses out of 88007 with flag 3090401/1025173 202.13/200.89 c cleaning 45000 clauses out of 90007 with flag 3214772/1071171 211.05/209.70 c cleaning 46002 clauses out of 92009 with flag 3352650/1118173 219.45/218.11 c cleaning 46997 clauses out of 94007 with flag 3503858/1166173 228.05/226.78 c cleaning 48004 clauses out of 96009 with flag 3658994/1215172 237.05/235.78 c cleaning 48989 clauses out of 98004 with flag 3799708/1265171 248.25/246.91 c cleaning 50007 clauses out of 100015 with flag 3935531/1316171 255.65/254.34 c cleaning 50998 clauses out of 102008 with flag 4075654/1368171 264.75/263.44 c cleaning 51994 clauses out of 104010 with flag 4225122/1421171 275.15/273.81 c cleaning 53006 clauses out of 106017 with flag 4382028/1475172 284.85/283.58 c cleaning 54006 clauses out of 108013 with flag 4545058/1530174 294.07/292.74 c cleaning 54992 clauses out of 110004 with flag 4717700/1586171 303.46/302.15 c cleaning 56003 clauses out of 112015 with flag 4909101/1643174 315.97/314.63 c cleaning 57001 clauses out of 114010 with flag 5069620/1701172 329.11/327.78 c cleaning 57998 clauses out of 116010 with flag 5231206/1760173 342.80/341.43 c cleaning 59004 clauses out of 118011 with flag 5411690/1820172 354.51/353.16 c cleaning 59993 clauses out of 120006 with flag 5630895/1881171 367.12/365.77 c cleaning 60999 clauses out of 122014 with flag 5826911/1943172 381.92/380.60 c cleaning 62009 clauses out of 124017 with flag 6042754/2006174 397.62/396.25 c cleaning 62996 clauses out of 126006 with flag 6236101/2070172 413.62/412.29 c cleaning 63994 clauses out of 128009 with flag 6439828/2135171 425.41/424.07 c cleaning 65002 clauses out of 130016 with flag 6647143/2201172 435.42/434.04 c cleaning 66001 clauses out of 132013 with flag 6843083/2268171 447.03/445.69 c cleaning 66999 clauses out of 134012 with flag 7034765/2336171 458.17/456.78 c cleaning 67999 clauses out of 136014 with flag 7241565/2405172 470.57/469.17 c cleaning 69005 clauses out of 138015 with flag 7448790/2475172 486.17/484.71 c cleaning 69998 clauses out of 140009 with flag 7643050/2546171 498.97/497.54 c cleaning 70997 clauses out of 142012 with flag 7859349/2618172 513.36/511.99 c cleaning 72001 clauses out of 144015 with flag 8071713/2691172 528.47/527.04 c cleaning 73002 clauses out of 146013 with flag 8307114/2765171 545.98/544.51 c cleaning 74001 clauses out of 148011 with flag 8549384/2840171 566.67/565.25 c cleaning 75005 clauses out of 150010 with flag 8814518/2916171 587.77/586.38 c cleaning 75997 clauses out of 152005 with flag 9104820/2993171 605.43/603.91 c cleaning 77000 clauses out of 154008 with flag 9336525/3071171 625.83/624.39 c cleaning 77999 clauses out of 156009 with flag 9567048/3150172 645.03/643.52 c cleaning 78997 clauses out of 158009 with flag 9817344/3230171 664.93/663.49 c cleaning 80001 clauses out of 160012 with flag 10077346/3311171 681.02/679.53 c cleaning 81001 clauses out of 162011 with flag 10326031/3393171 702.82/701.37 c cleaning 82001 clauses out of 164013 with flag 10561270/3476174 724.64/723.16 c cleaning 82995 clauses out of 166009 with flag 10795390/3560171 743.71/742.15 c cleaning 84005 clauses out of 168016 with flag 11058685/3645173 761.42/759.89 c cleaning 84997 clauses out of 170009 with flag 11383603/3731171 785.12/783.50 c cleaning 85998 clauses out of 172013 with flag 11665593/3818172 810.92/809.35 c cleaning 87004 clauses out of 174014 with flag 11918166/3906171 831.61/830.05 c cleaning 87997 clauses out of 176010 with flag 12183681/3995171 850.32/848.79 c cleaning 89005 clauses out of 178014 with flag 12450823/4085172 872.72/871.15 c cleaning 89998 clauses out of 180008 with flag 12752326/4176171 897.29/895.67 c cleaning 90997 clauses out of 182010 with flag 13013483/4268171 921.89/920.24 c cleaning 92004 clauses out of 184013 with flag 13267063/4361171 944.59/942.98 c cleaning 92999 clauses out of 186010 with flag 13577140/4455172 972.09/970.48 c cleaning 94000 clauses out of 188012 with flag 13835706/4550173 995.09/993.47 c cleaning 95003 clauses out of 190011 with flag 14111100/4646172 1016.39/1014.71 c cleaning 96002 clauses out of 192008 with flag 14437358/4743172 1041.00/1039.23 c cleaning 97003 clauses out of 194008 with flag 14750622/4841174 1069.40/1067.69 c cleaning 97997 clauses out of 196002 with flag 15088501/4940171 1098.79/1097.02 c cleaning 98995 clauses out of 198005 with flag 15467976/5040171 1126.29/1124.57 c cleaning 100001 clauses out of 200011 with flag 15759594/5141172 1155.20/1153.40 c cleaning 101000 clauses out of 202009 with flag 16070984/5243171 1187.24/1185.23 c cleaning 101995 clauses out of 204010 with flag 16379666/5346172 1215.35/1213.39 c cleaning 103002 clauses out of 206017 with flag 16679889/5450174 1239.75/1237.71 c cleaning 104000 clauses out of 208012 with flag 17006610/5555171 1261.24/1259.25 c cleaning 105005 clauses out of 210014 with flag 17377989/5661173 1286.74/1284.78 c cleaning 105999 clauses out of 212007 with flag 17724632/5768171 1318.38/1316.23 c cleaning 107001 clauses out of 214009 with flag 18085764/5876172 1347.28/1345.11 c cleaning 107999 clauses out of 216007 with flag 18432597/5985171 1369.98/1367.88 c cleaning 108997 clauses out of 218008 with flag 18767898/6095171 1401.28/1399.15 c cleaning 109998 clauses out of 220011 with flag 19127977/6206171 1431.48/1429.39 c cleaning 111002 clauses out of 222015 with flag 19514853/6318173 1455.21/1452.97 c cleaning 112005 clauses out of 224012 with flag 19921508/6431172 1490.40/1488.15 c cleaning 112998 clauses out of 226007 with flag 20227059/6545172 1524.09/1521.84 c cleaning 113991 clauses out of 228008 with flag 20582744/6660171 1553.41/1551.17 c cleaning 115008 clauses out of 230018 with flag 20952175/6776172 1589.70/1587.35 c cleaning 116003 clauses out of 232010 with flag 21309909/6893172 1624.79/1622.43 c cleaning 116995 clauses out of 234007 with flag 21686251/7011172 1657.10/1654.71 c cleaning 118001 clauses out of 236012 with flag 22094261/7130172 1688.31/1685.99 c cleaning 119000 clauses out of 238011 with flag 22555847/7250172 1722.30/1719.89 c cleaning 119997 clauses out of 240012 with flag 22927992/7371173 1751.00/1748.51 c cleaning 120999 clauses out of 242013 with flag 23288521/7493171 1782.60/1780.17 c cleaning 122004 clauses out of 244016 with flag 23678042/7616173 1800.01/1797.51 c starts : 2288 1800.01/1797.51 c conflicts : 7697719 1800.01/1797.51 c decisions : 13323637 1800.01/1797.51 c propagations : 1057735121 1800.01/1797.51 c inspects : 26562126258 1800.01/1797.51 c shortcuts : 0 1800.01/1797.51 c learnt literals : 0 1800.01/1797.51 c learnt binary clauses : 31 1800.01/1797.51 c learnt ternary clauses : 166 1800.01/1797.51 c learnt constraints : 7697719 1800.01/1797.51 c ignored constraints : 0 1800.01/1797.51 c root simplifications : 0 1800.01/1797.51 c removed literals (reason simplification) : 0 1800.01/1797.51 c reason swapping (by a shorter reason) : 0 1800.01/1797.51 c Calls to reduceDB : 119 1800.01/1797.51 c Number of update (reduction) of LBD : 1844046 1800.01/1797.51 c Imported unit clauses : 0 1800.01/1797.51 c number of reductions to clauses (during analyze) : 0 1800.01/1797.51 c number of learned constraints concerned by reduction : 0 1800.01/1797.51 c number of learning phase by resolution : 0 1800.01/1797.51 c number of learning phase by cutting planes : 0 1800.01/1797.51 c speed (assignments/second) : 588524.8764094332 1800.01/1797.51 c non guided choices 1159 1800.01/1797.54 c learnt constraints type 1800.01/1797.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 31 1800.01/1797.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 203528 1800.01/1797.54 s SATISFIABLE 1800.01/1797.54 c Found 3 solution(s) 1800.01/1797.55 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.01/1797.55 c objective function=7552 1800.01/1797.55 c Total wall clock time (in seconds): 1797.448
OK 7552
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-4101765-1466225849/watcher-4101765-1466225849 -o /tmp/evaluation-result-4101765-1466225849/solver-4101765-1466225849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101765-1466225849.opb pid=10160 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: 2.23 2.29 2.27 3/194 10163 /proc/meminfo: memFree=29891712/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 24633208 98570240 977 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 24065 977 743 9 0 16771 0 [pid=10163/tid=10164] ppid=10160 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 24633209 98570240 977 33554432000 1073741824 1073778376 140737328868864 140038900117032 226084341120 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.23 2.29 2.27 3/194 10163 /proc/meminfo: memFree=29891712/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 4487 0 1 0 9 2 0 0 20 0 18 0 24633208 9787879424 6115 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2389619 6115 2157 9 0 2380296 0 [pid=10163/tid=10164] ppid=10160 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2376 0 1 0 6 1 0 0 20 0 18 0 24633209 9787879424 6115 33554432000 1073741824 1073778376 140737328868864 140038900120480 226087724301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200263 s] /proc/loadavg: 2.23 2.29 2.27 3/194 10163 /proc/meminfo: memFree=29891712/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9558476 CPUtime=0.3 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 5010 0 1 0 28 2 0 0 20 0 18 0 24633208 9787879424 8398 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2389619 8398 2218 9 0 2380296 0 [pid=10163/tid=10164] ppid=10160 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2401 0 1 0 15 2 0 0 20 0 18 0 24633209 9787879424 8398 33554432000 1073741824 1073778376 140737328868864 140038900121528 140038767663474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.30028 s] /proc/loadavg: 2.23 2.29 2.27 3/194 10163 /proc/meminfo: memFree=29891712/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 9492 0 1 0 56 3 0 0 20 0 19 0 24633208 9856040960 13183 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 13183 2242 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2426 0 1 0 25 2 0 0 20 0 19 0 24633209 9856040960 13183 33554432000 1073741824 1073778376 140737328868864 140038900122240 140038767705984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9625040 [startup+0.700268 s] /proc/loadavg: 2.23 2.29 2.27 3/194 10163 /proc/meminfo: memFree=29891712/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=1.36 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 11936 0 1 0 133 3 0 0 20 0 19 0 24633208 9856040960 14887 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 14887 2251 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2427 0 1 0 65 2 0 0 20 0 19 0 24633209 9856040960 14887 33554432000 1073741824 1073778376 140737328868864 140038900122088 140038768284668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 9625040 [startup+1.50086 s] /proc/loadavg: 2.23 2.29 2.27 4/213 10182 /proc/meminfo: memFree=29837676/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=2.62 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 17792 0 1 0 258 4 0 0 20 0 19 0 24633208 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 18805 2261 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=1.47 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2429 0 1 0 145 2 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038900122024 140038768309767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24633210 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10138 0 0 0 75 2 0 0 20 0 19 0 24633213 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/10163/task/10179/stat : 10179 (java) S 10160 10163 5878 0 -1 4202560 3947 0 0 0 34 0 0 0 20 0 19 0 24633213 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038718392504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10180] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10180/stat : 10180 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038717340152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10181] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10181/stat : 10181 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038716287816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 18805 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.21 2.29 2.27 3/213 10182 /proc/meminfo: memFree=29822856/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=4.26 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 17795 0 1 0 422 4 0 0 20 0 19 0 24633208 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 19829 2261 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=3.07 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2432 0 1 0 305 2 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038900122120 140038768255643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24633210 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10138 0 0 0 78 2 0 0 20 0 19 0 24633213 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/10163/task/10179/stat : 10179 (java) S 10160 10163 5878 0 -1 4202560 3947 0 0 0 35 0 0 0 20 0 19 0 24633213 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038718392504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10180] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10180/stat : 10180 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038717340152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10181] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10181/stat : 10181 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038716287816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 19829 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.26 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.21 2.29 2.27 3/213 10182 /proc/meminfo: memFree=29820952/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=7.49 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 17802 0 1 0 745 4 0 0 20 0 19 0 24633208 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 20172 2262 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=6.26 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2437 0 1 0 624 2 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038900120088 140038768293404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24633209 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24633210 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.83 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10139 0 0 0 81 2 0 0 20 0 19 0 24633213 9856040960 20172 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 ################ # More data... # ################ [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1724.8 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.25 2.22 2.20 4/213 10314 /proc/meminfo: memFree=28647612/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=1784.8 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 20079 0 1 0 178441 39 0 0 20 0 19 0 24633208 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 98270 2277 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=1777.24 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2505 0 1 0 177694 30 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038900113088 140038768285047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 290 0 0 0 18 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 343 0 0 0 19 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 300 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0.19 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 315 0 0 0 16 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 276 0 0 0 18 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0.25 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 370 0 0 0 22 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 96 0 0 0 12 1 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 54 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 24633210 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.93 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10149 0 0 0 91 2 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/10163/task/10179/stat : 10179 (java) S 10160 10163 5878 0 -1 4202560 3947 0 0 0 35 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038718392504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10180] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10180/stat : 10180 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038717340152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10181] ppid=10160 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/10163/task/10181/stat : 10181 (java) S 10160 10163 5878 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038716287816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1784.8 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.51 s] /proc/loadavg: 2.35 2.24 2.20 3/213 10314 /proc/meminfo: memFree=28322636/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 20079 0 1 0 179962 39 0 0 20 0 19 0 24633208 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 98270 2277 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=1792.41 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2505 0 1 0 179211 30 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038900113088 140038768337371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 290 0 0 0 18 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 343 0 0 0 19 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 300 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0.19 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 315 0 0 0 16 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 276 0 0 0 18 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0.25 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 370 0 0 0 22 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 96 0 0 0 12 1 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 54 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 24633210 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.93 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10149 0 0 0 91 2 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/10163/task/10179/stat : 10179 (java) S 10160 10163 5878 0 -1 4202560 3947 0 0 0 35 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038718392504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10180] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10180/stat : 10180 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038717340152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10181] ppid=10160 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/10163/task/10181/stat : 10181 (java) S 10160 10163 5878 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038716287816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625040 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 10163 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1797.51 s] /proc/loadavg: 2.35 2.24 2.20 3/213 10314 /proc/meminfo: memFree=28322636/32872528 swapFree=1590032/1720848 [pid=10163] ppid=10160 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6 /proc/10163/stat : 10163 (java) S 10160 10163 5878 0 -1 4202496 20079 0 1 0 179962 39 0 0 20 0 19 0 24633208 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140737328860000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10163/statm: 2406260 98270 2277 9 0 2396937 0 [pid=10163/tid=10164] ppid=10160 vsize=9625040 CPUtime=1792.41 cores=0,2,4,6 /proc/10163/task/10164/stat : 10164 (java) R 10160 10163 5878 0 -1 4202560 2505 0 1 0 179211 30 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038900113088 140038768337371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10163/tid=10166] ppid=10160 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/10163/task/10166/stat : 10166 (java) S 10160 10163 5878 0 -1 4202560 290 0 0 0 18 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038889183912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10167] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10167/stat : 10167 (java) S 10160 10163 5878 0 -1 4202560 343 0 0 0 19 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038888131368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10168] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10168/stat : 10168 (java) S 10160 10163 5878 0 -1 4202560 300 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038887078824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10169] ppid=10160 vsize=9625040 CPUtime=0.19 cores=0,2,4,6 /proc/10163/task/10169/stat : 10169 (java) S 10160 10163 5878 0 -1 4202560 315 0 0 0 16 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038740065320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10170] ppid=10160 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/10163/task/10170/stat : 10170 (java) S 10160 10163 5878 0 -1 4202560 276 0 0 0 18 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038739011752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10171] ppid=10160 vsize=9625040 CPUtime=0.25 cores=0,2,4,6 /proc/10163/task/10171/stat : 10171 (java) S 10160 10163 5878 0 -1 4202560 370 0 0 0 22 3 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038737959208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10172] ppid=10160 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/10163/task/10172/stat : 10172 (java) S 10160 10163 5878 0 -1 4202560 96 0 0 0 12 1 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038736906664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10173] ppid=10160 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/10163/task/10173/stat : 10173 (java) S 10160 10163 5878 0 -1 4202560 54 0 0 0 15 2 0 0 20 0 19 0 24633209 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038735854120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10174] ppid=10160 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/10163/task/10174/stat : 10174 (java) S 10160 10163 5878 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 24633210 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038723656296 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10175] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10175/stat : 10175 (java) S 10160 10163 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038722602616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10176] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10176/stat : 10176 (java) S 10160 10163 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24633211 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038721549960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10177] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10177/stat : 10177 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038720498704 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10178] ppid=10160 vsize=9625040 CPUtime=0.93 cores=0,2,4,6 /proc/10163/task/10178/stat : 10178 (java) S 10160 10163 5878 0 -1 4202560 10149 0 0 0 91 2 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038719445048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10163/tid=10179] ppid=10160 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/10163/task/10179/stat : 10179 (java) S 10160 10163 5878 0 -1 4202560 3947 0 0 0 35 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038718392504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10180] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10180/stat : 10180 (java) S 10160 10163 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038717340152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10163/tid=10181] ppid=10160 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/10163/task/10181/stat : 10181 (java) S 10160 10163 5878 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 24633213 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038716287816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10163/tid=10182] ppid=10160 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10163/task/10182/stat : 10182 (java) S 10160 10163 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24633233 9856040960 98270 33554432000 1073741824 1073778376 140737328868864 140038715233576 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10163 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=139097 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=830873 # CPU time returned by wait4() is 1795.97 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1797.57 CPU time (s): 1800.01 CPU user time (s): 1799.62 CPU system time (s): 0.39 CPU usage (%): 100.136 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.14 system time used= 0.830873 maximum resident set size= 393240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20126 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38403 involuntary context switches= 5738 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.71252 second user time and 13.334 second system time The end
Begin job on node120 at 2016-06-18 06:57:29 IDJOB=4101765 IDBENCH=1791 IDSOLVER=2546 FILE ID=node120/4101765-1466225849 RUNJOBID= node120-1466206086-5894 PBS_JOBID= 19918157 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101765-1466225849/watcher-4101765-1466225849 -o /tmp/evaluation-result-4101765-1466225849/solver-4101765-1466225849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101765-1466225849.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED=943350443 node120.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.935 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.87 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.935 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.935 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.56 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.935 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.56 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.935 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.56 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.935 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.56 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.935 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.935 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29892240 kB Buffers: 108984 kB Cached: 231320 kB SwapCached: 1812 kB Active: 237916 kB Inactive: 273392 kB Active(anon): 171836 kB Inactive(anon): 1244 kB Active(file): 66080 kB Inactive(file): 272148 kB Unevictable: 1720848 kB Mlocked: 1590032 kB SwapTotal: 67108856 kB SwapFree: 67099492 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 1892560 kB Mapped: 15332 kB Shmem: 0 kB Slab: 613856 kB SReclaimable: 57824 kB SUnreclaim: 556032 kB KernelStack: 1592 kB PageTables: 7684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2412048 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 280576 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= 71724 MiB End job on node120 at 2016-06-18 07:27:27