| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 0 | 1800.16 | 897.088 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc205.opb |
| MD5SUM | 085f6c29f952ff5e0e711950d59893d5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | NO |
| Number of variables | 6090 |
| Total number of constraints | 204 |
| 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 | 204 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524317 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524370 |
| 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.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4101106-1466212546.opb 0.10/0.11 c reading problem ... 0.10/0.12 c objective function found 0.87/0.46 c ... done. Wall clock time 0.345s. 0.87/0.46 c declared #vars 6090 0.87/0.46 c #constraints 295 0.87/0.46 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.87/0.46 c constraints type 0.87/0.46 c org.sat4j.specs.Constr$1 => 1 0.87/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 294 0.87/0.46 c 295 constraints processed. 0.87/0.46 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.87/0.46 c constraints type 0.87/0.46 c org.sat4j.specs.Constr$1 => 1 0.87/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPb => 294 0.87/0.46 c 295 constraints processed. 0.87/0.46 c objective function length is 30 literals 1.99/0.70 c And the winner is solver1 2.02/0.97 c SATISFIABLE 2.02/0.97 c OPTIMIZING... 2.02/0.97 c Got one! Elapsed wall clock time (in seconds):0.852 2.02/0.97 o 0 3.33/1.31 c cleaning 2531 clauses out of 5065 with flag 10281/5078 4.52/1.67 c cleaning 4264 clauses out of 8535 with flag 26166/11079 5.87/2.08 c cleaning 5631 clauses out of 11270 with flag 46148/18078 6.94/2.58 c cleaning 6818 clauses out of 13639 with flag 66429/26078 7.79/2.96 c cleaning 7903 clauses out of 15821 with flag 86281/35079 8.60/3.37 c cleaning 8957 clauses out of 17917 with flag 108827/45078 9.62/3.85 c cleaning 9978 clauses out of 19960 with flag 133051/56078 11.22/4.69 c cleaning 10985 clauses out of 21981 with flag 157951/68078 13.42/5.76 c cleaning 11990 clauses out of 23997 with flag 185153/81079 16.07/7.09 c cleaning 12992 clauses out of 26006 with flag 214655/95078 17.95/7.93 c cleaning 14001 clauses out of 28017 with flag 253651/110081 19.55/8.75 c cleaning 15000 clauses out of 30005 with flag 295960/126079 21.24/9.50 c cleaning 15997 clauses out of 32000 with flag 335112/143079 23.64/10.77 c cleaning 17001 clauses out of 34002 with flag 383395/161078 26.96/12.40 c cleaning 17994 clauses out of 36002 with flag 442271/180079 30.56/14.13 c cleaning 18995 clauses out of 38007 with flag 509138/200078 34.67/16.19 c cleaning 20006 clauses out of 40013 with flag 583715/221079 39.47/18.51 c cleaning 20994 clauses out of 42006 with flag 651705/243078 41.07/19.35 c cleaning 0 clauses out of 5015 with flag 0/5015 42.81/20.12 c cleaning 22006 clauses out of 44011 with flag 722399/266078 48.99/23.15 c cleaning 23003 clauses out of 46007 with flag 780453/290080 52.89/25.04 c cleaning 24000 clauses out of 48001 with flag 844970/315078 56.49/26.85 c cleaning 24999 clauses out of 50001 with flag 909692/341078 59.09/28.17 c cleaning 25992 clauses out of 52003 with flag 968188/368079 63.28/30.27 c cleaning 26984 clauses out of 53977 with flag 1041685/396079 66.98/32.02 c cleaning 27985 clauses out of 55992 with flag 1110893/425078 70.96/34.08 c cleaning 28997 clauses out of 58007 with flag 1178773/455080 75.57/36.34 c cleaning 30003 clauses out of 60008 with flag 1256707/486078 85.56/41.39 c cleaning 30997 clauses out of 62005 with flag 1338272/518078 97.02/47.06 c cleaning 32005 clauses out of 64011 with flag 1431458/551081 103.02/50.09 c cleaning 32988 clauses out of 65998 with flag 1511863/585078 109.42/53.28 c cleaning 34001 clauses out of 68010 with flag 1596713/620078 113.61/55.34 c cleaning 35000 clauses out of 70009 with flag 1681344/656079 120.08/58.52 c cleaning 36005 clauses out of 72010 with flag 1786585/693080 124.68/60.83 c cleaning 36994 clauses out of 73997 with flag 1874744/731078 137.06/67.10 c cleaning 37993 clauses out of 76003 with flag 1987218/770078 144.33/70.62 c cleaning 38999 clauses out of 78009 with flag 2095000/810078 149.72/73.37 c cleaning 39998 clauses out of 80012 with flag 2192231/851080 157.52/77.22 c cleaning 0 clauses out of 11015 with flag 0/11015 164.51/80.72 c cleaning 41000 clauses out of 82012 with flag 2284501/893078 173.18/85.08 c cleaning 42000 clauses out of 84010 with flag 2401943/936079 188.38/92.61 c cleaning 43004 clauses out of 86011 with flag 2543597/980080 201.05/98.91 c cleaning 43988 clauses out of 88006 with flag 2680340/1025079 207.46/102.13 c cleaning 45000 clauses out of 90016 with flag 2798006/1071084 215.27/106.03 c cleaning 45990 clauses out of 92011 with flag 2928004/1118079 221.91/109.39 c cleaning 47001 clauses out of 94018 with flag 3049465/1166078 240.62/118.60 c cleaning 48007 clauses out of 96017 with flag 3196819/1215078 250.42/123.51 c cleaning 48990 clauses out of 98004 with flag 3335175/1265078 258.21/127.48 c cleaning 50004 clauses out of 100015 with flag 3481286/1316079 269.82/133.16 c cleaning 50998 clauses out of 102011 with flag 3629731/1368079 281.02/138.72 c cleaning 51993 clauses out of 104010 with flag 3790251/1421078 293.09/145.05 c cleaning 53005 clauses out of 106018 with flag 3935219/1475079 311.75/154.31 c cleaning 53996 clauses out of 108012 with flag 4075775/1530078 328.14/162.59 c cleaning 55003 clauses out of 110016 with flag 4230218/1586078 350.61/173.78 c cleaning 56001 clauses out of 112014 with flag 4390941/1643079 365.56/181.19 c cleaning 56999 clauses out of 114007 with flag 4560443/1701080 397.05/196.86 c cleaning 58001 clauses out of 116007 with flag 4738959/1760079 432.19/214.32 c cleaning 58994 clauses out of 118005 with flag 4913636/1820078 444.78/220.62 c cleaning 59996 clauses out of 120011 with flag 5094436/1881078 464.31/230.30 c cleaning 60998 clauses out of 122016 with flag 5282538/1943079 479.38/237.88 c cleaning 62002 clauses out of 124017 with flag 5462018/2006078 500.46/248.37 c cleaning 62999 clauses out of 126014 with flag 5642003/2070079 528.33/262.25 c cleaning 64002 clauses out of 128014 with flag 5828512/2135078 557.00/276.51 c cleaning 0 clauses out of 18013 with flag 0/18013 560.64/278.39 c cleaning 65004 clauses out of 130013 with flag 6008223/2201079 576.31/286.19 c cleaning 65990 clauses out of 132009 with flag 6187538/2268079 594.00/294.94 c cleaning 67004 clauses out of 134019 with flag 6375436/2336079 613.06/304.43 c cleaning 67995 clauses out of 136013 with flag 6574946/2405078 635.13/315.46 c cleaning 69004 clauses out of 138019 with flag 6780519/2475079 659.02/327.73 c cleaning 69994 clauses out of 140015 with flag 6980847/2546079 675.07/335.78 c cleaning 71009 clauses out of 142025 with flag 7172885/2618083 698.36/347.33 c cleaning 71999 clauses out of 144012 with flag 7396457/2691079 747.23/371.64 c cleaning 72999 clauses out of 146012 with flag 7618816/2765078 771.54/383.70 c cleaning 74005 clauses out of 148014 with flag 7816626/2840079 810.56/403.18 c cleaning 74999 clauses out of 150008 with flag 8047121/2916078 837.26/416.46 c cleaning 75996 clauses out of 152009 with flag 8279549/2993078 890.68/443.02 c cleaning 77005 clauses out of 154013 with flag 8531475/3071078 910.19/452.79 c cleaning 77996 clauses out of 156010 with flag 8746025/3150080 945.13/470.11 c cleaning 78995 clauses out of 158012 with flag 8986770/3230078 991.18/493.58 c cleaning 80006 clauses out of 160021 with flag 9249510/3311082 1011.27/503.52 c cleaning 81001 clauses out of 162011 with flag 9470395/3393081 1039.13/517.50 c cleaning 81998 clauses out of 164007 with flag 9728823/3476078 1070.30/532.98 c cleaning 83004 clauses out of 166010 with flag 9968026/3560080 1092.03/543.74 c cleaning 83995 clauses out of 168004 with flag 10212281/3645078 1153.43/574.31 c cleaning 85002 clauses out of 170011 with flag 10406530/3731080 1175.73/585.45 c cleaning 85993 clauses out of 172007 with flag 10660020/3818079 1201.67/598.30 c cleaning 86995 clauses out of 174005 with flag 10948103/3906078 1232.59/613.72 c cleaning 88003 clauses out of 176010 with flag 11205667/3995078 1273.41/634.08 c cleaning 88999 clauses out of 178008 with flag 11495347/4085079 1306.54/650.54 c cleaning 90001 clauses out of 180009 with flag 11784518/4176079 1365.69/680.04 c cleaning 90998 clauses out of 182007 with flag 12073414/4268078 1403.32/699.49 c cleaning 92001 clauses out of 184009 with flag 12343161/4361078 1431.25/713.35 c cleaning 92995 clauses out of 186010 with flag 12616579/4455080 1462.15/728.72 c cleaning 94003 clauses out of 188018 with flag 12919446/4550083 1504.17/749.66 c cleaning 94998 clauses out of 190010 with flag 13221484/4646078 1575.03/784.97 c cleaning 95998 clauses out of 192012 with flag 13518679/4743078 1599.57/797.18 c cleaning 97003 clauses out of 194014 with flag 13809367/4841078 1628.70/811.65 c cleaning 97998 clauses out of 196014 with flag 14093934/4940081 1688.29/841.38 c cleaning 99000 clauses out of 198014 with flag 14411951/5040079 1715.62/854.93 c cleaning 99996 clauses out of 200012 with flag 14692993/5141078 1742.93/868.56 c cleaning 101002 clauses out of 202019 with flag 14994495/5243081 1781.90/887.97 c cleaning 101999 clauses out of 204013 with flag 15303578/5346078 1800.16/897.00 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 1800.16/897.00 c starts : 5790 1800.16/897.00 c conflicts : 5402206 1800.16/897.00 c decisions : 7283744 1800.16/897.00 c propagations : 108517732 1800.16/897.00 c inspects : 16305829304 1800.16/897.00 c shortcuts : 0 1800.16/897.00 c learnt literals : 125 1800.16/897.00 c learnt binary clauses : 215 1800.16/897.00 c learnt ternary clauses : 449 1800.16/897.00 c learnt constraints : 5402081 1800.16/897.00 c ignored constraints : 0 1800.16/897.00 c root simplifications : 0 1800.16/897.00 c removed literals (reason simplification) : 23783153 1800.16/897.00 c reason swapping (by a shorter reason) : 0 1800.16/897.00 c Calls to reduceDB : 99 1800.16/897.00 c Number of update (reduction) of LBD : 683851 1800.16/897.00 c Imported unit clauses : 0 1800.16/897.00 c number of reductions to clauses (during analyze) : 0 1800.16/897.00 c number of learned constraints concerned by reduction : 0 1800.16/897.00 c number of learning phase by resolution : 0 1800.16/897.00 c number of learning phase by cutting planes : 0 1800.16/897.00 c speed (assignments/second) : 121109.21484946966 1800.16/897.00 c non guided choices 268067 1800.16/897.03 c learnt constraints type 1800.16/897.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 215 1800.16/897.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 157927 1800.16/897.03 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.16/897.03 c starts : 43 1800.16/897.03 c conflicts : 23093 1800.16/897.03 c decisions : 329060 1800.16/897.03 c propagations : 1313766 1800.16/897.03 c inspects : 486344363 1800.16/897.03 c shortcuts : 0 1800.16/897.03 c learnt literals : 0 1800.16/897.03 c learnt binary clauses : 0 1800.16/897.03 c learnt ternary clauses : 0 1800.16/897.03 c learnt constraints : 23092 1800.16/897.03 c ignored constraints : 0 1800.16/897.03 c root simplifications : 0 1800.16/897.03 c removed literals (reason simplification) : 0 1800.16/897.03 c reason swapping (by a shorter reason) : 0 1800.16/897.03 c Calls to reduceDB : 3 1800.16/897.03 c Number of update (reduction) of LBD : 0 1800.16/897.03 c Imported unit clauses : 0 1800.16/897.03 c number of reductions to clauses (during analyze) : 0 1800.16/897.03 c number of learned constraints concerned by reduction : 0 1800.16/897.03 c number of learning phase by resolution : 0 1800.16/897.03 c number of learning phase by cutting planes : 0 1800.16/897.03 c speed (assignments/second) : 1465.345761619172 1800.16/897.03 c non guided choices 4962 1800.16/897.04 c learnt constraints type 1800.16/897.04 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 309 1800.16/897.04 c org.sat4j.pb.constraints.pb.MaxWatchPb => 22783 1800.16/897.04 s SATISFIABLE 1800.16/897.04 c Found 1 solution(s) 1800.16/897.05 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 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 1800.16/897.06 c objective function=0 1800.16/897.06 c Total wall clock time (in seconds): 896.946
OK 0
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-4101106-1466212546/watcher-4101106-1466212546 -o /tmp/evaluation-result-4101106-1466212546/solver-4101106-1466212546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101106-1466212546.opb pid=18586 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.27 4.41 4.32 4/197 18589 /proc/meminfo: memFree=26232260/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 23303279 98570240 977 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 24065 977 743 9 0 16771 0 [pid=18589/tid=18590] ppid=18586 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) R 18586 18589 16262 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 23303279 98570240 977 33554432000 1073741824 1073778376 140737005374576 139799267061288 270330054016 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100116 s] /proc/loadavg: 4.27 4.41 4.32 4/197 18589 /proc/meminfo: memFree=26232260/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 4401 0 1 0 9 1 0 0 20 0 18 0 23303279 9787879424 6027 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2389619 6027 2126 9 0 2380296 0 [pid=18589/tid=18590] ppid=18586 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) R 18586 18589 16262 0 -1 4202560 2391 0 1 0 7 0 0 0 20 0 18 0 23303279 9787879424 6027 33554432000 1073741824 1073778376 140737005374576 139799267064736 139799269908731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200326 s] /proc/loadavg: 4.27 4.41 4.32 4/197 18589 /proc/meminfo: memFree=26232260/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 4820 0 1 0 26 1 0 0 20 0 18 0 23303279 9787879424 6867 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2389619 6867 2217 9 0 2380296 0 [pid=18589/tid=18590] ppid=18586 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) R 18586 18589 16262 0 -1 4202560 2411 0 1 0 17 0 0 0 20 0 18 0 23303279 9787879424 6867 33554432000 1073741824 1073778376 140737005374576 139799267054744 139799121989264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300337 s] /proc/loadavg: 4.27 4.41 4.32 4/197 18589 /proc/meminfo: memFree=26232260/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9558476 CPUtime=0.56 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 12722 0 1 0 54 2 0 0 20 0 18 0 23303279 9787879424 14230 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2389619 14230 2232 9 0 2380296 0 [pid=18589/tid=18590] ppid=18586 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) R 18586 18589 16262 0 -1 4202560 2414 0 1 0 26 1 0 0 20 0 18 0 23303279 9787879424 14230 33554432000 1073741824 1073778376 140737005374576 139799267054744 139799122011448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9558476 [startup+0.700229 s] /proc/loadavg: 4.27 4.41 4.32 4/197 18589 /proc/meminfo: memFree=26232260/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 17339 0 1 0 196 3 0 0 20 0 22 0 23303279 10060525568 20465 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 20465 2260 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2435 0 1 0 43 1 0 0 20 0 22 0 23303279 10060525568 20465 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 9824732 [startup+1.50084 s] /proc/loadavg: 4.27 4.41 4.32 7/218 18614 /proc/meminfo: memFree=26143248/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=4.13 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 25736 0 1 0 405 8 0 0 20 0 22 0 23303279 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 41952 2272 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2440 0 1 0 43 2 0 0 20 0 22 0 23303279 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18592] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18592/stat : 18592 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799110920616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18593] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18593/stat : 18593 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799109868072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18594] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18599/stat : 18599 (java) S 18586 18589 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798767455016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18600] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18600/stat : 18600 (java) S 18586 18589 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23303281 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798755256680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18601] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18601/stat : 18601 (java) S 18586 18589 16262 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798754203000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18602] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18602/stat : 18602 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798753149832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18603] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18603/stat : 18603 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798752098576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18604] ppid=18586 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/18589/task/18604/stat : 18604 (java) R 18586 18589 16262 0 -1 4202560 8273 0 0 0 106 0 0 0 20 0 22 0 23303284 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798751046456 139799272913087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18605] ppid=18586 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/18589/task/18605/stat : 18605 (java) R 18586 18589 16262 0 -1 4202560 13642 0 0 0 103 2 0 0 20 0 22 0 23303284 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798749981192 139799269972052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18606] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18606/stat : 18606 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798748941048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18607] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18607/stat : 18607 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798747888712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18610] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18610/stat : 18610 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303327 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798744630056 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18612] ppid=18586 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/18589/task/18612/stat : 18612 (java) R 18586 18589 16262 0 -1 4202560 4 0 0 0 51 0 0 0 20 0 22 0 23303376 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798746726800 139799122686040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18613] ppid=18586 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/18589/task/18613/stat : 18613 (java) R 18586 18589 16262 0 -1 4202560 43 0 0 0 50 0 0 0 20 0 22 0 23303376 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798745661088 139799121910402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18614] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18614/stat : 18614 (java) S 18586 18589 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23303376 10060525568 41952 33554432000 1073741824 1073778376 140737005374576 139798743577896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 4.27 4.41 4.32 5/218 18614 /proc/meminfo: memFree=26016112/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=8.19 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 33816 0 1 0 801 18 0 0 20 0 22 0 23303279 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 88791 2286 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2440 0 1 0 43 2 0 0 20 0 22 0 23303279 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18592] ppid=18586 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/18589/task/18592/stat : 18592 (java) S 18586 18589 16262 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799110920616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18593] ppid=18586 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18589/task/18593/stat : 18593 (java) S 18586 18589 16262 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799109868072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18594] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18589/task/18599/stat : 18599 (java) S 18586 18589 16262 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23303280 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798767455016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18600] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18600/stat : 18600 (java) S 18586 18589 16262 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 22 0 23303281 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798755256680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18601] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18601/stat : 18601 (java) S 18586 18589 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798754203000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18602] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18602/stat : 18602 (java) S 18586 18589 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798753149832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18603] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18603/stat : 18603 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798752098576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18604] ppid=18586 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/18589/task/18604/stat : 18604 (java) S 18586 18589 16262 0 -1 4202560 13819 0 0 0 145 2 0 0 20 0 22 0 23303284 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798751046456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18605] ppid=18586 vsize=9824732 CPUtime=1.43 cores=0,2,4,6 /proc/18589/task/18605/stat : 18605 (java) S 18586 18589 16262 0 -1 4202560 15814 0 0 0 140 3 0 0 20 0 22 0 23303284 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798749993912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18606] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18606/stat : 18606 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798748941048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18607] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18607/stat : 18607 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798747888712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18610] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18610/stat : 18610 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303327 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798744630056 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18612] ppid=18586 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/18589/task/18612/stat : 18612 (java) R 18586 18589 16262 0 -1 4202560 7 0 0 0 203 0 0 0 20 0 22 0 23303376 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798746726800 139799122924270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18613] ppid=18586 vsize=9824732 CPUtime=2.01 cores=0,2,4,6 /proc/18589/task/18613/stat : 18613 (java) R 18586 18589 16262 0 -1 4202560 104 0 0 0 198 3 0 0 20 0 22 0 23303376 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798745681520 139799122997371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18614] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18614/stat : 18614 (java) S 18586 18589 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23303376 10060525568 88791 33554432000 1073741824 1073778376 140737005374576 139798743577896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.19 Current children cumulated vsize (KiB) 9824732 [startup+6.30098 s] /proc/loadavg: 4.25 4.40 4.32 5/218 18614 /proc/meminfo: memFree=25779284/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=14.67 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 34562 0 1 0 1440 27 0 0 20 0 22 0 23303279 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 156773 2286 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2440 0 1 0 43 2 0 0 20 0 22 0 23303279 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18592] ppid=18586 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/18589/task/18592/stat : 18592 (java) S 18586 18589 16262 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799110920616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18593] ppid=18586 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/18589/task/18593/stat : 18593 (java) S 18586 18589 16262 0 -1 4202560 51 0 0 0 1 2 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799109868072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18594] ppid=18586 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 86 0 0 0 3 2 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 73 0 0 0 3 0 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 87 0 0 0 3 1 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 22 0 23303280 10060525568 156773 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 ################ # More data... # ################ /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 549 0 0 0 181 10 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 477 0 0 0 189 9 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 420 0 0 0 199 11 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 595 0 0 0 195 11 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 425 0 0 0 173 10 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/18589/task/18599/stat : 18599 (java) S 18586 18589 16262 0 -1 4202560 556 0 0 0 181 9 0 0 20 0 22 0 23303280 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798767455016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18600] ppid=18586 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18589/task/18600/stat : 18600 (java) S 18586 18589 16262 0 -1 4202560 1786 0 0 0 362 14 0 0 20 0 22 0 23303281 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798755256680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18601] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18601/stat : 18601 (java) S 18586 18589 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798754203000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18602] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18602/stat : 18602 (java) S 18586 18589 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798753149832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18603] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18603/stat : 18603 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798752098576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18604] ppid=18586 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18589/task/18604/stat : 18604 (java) S 18586 18589 16262 0 -1 4202560 13822 0 0 0 148 2 0 0 20 0 22 0 23303284 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798751046456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18605] ppid=18586 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/18589/task/18605/stat : 18605 (java) S 18586 18589 16262 0 -1 4202560 16416 0 0 0 186 3 0 0 20 0 22 0 23303284 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798749993912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18606] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18606/stat : 18606 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798748941048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18607] ppid=18586 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/18589/task/18607/stat : 18607 (java) S 18586 18589 16262 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 23303284 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798747888712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18610] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18610/stat : 18610 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303327 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798744630056 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18612] ppid=18586 vsize=9824732 CPUtime=810.96 cores=0,2,4,6 /proc/18589/task/18612/stat : 18612 (java) R 18586 18589 16262 0 -1 4202560 70 0 0 0 81082 14 0 0 20 0 22 0 23303376 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798746733912 139799122686040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18613] ppid=18586 vsize=9824732 CPUtime=810.96 cores=0,2,4,6 /proc/18589/task/18613/stat : 18613 (java) R 18586 18589 16262 0 -1 4202560 1706 0 0 0 81048 48 0 0 20 0 22 0 23303376 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798745681920 139799122668548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18614] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18614/stat : 18614 (java) S 18586 18589 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23303376 10060525568 517880 33554432000 1073741824 1073778376 140737005374576 139798743577896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1650.16 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.31 4.25 4.27 5/220 18709 /proc/meminfo: memFree=23935224/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=1770.64 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 41692 0 1 0 176903 161 0 0 20 0 22 0 23303279 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 525984 2295 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2452 0 1 0 46 3 0 0 20 0 22 0 23303279 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18592] ppid=18586 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/18589/task/18592/stat : 18592 (java) S 18586 18589 16262 0 -1 4202560 478 0 0 0 201 12 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799110920616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18593] ppid=18586 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/18589/task/18593/stat : 18593 (java) S 18586 18589 16262 0 -1 4202560 483 0 0 0 197 9 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799109868072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18594] ppid=18586 vsize=9824732 CPUtime=2.05 cores=0,2,4,6 /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 563 0 0 0 194 11 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 494 0 0 0 203 10 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 432 0 0 0 207 11 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 605 0 0 0 208 11 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 437 0 0 0 181 11 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/18589/task/18599/stat : 18599 (java) S 18586 18589 16262 0 -1 4202560 565 0 0 0 190 9 0 0 20 0 22 0 23303280 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798767455016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18600] ppid=18586 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18589/task/18600/stat : 18600 (java) S 18586 18589 16262 0 -1 4202560 1790 0 0 0 362 14 0 0 20 0 22 0 23303281 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798755256680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18601] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18601/stat : 18601 (java) S 18586 18589 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798754203000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18602] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18602/stat : 18602 (java) S 18586 18589 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798753149832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18603] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18603/stat : 18603 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798752098576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18604] ppid=18586 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18589/task/18604/stat : 18604 (java) S 18586 18589 16262 0 -1 4202560 13822 0 0 0 148 2 0 0 20 0 22 0 23303284 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798751046456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18605] ppid=18586 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/18589/task/18605/stat : 18605 (java) S 18586 18589 16262 0 -1 4202560 16416 0 0 0 186 3 0 0 20 0 22 0 23303284 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798749993912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18606] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18606/stat : 18606 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798748941048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18607] ppid=18586 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/18589/task/18607/stat : 18607 (java) S 18586 18589 16262 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 23303284 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798747888712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18610] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18610/stat : 18610 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303327 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798744630056 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18612] ppid=18586 vsize=9824732 CPUtime=870.53 cores=0,2,4,6 /proc/18589/task/18612/stat : 18612 (java) R 18586 18589 16262 0 -1 4202560 71 0 0 0 87038 15 0 0 20 0 22 0 23303376 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798746734480 139799122686040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18613] ppid=18586 vsize=9824732 CPUtime=870.52 cores=0,2,4,6 /proc/18589/task/18613/stat : 18613 (java) R 18586 18589 16262 0 -1 4202560 1710 0 0 0 87003 49 0 0 20 0 22 0 23303376 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798745683056 139799122668665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18614] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18614/stat : 18614 (java) S 18586 18589 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23303376 10060525568 525984 33554432000 1073741824 1073778376 140737005374576 139798743577896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1770.64 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+897.001 s] /proc/loadavg: 4.24 4.24 4.27 5/220 18709 /proc/meminfo: memFree=23944408/32872528 swapFree=1556504/1720024 [pid=18589] ppid=18586 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6 /proc/18589/stat : 18589 (java) S 18586 18589 16262 0 -1 4202496 41702 0 1 0 179855 161 0 0 20 0 22 0 23303279 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 140737005365712 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18589/statm: 2456183 518061 2295 9 0 2446860 0 [pid=18589/tid=18590] ppid=18586 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/18589/task/18590/stat : 18590 (java) S 18586 18589 16262 0 -1 4202560 2452 0 1 0 46 3 0 0 20 0 22 0 23303279 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799267066744 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18592] ppid=18586 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/18589/task/18592/stat : 18592 (java) S 18586 18589 16262 0 -1 4202560 479 0 0 0 203 12 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799110920616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18593] ppid=18586 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/18589/task/18593/stat : 18593 (java) S 18586 18589 16262 0 -1 4202560 487 0 0 0 205 9 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799109868072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18594] ppid=18586 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/18589/task/18594/stat : 18594 (java) S 18586 18589 16262 0 -1 4202560 564 0 0 0 198 11 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799108815016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18595] ppid=18586 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/18589/task/18595/stat : 18595 (java) S 18586 18589 16262 0 -1 4202560 496 0 0 0 208 10 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799107762472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18596] ppid=18586 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/18589/task/18596/stat : 18596 (java) S 18586 18589 16262 0 -1 4202560 432 0 0 0 209 11 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139799106710440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18597] ppid=18586 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/18589/task/18597/stat : 18597 (java) S 18586 18589 16262 0 -1 4202560 605 0 0 0 212 11 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798769560616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18598] ppid=18586 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/18589/task/18598/stat : 18598 (java) S 18586 18589 16262 0 -1 4202560 437 0 0 0 184 11 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798768507560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18589/tid=18599] ppid=18586 vsize=9824732 CPUtime=2.01 cores=0,2,4,6 /proc/18589/task/18599/stat : 18599 (java) S 18586 18589 16262 0 -1 4202560 565 0 0 0 192 9 0 0 20 0 22 0 23303280 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798767455016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18600] ppid=18586 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18589/task/18600/stat : 18600 (java) S 18586 18589 16262 0 -1 4202560 1790 0 0 0 362 14 0 0 20 0 22 0 23303281 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798755256680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18601] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18601/stat : 18601 (java) S 18586 18589 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798754203000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18602] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18602/stat : 18602 (java) S 18586 18589 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23303282 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798753149832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18603] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18603/stat : 18603 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798752098576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18604] ppid=18586 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18589/task/18604/stat : 18604 (java) S 18586 18589 16262 0 -1 4202560 13822 0 0 0 148 2 0 0 20 0 22 0 23303284 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798751046456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18605] ppid=18586 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/18589/task/18605/stat : 18605 (java) S 18586 18589 16262 0 -1 4202560 16416 0 0 0 186 3 0 0 20 0 22 0 23303284 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798749993912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18589/tid=18606] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18606/stat : 18606 (java) S 18586 18589 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23303284 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798748941048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18607] ppid=18586 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/18589/task/18607/stat : 18607 (java) S 18586 18589 16262 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 23303284 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798747888712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18610] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18610/stat : 18610 (java) S 18586 18589 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23303327 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798744630056 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18612] ppid=18586 vsize=9824732 CPUtime=885.1 cores=0,2,4,6 /proc/18589/task/18612/stat : 18612 (java) R 18586 18589 16262 0 -1 4202560 71 0 0 0 88495 15 0 0 20 0 22 0 23303376 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798746734496 139799122620657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18589/tid=18613] ppid=18586 vsize=9824732 CPUtime=885.09 cores=0,2,4,6 /proc/18589/task/18613/stat : 18613 (java) R 18586 18589 16262 0 -1 4202560 1712 0 0 0 88460 49 0 0 20 0 22 0 23303376 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798745683056 139799122647840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18589/tid=18614] ppid=18586 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18589/task/18614/stat : 18614 (java) S 18586 18589 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23303376 10060525568 518061 33554432000 1073741824 1073778376 140737005374576 139798743577896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 18589 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18589 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=990272 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=61686 # CPU time returned by wait4() is 1796.05 # while last known CPU time is 1800.16 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 897.088 CPU time (s): 1800.16 CPU user time (s): 1798.55 CPU system time (s): 1.61 CPU usage (%): 200.667 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.99 system time used= 2.06169 maximum resident set size= 3008360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41744 page faults= 1 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25184 involuntary context switches= 36804 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.11107 second user time and 7.10692 second system time The end
Begin job on node117 at 2016-06-18 03:15:47 IDJOB=4101106 IDBENCH=1701 IDSOLVER=2543 FILE ID=node117/4101106-1466212546 RUNJOBID= node117-1466206104-16278 PBS_JOBID= 19918159 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101106-1466212546/watcher-4101106-1466212546 -o /tmp/evaluation-result-4101106-1466212546/solver-4101106-1466212546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101106-1466212546.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 085f6c29f952ff5e0e711950d59893d5 RANDOM SEED=6752506 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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: 26232904 kB Buffers: 147268 kB Cached: 1761412 kB SwapCached: 0 kB Active: 2363436 kB Inactive: 1796388 kB Active(anon): 2251784 kB Inactive(anon): 1916 kB Active(file): 111652 kB Inactive(file): 1794472 kB Unevictable: 1720024 kB Mlocked: 1556504 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 836 kB Writeback: 4 kB AnonPages: 3971148 kB Mapped: 21120 kB Shmem: 204 kB Slab: 621116 kB SReclaimable: 64740 kB SUnreclaim: 556376 kB KernelStack: 1600 kB PageTables: 12768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4129108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2340864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node117 at 2016-06-18 03:30:44