Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.14 | 1796.27 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo |
| MD5SUM | b2b0b6245f8ec2d35e44e032ffc67cea |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.791878 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6800 |
| Total number of constraints | 165 |
| Number of soft constraints | 110 |
| Number of constraints which are clauses | 85 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 85 |
| Top cost | 6303 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6302 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 86 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.29 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.29 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.29 c See www.sat4j.org for details. 0.10/0.30 c version 2.3.1.v20110525 0.10/0.30 c java.runtime.name Java(TM) SE Runtime Environment 0.10/0.30 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.10/0.30 c java.vm.version 19.1-b02 0.10/0.30 c java.vm.vendor Sun Microsystems Inc. 0.10/0.30 c sun.arch.data.model 64 0.10/0.30 c java.version 1.6.0_24 0.10/0.30 c os.name Linux 0.10/0.30 c os.version 2.6.18-164.el5 0.10/0.30 c os.arch amd64 0.10/0.30 c Free memory 9996466904 0.10/0.30 c Max memory 10048897024 0.10/0.30 c Total memory 10048897024 0.10/0.30 c Number of processors 8 0.10/0.33 c Pseudo Boolean Optimization 0.10/0.33 c --- Begin Solver configuration --- 0.10/0.33 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.33 c Learn all clauses as in MiniSAT 0.10/0.33 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.33 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.33 c Expensive reason simplification 0.10/0.33 c Armin Biere (Picosat) restarts strategy 0.10/0.33 c Glucose learned constraints deletion strategy 0.10/0.33 c timeout=2147483s 0.10/0.33 c DB Simplification allowed=false 0.10/0.33 c --- End Solver configuration --- 0.10/0.33 c solving HOME/instance-3492295-1307908985.wbo 0.10/0.33 c reading problem ... 0.50/0.52 c ... done. Wall clock time 0.189s. 0.50/0.52 c #vars 6910 0.50/0.52 c #constraints 165 0.50/0.52 c constraints type 0.50/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 0.50/0.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 27 0.50/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 53 1.09/0.76 c SATISFIABLE 1.09/0.76 c OPTIMIZING... 1.09/0.76 c Got one! Elapsed wall clock time (in seconds):0.428 1.09/0.76 o 212 1.32/0.87 c Got one! Elapsed wall clock time (in seconds):0.535 1.32/0.87 o 94 1.44/0.97 c Got one! Elapsed wall clock time (in seconds):0.64 1.44/0.97 o 39 1.86/1.34 c Got one! Elapsed wall clock time (in seconds):1.009 1.86/1.34 o 31 2.57/2.03 c Got one! Elapsed wall clock time (in seconds):1.698 2.57/2.03 o 25 3.67/3.13 c Got one! Elapsed wall clock time (in seconds):2.798 3.67/3.13 o 24 4.57/4.02 c Got one! Elapsed wall clock time (in seconds):3.686 4.57/4.02 o 18 5.77/5.28 c cleaning 4367 clauses out of 8739 with flag 2001/8739 5.91/5.39 c Got one! Elapsed wall clock time (in seconds):5.06 5.91/5.39 o 8 7.25/6.65 c Got one! Elapsed wall clock time (in seconds):6.319 7.25/6.65 o 1 10.05/9.48 c cleaning 5240 clauses out of 10497 with flag 4000/14864 13.78/13.18 c cleaning 5627 clauses out of 11257 with flag 10000/20864 19.34/18.68 c cleaning 6296 clauses out of 12632 with flag 17002/27866 26.50/25.75 c cleaning 7138 clauses out of 14336 with flag 25002/35866 34.71/34.00 c cleaning 8068 clauses out of 16197 with flag 34001/44865 42.91/42.13 c cleaning 9037 clauses out of 18128 with flag 44000/54864 53.02/52.27 c cleaning 9520 clauses out of 19091 with flag 54000/64864 64.45/63.67 c cleaning 9751 clauses out of 19576 with flag 64005/74869 73.06/72.24 c cleaning 9875 clauses out of 19820 with flag 74000/84864 82.78/81.97 c cleaning 9944 clauses out of 19945 with flag 84000/94864 94.59/93.72 c cleaning 9974 clauses out of 20003 with flag 94002/104866 108.31/107.46 c cleaning 9967 clauses out of 20027 with flag 104000/114864 116.35/115.44 c cleaning 9996 clauses out of 20060 with flag 114000/124864 126.36/125.46 c cleaning 9998 clauses out of 20064 with flag 124000/134864 139.07/138.11 c cleaning 10012 clauses out of 20070 with flag 134004/144868 153.98/153.00 c cleaning 9986 clauses out of 20054 with flag 144000/154864 169.61/168.62 c cleaning 9994 clauses out of 20068 with flag 154000/164864 182.83/181.87 c cleaning 10018 clauses out of 20079 with flag 164005/174869 190.56/189.53 c cleaning 10024 clauses out of 20057 with flag 174001/184865 199.57/198.58 c cleaning 9983 clauses out of 20033 with flag 184001/194865 214.69/213.64 c cleaning 9961 clauses out of 20051 with flag 194002/204866 228.31/227.21 c cleaning 9991 clauses out of 20089 with flag 204001/214865 242.83/241.74 c cleaning 9996 clauses out of 20098 with flag 214001/224865 253.55/252.45 c cleaning 10024 clauses out of 20102 with flag 224001/234865 260.87/259.75 c cleaning 10010 clauses out of 20078 with flag 234001/244865 268.69/267.55 c cleaning 10006 clauses out of 20068 with flag 244001/254865 275.71/274.54 c cleaning 9996 clauses out of 20061 with flag 254000/264864 286.03/284.87 c cleaning 10007 clauses out of 20065 with flag 264000/274864 296.64/295.41 c cleaning 10008 clauses out of 20065 with flag 274007/284871 311.66/310.40 c cleaning 9992 clauses out of 20051 with flag 284001/294865 325.79/324.53 c cleaning 10008 clauses out of 20059 with flag 294001/304865 342.10/340.86 c cleaning 10009 clauses out of 20053 with flag 304003/314867 349.42/348.12 c cleaning 9991 clauses out of 20043 with flag 314002/324866 355.95/354.64 c cleaning 10001 clauses out of 20053 with flag 324003/334867 364.56/363.23 c cleaning 9998 clauses out of 20052 with flag 334003/344867 374.79/373.44 c cleaning 9988 clauses out of 20051 with flag 344000/354864 384.70/383.40 c cleaning 9971 clauses out of 20064 with flag 354001/364865 399.62/398.24 c cleaning 10003 clauses out of 20092 with flag 364000/374864 412.55/411.19 c cleaning 10002 clauses out of 20090 with flag 374001/384865 422.38/420.98 c cleaning 10016 clauses out of 20087 with flag 384000/394864 433.10/431.65 c cleaning 10007 clauses out of 20071 with flag 394000/404864 444.01/442.59 c cleaning 10001 clauses out of 20065 with flag 404001/414865 458.13/456.64 c cleaning 10006 clauses out of 20067 with flag 414004/424868 472.25/470.74 c cleaning 10000 clauses out of 20057 with flag 424000/434864 488.07/486.53 c cleaning 9992 clauses out of 20058 with flag 434001/444865 500.70/499.19 c cleaning 9989 clauses out of 20065 with flag 444000/454864 513.42/511.85 c cleaning 9998 clauses out of 20079 with flag 454003/464867 527.34/525.79 c cleaning 10003 clauses out of 20079 with flag 464001/474865 534.87/533.27 c cleaning 10017 clauses out of 20078 with flag 474003/484867 541.68/540.10 c cleaning 10005 clauses out of 20059 with flag 484001/494865 549.19/547.58 c cleaning 10004 clauses out of 20054 with flag 494001/504865 555.70/554.01 c cleaning 9998 clauses out of 20050 with flag 504001/514865 563.52/561.86 c cleaning 9987 clauses out of 20054 with flag 514003/524867 583.14/581.46 c cleaning 9948 clauses out of 20065 with flag 524001/534865 602.27/600.54 c cleaning 10004 clauses out of 20116 with flag 534000/544864 629.00/627.21 c cleaning 10030 clauses out of 20112 with flag 544000/554864 647.23/645.41 c cleaning 10022 clauses out of 20085 with flag 554003/564867 667.95/666.14 c cleaning 10010 clauses out of 20060 with flag 564000/574864 687.89/686.09 c cleaning 9995 clauses out of 20050 with flag 574000/584864 698.21/696.33 c cleaning 9992 clauses out of 20058 with flag 584003/594867 707.64/705.76 c cleaning 9990 clauses out of 20064 with flag 594001/604865 717.97/716.01 c cleaning 9995 clauses out of 20076 with flag 604003/614867 733.98/732.09 c cleaning 9991 clauses out of 20078 with flag 614000/624864 749.00/747.08 c cleaning 10010 clauses out of 20088 with flag 624001/634865 764.82/762.82 c cleaning 10004 clauses out of 20077 with flag 634000/644864 773.65/771.66 c cleaning 10015 clauses out of 20075 with flag 644002/654866 782.48/780.42 c cleaning 10006 clauses out of 20058 with flag 654000/664864 791.90/789.89 c cleaning 10003 clauses out of 20054 with flag 664002/674866 803.22/801.18 c cleaning 9963 clauses out of 20049 with flag 674000/684864 822.34/820.27 c cleaning 10011 clauses out of 20087 with flag 684001/694865 842.27/840.16 c cleaning 10002 clauses out of 20075 with flag 694000/704864 863.31/861.15 c cleaning 9991 clauses out of 20073 with flag 704000/714864 874.14/871.94 c cleaning 10025 clauses out of 20084 with flag 714002/724866 880.75/878.56 c cleaning 10008 clauses out of 20059 with flag 724002/734866 889.66/887.45 c cleaning 9978 clauses out of 20049 with flag 734000/744864 905.78/903.52 c cleaning 9992 clauses out of 20073 with flag 744002/754866 922.71/920.44 c cleaning 9995 clauses out of 20079 with flag 754000/764864 940.05/937.77 c cleaning 9994 clauses out of 20085 with flag 764001/774865 955.87/953.57 c cleaning 9998 clauses out of 20093 with flag 774003/784867 977.50/975.19 c cleaning 9957 clauses out of 20092 with flag 784000/794864 999.64/997.26 c cleaning 10036 clauses out of 20136 with flag 794001/804865 1018.38/1015.93 c cleaning 9989 clauses out of 20100 with flag 804001/814865 1041.01/1038.55 c cleaning 10022 clauses out of 20111 with flag 814001/824865 1063.44/1060.91 c cleaning 9922 clauses out of 20089 with flag 824001/834865 1087.67/1085.14 c cleaning 10061 clauses out of 20168 with flag 834002/844866 1109.71/1107.13 c cleaning 10017 clauses out of 20107 with flag 844002/854866 1130.85/1128.26 c cleaning 9980 clauses out of 20088 with flag 854000/864864 1156.08/1153.48 c cleaning 9960 clauses out of 20108 with flag 864000/874864 1173.31/1170.62 c cleaning 10035 clauses out of 20148 with flag 874000/884864 1183.35/1180.62 c cleaning 10055 clauses out of 20113 with flag 884000/894864 1193.97/1191.21 c cleaning 9997 clauses out of 20058 with flag 894000/904864 1207.49/1204.73 c cleaning 10008 clauses out of 20061 with flag 904000/914864 1224.31/1221.58 c cleaning 9999 clauses out of 20057 with flag 914004/924868 1240.94/1238.19 c cleaning 9997 clauses out of 20056 with flag 924002/934866 1253.58/1250.71 c cleaning 9997 clauses out of 20057 with flag 934000/944864 1261.60/1258.70 c cleaning 9997 clauses out of 20060 with flag 944000/954864 1270.71/1267.87 c cleaning 10005 clauses out of 20066 with flag 954003/964867 1280.24/1277.36 c cleaning 9987 clauses out of 20060 with flag 964002/974866 1295.36/1292.45 c cleaning 9984 clauses out of 20072 with flag 974001/984865 1309.88/1306.99 c cleaning 9986 clauses out of 20087 with flag 984000/994864 1322.40/1319.47 c cleaning 10024 clauses out of 20107 with flag 994006/1004870 1336.42/1333.42 c cleaning 10010 clauses out of 20079 with flag 1004002/1014866 1347.95/1344.96 c cleaning 10003 clauses out of 20068 with flag 1014001/1024865 1369.27/1366.22 c cleaning 9968 clauses out of 20068 with flag 1024004/1034868 1387.71/1384.64 c cleaning 10017 clauses out of 20097 with flag 1034001/1044865 1409.44/1406.39 c cleaning 10013 clauses out of 20080 with flag 1044001/1054865 1430.08/1426.93 c cleaning 9980 clauses out of 20068 with flag 1054002/1064866 1449.51/1446.38 c cleaning 9989 clauses out of 20086 with flag 1064000/1074864 1464.44/1461.23 c cleaning 9980 clauses out of 20098 with flag 1074001/1084865 1479.17/1475.99 c cleaning 9990 clauses out of 20117 with flag 1084000/1094864 1497.11/1493.83 c cleaning 9994 clauses out of 20129 with flag 1094002/1104866 1514.74/1511.47 c cleaning 10000 clauses out of 20133 with flag 1104000/1114864 1531.86/1528.55 c cleaning 9996 clauses out of 20134 with flag 1114001/1124865 1550.19/1546.83 c cleaning 9997 clauses out of 20138 with flag 1124001/1134865 1568.32/1564.91 c cleaning 10004 clauses out of 20141 with flag 1134001/1144865 1584.83/1581.41 c cleaning 9999 clauses out of 20136 with flag 1144000/1154864 1603.76/1600.31 c cleaning 9996 clauses out of 20138 with flag 1154001/1164865 1622.19/1618.75 c cleaning 9988 clauses out of 20142 with flag 1164001/1174865 1635.32/1631.83 c cleaning 10022 clauses out of 20154 with flag 1174001/1184865 1658.95/1655.41 c cleaning 10008 clauses out of 20131 with flag 1184000/1194864 1674.98/1671.41 c cleaning 10009 clauses out of 20124 with flag 1194001/1204865 1693.02/1689.41 c cleaning 10012 clauses out of 20117 with flag 1204003/1214867 1712.15/1708.59 c cleaning 9976 clauses out of 20104 with flag 1214002/1224866 1728.78/1725.14 c cleaning 10029 clauses out of 20126 with flag 1224000/1234864 1746.21/1742.51 c cleaning 10020 clauses out of 20098 with flag 1234001/1244865 1773.83/1770.13 c cleaning 10010 clauses out of 20078 with flag 1244001/1254865 1791.19/1787.49 c cleaning 10006 clauses out of 20067 with flag 1254000/1264864 1800.02/1796.22 c starts : 199 1800.02/1796.22 c conflicts : 1269841 1800.02/1796.22 c decisions : 2665643 1800.02/1796.22 c propagations : 73074323 1800.02/1796.22 c inspects : 1547233837 1800.02/1796.22 c shortcuts : 0 1800.02/1796.22 c learnt literals : 0 1800.02/1796.22 c learnt binary clauses : 0 1800.02/1796.22 c learnt ternary clauses : 0 1800.02/1796.22 c learnt constraints : 1269841 1800.02/1796.22 c ignored constraints : 0 1800.02/1796.22 c root simplifications : 0 1800.02/1796.22 c removed literals (reason simplification) : 7628308 1800.02/1796.22 c reason swapping (by a shorter reason) : 0 1800.02/1796.22 c Calls to reduceDB : 128 1800.02/1796.22 c number of reductions to clauses (during analyze) : 0 1800.02/1796.22 c number of learned constraints concerned by reduction : 0 1800.02/1796.22 c number of learning phase by resolution : 0 1800.02/1796.22 c number of learning phase by cutting planes : 0 1800.02/1796.22 c speed (assignments/second) : 40833.52956329659 1800.02/1796.22 c non guided choices 302271 1800.02/1796.23 c learnt constraints type 1800.02/1796.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15040 1800.02/1796.23 c constraints type 1800.02/1796.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 1800.02/1796.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 27 1800.02/1796.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 54 1800.02/1796.23 s SATISFIABLE 1800.02/1796.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 1800.02/1796.25 c objective function=1 1800.02/1796.25 c Total wall clock time (in seconds): 1795.917
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492295-1307908985/watcher-3492295-1307908985 -o /var/tmp/evaluation-result-3492295-1307908985/solver-3492295-1307908985 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492295-1307908985.wbo 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: 1.31 1.77 1.84 3/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=2464 CPUtime=0 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4194304 91 0 1 0 0 0 0 0 17 0 1 0 358507868 2523136 44 33554432000 1073741824 1073778376 140734541065024 18446744073709551615 218875641412 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0 /proc/11254/statm: 882 44 35 9 0 27 0 [startup+0.024621 s] /proc/loadavg: 1.31 1.77 1.84 3/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/11254/stat : 11254 (java) D 11250 11254 8717 0 -1 4202496 462 0 4 0 0 0 0 0 17 0 1 0 358507868 23580672 208 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218875602709 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 0 /proc/11254/statm: 5757 208 163 9 0 124 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23028 [startup+0.100634 s] /proc/loadavg: 1.31 1.77 1.84 3/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=28384 CPUtime=0 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 1122 0 58 0 0 0 0 0 17 0 2 0 358507868 29065216 906 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 7096 906 688 9 0 381 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28384 [startup+0.300536 s] /proc/loadavg: 1.31 1.77 1.84 3/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10540100 CPUtime=0.1 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 12678 0 116 0 8 2 0 0 17 0 18 0 358507868 10793062400 12462 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2635025 12463 2053 9 0 2625759 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540100 [startup+0.70049 s] /proc/loadavg: 1.31 1.77 1.84 3/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10548852 CPUtime=1.09 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 20239 0 116 0 107 2 0 0 17 0 19 0 358507868 10802024448 19103 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2637213 19103 2224 9 0 2627947 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 10548852 [startup+1.5014 s] /proc/loadavg: 1.31 1.77 1.84 3/214 11292 /proc/meminfo: memFree=1356816/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10548852 CPUtime=2.07 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 22306 0 116 0 204 3 0 0 17 0 19 0 358507868 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2637213 21170 2228 9 0 2627947 0 [pid=11254/tid=11257] ppid=11250 vsize=10548852 CPUtime=1.27 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 16625 0 55 0 125 2 0 0 20 0 19 0 358507878 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505725402 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 358507887 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 358507888 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 358507888 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10548852 CPUtime=0.39 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 1924 0 2 0 39 0 0 0 15 0 19 0 358507894 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10548852 CPUtime=0.38 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2651 0 2 0 38 0 0 0 15 0 19 0 358507894 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10802024448 21170 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 10548852 [startup+3.10112 s] /proc/loadavg: 1.36 1.77 1.84 4/214 11292 /proc/meminfo: memFree=1344044/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10548852 CPUtime=3.67 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 24893 0 116 0 364 3 0 0 17 0 19 0 358507868 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2637213 23756 2228 9 0 2627947 0 [pid=11254/tid=11257] ppid=11250 vsize=10548852 CPUtime=2.87 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 19211 0 55 0 285 2 0 0 25 0 19 0 358507878 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505726096 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 358507887 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 358507888 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 358507888 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10548852 CPUtime=0.39 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 1924 0 2 0 39 0 0 0 15 0 19 0 358507894 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10548852 CPUtime=0.38 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2651 0 2 0 38 0 0 0 15 0 19 0 358507894 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10548852 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10802024448 23756 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.67 Current children cumulated vsize (KiB) 10548852 [startup+6.30048 s] /proc/loadavg: 1.36 1.77 1.84 6/214 11292 /proc/meminfo: memFree=1278860/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10546556 CPUtime=6.95 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 34812 0 116 0 691 4 0 0 17 0 19 0 358507868 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2636639 33063 2253 9 0 2627373 0 [pid=11254/tid=11257] ppid=11250 vsize=10546556 CPUtime=6.03 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 22326 0 55 0 601 2 0 0 25 0 19 0 358507878 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505692976 0 4 0 16800975 0 0 0 -1 7 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 1312 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 1067 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10546556 CPUtime=0.01 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 3388 0 0 0 1 0 0 0 16 0 19 0 358507887 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10546556 CPUtime=0.42 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 1931 0 2 0 42 0 0 0 16 0 19 0 358507894 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10546556 CPUtime=0.43 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2662 0 2 0 43 0 0 0 16 0 19 0 358507894 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10799673344 33063 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6.95 Current children cumulated vsize (KiB) 10546556 [startup+12.7014 s] ################ # More data... # ################ [pid=11254/tid=11271] ppid=11250 vsize=10546556 CPUtime=0.52 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 5969 0 0 0 52 0 0 0 15 0 19 0 358507884 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10546556 CPUtime=0.48 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 4335 0 0 0 47 1 0 0 15 0 19 0 358507884 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10546556 CPUtime=0.47 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 6165 0 0 0 46 1 0 0 16 0 19 0 358507884 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10546556 CPUtime=4.54 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 20883 0 0 0 450 4 0 0 15 0 19 0 358507887 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10546556 CPUtime=0.55 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 4567 0 2 0 55 0 0 0 15 0 19 0 358507894 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10546556 CPUtime=0.45 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2664 0 2 0 45 0 0 0 15 0 19 0 358507894 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 358507894 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10799673344 100029 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1665.88 Current children cumulated vsize (KiB) 10546556 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.92 4/214 11341 /proc/meminfo: memFree=769832/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10546556 CPUtime=1725.98 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 104709 0 116 0 172579 19 0 0 17 0 19 0 358507868 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2636639 100036 2254 9 0 2627373 0 [pid=11254/tid=11257] ppid=11250 vsize=10546556 CPUtime=1716.27 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 32808 0 55 0 171622 5 0 0 25 0 19 0 358507878 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505788864 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10546556 CPUtime=0.46 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 5801 0 0 0 45 1 0 0 15 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10546556 CPUtime=0.44 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 4193 0 0 0 44 0 0 0 15 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10546556 CPUtime=0.47 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 7299 0 0 0 46 1 0 0 15 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10546556 CPUtime=0.56 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 3554 0 0 0 56 0 0 0 16 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10546556 CPUtime=0.44 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 5268 0 0 0 44 0 0 0 15 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10546556 CPUtime=0.56 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 5971 0 0 0 56 0 0 0 16 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10546556 CPUtime=0.49 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 4335 0 0 0 48 1 0 0 15 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10546556 CPUtime=0.49 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 6165 0 0 0 48 1 0 0 16 0 19 0 358507884 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10546556 CPUtime=4.68 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 20885 0 0 0 464 4 0 0 15 0 19 0 358507887 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10546556 CPUtime=0.55 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 4567 0 2 0 55 0 0 0 15 0 19 0 358507894 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10546556 CPUtime=0.45 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2664 0 2 0 45 0 0 0 15 0 19 0 358507894 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 358507894 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10799673344 100036 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1725.98 Current children cumulated vsize (KiB) 10546556 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 1.93 4/214 11342 /proc/meminfo: memFree=761080/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10546556 CPUtime=1786.08 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 106710 0 116 0 178588 20 0 0 17 0 19 0 358507868 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2636639 102027 2254 9 0 2627373 0 [pid=11254/tid=11257] ppid=11250 vsize=10546556 CPUtime=1776.11 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 33836 0 55 0 177606 5 0 0 25 0 19 0 358507878 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505726075 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10546556 CPUtime=0.48 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 6005 0 0 0 47 1 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10546556 CPUtime=0.46 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 4195 0 0 0 46 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10546556 CPUtime=0.49 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 7549 0 0 0 48 1 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10546556 CPUtime=0.56 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 3588 0 0 0 56 0 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10546556 CPUtime=0.46 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 5490 0 0 0 46 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10546556 CPUtime=0.59 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 6226 0 0 0 59 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10546556 CPUtime=0.5 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 4335 0 0 0 49 1 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10546556 CPUtime=0.5 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 6165 0 0 0 49 1 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10546556 CPUtime=4.8 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 20889 0 0 0 476 4 0 0 15 0 19 0 358507887 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10546556 CPUtime=0.55 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 4567 0 2 0 55 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10546556 CPUtime=0.45 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2664 0 2 0 45 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1786.08 Current children cumulated vsize (KiB) 10546556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 2.09 2.03 1.93 4/214 11343 /proc/meminfo: memFree=761156/32950928 swapFree=67054688/67111528 [pid=11254] ppid=11250 vsize=10546556 CPUtime=1800.02 cores=1,3,5,7 /proc/11254/stat : 11254 (java) S 11250 11254 8717 0 -1 4202496 106713 0 116 0 179982 20 0 0 17 0 19 0 358507868 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 /proc/11254/statm: 2636639 102027 2254 9 0 2627373 0 [pid=11254/tid=11257] ppid=11250 vsize=10546556 CPUtime=1789.96 cores=1,3,5,7 /proc/11254/task/11257/stat : 11257 (java) R 11250 11254 8717 0 -1 4202560 33837 0 55 0 178991 5 0 0 25 0 19 0 358507878 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 46912505692956 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=11254/tid=11260] ppid=11250 vsize=10546556 CPUtime=0.49 cores=1,3,5,7 /proc/11254/task/11260/stat : 11260 (java) S 11250 11254 8717 0 -1 4202560 6005 0 0 0 48 1 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11263] ppid=11250 vsize=10546556 CPUtime=0.46 cores=1,3,5,7 /proc/11254/task/11263/stat : 11263 (java) S 11250 11254 8717 0 -1 4202560 4195 0 0 0 46 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11265] ppid=11250 vsize=10546556 CPUtime=0.49 cores=1,3,5,7 /proc/11254/task/11265/stat : 11265 (java) S 11250 11254 8717 0 -1 4202560 7549 0 0 0 48 1 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11267] ppid=11250 vsize=10546556 CPUtime=0.56 cores=1,3,5,7 /proc/11254/task/11267/stat : 11267 (java) S 11250 11254 8717 0 -1 4202560 3588 0 0 0 56 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11269] ppid=11250 vsize=10546556 CPUtime=0.47 cores=1,3,5,7 /proc/11254/task/11269/stat : 11269 (java) S 11250 11254 8717 0 -1 4202560 5490 0 0 0 47 0 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11271] ppid=11250 vsize=10546556 CPUtime=0.59 cores=1,3,5,7 /proc/11254/task/11271/stat : 11271 (java) S 11250 11254 8717 0 -1 4202560 6226 0 0 0 59 0 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11273] ppid=11250 vsize=10546556 CPUtime=0.5 cores=1,3,5,7 /proc/11254/task/11273/stat : 11273 (java) S 11250 11254 8717 0 -1 4202560 4335 0 0 0 49 1 0 0 15 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11274] ppid=11250 vsize=10546556 CPUtime=0.51 cores=1,3,5,7 /proc/11254/task/11274/stat : 11274 (java) S 11250 11254 8717 0 -1 4202560 6165 0 0 0 50 1 0 0 16 0 19 0 358507884 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 5 0 0 0 [pid=11254/tid=11275] ppid=11250 vsize=10546556 CPUtime=4.86 cores=1,3,5,7 /proc/11254/task/11275/stat : 11275 (java) S 11250 11254 8717 0 -1 4202560 20889 0 0 0 482 4 0 0 15 0 19 0 358507887 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 0 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11278] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11278/stat : 11278 (java) S 11250 11254 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11280] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11280/stat : 11280 (java) S 11250 11254 8717 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 358507888 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11282] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11282/stat : 11282 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892388785 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11284] ppid=11250 vsize=10546556 CPUtime=0.55 cores=1,3,5,7 /proc/11254/task/11284/stat : 11284 (java) S 11250 11254 8717 0 -1 4202560 4567 0 2 0 55 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11286] ppid=11250 vsize=10546556 CPUtime=0.45 cores=1,3,5,7 /proc/11254/task/11286/stat : 11286 (java) S 11250 11254 8717 0 -1 4202560 2664 0 2 0 45 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 3 0 0 0 [pid=11254/tid=11288] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11288/stat : 11288 (java) S 11250 11254 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381081 0 4 0 16800975 18446604469681228608 0 0 -1 7 0 0 0 [pid=11254/tid=11290] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11290/stat : 11290 (java) S 11250 11254 8717 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 358507894 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 [pid=11254/tid=11292] ppid=11250 vsize=10546556 CPUtime=0 cores=1,3,5,7 /proc/11254/task/11292/stat : 11292 (java) S 11250 11254 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507922 10799673344 102027 33554432000 1073741824 1073778376 140737027919952 18446744073709551615 218892381696 0 4 0 16800975 18446604469681228608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 10546556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1796.27 CPU time (s): 1800.14 CPU user time (s): 1799.92 CPU system time (s): 0.219966 CPU usage (%): 100.215 Max. virtual memory (cumulated for all children) (KiB): 10548852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.219966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106854 page faults= 116 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41164 involuntary context switches= 9429 runsolver used 2.91656 second user time and 6.91095 second system time The end
Begin job on node112 at 2011-06-12 22:03:05 IDJOB=3492295 IDBENCH=78733 IDSOLVER=1982 FILE ID=node112/3492295-1307908985 RUNJOBID= node112-1307908984-11228 PBS_JOBID= 13559592 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492295-1307908985/watcher-3492295-1307908985 -o /var/tmp/evaluation-result-3492295-1307908985/solver-3492295-1307908985 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492295-1307908985.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b2b0b6245f8ec2d35e44e032ffc67cea RANDOM SEED=890541090 node112.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.847 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.69 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.847 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 : 5180.45 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.847 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.76 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.847 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.82 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.847 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.61 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.847 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.83 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.847 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.74 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.847 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 1509060 kB Buffers: 62224 kB Cached: 30412256 kB SwapCached: 10436 kB Active: 15693684 kB Inactive: 14798776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 1509060 kB SwapTotal: 67111528 kB SwapFree: 67054688 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 16188 kB Mapped: 9024 kB Slab: 884536 kB PageTables: 3620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 184684 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 /var/tmp at the end= 2884 MiB End job on node112 at 2011-06-12 22:33:03