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) | 8084 | 1800.24 | 899.473 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb |
| MD5SUM | 4a4829ccfb158b9e23ea953e29870120 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8084 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 69 |
| Optimality of the best value was proved | NO |
| Number of variables | 4600 |
| Total number of constraints | 310 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 310 |
| Minimum length of a constraint | 17 |
| Maximum length of a constraint | 147 |
| Number of terms in the objective function | 3424 |
| Biggest coefficient in the objective function | 3121 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 527152 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262140 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 527152 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4101770-1466216024.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.83/0.42 c ... done. Wall clock time 0.307s. 0.83/0.42 c declared #vars 4600 0.83/0.42 c #constraints 374 0.83/0.43 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.83/0.43 c constraints type 0.83/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 374 0.83/0.43 c 374 constraints processed. 0.83/0.43 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.83/0.43 c constraints type 0.83/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 374 0.83/0.43 c 374 constraints processed. 0.83/0.43 c objective function length is 3424 literals 3.08/1.06 c cleaning 2493 clauses out of 5000 with flag 10637/5000 4.69/1.52 c cleaning 4242 clauses out of 8507 with flag 23150/11000 5.95/2.06 c cleaning 5624 clauses out of 11266 with flag 38154/18001 7.69/2.85 c cleaning 6813 clauses out of 13641 with flag 55096/26000 9.53/3.79 c cleaning 7906 clauses out of 15829 with flag 75462/35001 12.24/5.01 c cleaning 8960 clauses out of 17922 with flag 98532/45000 13.45/5.68 c cleaning 9981 clauses out of 19962 with flag 120990/56000 15.46/6.69 c cleaning 10983 clauses out of 21982 with flag 146213/68001 18.25/7.98 c cleaning 11993 clauses out of 23999 with flag 174508/81001 21.73/9.64 c cleaning 12999 clauses out of 26005 with flag 202707/95000 25.33/11.50 c cleaning 14001 clauses out of 28006 with flag 233284/110000 29.53/13.56 c cleaning 15002 clauses out of 30007 with flag 265295/126002 29.73/13.66 c cleaning 0 clauses out of 5000 with flag 0/5000 34.93/16.05 c cleaning 16002 clauses out of 32005 with flag 299305/143002 41.18/19.10 c cleaning 16996 clauses out of 34001 with flag 335309/161000 47.78/22.33 c cleaning 18000 clauses out of 36005 with flag 373328/180000 55.25/26.04 c cleaning 19001 clauses out of 38007 with flag 413372/200002 63.10/29.98 c cleaning 19994 clauses out of 40004 with flag 455390/221000 72.90/34.81 c cleaning 20993 clauses out of 42011 with flag 499899/243001 83.39/40.06 c cleaning 21996 clauses out of 44017 with flag 546571/266000 93.23/44.97 c cleaning 22999 clauses out of 46022 with flag 594780/290001 102.24/49.49 c cleaning 24002 clauses out of 48022 with flag 644813/315000 111.49/54.06 c cleaning 25000 clauses out of 50021 with flag 696834/341001 123.13/59.81 c cleaning 26004 clauses out of 52021 with flag 752060/368001 125.33/60.91 c cleaning 0 clauses out of 11000 with flag 0/11000 134.00/65.26 c cleaning 27000 clauses out of 54016 with flag 808715/396000 145.98/71.25 c cleaning 27995 clauses out of 56016 with flag 866741/425000 157.43/76.92 c cleaning 29003 clauses out of 58023 with flag 926796/455002 170.25/83.32 c cleaning 30000 clauses out of 60018 with flag 988846/486000 192.43/94.45 c cleaning 31002 clauses out of 62018 with flag 1052917/518000 235.95/116.18 c cleaning 31999 clauses out of 64016 with flag 1118927/551000 293.82/145.01 c cleaning 33006 clauses out of 66018 with flag 1186948/585001 363.56/179.87 c cleaning 33998 clauses out of 68012 with flag 1256968/620001 443.90/220.11 c cleaning 34997 clauses out of 70013 with flag 1328978/656000 523.02/259.70 c cleaning 35997 clauses out of 72016 with flag 1402992/693000 606.79/301.46 c cleaning 37003 clauses out of 74019 with flag 1479017/731000 662.53/329.27 c cleaning 37999 clauses out of 76017 with flag 1558270/770001 707.74/352.02 c cleaning 38987 clauses out of 78017 with flag 1639052/810000 734.82/365.59 c cleaning 39999 clauses out of 80031 with flag 1724785/851001 758.92/377.52 c cleaning 41001 clauses out of 82031 with flag 1812414/893000 787.09/391.55 c cleaning 42003 clauses out of 84030 with flag 1900037/936000 815.17/405.58 c cleaning 42996 clauses out of 86027 with flag 1989304/980000 850.54/423.12 c cleaning 44007 clauses out of 88032 with flag 2080271/1025001 852.38/424.06 c cleaning 0 clauses out of 18000 with flag 0/18000 882.56/439.09 c cleaning 44996 clauses out of 90025 with flag 2172888/1071001 921.30/458.31 c cleaning 46003 clauses out of 92028 with flag 2267377/1118000 963.70/479.72 c cleaning 46994 clauses out of 94025 with flag 2363554/1166000 1008.03/501.84 c cleaning 48002 clauses out of 96032 with flag 2461834/1215001 1049.77/522.65 c cleaning 48999 clauses out of 98030 with flag 2562171/1265001 1090.67/543.04 c cleaning 49998 clauses out of 100032 with flag 2666288/1316002 1107.26/551.38 c cleaning 51015 clauses out of 102032 with flag 2771094/1368000 1130.16/562.78 c cleaning 52007 clauses out of 104017 with flag 2877269/1421000 1157.10/576.14 c cleaning 52999 clauses out of 106010 with flag 2985472/1475000 1185.57/590.79 c cleaning 54002 clauses out of 108011 with flag 3095656/1530000 1213.24/604.57 c cleaning 55003 clauses out of 110012 with flag 3207881/1586003 1244.53/620.19 c cleaning 55998 clauses out of 112006 with flag 3321944/1643000 1276.82/636.23 c cleaning 57002 clauses out of 114008 with flag 3438031/1701000 1312.00/653.74 c cleaning 58003 clauses out of 116012 with flag 3556096/1760006 1348.50/671.99 c cleaning 59003 clauses out of 118007 with flag 3676130/1820004 1382.01/688.70 c cleaning 59997 clauses out of 120000 with flag 3798162/1881000 1421.65/708.46 c cleaning 60998 clauses out of 122005 with flag 3922234/1943002 1453.91/724.80 c cleaning 0 clauses out of 26000 with flag 0/26000 1462.11/728.91 c cleaning 61998 clauses out of 124008 with flag 4048373/2006003 1467.71/731.78 c And the winner is solver0 1470.31/734.50 c SATISFIABLE 1470.31/734.50 c OPTIMIZING... 1470.31/734.50 c Got one! Elapsed wall clock time (in seconds):734.384 1470.31/734.50 o 60162 1470.79/734.76 c And the winner is solver0 1471.06/735.05 c Got one! Elapsed wall clock time (in seconds):734.928 1471.06/735.05 o 12178 1471.99/735.59 c cleaning 45735 clauses out of 91495 with flag 6305/2035488 1473.39/736.22 c cleaning 25865 clauses out of 51759 with flag 18303/2041487 1474.59/736.81 c cleaning 16433 clauses out of 32896 with flag 32307/2048489 1476.05/737.51 c cleaning 12215 clauses out of 24461 with flag 48303/2056487 1477.53/738.26 c cleaning 10611 clauses out of 21252 with flag 66315/2065493 1479.12/739.06 c cleaning 10301 clauses out of 20637 with flag 86307/2075489 1480.91/739.99 c cleaning 10656 clauses out of 21334 with flag 108303/2086487 1483.11/741.07 c cleaning 11326 clauses out of 22678 with flag 132303/2098487 1485.51/742.30 c cleaning 12167 clauses out of 24352 with flag 158303/2111487 1488.71/743.83 c cleaning 13077 clauses out of 26186 with flag 186305/2125488 1491.91/745.46 c cleaning 14041 clauses out of 28113 with flag 216313/2140492 1495.13/747.07 c cleaning 15022 clauses out of 30067 with flag 248303/2156487 1499.11/749.00 c cleaning 16012 clauses out of 32046 with flag 282305/2173488 1503.51/751.22 c cleaning 17005 clauses out of 34035 with flag 318307/2191489 1508.40/753.63 c cleaning 18006 clauses out of 36029 with flag 356305/2210488 1514.39/756.65 c cleaning 18999 clauses out of 38022 with flag 396306/2230487 1520.79/759.81 c cleaning 20000 clauses out of 40023 with flag 438306/2251487 1527.19/763.03 c cleaning 20997 clauses out of 42025 with flag 482310/2273489 1534.48/766.68 c cleaning 22005 clauses out of 44027 with flag 528308/2296488 1543.77/771.25 c cleaning 23000 clauses out of 46021 with flag 576306/2320487 1551.75/775.26 c cleaning 24003 clauses out of 48021 with flag 626306/2345487 1565.98/782.73 c cleaning 25002 clauses out of 50020 with flag 678310/2371489 1576.70/788.04 c cleaning 25997 clauses out of 52017 with flag 732308/2398488 1588.71/794.01 c cleaning 27000 clauses out of 54019 with flag 788306/2426487 1600.55/799.94 c cleaning 28000 clauses out of 56019 with flag 846306/2455487 1611.94/805.62 c cleaning 28997 clauses out of 58019 with flag 906306/2485487 1622.54/810.98 c cleaning 30005 clauses out of 60026 with flag 968314/2516491 1636.14/817.71 c cleaning 30997 clauses out of 62017 with flag 1032306/2548487 1650.45/824.87 c cleaning 31999 clauses out of 64021 with flag 1098308/2581488 1666.26/832.76 c cleaning 33003 clauses out of 66021 with flag 1166306/2615487 1683.14/841.17 c cleaning 34001 clauses out of 68019 with flag 1236338/2650488 1701.69/850.37 c cleaning 35000 clauses out of 70018 with flag 1308359/2686488 1720.87/859.92 c cleaning 36002 clauses out of 72019 with flag 1382361/2723489 1742.09/870.49 c cleaning 36999 clauses out of 74015 with flag 1458357/2761487 1761.20/879.93 c And the winner is solver0 1761.20/880.08 c Got one! Elapsed wall clock time (in seconds):879.959 1761.20/880.08 o 8084 1762.05/880.55 c cleaning 38529 clauses out of 77058 with flag 10295/2801529 1763.04/881.01 c cleaning 22264 clauses out of 44530 with flag 22307/2807530 1764.04/881.52 c cleaning 14634 clauses out of 29267 with flag 36316/2814531 1772.18/885.54 c cleaning 11289 clauses out of 22635 with flag 58463/2822533 1790.69/894.76 c cleaning 10149 clauses out of 20342 with flag 88932/2831529 1800.09/899.40 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.09/899.40 c starts : 472 1800.09/899.40 c conflicts : 2836229 1800.09/899.40 c decisions : 3206793 1800.09/899.40 c propagations : 37708760 1800.09/899.40 c inspects : 15303693077 1800.09/899.40 c shortcuts : 0 1800.09/899.40 c learnt literals : 0 1800.09/899.40 c learnt binary clauses : 0 1800.09/899.40 c learnt ternary clauses : 0 1800.09/899.40 c learnt constraints : 2836229 1800.09/899.40 c ignored constraints : 0 1800.09/899.40 c root simplifications : 0 1800.09/899.40 c removed literals (reason simplification) : 13942000 1800.09/899.40 c reason swapping (by a shorter reason) : 0 1800.09/899.40 c Calls to reduceDB : 98 1800.09/899.40 c Number of update (reduction) of LBD : 24917 1800.09/899.40 c Imported unit clauses : 0 1800.09/899.40 c number of reductions to clauses (during analyze) : 0 1800.09/899.40 c number of learned constraints concerned by reduction : 0 1800.09/899.40 c number of learning phase by resolution : 0 1800.09/899.40 c number of learning phase by cutting planes : 0 1800.09/899.40 c speed (assignments/second) : 41947.374392905534 1800.09/899.40 c non guided choices 87958 1800.09/899.41 c learnt constraints type 1800.09/899.41 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14893 1800.09/899.41 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.09/899.41 c starts : 83 1800.09/899.41 c conflicts : 30795 1800.09/899.41 c decisions : 76110 1800.09/899.41 c propagations : 362664 1800.09/899.41 c inspects : 440106387 1800.09/899.41 c shortcuts : 0 1800.09/899.41 c learnt literals : 0 1800.09/899.41 c learnt binary clauses : 0 1800.09/899.41 c learnt ternary clauses : 0 1800.09/899.41 c learnt constraints : 30793 1800.09/899.41 c ignored constraints : 0 1800.09/899.41 c root simplifications : 0 1800.09/899.41 c removed literals (reason simplification) : 0 1800.09/899.41 c reason swapping (by a shorter reason) : 0 1800.09/899.41 c Calls to reduceDB : 4 1800.09/899.41 c Number of update (reduction) of LBD : 0 1800.09/899.41 c Imported unit clauses : 0 1800.09/899.41 c number of reductions to clauses (during analyze) : 0 1800.09/899.41 c number of learned constraints concerned by reduction : 0 1800.09/899.41 c number of learning phase by resolution : 0 1800.09/899.41 c number of learning phase by cutting planes : 0 1800.09/899.41 c speed (assignments/second) : 18761.71753750647 1800.09/899.41 c non guided choices 0 1800.09/899.43 c learnt constraints type 1800.09/899.43 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8503 1800.09/899.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 22290 1800.09/899.43 s SATISFIABLE 1800.09/899.43 c Found 3 solution(s) 1800.09/899.44 v x1 -x2 x3 x4 -x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 x44 -x45 x46 -x47 x48 x49 x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x190 x191 x192 x193 x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 x543 x544 x545 -x546 -x547 x548 -x549 x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 x645 x646 x647 x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 x660 -x661 -x662 x663 x664 -x665 x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 x795 x796 x797 x798 x799 x800 x801 x802 -x803 x804 x805 x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 -x836 x837 -x838 x839 -x840 -x841 x842 -x843 x844 x845 x846 x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 x876 x877 -x878 -x879 x880 -x881 -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 x971 x972 x973 -x974 x975 x976 x977 x978 -x979 x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 x1059 x1060 -x1061 -x1062 -x1063 x1064 x1065 x1066 x1067 x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 x1135 x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 x1155 -x1156 x1157 x1158 x1159 x1160 x1161 x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 x1329 x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 x1347 x1348 -x1349 x1350 -x1351 x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 x1461 x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 x1690 -x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 x1698 x1699 -x1700 -x1701 -x1702 x1703 x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 x1737 -x1738 x1739 x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 x1838 x1839 -x1840 -x1841 x1842 x1843 x1844 -x1845 -x1846 -x1847 x1848 x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 x1872 -x1873 x1874 x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 x1885 x1886 x1887 x1888 x1889 -x1890 x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 x1913 x1914 x1915 -x1916 -x1917 x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 x1957 x1958 -x1959 x1960 -x1961 -x1962 x1963 x1964 x1965 x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 x1982 x1983 x1984 x1985 x1986 x1987 x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 x2026 x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 x2061 -x2062 x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 x2073 -x2074 -x2075 -x2076 x2077 -x2078 x2079 -x2080 x2081 x2082 -x2083 -x2084 x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 x2105 -x2106 x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 x2119 x2120 x2121 -x2122 x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 x2142 x2143 x2144 x2145 x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 -x2233 -x2234 x2235 x2236 x2237 x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 x2263 x2264 x2265 x2266 x2267 x2268 x2269 x2270 -x2271 x2272 x2273 -x2274 x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 x3041 x3042 -x3043 -x3044 x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 x3084 -x3085 -x3086 x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 x3375 -x3376 x3377 -x3378 -x3379 x3380 -x3381 x3382 -x3383 x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 x3411 x3412 -x3413 -x3414 x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x3670 x3671 -x3672 -x3673 x3674 x3675 -x3676 x3677 -x3678 x3679 -x3680 x3681 x3682 -x3683 x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 x3702 x3703 -x3704 x3705 x3706 x3707 -x3708 x3709 x3710 x3711 x3712 -x3713 -x3714 x3715 -x3716 x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 x3805 x3806 -x3807 x3808 x3809 x3810 x3811 x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 x3830 -x3831 x3832 -x3833 x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 x3852 -x3853 -x3854 x3855 -x3856 x3857 -x3858 x3859 -x3860 x3861 x3862 x3863 x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 x3976 x3977 -x3978 x3979 -x3980 x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 x4032 x4033 -x4034 x4035 x4036 x4037 x4038 x4039 x4040 x4041 -x4042 -x4043 x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 x4062 x4063 x4064 x4065 x4066 x4067 x4068 x4069 x4070 x4071 x4072 -x4073 x4074 x4075 x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 x4096 x4097 x4098 x4099 -x4100 -x4101 -x4102 x4103 x4104 x4105 -x4106 x4107 x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 x4122 -x4123 x4124 x4125 x4126 x4127 -x4128 x4129 x4130 -x4131 -x4132 -x4133 x4134 -x4135 x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 x4256 x4257 x4258 x4259 x4260 x4261 x4262 x4263 x4264 x4265 x4266 x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 x4287 x4288 x4289 x4290 x4291 x4292 x4293 x4294 x4295 x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 x4423 -x4424 x4425 -x4426 x4427 -x4428 x4429 -x4430 x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 x4461 -x4462 x4463 x4464 -x4465 x4466 x4467 -x4468 x4469 x4470 x4471 x4472 x4473 x4474 x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 x4513 x4514 x4515 -x4516 -x4517 -x4518 x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1800.09/899.44 c objective function=8084 1800.09/899.44 c Total wall clock time (in seconds): 899.326
OK 8084
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-4101770-1466216024/watcher-4101770-1466216024 -o /tmp/evaluation-result-4101770-1466216024/solver-4101770-1466216024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7345 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101770-1466216024.opb pid=12143 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.29 4.24 4.26 5/199 12146 /proc/meminfo: memFree=26360044/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9224 CPUtime=0 cores=0,2,4,6 /proc/12146/stat : 12146 (java) R 12143 12146 7329 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 23648341 9445376 95 33554432000 1073741824 1073778376 140737250536768 140737250533896 215115460487 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2306 98 76 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 4.29 4.24 4.26 5/199 12146 /proc/meminfo: memFree=26360044/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 23648341 9787879424 6043 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2389619 6043 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200221 s] /proc/loadavg: 4.29 4.24 4.26 5/199 12146 /proc/meminfo: memFree=26360044/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 5018 0 1 0 26 1 0 0 20 0 18 0 23648341 9787879424 6996 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2389619 6996 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300227 s] /proc/loadavg: 4.29 4.24 4.26 5/199 12146 /proc/meminfo: memFree=26360044/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9558476 CPUtime=0.53 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 8887 0 1 0 51 2 0 0 20 0 18 0 23648341 9787879424 11760 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2389619 11760 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.70019 s] /proc/loadavg: 4.29 4.24 4.26 5/199 12146 /proc/meminfo: memFree=26360044/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 14523 0 1 0 192 3 0 0 20 0 22 0 23648341 10060525568 20798 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 20798 2265 9 0 2446860 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 9824732 [startup+1.50086 s] /proc/loadavg: 4.29 4.24 4.26 7/221 12168 /proc/meminfo: memFree=26204608/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=4.69 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 19291 0 1 0 460 9 0 0 20 0 22 0 23648341 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 52653 2292 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2442 0 1 0 38 2 0 0 20 0 22 0 23648342 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) R 12143 12146 7329 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215703043032 140215862821986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) R 12143 12146 7329 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215701990056 215124577415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) R 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215700937896 215124577415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) R 12143 12146 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215699885144 140215865960815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) R 12143 12146 7329 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215698831784 215124577415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) R 12143 12146 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215697778984 215124577415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) R 12143 12146 7329 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215696726568 215124577415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) R 12143 12146 7329 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23648343 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215695673896 140215866560752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215683262088 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=0.99 cores=0,2,4,6 /proc/12146/task/12161/stat : 12161 (java) S 12143 12146 7329 0 -1 4202560 5958 0 0 0 97 2 0 0 20 0 22 0 23648347 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215679051960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12162] ppid=12143 vsize=9824732 CPUtime=1.13 cores=0,2,4,6 /proc/12146/task/12162/stat : 12162 (java) S 12143 12146 7329 0 -1 4202560 9367 0 0 0 111 2 0 0 20 0 22 0 23648347 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215677999160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12163] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12163/stat : 12163 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215676947064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12164] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12164/stat : 12164 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215675894472 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12165] ppid=12143 vsize=9824732 CPUtime=1 cores=0,2,4,6 /proc/12146/task/12165/stat : 12165 (java) S 12143 12146 7329 0 -1 4202560 22 0 0 0 100 0 0 0 20 0 22 0 23648385 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215674838168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12166] ppid=12143 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/12146/task/12166/stat : 12166 (java) S 12143 12146 7329 0 -1 4202560 76 0 0 0 94 2 0 0 20 0 22 0 23648385 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215673785832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12167] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12167/stat : 12167 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648387 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215672735400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12168] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12168/stat : 12168 (java) S 12143 12146 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648390 10060525568 52653 33554432000 1073741824 1073778376 140737250536768 140215671682600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 9824732 [startup+3.10088 s] /proc/loadavg: 4.29 4.24 4.26 6/221 12168 /proc/meminfo: memFree=26017860/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=8.33 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 23541 0 1 0 816 17 0 0 20 0 22 0 23648341 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 94303 2292 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2442 0 1 0 38 2 0 0 20 0 22 0 23648342 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) S 12143 12146 7329 0 -1 4202560 51 0 0 0 2 1 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215703042856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) S 12143 12146 7329 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215701990056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) S 12143 12146 7329 0 -1 4202560 45 0 0 0 3 2 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215700937768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) S 12143 12146 7329 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215699884968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) S 12143 12146 7329 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215698831656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215697778856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) S 12143 12146 7329 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215696726568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) S 12143 12146 7329 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 23648343 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215695673768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215683263208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/12146/task/12161/stat : 12161 (java) S 12143 12146 7329 0 -1 4202560 9877 0 0 0 118 2 0 0 20 0 22 0 23648347 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215679051960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12162] ppid=12143 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/12146/task/12162/stat : 12162 (java) S 12143 12146 7329 0 -1 4202560 9367 0 0 0 124 2 0 0 20 0 22 0 23648347 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215677999160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12163] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12163/stat : 12163 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215676947064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12164] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12164/stat : 12164 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215675894472 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12165] ppid=12143 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/12146/task/12165/stat : 12165 (java) R 12143 12146 7329 0 -1 4202560 24 0 0 0 253 0 0 0 20 0 22 0 23648385 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215674839912 140215732418208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12166] ppid=12143 vsize=9824732 CPUtime=2.46 cores=0,2,4,6 /proc/12146/task/12166/stat : 12166 (java) R 12143 12146 7329 0 -1 4202560 132 0 0 0 242 4 0 0 20 0 22 0 23648385 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215673787144 140215732442674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12167] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12167/stat : 12167 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648387 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215672735400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12168] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12168/stat : 12168 (java) S 12143 12146 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23648390 10060525568 94303 33554432000 1073741824 1073778376 140737250536768 140215671682600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 8.33 Current children cumulated vsize (KiB) 9824732 [startup+6.30096 s] /proc/loadavg: 4.34 4.25 4.26 5/221 12168 /proc/meminfo: memFree=25705404/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=14.84 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 24596 0 1 0 1455 29 0 0 20 0 22 0 23648341 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 199200 2292 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2442 0 1 0 38 2 0 0 20 0 22 0 23648342 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) S 12143 12146 7329 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215703042856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) S 12143 12146 7329 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215701990056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) S 12143 12146 7329 0 -1 4202560 56 0 0 0 5 2 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215700937768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) S 12143 12146 7329 0 -1 4202560 44 0 0 0 4 3 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215699884968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) S 12143 12146 7329 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215698831656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) S 12143 12146 7329 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215697778856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) S 12143 12146 7329 0 -1 4202560 45 0 0 0 7 3 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215696726568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) S 12143 12146 7329 0 -1 4202560 58 0 0 0 7 3 0 0 20 0 22 0 23648343 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215695673768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215683263208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 199200 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 ################ # More data... # ################ /proc/12146/statm: 2456183 727338 2302 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2452 0 1 0 43 3 0 0 20 0 19 0 23648342 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=1.78 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) S 12143 12146 7329 0 -1 4202560 513 0 0 0 162 16 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215703042856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) S 12143 12146 7329 0 -1 4202560 542 0 0 0 169 16 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215701990056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) S 12143 12146 7329 0 -1 4202560 500 0 0 0 159 12 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215700937768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) S 12143 12146 7329 0 -1 4202560 481 0 0 0 160 16 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215699884968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) S 12143 12146 7329 0 -1 4202560 572 0 0 0 192 19 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215698831656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) S 12143 12146 7329 0 -1 4202560 520 0 0 0 177 16 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215697778856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) S 12143 12146 7329 0 -1 4202560 493 0 0 0 164 15 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215696726568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=1.82 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) S 12143 12146 7329 0 -1 4202560 500 0 0 0 167 15 0 0 20 0 19 0 23648343 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215695673768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=4.16 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 2529 0 0 0 404 12 0 0 20 0 19 0 23648345 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215683263208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23648345 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23648345 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648347 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=1.29 cores=0,2,4,6 /proc/12146/task/12161/stat : 12161 (java) S 12143 12146 7329 0 -1 4202560 9888 0 0 0 127 2 0 0 20 0 19 0 23648347 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215679051960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12162] ppid=12143 vsize=9824732 CPUtime=2.07 cores=0,2,4,6 /proc/12146/task/12162/stat : 12162 (java) S 12143 12146 7329 0 -1 4202560 12800 0 0 0 205 2 0 0 20 0 19 0 23648347 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215677999160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12163] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12163/stat : 12163 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23648347 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215676947064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12164] ppid=12143 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/12146/task/12164/stat : 12164 (java) S 12143 12146 7329 0 -1 4202560 50 0 0 0 11 15 0 0 20 0 19 0 23648347 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215675894472 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12167] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12167/stat : 12167 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23648387 10060525568 727338 33554432000 1073741824 1073778376 140737250536768 140215672735400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1757.42 Current children cumulated vsize (KiB) 9824732 # ############ [startup+882.308 s] /proc/loadavg: 4.43 4.32 4.27 5/221 12265 /proc/meminfo: memFree=26262812/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=1761.87 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 36374 0 1 0 175954 233 0 0 20 0 22 0 23648341 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 727354 2302 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2452 0 1 0 43 3 0 0 20 0 22 0 23648342 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=1.78 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) S 12143 12146 7329 0 -1 4202560 513 0 0 0 162 16 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215703042856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) S 12143 12146 7329 0 -1 4202560 542 0 0 0 169 16 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215701990056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) S 12143 12146 7329 0 -1 4202560 500 0 0 0 159 12 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215700937768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) S 12143 12146 7329 0 -1 4202560 481 0 0 0 160 16 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215699884968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) S 12143 12146 7329 0 -1 4202560 572 0 0 0 192 19 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215698831656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) S 12143 12146 7329 0 -1 4202560 520 0 0 0 177 16 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215697778856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) S 12143 12146 7329 0 -1 4202560 493 0 0 0 164 15 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215696726568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=1.82 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) S 12143 12146 7329 0 -1 4202560 500 0 0 0 167 15 0 0 20 0 22 0 23648343 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215695673768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=4.17 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 2529 0 0 0 404 13 0 0 20 0 22 0 23648345 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215683263208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/12146/task/12161/stat : 12161 (java) S 12143 12146 7329 0 -1 4202560 9894 0 0 0 129 2 0 0 20 0 22 0 23648347 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215679051960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12162] ppid=12143 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/12146/task/12162/stat : 12162 (java) S 12143 12146 7329 0 -1 4202560 12800 0 0 0 207 2 0 0 20 0 22 0 23648347 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215677999160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12163] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12163/stat : 12163 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215676947064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12164] ppid=12143 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/12146/task/12164/stat : 12164 (java) S 12143 12146 7329 0 -1 4202560 50 0 0 0 11 15 0 0 20 0 22 0 23648347 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215675894472 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12167] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12167/stat : 12167 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648387 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215672735400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12263] ppid=12143 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/12146/task/12263/stat : 12263 (java) R 12143 12146 7329 0 -1 4202560 2 0 0 0 218 0 0 0 20 0 22 0 23736350 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215673778704 140215732341759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12264] ppid=12143 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/12146/task/12264/stat : 12264 (java) R 12143 12146 7329 0 -1 4202560 6 0 0 0 219 0 0 0 20 0 22 0 23736350 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215674838376 140215732361206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12265] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12265/stat : 12265 (java) S 12143 12146 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23736350 10060525568 727354 33554432000 1073741824 1073778376 140737250536768 140215671681960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1761.87 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.401 s] /proc/loadavg: 4.34 4.31 4.27 5/221 12266 /proc/meminfo: memFree=26044336/32872528 swapFree=1505436/1685308 [pid=12146] ppid=12143 vsize=9824732 CPUtime=1796.31 cores=0,2,4,6 /proc/12146/stat : 12146 (java) S 12143 12146 7329 0 -1 4202496 36789 0 1 0 179385 246 0 0 20 0 22 0 23648341 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140737250527904 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12146/statm: 2456183 781797 2302 9 0 2446860 0 [pid=12146/tid=12148] ppid=12143 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/12146/task/12148/stat : 12148 (java) S 12143 12146 7329 0 -1 4202560 2452 0 1 0 44 3 0 0 20 0 22 0 23648342 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215859065720 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12149] ppid=12143 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/12146/task/12149/stat : 12149 (java) S 12143 12146 7329 0 -1 4202560 565 0 0 0 172 19 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215703042856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12150] ppid=12143 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/12146/task/12150/stat : 12150 (java) S 12143 12146 7329 0 -1 4202560 561 0 0 0 173 17 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215701990056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12151] ppid=12143 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/12146/task/12151/stat : 12151 (java) S 12143 12146 7329 0 -1 4202560 527 0 0 0 165 14 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215700937768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12152] ppid=12143 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/12146/task/12152/stat : 12152 (java) S 12143 12146 7329 0 -1 4202560 497 0 0 0 164 16 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215699884968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12153] ppid=12143 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/12146/task/12153/stat : 12153 (java) S 12143 12146 7329 0 -1 4202560 607 0 0 0 199 21 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215698831656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12154] ppid=12143 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/12146/task/12154/stat : 12154 (java) S 12143 12146 7329 0 -1 4202560 557 0 0 0 180 17 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215697778856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12155] ppid=12143 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/12146/task/12155/stat : 12155 (java) S 12143 12146 7329 0 -1 4202560 540 0 0 0 168 16 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215696726568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12156] ppid=12143 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/12146/task/12156/stat : 12156 (java) S 12143 12146 7329 0 -1 4202560 516 0 0 0 170 16 0 0 20 0 22 0 23648343 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215695673768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12157] ppid=12143 vsize=9824732 CPUtime=4.17 cores=0,2,4,6 /proc/12146/task/12157/stat : 12157 (java) S 12143 12146 7329 0 -1 4202560 2644 0 0 0 404 13 0 0 20 0 22 0 23648345 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215683263208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12158] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12158/stat : 12158 (java) S 12143 12146 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215682209272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12159] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12159/stat : 12159 (java) S 12143 12146 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23648345 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215681156872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12160] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12160/stat : 12160 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215680105360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12161] ppid=12143 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/12146/task/12161/stat : 12161 (java) S 12143 12146 7329 0 -1 4202560 9894 0 0 0 129 2 0 0 20 0 22 0 23648347 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215679051960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12146/tid=12162] ppid=12143 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/12146/task/12162/stat : 12162 (java) S 12143 12146 7329 0 -1 4202560 12800 0 0 0 207 2 0 0 20 0 22 0 23648347 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215677999160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12163] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12163/stat : 12163 (java) S 12143 12146 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23648347 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215676947064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12164] ppid=12143 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/12146/task/12164/stat : 12164 (java) S 12143 12146 7329 0 -1 4202560 50 0 0 0 12 16 0 0 20 0 22 0 23648347 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215675894472 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12167] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12167/stat : 12167 (java) S 12143 12146 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23648387 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215672735400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12146/tid=12263] ppid=12143 vsize=9824732 CPUtime=19.1 cores=0,2,4,6 /proc/12146/task/12263/stat : 12263 (java) R 12143 12146 7329 0 -1 4202560 4 0 0 0 1910 0 0 0 20 0 22 0 23736350 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215673787624 140215732318562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12146/tid=12264] ppid=12143 vsize=9824732 CPUtime=19.11 cores=0,2,4,6 /proc/12146/task/12264/stat : 12264 (java) R 12143 12146 7329 0 -1 4202560 55 0 0 0 1910 1 0 0 20 0 22 0 23736350 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215674838688 140215732460305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12146/tid=12265] ppid=12143 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12146/task/12265/stat : 12265 (java) S 12143 12146 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23736350 10060525568 781797 33554432000 1073741824 1073778376 140737250536768 140215671681960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1796.31 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 12146 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.78003 # lost CPU user time (s): 4.05005 # lost CPU system time (s): -0.27 Real time (s): 899.473 CPU time (s): 1800.24 CPU user time (s): 1797.85 CPU system time (s): 2.39659 CPU usage (%): 200.144 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.8 system time used= 2.66659 maximum resident set size= 3127300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36830 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25925 involuntary context switches= 35546 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.71313 second user time and 7.53385 second system time The end
Begin job on node135 at 2016-06-18 04:13:44 IDJOB=4101770 IDBENCH=1792 IDSOLVER=2543 FILE ID=node135/4101770-1466216024 RUNJOBID= node135-1466206056-7345 PBS_JOBID= 19918142 Free space on /tmp= 71700 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-pp08aCUTS.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101770-1466216024/watcher-4101770-1466216024 -o /tmp/evaluation-result-4101770-1466216024/solver-4101770-1466216024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7345 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101770-1466216024.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a4829ccfb158b9e23ea953e29870120 RANDOM SEED=1056993600 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26360092 kB Buffers: 98440 kB Cached: 132092 kB SwapCached: 712 kB Active: 3915656 kB Inactive: 170300 kB Active(anon): 3856892 kB Inactive(anon): 1300 kB Active(file): 58764 kB Inactive(file): 169000 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100440 kB Dirty: 1080 kB Writeback: 0 kB AnonPages: 5540192 kB Mapped: 15536 kB Shmem: 0 kB Slab: 599488 kB SReclaimable: 43248 kB SUnreclaim: 556240 kB KernelStack: 1648 kB PageTables: 15320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6213104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 3952640 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= 71696 MiB End job on node135 at 2016-06-18 04:28:44