Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 22 | 1800.03 | 959.751 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | d25f6086317f033c233c4700493f03d1 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 97.9001 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | NO |
| Number of variables | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/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 --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 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 Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 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@23174b07 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 learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3688464-1337877723.opb 0.10/0.11 c reading problem ... 1.08/0.53 c ... done. Wall clock time 0.415s. 1.08/0.53 c declared #vars 6027 1.08/0.53 c #constraints 21278 1.08/0.53 c constraints type 1.08/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1.08/0.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.08/0.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1.08/0.53 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.08/0.53 c 21278 constraints processed. 1.08/0.53 c constraints type 1.08/0.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1.08/0.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1.08/0.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.08/0.53 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.08/0.53 c 21278 constraints processed. 1.08/0.53 c objective function length is 650 literals 1.44/0.61 c And the winner is solver0 1.88/1.03 c SATISFIABLE 1.88/1.03 c OPTIMIZING... 1.88/1.03 c Got one! Elapsed wall clock time (in seconds):0.921 1.88/1.03 o 28 1.88/1.05 c And the winner is solver0 2.00/1.54 c Got one! Elapsed wall clock time (in seconds):1.427 2.00/1.54 o 27 6.16/3.19 c cleaning 2502 clauses out of 5007 with flag 5000/5007 7.71/3.80 c And the winner is solver1 7.74/4.04 c Got one! Elapsed wall clock time (in seconds):3.932 7.74/4.04 o 26 9.77/5.02 c cleaning 4071 clauses out of 8154 with flag 4000/10656 12.75/6.56 c cleaning 5039 clauses out of 10083 with flag 10000/16656 16.90/8.62 c cleaning 6009 clauses out of 12047 with flag 17003/23659 21.28/10.88 c cleaning 7008 clauses out of 14035 with flag 25000/31656 22.20/11.38 c And the winner is solver1 22.37/11.76 c Got one! Elapsed wall clock time (in seconds):11.652 22.37/11.76 o 25 24.25/12.71 c cleaning 6217 clauses out of 12439 with flag 4000/37068 26.34/13.85 c And the winner is solver1 26.46/14.34 c Got one! Elapsed wall clock time (in seconds):14.228 26.46/14.34 o 24 27.39/14.84 c cleaning 6053 clauses out of 12105 with flag 2000/42951 30.49/16.41 c cleaning 6007 clauses out of 12052 with flag 8000/48951 34.54/18.57 c cleaning 6497 clauses out of 13045 with flag 15000/55951 39.42/21.09 c cleaning 7274 clauses out of 14548 with flag 23000/63951 45.30/24.05 c cleaning 8102 clauses out of 16274 with flag 32000/72951 51.40/27.16 c cleaning 9080 clauses out of 18172 with flag 42000/82951 58.74/30.80 c cleaning 10000 clauses out of 20092 with flag 53000/93951 66.87/34.72 c cleaning 11039 clauses out of 22092 with flag 65000/105951 75.56/39.13 c cleaning 12027 clauses out of 24053 with flag 78000/118951 84.74/43.81 c cleaning 13013 clauses out of 26026 with flag 92000/132951 91.51/47.40 c And the winner is solver1 91.38/47.80 c Got one! Elapsed wall clock time (in seconds):47.685 91.38/47.80 o 23 93.97/49.18 c cleaning 14565 clauses out of 29130 with flag 5000/149068 97.68/51.19 c cleaning 10282 clauses out of 20568 with flag 11003/155071 102.36/53.69 c cleaning 8628 clauses out of 17283 with flag 18000/162068 108.02/56.65 c cleaning 8326 clauses out of 16655 with flag 26000/170068 113.88/59.87 c cleaning 8654 clauses out of 17330 with flag 35001/179069 120.72/63.45 c cleaning 9298 clauses out of 18675 with flag 45000/189068 128.14/67.33 c cleaning 10148 clauses out of 20381 with flag 56004/200072 136.19/71.50 c cleaning 11110 clauses out of 22230 with flag 68001/212069 144.55/76.08 c cleaning 12060 clauses out of 24119 with flag 81000/225068 153.97/80.90 c cleaning 12976 clauses out of 26059 with flag 95000/239068 163.74/86.02 c cleaning 14038 clauses out of 28083 with flag 110000/254068 174.26/91.53 c cleaning 14999 clauses out of 30045 with flag 126000/270068 185.89/97.71 c cleaning 16014 clauses out of 32046 with flag 143000/287068 197.22/103.66 c cleaning 16994 clauses out of 34032 with flag 161000/305068 209.37/109.99 c cleaning 18010 clauses out of 36038 with flag 180000/324068 222.69/116.87 c cleaning 18997 clauses out of 38028 with flag 200000/344068 236.61/124.28 c cleaning 19999 clauses out of 40031 with flag 221000/365068 250.76/132.09 c cleaning 20995 clauses out of 42032 with flag 243000/387068 268.17/140.91 c cleaning 22006 clauses out of 44046 with flag 266009/410077 285.31/150.08 c cleaning 22964 clauses out of 46031 with flag 290000/434068 301.73/158.57 c cleaning 23992 clauses out of 48067 with flag 315000/459068 319.05/167.59 c cleaning 25016 clauses out of 50075 with flag 341000/485068 336.91/176.83 c cleaning 26004 clauses out of 52059 with flag 368000/512068 354.80/186.49 c cleaning 26983 clauses out of 54055 with flag 396000/540068 375.83/197.37 c cleaning 28009 clauses out of 56072 with flag 425000/569068 396.18/207.95 c cleaning 29018 clauses out of 58064 with flag 455001/599069 419.12/219.89 c cleaning 30001 clauses out of 60046 with flag 486001/630069 423.23/222.77 c And the winner is solver1 422.66/223.22 c Got one! Elapsed wall clock time (in seconds):223.112 422.66/223.22 o 22 423.79/223.83 c cleaning 17815 clauses out of 35630 with flag 2000/635654 428.44/226.76 c cleaning 11891 clauses out of 23815 with flag 8000/641654 433.59/229.84 c cleaning 9460 clauses out of 18924 with flag 15000/648654 439.65/233.47 c cleaning 8732 clauses out of 17465 with flag 23001/656655 446.69/237.88 c cleaning 8856 clauses out of 17732 with flag 32000/665654 454.15/242.14 c cleaning 9431 clauses out of 18876 with flag 42000/675654 462.51/246.84 c cleaning 10195 clauses out of 20445 with flag 53000/686654 474.35/254.31 c cleaning 11115 clauses out of 22250 with flag 65000/698654 484.48/259.98 c cleaning 12068 clauses out of 24135 with flag 78000/711654 495.58/266.01 c cleaning 13037 clauses out of 26073 with flag 92006/725660 506.68/272.13 c cleaning 14002 clauses out of 28031 with flag 107001/740655 519.43/279.43 c cleaning 15008 clauses out of 30028 with flag 123000/756654 532.48/286.57 c cleaning 15969 clauses out of 32020 with flag 140000/773654 545.85/293.81 c cleaning 16992 clauses out of 34051 with flag 158000/791654 559.38/301.24 c cleaning 18026 clauses out of 36059 with flag 177000/810654 574.36/309.80 c cleaning 19000 clauses out of 38036 with flag 197003/830657 589.79/318.07 c cleaning 19989 clauses out of 40034 with flag 218001/851655 605.59/326.56 c cleaning 21011 clauses out of 42044 with flag 240000/873654 620.20/334.53 c cleaning 22002 clauses out of 44033 with flag 263000/896654 638.14/344.57 c cleaning 22965 clauses out of 46032 with flag 287001/920655 656.37/354.29 c cleaning 24028 clauses out of 48066 with flag 312000/945654 674.53/363.98 c cleaning 25004 clauses out of 50038 with flag 338000/971654 694.02/374.39 c cleaning 26006 clauses out of 52035 with flag 365001/998655 716.28/386.64 c cleaning 27002 clauses out of 54028 with flag 393000/1026654 736.28/397.30 c cleaning 27983 clauses out of 56026 with flag 422000/1055654 755.45/407.63 c cleaning 28994 clauses out of 58045 with flag 452002/1085656 776.26/418.72 c cleaning 30019 clauses out of 60051 with flag 483002/1116656 797.89/430.76 c cleaning 30975 clauses out of 62030 with flag 515000/1148654 820.36/442.67 c cleaning 32015 clauses out of 64055 with flag 548000/1181654 845.50/455.86 c cleaning 33017 clauses out of 66040 with flag 582000/1215654 872.20/469.80 c cleaning 33992 clauses out of 68026 with flag 617003/1250657 900.53/485.21 c cleaning 34946 clauses out of 70032 with flag 653001/1286655 926.89/499.11 c cleaning 36032 clauses out of 72085 with flag 690000/1323654 953.06/512.90 c cleaning 37011 clauses out of 74053 with flag 728000/1361654 982.67/528.44 c cleaning 38017 clauses out of 76043 with flag 767001/1400655 1014.25/545.51 c cleaning 39000 clauses out of 78025 with flag 807000/1440654 1045.07/561.62 c cleaning 40008 clauses out of 80025 with flag 848000/1481654 1077.38/578.60 c cleaning 41006 clauses out of 82017 with flag 890000/1523654 1107.11/594.18 c cleaning 42000 clauses out of 84011 with flag 933000/1566654 1139.64/611.63 c cleaning 42975 clauses out of 86011 with flag 977000/1610654 1173.34/629.26 c cleaning 44007 clauses out of 88036 with flag 1022000/1655654 1206.92/646.85 c cleaning 0 clauses out of 7298 with flag 0/7300 1212.45/650.44 c cleaning 44938 clauses out of 90029 with flag 1068000/1701654 1254.02/672.67 c cleaning 46042 clauses out of 92093 with flag 1115002/1748656 1294.59/693.79 c cleaning 46989 clauses out of 94049 with flag 1163000/1796654 1334.72/714.61 c cleaning 48021 clauses out of 96060 with flag 1212000/1845654 1375.88/736.00 c cleaning 49012 clauses out of 98039 with flag 1262000/1895654 1419.62/759.48 c cleaning 50005 clauses out of 100029 with flag 1313002/1946656 1460.30/780.57 c cleaning 50990 clauses out of 102022 with flag 1365000/1998654 1503.27/802.87 c cleaning 52004 clauses out of 104033 with flag 1418001/2051655 1546.65/825.32 c cleaning 53007 clauses out of 106028 with flag 1472000/2105654 1593.02/851.34 c cleaning 53995 clauses out of 108021 with flag 1527000/2160654 1636.73/874.09 c cleaning 54997 clauses out of 110026 with flag 1583000/2216654 1682.23/897.69 c cleaning 56000 clauses out of 112029 with flag 1640000/2273654 1729.16/922.68 c cleaning 56990 clauses out of 114029 with flag 1698000/2331654 1775.12/946.53 c cleaning 57995 clauses out of 116039 with flag 1757000/2390654 1799.33/959.71 c starts : 40 1799.33/959.71 c conflicts : 9473 1799.33/959.71 c decisions : 123744 1799.33/959.71 c propagations : 1929353 1799.33/959.71 c inspects : 587231314 1799.33/959.71 c shortcuts : 0 1799.33/959.71 c learnt literals : 0 1799.33/959.71 c learnt binary clauses : 0 1799.33/959.71 c learnt ternary clauses : 2 1799.33/959.71 c learnt constraints : 9471 1799.33/959.71 c ignored constraints : 0 1799.33/959.71 c root simplifications : 0 1799.33/959.71 c removed literals (reason simplification) : 0 1799.33/959.71 c reason swapping (by a shorter reason) : 0 1799.33/959.71 c Calls to reduceDB : 1 1799.33/959.71 c number of reductions to clauses (during analyze) : 0 1799.33/959.71 c number of learned constraints concerned by reduction : 0 1799.33/959.71 c number of learning phase by resolution : 0 1799.33/959.71 c number of learning phase by cutting planes : 0 1799.33/959.71 c speed (assignments/second) : 2013.5905469407178 1799.33/959.71 c non guided choices 0 1799.33/959.71 c learnt constraints type 1799.33/959.71 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 147 1799.33/959.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 26 1799.33/959.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9298 1799.33/959.71 c constraints type 1799.33/959.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1799.33/959.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1799.33/959.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1799.33/959.71 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1799.33/959.71 c 21279 constraints processed. 1799.33/959.71 c constraints type 1799.33/959.71 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1799.33/959.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1799.33/959.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1799.33/959.71 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1799.33/959.71 c 21279 constraints processed. 1799.33/959.71 s SATISFIABLE 1799.33/959.72 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 1799.33/959.73 c objective function=22 1799.33/959.73 c Total wall clock time (in seconds): 959.621
OK 22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688464-1337877723/watcher-3688464-1337877723 -o /tmp/evaluation-result-3688464-1337877723/solver-3688464-1337877723 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688464-1337877723.opb 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: 3.82 3.81 3.77 4/197 23188 /proc/meminfo: memFree=28907440/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/23188/stat : 23188 (java) R 23186 23188 21231 0 -1 4202496 1123 0 0 0 0 0 0 0 20 0 1 0 253897978 23793664 851 33554432000 1073741824 1073778376 140736476439216 140736476428280 140093891308976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 5809 851 641 9 0 128 0 [startup+0.0588281 s] /proc/loadavg: 3.82 3.81 3.77 4/197 23188 /proc/meminfo: memFree=28907440/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 3203 0 1 0 4 1 0 0 20 0 18 0 253897978 9787813888 4412 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2389603 4412 1757 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100288 s] /proc/loadavg: 3.82 3.81 3.77 4/197 23188 /proc/meminfo: memFree=28907440/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 4382 0 1 0 9 1 0 0 20 0 18 0 253897978 9787813888 6090 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2389603 6090 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300258 s] /proc/loadavg: 3.82 3.81 3.77 4/197 23188 /proc/meminfo: memFree=28907440/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9558412 CPUtime=0.48 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 5389 0 1 0 47 1 0 0 20 0 18 0 253897978 9787813888 8306 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2389603 8306 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558412 [startup+0.700281 s] /proc/loadavg: 3.82 3.81 3.77 4/197 23188 /proc/meminfo: memFree=28907440/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=1.69 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 14349 0 1 0 164 5 0 0 20 0 19 0 253897978 10060460032 25903 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 25903 2251 9 0 2446860 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 9824668 [startup+1.50071 s] /proc/loadavg: 3.82 3.81 3.77 3/216 23210 /proc/meminfo: memFree=28788232/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=2 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 14366 0 1 0 193 7 0 0 20 0 19 0 253897978 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 27447 2256 9 0 2446860 0 [pid=23188/tid=23189] ppid=23186 vsize=9824668 CPUtime=0.51 cores=0,2,4,6 /proc/23188/task/23189/stat : 23189 (java) S 23186 23188 21231 0 -1 4202560 2479 0 1 0 50 1 0 0 20 0 19 0 253897979 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093889160184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23191] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23191/stat : 23191 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093850651176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23192] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23192/stat : 23192 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093849598376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23193] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23193/stat : 23193 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093848545576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253897980 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253897981 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253897981 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253897981 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897984 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=0.61 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 5028 0 0 0 61 0 0 0 20 0 19 0 253897984 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=0.59 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 5549 0 0 0 59 0 0 0 20 0 19 0 253897984 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897984 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253897984 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23210] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23210/stat : 23210 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253898034 10060460032 27447 33554432000 1073741824 1073778376 140736476439216 140093231674152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 9824668 [startup+3.10079 s] /proc/loadavg: 3.82 3.81 3.77 5/219 23216 /proc/meminfo: memFree=28694564/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=6.16 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 20657 0 1 0 605 11 0 0 20 0 22 0 253897978 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 50564 2274 9 0 2446860 0 [pid=23188/tid=23189] ppid=23186 vsize=9824668 CPUtime=0.52 cores=0,2,4,6 /proc/23188/task/23189/stat : 23189 (java) S 23186 23188 21231 0 -1 4202560 2479 0 1 0 50 2 0 0 20 0 22 0 253897979 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093889160184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23191] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23191/stat : 23191 (java) S 23186 23188 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093850651176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23192] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23192/stat : 23192 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093849598376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23193] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23193/stat : 23193 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093848545576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 6205 0 0 0 115 1 0 0 20 0 22 0 253897984 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 10566 0 0 0 108 1 0 0 20 0 22 0 253897984 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23210] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23210/stat : 23210 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253898034 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093231674152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23214] ppid=23186 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/23188/task/23214/stat : 23214 (java) R 23186 23188 21231 0 -1 4202560 5 0 0 0 148 0 0 0 20 0 22 0 253898133 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093234829744 140093730775079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23215] ppid=23186 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/23188/task/23215/stat : 23215 (java) R 23186 23188 21231 0 -1 4202560 43 0 0 0 150 0 0 0 20 0 22 0 253898133 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093233777928 140093730960955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23216] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23216/stat : 23216 (java) S 23186 23188 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253898133 10060460032 50564 33554432000 1073741824 1073778376 140736476439216 140093232727080 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 9824668 [startup+6.30079 s] /proc/loadavg: 3.84 3.82 3.77 5/219 23219 /proc/meminfo: memFree=28502912/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=12.33 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 24334 0 1 0 1218 15 0 0 20 0 22 0 253897978 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 57487 2287 9 0 2446860 0 [pid=23188/tid=23189] ppid=23186 vsize=9824668 CPUtime=0.53 cores=0,2,4,6 /proc/23188/task/23189/stat : 23189 (java) S 23186 23188 21231 0 -1 4202560 2481 0 1 0 51 2 0 0 20 0 22 0 253897979 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093889160184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23191] ppid=23186 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/23188/task/23191/stat : 23191 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093850651176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23192] ppid=23186 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/23188/task/23192/stat : 23192 (java) S 23186 23188 21231 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093849598376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23193] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23193/stat : 23193 (java) S 23186 23188 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093848545576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253897980 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=0.12 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 41 0 0 0 11 1 0 0 20 0 22 0 253897981 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 9793 0 0 0 140 2 0 0 20 0 22 0 253897984 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 10570 0 0 0 115 1 0 0 20 0 22 0 253897984 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 57487 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=4.84 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 1313 0 0 0 475 9 0 0 20 0 22 0 253897980 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=4.97 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 1426 0 0 0 489 8 0 0 20 0 22 0 253897980 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=5.17 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 1327 0 0 0 506 11 0 0 20 0 22 0 253897980 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=4.98 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 1151 0 0 0 490 8 0 0 20 0 22 0 253897980 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=5.17 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 1286 0 0 0 506 11 0 0 20 0 22 0 253897980 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=133.03 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 4312 0 0 0 13266 37 0 0 20 0 22 0 253897981 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=1.89 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 9824 0 0 0 187 2 0 0 20 0 22 0 253897984 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 20281 0 0 0 195 2 0 0 20 0 22 0 253897984 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 55 0 0 0 14 18 0 0 20 0 22 0 253897984 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23216] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23216/stat : 23216 (java) S 23186 23188 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253898133 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093232727080 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23229] ppid=23186 vsize=9824668 CPUtime=599.47 cores=0,2,4,6 /proc/23188/task/23229/stat : 23229 (java) R 23186 23188 21231 0 -1 4202560 61 0 0 0 59937 10 0 0 20 0 22 0 253920301 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093234831136 140093730870671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23230] ppid=23186 vsize=9824668 CPUtime=599.44 cores=0,2,4,6 /proc/23188/task/23230/stat : 23230 (java) R 23186 23188 21231 0 -1 4202560 138 0 0 0 59934 10 0 0 20 0 22 0 253920301 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093231674128 140093731031244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23231] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23231/stat : 23231 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253920301 10060460032 539427 33554432000 1073741824 1073778376 140736476439216 140093233779880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1766.63 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+959.701 s] /proc/loadavg: 4.04 3.87 3.83 5/219 23308 /proc/meminfo: memFree=25659332/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=1799.33 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 50791 0 1 0 179770 163 0 0 20 0 22 0 253897978 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 547138 2288 9 0 2446860 0 [pid=23188/tid=23189] ppid=23186 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/23188/task/23189/stat : 23189 (java) S 23186 23188 21231 0 -1 4202560 2533 0 1 0 53 4 0 0 20 0 22 0 253897979 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093889160184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23191] ppid=23186 vsize=9824668 CPUtime=5.41 cores=0,2,4,6 /proc/23188/task/23191/stat : 23191 (java) S 23186 23188 21231 0 -1 4202560 1489 0 0 0 531 10 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093850651176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23192] ppid=23186 vsize=9824668 CPUtime=5.28 cores=0,2,4,6 /proc/23188/task/23192/stat : 23192 (java) S 23186 23188 21231 0 -1 4202560 1013 0 0 0 519 9 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093849598376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23193] ppid=23186 vsize=9824668 CPUtime=5.08 cores=0,2,4,6 /proc/23188/task/23193/stat : 23193 (java) S 23186 23188 21231 0 -1 4202560 2174 0 0 0 496 12 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093848545576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=5 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 1321 0 0 0 491 9 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=5.04 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 1426 0 0 0 496 8 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=5.27 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 1332 0 0 0 515 12 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=5.1 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 1152 0 0 0 502 8 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=5.23 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 1300 0 0 0 512 11 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=135.48 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 4374 0 0 0 13510 38 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=1.89 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 9824 0 0 0 187 2 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 20281 0 0 0 195 2 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 55 0 0 0 14 18 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23216] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23216/stat : 23216 (java) S 23186 23188 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253898133 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093232727080 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23229] ppid=23186 vsize=9824668 CPUtime=614.18 cores=0,2,4,6 /proc/23188/task/23229/stat : 23229 (java) R 23186 23188 21231 0 -1 4202560 62 0 0 0 61408 10 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093234830320 140093730884204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23230] ppid=23186 vsize=9824668 CPUtime=614.15 cores=0,2,4,6 /proc/23188/task/23230/stat : 23230 (java) R 23186 23188 21231 0 -1 4202560 139 0 0 0 61405 10 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093231672912 140093730278060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23231] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23231/stat : 23231 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093233779880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+959.701 s] /proc/loadavg: 4.04 3.87 3.83 5/219 23308 /proc/meminfo: memFree=25659332/32873844 swapFree=7104/7104 [pid=23188] ppid=23186 vsize=9824668 CPUtime=1799.33 cores=0,2,4,6 /proc/23188/stat : 23188 (java) S 23186 23188 21231 0 -1 4202496 50791 0 1 0 179770 163 0 0 20 0 22 0 253897978 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140736476430352 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23188/statm: 2456167 547138 2288 9 0 2446860 0 [pid=23188/tid=23189] ppid=23186 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/23188/task/23189/stat : 23189 (java) S 23186 23188 21231 0 -1 4202560 2533 0 1 0 53 4 0 0 20 0 22 0 253897979 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093889160184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23191] ppid=23186 vsize=9824668 CPUtime=5.41 cores=0,2,4,6 /proc/23188/task/23191/stat : 23191 (java) S 23186 23188 21231 0 -1 4202560 1489 0 0 0 531 10 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093850651176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23192] ppid=23186 vsize=9824668 CPUtime=5.28 cores=0,2,4,6 /proc/23188/task/23192/stat : 23192 (java) S 23186 23188 21231 0 -1 4202560 1013 0 0 0 519 9 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093849598376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23193] ppid=23186 vsize=9824668 CPUtime=5.08 cores=0,2,4,6 /proc/23188/task/23193/stat : 23193 (java) S 23186 23188 21231 0 -1 4202560 2174 0 0 0 496 12 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093848545576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23194] ppid=23186 vsize=9824668 CPUtime=5 cores=0,2,4,6 /proc/23188/task/23194/stat : 23194 (java) S 23186 23188 21231 0 -1 4202560 1321 0 0 0 491 9 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093729794216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23195] ppid=23186 vsize=9824668 CPUtime=5.04 cores=0,2,4,6 /proc/23188/task/23195/stat : 23195 (java) S 23186 23188 21231 0 -1 4202560 1426 0 0 0 496 8 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093728742440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23196] ppid=23186 vsize=9824668 CPUtime=5.27 cores=0,2,4,6 /proc/23188/task/23196/stat : 23196 (java) S 23186 23188 21231 0 -1 4202560 1332 0 0 0 515 12 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093727689640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23197] ppid=23186 vsize=9824668 CPUtime=5.1 cores=0,2,4,6 /proc/23188/task/23197/stat : 23197 (java) S 23186 23188 21231 0 -1 4202560 1152 0 0 0 502 8 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093726636840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23198] ppid=23186 vsize=9824668 CPUtime=5.23 cores=0,2,4,6 /proc/23188/task/23198/stat : 23198 (java) S 23186 23188 21231 0 -1 4202560 1300 0 0 0 512 11 0 0 20 0 22 0 253897980 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093725584040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23199] ppid=23186 vsize=9824668 CPUtime=135.48 cores=0,2,4,6 /proc/23188/task/23199/stat : 23199 (java) S 23186 23188 21231 0 -1 4202560 4374 0 0 0 13510 38 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093243255272 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23200] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23200/stat : 23200 (java) S 23186 23188 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093242201336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23201] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23201/stat : 23201 (java) S 23186 23188 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253897981 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093241148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23188/tid=23202] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23202/stat : 23202 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093240096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23203] ppid=23186 vsize=9824668 CPUtime=1.89 cores=0,2,4,6 /proc/23188/task/23203/stat : 23203 (java) S 23186 23188 21231 0 -1 4202560 9824 0 0 0 187 2 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093239045048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23204] ppid=23186 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/23188/task/23204/stat : 23204 (java) S 23186 23188 21231 0 -1 4202560 20281 0 0 0 195 2 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093237992248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23205] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23205/stat : 23205 (java) S 23186 23188 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093236939640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23188/tid=23206] ppid=23186 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/23188/task/23206/stat : 23206 (java) S 23186 23188 21231 0 -1 4202560 55 0 0 0 14 18 0 0 20 0 22 0 253897984 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093235887048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23216] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23216/stat : 23216 (java) S 23186 23188 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253898133 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093232727080 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23229] ppid=23186 vsize=9824668 CPUtime=614.18 cores=0,2,4,6 /proc/23188/task/23229/stat : 23229 (java) R 23186 23188 21231 0 -1 4202560 62 0 0 0 61408 10 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093234830320 140093730884204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23188/tid=23230] ppid=23186 vsize=9824668 CPUtime=614.15 cores=0,2,4,6 /proc/23188/task/23230/stat : 23230 (java) R 23186 23188 21231 0 -1 4202560 139 0 0 0 61405 10 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093231672912 140093730278060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23188/tid=23231] ppid=23186 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23188/task/23231/stat : 23231 (java) S 23186 23188 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253920301 10060460032 547138 33554432000 1073741824 1073778376 140736476439216 140093233779880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23188 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=248232 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=43689 # CPU time returned by wait4() is 1796.29 # while last known CPU time is 1799.33 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.700005 # lost CPU user time (s): 0.760002 # lost CPU system time (s): -0.06 Real time (s): 959.751 CPU time (s): 1800.03 CPU user time (s): 1798.46 CPU system time (s): 1.57 CPU usage (%): 187.552 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.25 system time used= 2.04369 maximum resident set size= 2188676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50824 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31815 involuntary context switches= 72780 runsolver used 3.44948 second user time and 8.70768 second system time The end
Begin job on node119 at 2012-05-24 18:42:03 IDJOB=3688464 IDBENCH=25015 IDSOLVER=2268 FILE ID=node119/3688464-1337877723 RUNJOBID= node119-1337871880-21247 PBS_JOBID= 14620085 Free space on /tmp= 71700 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688464-1337877723/watcher-3688464-1337877723 -o /tmp/evaluation-result-3688464-1337877723/solver-3688464-1337877723 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688464-1337877723.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=1946432027 node119.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.943 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.88 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28907704 kB Buffers: 205904 kB Cached: 2779388 kB SwapCached: 0 kB Active: 579820 kB Inactive: 2621532 kB Active(anon): 218904 kB Inactive(anon): 0 kB Active(file): 360916 kB Inactive(file): 2621532 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3080 kB Writeback: 76 kB AnonPages: 225524 kB Mapped: 21596 kB Shmem: 200 kB Slab: 625664 kB SReclaimable: 67736 kB SUnreclaim: 557928 kB KernelStack: 1608 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 828920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node119 at 2012-05-24 18:58:05