Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 15 | 1800.42 | 1144.91 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 0.804876 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15 |
Optimality of the best value was proved | YES |
Number of variables | 5537 |
Total number of constraints | 15855 |
Number of constraints which are clauses | 15855 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2646 |
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 | 2646 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2646 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 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@48e5855a 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 --- 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@398020cc 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 --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454124-1307193626.opb 0.10/0.11 c reading problem ... 0.82/0.46 c ... done. Wall clock time 0.352s. 0.82/0.46 c #vars 5537 0.82/0.46 c #constraints 15665 0.82/0.46 c constraints type 0.82/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 0.82/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 0.82/0.46 c constraints type 0.82/0.46 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 0.82/0.46 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1.13/0.53 c And the winner is CuttingPlanes 1.31/0.98 c SATISFIABLE 1.31/0.98 c OPTIMIZING... 1.31/0.98 c Got one! Elapsed wall clock time (in seconds):0.867 1.31/0.98 o 21 1.31/1.01 c And the winner is CuttingPlanes 1.45/1.51 c Got one! Elapsed wall clock time (in seconds):1.395 1.45/1.51 o 19 399.82/397.04 c And the winner is CuttingPlanes 399.82/397.05 c Got one! Elapsed wall clock time (in seconds):396.939 399.82/397.05 o 18 404.40/399.29 c cleaning 2498 clauses out of 5001 with flag 5000/5001 410.18/402.34 c cleaning 4249 clauses out of 8503 with flag 11000/11001 416.55/405.78 c cleaning 5622 clauses out of 11257 with flag 18003/18004 424.12/409.71 c cleaning 6808 clauses out of 13632 with flag 26000/26001 432.48/414.27 c cleaning 7903 clauses out of 15825 with flag 35001/35002 434.64/415.58 c And the winner is Resolution 435.41/416.22 c Got one! Elapsed wall clock time (in seconds):416.108 435.41/416.22 o 17 437.99/417.52 c cleaning 6473 clauses out of 12953 with flag 3001/40033 443.53/420.52 c cleaning 6236 clauses out of 12481 with flag 9002/46034 450.29/424.15 c cleaning 6617 clauses out of 13243 with flag 16000/53032 457.61/428.11 c cleaning 7309 clauses out of 14626 with flag 24000/61032 464.55/431.89 c cleaning 8153 clauses out of 16317 with flag 33000/70032 473.72/436.64 c cleaning 9078 clauses out of 18167 with flag 43003/80035 483.02/441.56 c cleaning 10037 clauses out of 20088 with flag 54002/91034 494.55/447.65 c cleaning 11022 clauses out of 22050 with flag 66001/103033 505.65/453.42 c cleaning 12010 clauses out of 24027 with flag 79000/116032 518.57/460.14 c cleaning 12999 clauses out of 26017 with flag 93000/130032 531.88/467.04 c cleaning 14002 clauses out of 28019 with flag 108001/145033 547.16/475.04 c cleaning 15006 clauses out of 30016 with flag 124000/161032 561.66/482.52 c cleaning 15498 clauses out of 31010 with flag 140000/177032 575.96/489.94 c cleaning 15745 clauses out of 31512 with flag 156000/193032 591.45/497.95 c cleaning 15868 clauses out of 31767 with flag 172000/209032 604.88/505.09 c cleaning 15940 clauses out of 31899 with flag 188000/225032 619.17/512.46 c cleaning 15972 clauses out of 31959 with flag 204000/241032 635.45/520.87 c cleaning 15985 clauses out of 31988 with flag 220001/257033 650.33/528.57 c cleaning 15993 clauses out of 32002 with flag 236000/273032 664.93/536.28 c cleaning 15993 clauses out of 32009 with flag 252000/289032 678.98/543.53 c cleaning 16001 clauses out of 32016 with flag 268000/305032 694.63/551.65 c cleaning 15994 clauses out of 32015 with flag 284000/321032 709.27/559.29 c cleaning 16008 clauses out of 32022 with flag 300001/337033 724.83/567.47 c cleaning 15999 clauses out of 32013 with flag 316000/353032 740.45/575.52 c cleaning 15996 clauses out of 32014 with flag 332000/369032 755.45/583.39 c cleaning 16003 clauses out of 32019 with flag 348001/385033 770.23/591.00 c cleaning 15998 clauses out of 32018 with flag 364003/401035 784.72/598.78 c cleaning 16005 clauses out of 32018 with flag 380001/417033 798.91/606.18 c cleaning 15999 clauses out of 32014 with flag 396002/433034 814.02/614.01 c cleaning 15995 clauses out of 32013 with flag 412000/449032 828.72/621.75 c cleaning 16000 clauses out of 32019 with flag 428001/465033 843.91/629.82 c cleaning 16001 clauses out of 32018 with flag 444000/481032 857.60/637.02 c cleaning 16000 clauses out of 32017 with flag 460000/497032 872.49/644.85 c cleaning 15990 clauses out of 32019 with flag 476002/513034 887.98/652.95 c cleaning 16007 clauses out of 32027 with flag 492000/529032 903.55/661.29 c cleaning 16001 clauses out of 32022 with flag 508002/545034 919.03/669.32 c cleaning 15994 clauses out of 32019 with flag 524000/561032 933.88/677.10 c cleaning 16005 clauses out of 32028 with flag 540003/577035 949.13/685.14 c cleaning 16002 clauses out of 32022 with flag 556002/593034 964.42/693.37 c cleaning 16002 clauses out of 32018 with flag 572000/609032 979.25/701.15 c cleaning 15999 clauses out of 32016 with flag 588000/625032 981.09/702.40 c And the winner is Resolution 982.09/703.50 c Got one! Elapsed wall clock time (in seconds):703.384 982.09/703.50 o 16 983.98/704.48 c cleaning 10519 clauses out of 21057 with flag 4000/630072 987.81/706.73 c cleaning 8264 clauses out of 16539 with flag 10001/636073 992.13/709.50 c cleaning 7628 clauses out of 15274 with flag 17000/643072 998.35/712.98 c cleaning 7813 clauses out of 15646 with flag 25000/651072 1006.03/717.19 c cleaning 8409 clauses out of 16833 with flag 34000/660072 1015.02/722.09 c cleaning 9207 clauses out of 18424 with flag 44000/670072 1025.90/728.10 c cleaning 10102 clauses out of 20217 with flag 55000/681072 1036.53/733.78 c cleaning 11048 clauses out of 22115 with flag 67000/693072 1048.50/740.20 c cleaning 12016 clauses out of 24067 with flag 80000/706072 1060.50/746.55 c cleaning 13021 clauses out of 26053 with flag 94002/720074 1073.19/753.42 c cleaning 14010 clauses out of 28032 with flag 109002/735074 1086.75/760.68 c cleaning 15000 clauses out of 30021 with flag 125001/751073 1100.74/768.06 c cleaning 15500 clauses out of 31020 with flag 141000/767072 1115.11/775.64 c cleaning 15750 clauses out of 31520 with flag 157000/783072 1130.55/783.92 c cleaning 15876 clauses out of 31770 with flag 173000/799072 1145.54/791.82 c cleaning 15941 clauses out of 31894 with flag 189000/815072 1160.71/799.86 c cleaning 15971 clauses out of 31953 with flag 205000/831072 1176.49/808.18 c cleaning 15985 clauses out of 31982 with flag 221000/847072 1192.64/816.87 c cleaning 15989 clauses out of 31997 with flag 237000/863072 1208.23/825.02 c cleaning 15996 clauses out of 32008 with flag 253000/879072 1221.94/832.33 c cleaning 15995 clauses out of 32012 with flag 269000/895072 1236.86/840.24 c cleaning 16003 clauses out of 32017 with flag 285000/911072 1252.60/848.71 c cleaning 16003 clauses out of 32015 with flag 301001/927073 1267.55/856.62 c cleaning 16002 clauses out of 32011 with flag 317000/943072 1282.51/864.56 c cleaning 15992 clauses out of 32009 with flag 333000/959072 1297.62/872.59 c cleaning 16008 clauses out of 32020 with flag 349003/975075 1313.14/881.00 c cleaning 15996 clauses out of 32009 with flag 365000/991072 1328.27/888.96 c cleaning 16000 clauses out of 32015 with flag 381002/1007074 1342.97/896.77 c cleaning 16000 clauses out of 32013 with flag 397000/1023072 1357.86/904.63 c cleaning 15995 clauses out of 32013 with flag 413000/1039072 1372.72/912.74 c cleaning 15994 clauses out of 32018 with flag 429000/1055072 1387.20/920.40 c cleaning 16005 clauses out of 32025 with flag 445001/1071073 1402.08/928.33 c cleaning 15989 clauses out of 32020 with flag 461001/1087073 1416.29/936.01 c cleaning 16011 clauses out of 32032 with flag 477002/1103074 1431.69/944.38 c cleaning 15988 clauses out of 32019 with flag 493000/1119072 1443.12/950.53 c And the winner is CuttingPlanes 1443.19/950.92 c Got one! Elapsed wall clock time (in seconds):950.812 1443.19/950.92 o 15 1447.32/953.06 c cleaning 16364 clauses out of 32751 with flag 5001/1135792 1453.54/956.65 c cleaning 11190 clauses out of 22387 with flag 11001/1141792 1460.35/960.50 c cleaning 9089 clauses out of 18197 with flag 18001/1148792 1468.14/965.12 c cleaning 8547 clauses out of 17107 with flag 26000/1156791 1476.75/969.99 c cleaning 8777 clauses out of 17562 with flag 35002/1165793 1486.55/975.35 c cleaning 9387 clauses out of 18783 with flag 45000/1175791 1496.75/980.98 c cleaning 10191 clauses out of 20396 with flag 56000/1186791 1508.72/987.67 c cleaning 11096 clauses out of 22206 with flag 68001/1198792 1520.91/994.21 c cleaning 12048 clauses out of 24110 with flag 81001/1211792 1533.71/1001.11 c cleaning 13024 clauses out of 26062 with flag 95001/1225792 1547.72/1008.70 c cleaning 14011 clauses out of 28037 with flag 110000/1240791 1562.43/1016.79 c cleaning 15010 clauses out of 30026 with flag 126000/1256791 1577.20/1024.62 c cleaning 15502 clauses out of 31016 with flag 142000/1272791 1591.80/1032.45 c cleaning 15746 clauses out of 31514 with flag 158000/1288791 1606.38/1040.24 c cleaning 15877 clauses out of 31769 with flag 174001/1304792 1620.69/1048.18 c cleaning 15939 clauses out of 31892 with flag 190001/1320792 1635.87/1056.26 c cleaning 15963 clauses out of 31954 with flag 206002/1336793 1650.66/1064.14 c cleaning 15988 clauses out of 31989 with flag 222000/1352791 1665.05/1071.84 c cleaning 15974 clauses out of 32002 with flag 238001/1368792 1680.88/1080.36 c cleaning 16004 clauses out of 32029 with flag 254002/1384793 1695.24/1088.05 c cleaning 16003 clauses out of 32023 with flag 270000/1400791 1709.98/1095.96 c cleaning 16004 clauses out of 32021 with flag 286001/1416792 1724.10/1103.59 c cleaning 16000 clauses out of 32016 with flag 302000/1432791 1739.14/1111.87 c cleaning 16001 clauses out of 32019 with flag 318003/1448794 1753.46/1119.53 c cleaning 15995 clauses out of 32017 with flag 334002/1464793 1768.57/1127.64 c cleaning 15997 clauses out of 32020 with flag 350000/1480791 1783.89/1135.88 c cleaning 16003 clauses out of 32024 with flag 366001/1496792 1800.17/1144.72 c starts : 33 1800.17/1144.72 c conflicts : 4063 1800.17/1144.72 c decisions : 164153 1800.17/1144.72 c propagations : 1796530 1800.17/1144.72 c inspects : 55052700 1800.17/1144.72 c shortcuts : 0 1800.17/1144.72 c learnt literals : 0 1800.17/1144.72 c learnt binary clauses : 0 1800.17/1144.72 c learnt ternary clauses : 2 1800.17/1144.72 c learnt constraints : 4061 1800.17/1144.72 c ignored constraints : 0 1800.17/1144.72 c root simplifications : 0 1800.17/1144.72 c removed literals (reason simplification) : 0 1800.17/1144.72 c reason swapping (by a shorter reason) : 0 1800.17/1144.72 c Calls to reduceDB : 0 1800.17/1144.72 c number of reductions to clauses (during analyze) : 0 1800.17/1144.72 c number of learned constraints concerned by reduction : 0 1800.17/1144.72 c number of learning phase by resolution : 0 1800.17/1144.72 c number of learning phase by cutting planes : 0 1800.17/1144.72 c speed (assignments/second) : 9270.929554497086 1800.17/1144.72 c non guided choices 0 1800.17/1144.72 c learnt constraints type 1800.17/1144.72 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 165 1800.17/1144.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 82 1800.17/1144.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3814 1800.17/1144.72 c constraints type 1800.17/1144.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 1800.17/1144.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.17/1144.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 1800.17/1144.72 c constraints type 1800.17/1144.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 1800.17/1144.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1800.17/1144.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/1144.72 s SATISFIABLE 1800.17/1144.73 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 1800.17/1144.74 c objective function=15 1800.17/1144.74 c Total wall clock time (in seconds): 1144.63
OK 15
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454124-1307193626/watcher-3454124-1307193626 -o /tmp/evaluation-result-3454124-1307193626/solver-3454124-1307193626 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454124-1307193626.opb running on 4 cores: 1,3,5,7 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.74 3.89 3.83 4/482 25634 /proc/meminfo: memFree=25049448/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 4394 0 1 0 0 0 0 0 25 0 2 0 830960612 10694979584 4096 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2611079 4110 917 9 0 2602235 0 [pid=25634/tid=25635] ppid=25632 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) R 25632 25634 21158 0 -1 4202560 3888 0 1 0 0 0 0 0 25 0 2 0 830960612 10694979584 4704 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0263739 s] /proc/loadavg: 3.74 3.89 3.83 4/482 25634 /proc/meminfo: memFree=25049448/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10453028 CPUtime=0.02 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 10056 0 1 0 1 1 0 0 25 0 10 0 830960612 10703900672 9758 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2613257 9774 1034 9 0 2604413 0 [pid=25634/tid=25635] ppid=25632 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) R 25632 25634 21158 0 -1 4202560 8950 0 1 0 0 0 0 0 25 0 10 0 830960612 10703900672 9775 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46990548925502 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10453028 [startup+0.100345 s] /proc/loadavg: 3.74 3.89 3.83 4/482 25634 /proc/meminfo: memFree=25049448/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10539836 CPUtime=0.1 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 13046 0 1 0 9 1 0 0 25 0 18 0 830960612 10792792064 12712 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2634959 12713 2093 9 0 2625693 0 [pid=25634/tid=25635] ppid=25632 vsize=10539836 CPUtime=0.08 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) R 25632 25634 21158 0 -1 4202560 11087 0 1 0 7 1 0 0 18 0 18 0 830960612 10792792064 12713 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46990547830296 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539836 [startup+0.304353 s] /proc/loadavg: 3.74 3.89 3.83 4/482 25634 /proc/meminfo: memFree=25049448/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10544048 CPUtime=0.53 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 17890 0 1 0 52 1 0 0 25 0 18 0 830960612 10797105152 16601 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2636012 16602 2202 9 0 2626746 0 [pid=25634/tid=25635] ppid=25632 vsize=10544048 CPUtime=0.29 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) R 25632 25634 21158 0 -1 4202560 13397 0 1 0 28 1 0 0 18 0 18 0 830960612 10797105152 16603 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10544048 [startup+0.700241 s] /proc/loadavg: 3.74 3.89 3.83 4/482 25634 /proc/meminfo: memFree=25049448/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10549140 CPUtime=1.31 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 28073 0 1 0 128 3 0 0 25 0 19 0 830960612 10802319360 25738 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2637285 25738 2238 9 0 2628019 0 [pid=25634/tid=25635] ppid=25632 vsize=10549140 CPUtime=0.45 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21364 0 1 0 43 2 0 0 19 0 19 0 830960612 10802319360 25738 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 10549140 [startup+1.5011 s] /proc/loadavg: 3.74 3.89 3.83 5/502 25659 /proc/meminfo: memFree=24952652/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10549140 CPUtime=1.45 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 28526 0 1 0 142 3 0 0 25 0 20 0 830960612 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2637285 26122 2239 9 0 2628019 0 [pid=25634/tid=25635] ppid=25632 vsize=10549140 CPUtime=0.47 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21636 0 1 0 45 2 0 0 17 0 20 0 830960612 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25637] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25637/stat : 25637 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25638] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25638/stat : 25638 (java) S 25632 25634 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25639] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960614 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 830960615 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830960615 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830960615 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25648] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25648/stat : 25648 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960618 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134537649 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25649] ppid=25632 vsize=10549140 CPUtime=0.4 cores=1,3,5,7 /proc/25634/task/25649/stat : 25649 (java) S 25632 25634 21158 0 -1 4202560 2201 0 0 0 40 0 0 0 15 0 20 0 830960618 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25650] ppid=25632 vsize=10549140 CPUtime=0.4 cores=1,3,5,7 /proc/25634/task/25650/stat : 25650 (java) S 25632 25634 21158 0 -1 4202560 3099 0 0 0 40 0 0 0 15 0 20 0 830960618 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25651] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25651/stat : 25651 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830960618 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25652] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25652/stat : 25652 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830960618 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25656] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25656/stat : 25656 (java) S 25632 25634 21158 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 20 0 830960661 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25659] ppid=25632 vsize=10549140 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25659/stat : 25659 (java) S 25632 25634 21158 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 830960713 10802319360 26122 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 10549140 [startup+3.10081 s] /proc/loadavg: 3.74 3.89 3.83 4/503 25661 /proc/meminfo: memFree=24911476/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10554456 CPUtime=3.76 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 117812 0 1 0 364 12 0 0 25 0 21 0 830960612 10807762944 111990 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2638614 112000 2241 9 0 2629348 0 [pid=25634/tid=25635] ppid=25632 vsize=10554456 CPUtime=0.49 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21882 0 1 0 47 2 0 0 15 0 21 0 830960612 10807762944 112005 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25637] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25637/stat : 25637 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112010 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25638] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25638/stat : 25638 (java) S 25632 25634 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112010 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25639] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112010 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112015 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112022 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112028 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112029 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10807762944 112029 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 21 0 830960615 10807762944 112032 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830960615 10807762944 112039 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830960615 10807762944 112045 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25648] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25648/stat : 25648 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960618 10807762944 112049 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134537649 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25649] ppid=25632 vsize=10554456 CPUtime=0.63 cores=1,3,5,7 /proc/25634/task/25649/stat : 25649 (java) S 25632 25634 21158 0 -1 4202560 3528 0 0 0 63 0 0 0 15 0 21 0 830960618 10807762944 112049 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25650] ppid=25632 vsize=10554456 CPUtime=0.88 cores=1,3,5,7 /proc/25634/task/25650/stat : 25650 (java) S 25632 25634 21158 0 -1 4202560 10228 0 0 0 88 0 0 0 15 0 21 0 830960618 10807762944 112049 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25651] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25651/stat : 25651 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960618 10807762944 112056 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25652] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25652/stat : 25652 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 830960618 10807762944 112062 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25656] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25656/stat : 25656 (java) S 25632 25634 21158 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 21 0 830960661 10807762944 112068 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25659] ppid=25632 vsize=10554456 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25659/stat : 25659 (java) S 25632 25634 21158 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 830960713 10807762944 112068 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25661] ppid=25632 vsize=10554456 CPUtime=1.57 cores=1,3,5,7 /proc/25634/task/25661/stat : 25661 (java) R 25632 25634 21158 0 -1 4202560 80614 0 0 0 149 8 0 0 18 0 21 0 830960763 10807762944 112068 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912506225417 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 10554456 [startup+6.30122 s] /proc/loadavg: 3.68 3.87 3.83 4/503 25661 /proc/meminfo: memFree=23532320/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10555216 CPUtime=7.06 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 443481 0 1 0 661 45 0 0 25 0 21 0 830960612 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2638804 437248 2241 9 0 2629538 0 [pid=25634/tid=25635] ppid=25632 vsize=10555216 CPUtime=0.49 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21883 0 1 0 47 2 0 0 15 0 21 0 830960612 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25637] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25637/stat : 25637 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25638] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25638/stat : 25638 (java) S 25632 25634 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25639] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830960614 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 21 0 830960615 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830960615 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830960615 10808541184 437248 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 ################ # More data... # ################ /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 15331 0 0 0 96 2 0 0 15 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10555216 CPUtime=0.97 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 17548 0 0 0 95 2 0 0 16 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10555216 CPUtime=1.04 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 16164 0 0 0 102 2 0 0 15 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10555216 CPUtime=1.12 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 22906 0 0 0 109 3 0 0 15 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10555216 CPUtime=1.1 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 16925 0 0 0 108 2 0 0 16 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10555216 CPUtime=1.07 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 20699 0 0 0 105 2 0 0 16 0 22 0 830960614 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10555216 CPUtime=83.51 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 48544 0 0 0 8345 6 0 0 15 0 22 0 830960615 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25648] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25648/stat : 25648 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134537649 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25649] ppid=25632 vsize=10555216 CPUtime=1.03 cores=1,3,5,7 /proc/25634/task/25649/stat : 25649 (java) S 25632 25634 21158 0 -1 4202560 3705 0 0 0 103 0 0 0 15 0 22 0 830960618 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25650] ppid=25632 vsize=10555216 CPUtime=1.3 cores=1,3,5,7 /proc/25634/task/25650/stat : 25650 (java) S 25632 25634 21158 0 -1 4202560 10294 0 0 0 130 0 0 0 15 0 22 0 830960618 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25651] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25651/stat : 25651 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25652] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25652/stat : 25652 (java) S 25632 25634 21158 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 830960618 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25689] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25689/stat : 25689 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831031052 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25716] ppid=25632 vsize=10555216 CPUtime=91.63 cores=1,3,5,7 /proc/25634/task/25716/stat : 25716 (java) R 25632 25634 21158 0 -1 4202560 0 0 0 0 9163 0 0 0 25 0 22 0 831055706 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912505810817 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=25634/tid=25717] ppid=25632 vsize=10555216 CPUtime=91.62 cores=1,3,5,7 /proc/25634/task/25717/stat : 25717 (java) R 25632 25634 21158 0 -1 4202560 2 0 0 0 9162 0 0 0 25 0 22 0 831055706 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912506225488 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25634/tid=25718] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25718/stat : 25718 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831055706 10808541184 1017421 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1647.03 Current children cumulated vsize (KiB) 10555216 [startup+1122.3 s] /proc/loadavg: 1.84 2.35 3.03 3/477 25723 /proc/meminfo: memFree=24528020/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10555216 CPUtime=1757.97 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 1034998 0 1 0 175683 114 0 0 25 0 22 0 830960612 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2638804 1022849 2270 9 0 2629538 0 [pid=25634/tid=25635] ppid=25632 vsize=10555216 CPUtime=0.56 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21959 0 1 0 54 2 0 0 15 0 22 0 830960612 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25637] ppid=25632 vsize=10555216 CPUtime=1.18 cores=1,3,5,7 /proc/25634/task/25637/stat : 25637 (java) S 25632 25634 21158 0 -1 4202560 17798 0 0 0 116 2 0 0 15 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25638] ppid=25632 vsize=10555216 CPUtime=1.18 cores=1,3,5,7 /proc/25634/task/25638/stat : 25638 (java) S 25632 25634 21158 0 -1 4202560 12497 0 0 0 117 1 0 0 15 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25639] ppid=25632 vsize=10555216 CPUtime=1.06 cores=1,3,5,7 /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 15423 0 0 0 104 2 0 0 16 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10555216 CPUtime=1.02 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 17728 0 0 0 100 2 0 0 16 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10555216 CPUtime=1.14 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 16171 0 0 0 112 2 0 0 16 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10555216 CPUtime=1.18 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 23095 0 0 0 115 3 0 0 15 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10555216 CPUtime=1.2 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 17028 0 0 0 118 2 0 0 15 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10555216 CPUtime=1.13 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 20717 0 0 0 111 2 0 0 16 0 22 0 830960614 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10555216 CPUtime=93.23 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 53135 0 0 0 9316 7 0 0 15 0 22 0 830960615 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25648] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25648/stat : 25648 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134537649 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25649] ppid=25632 vsize=10555216 CPUtime=1.04 cores=1,3,5,7 /proc/25634/task/25649/stat : 25649 (java) S 25632 25634 21158 0 -1 4202560 3705 0 0 0 104 0 0 0 15 0 22 0 830960618 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25650] ppid=25632 vsize=10555216 CPUtime=1.69 cores=1,3,5,7 /proc/25634/task/25650/stat : 25650 (java) S 25632 25634 21158 0 -1 4202560 11926 0 0 0 168 1 0 0 15 0 22 0 830960618 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25651] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25651/stat : 25651 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25652] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25652/stat : 25652 (java) S 25632 25634 21158 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 830960618 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25689] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25689/stat : 25689 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831031052 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25716] ppid=25632 vsize=10555216 CPUtime=141.74 cores=1,3,5,7 /proc/25634/task/25716/stat : 25716 (java) R 25632 25634 21158 0 -1 4202560 3 0 0 0 14174 0 0 0 20 0 22 0 831055706 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912505860559 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25634/tid=25717] ppid=25632 vsize=10555216 CPUtime=141.75 cores=1,3,5,7 /proc/25634/task/25717/stat : 25717 (java) R 25632 25634 21158 0 -1 4202560 2 0 0 0 14175 0 0 0 20 0 22 0 831055706 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912506225659 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25634/tid=25718] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25718/stat : 25718 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831055706 10808541184 1022849 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1757.97 Current children cumulated vsize (KiB) 10555216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1144.7 s] /proc/loadavg: 1.89 2.32 3.00 3/477 25724 /proc/meminfo: memFree=24525532/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=10555216 CPUtime=1800.17 cores=1,3,5,7 /proc/25634/stat : 25634 (java) S 25632 25634 21158 0 -1 4202496 1035607 0 1 0 179903 114 0 0 25 0 22 0 830960612 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 2638804 1023453 2270 9 0 2629538 0 [pid=25634/tid=25635] ppid=25632 vsize=10555216 CPUtime=0.56 cores=1,3,5,7 /proc/25634/task/25635/stat : 25635 (java) S 25632 25634 21158 0 -1 4202560 21961 0 1 0 54 2 0 0 15 0 22 0 830960612 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25637] ppid=25632 vsize=10555216 CPUtime=1.22 cores=1,3,5,7 /proc/25634/task/25637/stat : 25637 (java) S 25632 25634 21158 0 -1 4202560 17799 0 0 0 120 2 0 0 16 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25638] ppid=25632 vsize=10555216 CPUtime=1.18 cores=1,3,5,7 /proc/25634/task/25638/stat : 25638 (java) S 25632 25634 21158 0 -1 4202560 12497 0 0 0 117 1 0 0 15 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25639] ppid=25632 vsize=10555216 CPUtime=1.07 cores=1,3,5,7 /proc/25634/task/25639/stat : 25639 (java) S 25632 25634 21158 0 -1 4202560 15423 0 0 0 105 2 0 0 15 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25640] ppid=25632 vsize=10555216 CPUtime=1.06 cores=1,3,5,7 /proc/25634/task/25640/stat : 25640 (java) S 25632 25634 21158 0 -1 4202560 17728 0 0 0 104 2 0 0 16 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25641] ppid=25632 vsize=10555216 CPUtime=1.17 cores=1,3,5,7 /proc/25634/task/25641/stat : 25641 (java) S 25632 25634 21158 0 -1 4202560 16171 0 0 0 115 2 0 0 15 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25642] ppid=25632 vsize=10555216 CPUtime=1.19 cores=1,3,5,7 /proc/25634/task/25642/stat : 25642 (java) S 25632 25634 21158 0 -1 4202560 23095 0 0 0 116 3 0 0 16 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25643] ppid=25632 vsize=10555216 CPUtime=1.23 cores=1,3,5,7 /proc/25634/task/25643/stat : 25643 (java) S 25632 25634 21158 0 -1 4202560 17028 0 0 0 121 2 0 0 15 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25644] ppid=25632 vsize=10555216 CPUtime=1.15 cores=1,3,5,7 /proc/25634/task/25644/stat : 25644 (java) S 25632 25634 21158 0 -1 4202560 20717 0 0 0 113 2 0 0 16 0 22 0 830960614 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25645] ppid=25632 vsize=10555216 CPUtime=95.95 cores=1,3,5,7 /proc/25634/task/25645/stat : 25645 (java) S 25632 25634 21158 0 -1 4202560 53740 0 0 0 9588 7 0 0 15 0 22 0 830960615 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 0 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25646] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25646/stat : 25646 (java) S 25632 25634 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25647] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25647/stat : 25647 (java) S 25632 25634 21158 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830960615 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25648] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25648/stat : 25648 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134537649 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25649] ppid=25632 vsize=10555216 CPUtime=1.04 cores=1,3,5,7 /proc/25634/task/25649/stat : 25649 (java) S 25632 25634 21158 0 -1 4202560 3705 0 0 0 104 0 0 0 15 0 22 0 830960618 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25650] ppid=25632 vsize=10555216 CPUtime=1.69 cores=1,3,5,7 /proc/25634/task/25650/stat : 25650 (java) S 25632 25634 21158 0 -1 4202560 11926 0 0 0 168 1 0 0 15 0 22 0 830960618 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 5 0 0 0 [pid=25634/tid=25651] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25651/stat : 25651 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830960618 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134529945 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 [pid=25634/tid=25652] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25652/stat : 25652 (java) S 25632 25634 21158 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 830960618 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 1 0 0 0 [pid=25634/tid=25689] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25689/stat : 25689 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831031052 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 7 0 0 0 [pid=25634/tid=25716] ppid=25632 vsize=10555216 CPUtime=161.39 cores=1,3,5,7 /proc/25634/task/25716/stat : 25716 (java) R 25632 25634 21158 0 -1 4202560 4 0 0 0 16139 0 0 0 25 0 22 0 831055706 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912505860682 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25634/tid=25717] ppid=25632 vsize=10555216 CPUtime=161.39 cores=1,3,5,7 /proc/25634/task/25717/stat : 25717 (java) R 25632 25634 21158 0 -1 4202560 2 0 0 0 16139 0 0 0 25 0 22 0 831055706 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 46912506235274 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25634/tid=25718] ppid=25632 vsize=10555216 CPUtime=0 cores=1,3,5,7 /proc/25634/task/25718/stat : 25718 (java) S 25632 25634 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831055706 10808541184 1023453 33554432000 1073741824 1073778376 140735462805600 18446744073709551615 228134530560 0 4 0 16800975 18446604455308529984 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 10555216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1144.82 s] /proc/loadavg: 1.89 2.32 3.00 3/477 25724 /proc/meminfo: memFree=24525532/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=0 CPUtime=1800.32 cores=1,3,5,7 /proc/25634/stat : 25634 (java) Z 25632 25634 21158 0 -1 4203548 1035638 0 1 0 179911 121 0 0 17 0 2 0 830960612 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 0 0 0 0 0 0 0 [pid=25634/tid=25717] ppid=25632 vsize=0 CPUtime=161.48 cores=1,3,5,7 /proc/25634/task/25717/stat : 25717 (java) R 25632 25634 21158 0 -1 4203588 2 0 0 0 16142 6 0 0 25 0 2 0 831055706 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 [startup+1144.9 s] /proc/loadavg: 1.89 2.32 3.00 3/477 25724 /proc/meminfo: memFree=24525532/32951124 swapFree=41830676/67111528 [pid=25634] ppid=25632 vsize=0 CPUtime=1800.4 cores=1,3,5,7 /proc/25634/stat : 25634 (java) Z 25632 25634 21158 0 -1 4203548 1035638 0 1 0 179911 129 0 0 17 0 2 0 830960612 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25634/statm: 0 0 0 0 0 0 0 [pid=25634/tid=25717] ppid=25632 vsize=0 CPUtime=161.56 cores=1,3,5,7 /proc/25634/task/25717/stat : 25717 (java) R 25632 25634 21158 0 -1 4203588 2 0 0 0 16142 14 0 0 25 0 2 0 831055706 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1144.91 CPU time (s): 1800.42 CPU user time (s): 1799.12 CPU system time (s): 1.2998 CPU usage (%): 157.254 Max. virtual memory (cumulated for all children) (KiB): 10555216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.12 system time used= 1.2998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1035638 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31342 involuntary context switches= 18134 runsolver used 5.18421 second user time and 12.5361 second system time The end
Begin job on node138 at 2011-06-04 15:20:26 IDJOB=3454124 IDBENCH=25010 IDSOLVER=1950 FILE ID=node138/3454124-1307193626 RUNJOBID= node138-1307192709-25304 PBS_JOBID= 13508833 Free space on /tmp= 73668 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454124-1307193626/watcher-3454124-1307193626 -o /tmp/evaluation-result-3454124-1307193626/solver-3454124-1307193626 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454124-1307193626.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=934642085 node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25049604 kB Buffers: 319928 kB Cached: 1101960 kB SwapCached: 44568 kB Active: 5802780 kB Inactive: 1801356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25049604 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 6149424 kB Mapped: 24800 kB Slab: 128680 kB PageTables: 99372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 141005764 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73668 MiB End job on node138 at 2011-06-04 15:39:33