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.21 | 1796.47 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo |
| MD5SUM | 228cdf77c38c729452a9edca6134d7b0 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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.461929 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6480 |
| Total number of constraints | 161 |
| Number of soft constraints | 161 |
| Number of constraints which are clauses | 81 |
| 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 | 81 |
| Top cost | 8472 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 8471 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492595-1307910932.wbo 0.10/0.11 c reading problem ... 0.55/0.35 c ... done. Wall clock time 0.186s. 0.55/0.35 c #vars 6641 0.55/0.35 c #constraints 161 0.55/0.35 c constraints type 0.55/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81 0.55/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80 1.13/0.51 c SATISFIABLE 1.13/0.51 c OPTIMIZING... 1.13/0.51 c Got one! Elapsed wall clock time (in seconds):0.406 1.13/0.51 o 95 1.13/0.55 c Got one! Elapsed wall clock time (in seconds):0.444 1.13/0.55 o 35 1.41/0.71 c Got one! Elapsed wall clock time (in seconds):0.605 1.41/0.71 o 4 1.54/0.80 c Got one! Elapsed wall clock time (in seconds):0.693 1.54/0.80 o 1 4.21/3.56 c cleaning 3104 clauses out of 6283 with flag 5001/6283 9.77/8.82 c cleaning 4544 clauses out of 9179 with flag 11001/12283 15.39/14.40 c cleaning 5793 clauses out of 11634 with flag 18000/19282 21.69/20.77 c cleaning 6869 clauses out of 13842 with flag 26001/27283 29.74/28.77 c cleaning 7941 clauses out of 15972 with flag 35000/36282 38.34/37.30 c cleaning 8976 clauses out of 18033 with flag 45002/46284 46.85/45.86 c cleaning 9462 clauses out of 19055 with flag 55000/56282 55.66/54.61 c cleaning 9753 clauses out of 19594 with flag 65001/66283 63.56/62.53 c cleaning 9887 clauses out of 19841 with flag 75001/76283 70.77/69.75 c cleaning 9911 clauses out of 19955 with flag 85002/86284 79.98/78.99 c cleaning 9956 clauses out of 20042 with flag 95000/96282 90.59/89.56 c cleaning 9987 clauses out of 20089 with flag 105003/106285 101.31/100.24 c cleaning 9999 clauses out of 20101 with flag 115002/116284 109.53/108.48 c cleaning 10017 clauses out of 20101 with flag 125001/126283 120.05/118.96 c cleaning 10005 clauses out of 20086 with flag 135003/136285 133.75/132.65 c cleaning 10009 clauses out of 20080 with flag 145002/146284 149.27/148.13 c cleaning 10001 clauses out of 20073 with flag 155004/156286 163.31/162.19 c cleaning 9983 clauses out of 20068 with flag 165000/166282 173.63/172.43 c cleaning 9962 clauses out of 20089 with flag 175004/176286 182.25/181.01 c cleaning 9998 clauses out of 20127 with flag 185004/186286 195.47/194.24 c cleaning 9975 clauses out of 20127 with flag 195002/196284 211.28/210.04 c cleaning 9958 clauses out of 20150 with flag 205000/206282 227.20/225.95 c cleaning 10068 clauses out of 20192 with flag 215000/216282 247.22/245.90 c cleaning 10027 clauses out of 20124 with flag 225000/226282 261.16/259.85 c cleaning 10021 clauses out of 20098 with flag 235001/236283 276.49/275.18 c cleaning 10009 clauses out of 20077 with flag 245001/246283 294.61/293.20 c cleaning 9980 clauses out of 20068 with flag 255001/256283 304.15/302.75 c cleaning 10001 clauses out of 20087 with flag 265000/266282 312.36/310.99 c cleaning 9998 clauses out of 20087 with flag 275001/276283 323.26/321.83 c cleaning 9989 clauses out of 20088 with flag 285000/286282 344.78/343.35 c cleaning 9995 clauses out of 20099 with flag 295000/296282 356.90/355.49 c cleaning 9998 clauses out of 20104 with flag 305000/306282 373.42/371.94 c cleaning 9969 clauses out of 20106 with flag 315000/316282 382.25/380.75 c cleaning 10023 clauses out of 20139 with flag 325002/326284 392.95/391.43 c cleaning 10007 clauses out of 20114 with flag 335000/336282 402.67/401.15 c cleaning 10004 clauses out of 20108 with flag 345001/346283 412.28/410.71 c cleaning 10033 clauses out of 20105 with flag 355002/356284 421.90/420.34 c cleaning 10016 clauses out of 20070 with flag 365000/366282 432.01/430.42 c cleaning 10008 clauses out of 20055 with flag 375001/376283 441.33/439.76 c cleaning 10003 clauses out of 20046 with flag 385000/386282 448.25/446.65 c cleaning 9968 clauses out of 20045 with flag 395002/396284 455.85/454.26 c cleaning 9989 clauses out of 20075 with flag 405000/406282 465.16/463.58 c cleaning 10006 clauses out of 20087 with flag 415001/416283 480.57/478.94 c cleaning 10017 clauses out of 20081 with flag 425001/426283 494.00/492.34 c cleaning 9998 clauses out of 20063 with flag 435000/436282 508.11/506.42 c cleaning 10001 clauses out of 20065 with flag 445000/446282 515.83/514.12 c cleaning 10004 clauses out of 20065 with flag 455001/456283 522.44/520.70 c cleaning 10002 clauses out of 20060 with flag 465000/466282 530.05/528.37 c cleaning 10000 clauses out of 20058 with flag 475000/476282 535.77/534.06 c cleaning 10012 clauses out of 20058 with flag 485000/486282 547.98/546.25 c cleaning 10004 clauses out of 20046 with flag 495000/496282 566.40/564.61 c cleaning 9983 clauses out of 20042 with flag 505000/506282 583.92/582.15 c cleaning 10012 clauses out of 20059 with flag 515000/516282 596.54/594.77 c cleaning 9993 clauses out of 20047 with flag 525000/526282 611.77/609.99 c cleaning 9998 clauses out of 20056 with flag 535002/536284 628.39/626.57 c cleaning 9994 clauses out of 20057 with flag 545001/546283 644.32/642.43 c cleaning 9997 clauses out of 20066 with flag 555004/556286 660.03/658.11 c cleaning 9997 clauses out of 20068 with flag 565003/566285 675.45/673.54 c cleaning 10002 clauses out of 20068 with flag 575000/576282 693.77/691.81 c cleaning 9992 clauses out of 20066 with flag 585000/586282 701.89/699.92 c cleaning 9992 clauses out of 20076 with flag 595002/596284 710.20/708.28 c cleaning 9997 clauses out of 20083 with flag 605001/606283 722.01/720.03 c cleaning 9992 clauses out of 20087 with flag 615002/616284 742.43/740.41 c cleaning 9988 clauses out of 20095 with flag 625002/626284 759.24/757.20 c cleaning 9992 clauses out of 20108 with flag 635003/636285 774.86/772.83 c cleaning 10020 clauses out of 20114 with flag 645001/646283 785.99/783.97 c cleaning 10009 clauses out of 20094 with flag 655001/656283 796.92/794.82 c cleaning 10003 clauses out of 20084 with flag 665000/666282 806.53/804.49 c cleaning 10010 clauses out of 20085 with flag 675004/676286 816.84/814.73 c cleaning 10024 clauses out of 20074 with flag 685003/686285 830.76/828.67 c cleaning 10011 clauses out of 20050 with flag 695003/696285 841.89/839.76 c cleaning 10007 clauses out of 20040 with flag 705004/706286 851.81/849.63 c cleaning 9997 clauses out of 20030 with flag 715001/716283 858.72/856.57 c cleaning 9991 clauses out of 20034 with flag 725002/726284 866.03/863.82 c cleaning 9994 clauses out of 20041 with flag 735000/736282 874.35/872.13 c cleaning 9999 clauses out of 20052 with flag 745005/746287 880.97/878.73 c cleaning 9998 clauses out of 20049 with flag 755001/756283 888.38/886.14 c cleaning 10002 clauses out of 20054 with flag 765004/766286 895.20/892.93 c cleaning 9994 clauses out of 20050 with flag 775002/776284 901.81/899.56 c cleaning 9987 clauses out of 20054 with flag 785000/786282 913.92/911.60 c cleaning 9995 clauses out of 20069 with flag 795002/796284 926.75/924.41 c cleaning 10019 clauses out of 20073 with flag 805001/806283 939.87/937.53 c cleaning 10010 clauses out of 20053 with flag 815000/816282 960.19/957.80 c cleaning 9976 clauses out of 20043 with flag 825000/826282 979.23/976.86 c cleaning 10021 clauses out of 20069 with flag 835002/836284 993.55/991.16 c cleaning 10011 clauses out of 20049 with flag 845003/846285 1007.78/1005.40 c cleaning 9970 clauses out of 20035 with flag 855000/856282 1023.41/1020.98 c cleaning 9996 clauses out of 20065 with flag 865000/866282 1037.54/1035.02 c cleaning 10019 clauses out of 20070 with flag 875001/876283 1047.26/1044.74 c cleaning 9996 clauses out of 20050 with flag 885000/886282 1054.98/1052.43 c cleaning 9984 clauses out of 20055 with flag 895001/896283 1064.11/1061.52 c cleaning 9989 clauses out of 20070 with flag 905000/906282 1077.01/1074.47 c cleaning 10008 clauses out of 20081 with flag 915000/916282 1091.64/1089.03 c cleaning 9994 clauses out of 20074 with flag 925001/926283 1106.86/1104.27 c cleaning 9999 clauses out of 20081 with flag 935002/936284 1115.90/1113.23 c cleaning 10014 clauses out of 20081 with flag 945001/946283 1123.31/1120.67 c cleaning 9995 clauses out of 20068 with flag 955002/956284 1135.32/1132.63 c cleaning 10011 clauses out of 20071 with flag 965000/966282 1144.84/1142.12 c cleaning 10005 clauses out of 20061 with flag 975001/976283 1153.85/1151.15 c cleaning 10000 clauses out of 20056 with flag 985001/986283 1164.07/1161.37 c cleaning 9999 clauses out of 20055 with flag 995000/996282 1174.08/1171.33 c cleaning 9988 clauses out of 20057 with flag 1005001/1006283 1185.49/1182.72 c cleaning 9996 clauses out of 20068 with flag 1015000/1016282 1194.41/1191.69 c cleaning 9997 clauses out of 20072 with flag 1025000/1026282 1204.32/1201.52 c cleaning 10003 clauses out of 20075 with flag 1035000/1036282 1213.53/1210.76 c cleaning 9997 clauses out of 20072 with flag 1045000/1046282 1223.95/1221.11 c cleaning 10004 clauses out of 20079 with flag 1055004/1056286 1233.77/1230.99 c cleaning 10001 clauses out of 20079 with flag 1065008/1066290 1244.78/1241.96 c cleaning 9995 clauses out of 20070 with flag 1075000/1076282 1256.19/1253.34 c cleaning 10010 clauses out of 20078 with flag 1085003/1086285 1267.21/1264.39 c cleaning 9993 clauses out of 20065 with flag 1095000/1096282 1279.93/1277.01 c cleaning 9993 clauses out of 20075 with flag 1105003/1106285 1293.05/1290.12 c cleaning 10013 clauses out of 20080 with flag 1115001/1116283 1306.68/1303.75 c cleaning 9978 clauses out of 20068 with flag 1125002/1126284 1320.70/1317.80 c cleaning 9999 clauses out of 20089 with flag 1135001/1136283 1335.71/1332.72 c cleaning 10006 clauses out of 20091 with flag 1145002/1146284 1349.14/1346.10 c cleaning 10017 clauses out of 20083 with flag 1155000/1156282 1364.26/1361.27 c cleaning 9986 clauses out of 20066 with flag 1165000/1166282 1378.58/1375.60 c cleaning 9979 clauses out of 20081 with flag 1175001/1176283 1387.10/1384.09 c cleaning 10000 clauses out of 20102 with flag 1185001/1186283 1397.52/1394.40 c cleaning 10008 clauses out of 20101 with flag 1195000/1196282 1414.74/1411.66 c cleaning 9959 clauses out of 20093 with flag 1205000/1206282 1443.95/1440.85 c cleaning 9959 clauses out of 20136 with flag 1215002/1216284 1472.82/1469.68 c cleaning 10044 clauses out of 20175 with flag 1225000/1226282 1500.76/1497.58 c cleaning 9970 clauses out of 20132 with flag 1235001/1236283 1531.10/1527.89 c cleaning 10033 clauses out of 20162 with flag 1245001/1246283 1556.15/1552.80 c cleaning 10002 clauses out of 20128 with flag 1255000/1256282 1580.09/1576.75 c cleaning 9991 clauses out of 20128 with flag 1265002/1266284 1605.23/1601.81 c cleaning 9998 clauses out of 20137 with flag 1275002/1276284 1633.24/1629.88 c cleaning 9988 clauses out of 20139 with flag 1285002/1286284 1659.87/1656.42 c cleaning 10022 clauses out of 20150 with flag 1295001/1296283 1686.89/1683.48 c cleaning 10019 clauses out of 20130 with flag 1305003/1306285 1709.32/1705.83 c cleaning 9996 clauses out of 20108 with flag 1315000/1316282 1732.33/1728.81 c cleaning 9995 clauses out of 20115 with flag 1325003/1326285 1738.76/1735.24 c cleaning 10009 clauses out of 20121 with flag 1335004/1336286 1747.28/1743.70 c cleaning 10007 clauses out of 20108 with flag 1345000/1346282 1757.89/1754.37 c cleaning 10003 clauses out of 20103 with flag 1355002/1356284 1769.91/1766.38 c cleaning 10000 clauses out of 20099 with flag 1365001/1366283 1786.74/1783.15 c cleaning 10006 clauses out of 20100 with flag 1375002/1376284 1800.08/1796.42 c starts : 209 1800.08/1796.42 c conflicts : 1385116 1800.08/1796.42 c decisions : 2860368 1800.08/1796.42 c propagations : 61054679 1800.08/1796.42 c inspects : 1805225082 1800.08/1796.42 c shortcuts : 0 1800.08/1796.42 c learnt literals : 0 1800.08/1796.42 c learnt binary clauses : 0 1800.08/1796.42 c learnt ternary clauses : 0 1800.08/1796.42 c learnt constraints : 1385115 1800.08/1796.42 c ignored constraints : 0 1800.08/1796.42 c root simplifications : 0 1800.08/1796.42 c removed literals (reason simplification) : 8227334 1800.08/1796.42 c reason swapping (by a shorter reason) : 0 1800.08/1796.42 c Calls to reduceDB : 139 1800.08/1796.42 c number of reductions to clauses (during analyze) : 0 1800.08/1796.42 c number of learned constraints concerned by reduction : 0 1800.08/1796.42 c number of learning phase by resolution : 0 1800.08/1796.42 c number of learning phase by cutting planes : 0 1800.08/1796.42 c speed (assignments/second) : 34002.11793848789 1800.08/1796.42 c non guided choices 328719 1800.08/1796.43 c learnt constraints type 1800.08/1796.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18940 1800.08/1796.43 c constraints type 1800.08/1796.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81 1800.08/1796.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81 1800.08/1796.43 s SATISFIABLE 1800.08/1796.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -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 1800.08/1796.44 c objective function=1 1800.08/1796.44 c Total wall clock time (in seconds): 1796.336
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 /tmp/evaluation-result-3492595-1307910932/watcher-3492595-1307910932 -o /tmp/evaluation-result-3492595-1307910932/solver-3492595-1307910932 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492595-1307910932.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.02 1.91 2/193 9163 /proc/meminfo: memFree=31062088/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=20456 CPUtime=0 cores=0,2,4,6 /proc/9163/stat : 9163 (java) R 9161 9163 6878 0 -1 4202496 440 0 0 0 0 0 0 0 25 0 1 0 902691840 20946944 183 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242970242768 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/9163/statm: 5757 188 144 9 0 124 0 [startup+0.0470519 s] /proc/loadavg: 2.03 2.02 1.91 2/193 9163 /proc/meminfo: memFree=31062088/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 11286 0 1 0 2 1 0 0 25 0 13 0 902691840 10718699520 10981 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2616870 10982 1675 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.101042 s] /proc/loadavg: 2.03 2.02 1.91 2/193 9163 /proc/meminfo: memFree=31062088/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10540260 CPUtime=0.1 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 13032 0 1 0 9 1 0 0 25 0 18 0 902691840 10793226240 12701 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2635065 12705 2092 9 0 2625799 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540260 [startup+0.300957 s] /proc/loadavg: 2.03 2.02 1.91 2/193 9163 /proc/meminfo: memFree=31062088/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10543332 CPUtime=0.55 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 18992 0 1 0 53 2 0 0 25 0 18 0 902691840 10796371968 17522 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2635833 17522 2211 9 0 2626567 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10543332 [startup+0.700962 s] /proc/loadavg: 2.03 2.02 1.91 2/193 9163 /proc/meminfo: memFree=31062088/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10545384 CPUtime=1.41 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 20649 0 1 0 138 3 0 0 25 0 19 0 902691840 10798473216 19042 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2636346 19042 2231 9 0 2627080 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10545384 [startup+1.50085 s] /proc/loadavg: 2.03 2.02 1.91 4/212 9182 /proc/meminfo: memFree=30992336/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10545384 CPUtime=2.25 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 21775 0 1 0 222 3 0 0 25 0 19 0 902691840 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2636346 20167 2233 9 0 2627080 0 [pid=9163/tid=9165] ppid=9161 vsize=10545384 CPUtime=1.48 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 16090 0 1 0 146 2 0 0 20 0 19 0 902691841 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 47243437157203 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902691843 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902691844 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902691844 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10545384 CPUtime=0.38 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2845 0 0 0 38 0 0 0 24 0 19 0 902691846 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10545384 CPUtime=0.37 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 1678 0 0 0 37 0 0 0 15 0 19 0 902691846 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902691846 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10798473216 20167 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.25 Current children cumulated vsize (KiB) 10545384 [startup+3.10155 s] /proc/loadavg: 2.03 2.02 1.91 3/212 9182 /proc/meminfo: memFree=30987628/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10545384 CPUtime=3.85 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 23097 0 1 0 382 3 0 0 25 0 19 0 902691840 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2636346 21489 2233 9 0 2627080 0 [pid=9163/tid=9165] ppid=9161 vsize=10545384 CPUtime=3.08 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 17412 0 1 0 306 2 0 0 25 0 19 0 902691841 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 47243437157172 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691842 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902691843 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902691844 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902691844 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10545384 CPUtime=0.38 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2845 0 0 0 38 0 0 0 24 0 19 0 902691846 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10545384 CPUtime=0.37 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 1678 0 0 0 37 0 0 0 15 0 19 0 902691846 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902691846 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10545384 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10798473216 21489 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 10545384 [startup+6.301 s] /proc/loadavg: 2.03 2.02 1.91 3/212 9182 /proc/meminfo: memFree=30949688/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10565192 CPUtime=7.24 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 33518 0 1 0 719 5 0 0 25 0 19 0 902691840 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2641298 30123 2259 9 0 2632032 0 [pid=9163/tid=9165] ppid=9161 vsize=10565192 CPUtime=6.25 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 17910 0 1 0 623 2 0 0 21 0 19 0 902691841 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 46912505693488 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 637 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 620 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 662 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902691842 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10565192 CPUtime=0.01 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 1890 0 0 0 1 0 0 0 15 0 19 0 902691843 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10565192 CPUtime=0.4 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2846 0 0 0 39 1 0 0 18 0 19 0 902691846 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10565192 CPUtime=0.52 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 7796 0 0 0 52 0 0 0 15 0 19 0 902691846 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902691846 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10818756608 30123 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 7.24 Current children cumulated vsize (KiB) 10565192 [startup+12.7009 s] ################ # More data... # ################ [pid=9163/tid=9171] ppid=9161 vsize=10565192 CPUtime=0.44 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 6897 0 0 0 43 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10565192 CPUtime=0.41 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 5404 0 0 0 40 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 5759 0 0 0 45 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10565192 CPUtime=4.92 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 15955 0 0 0 490 2 0 0 15 0 19 0 902691843 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2846 0 0 0 42 1 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10565192 CPUtime=0.6 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 7811 0 0 0 60 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1725.83 Current children cumulated vsize (KiB) 10565192 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/212 9351 /proc/meminfo: memFree=30787676/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10565192 CPUtime=1785.93 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 118363 0 1 0 178569 24 0 0 25 0 19 0 902691840 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2641298 114621 2260 9 0 2632032 0 [pid=9163/tid=9165] ppid=9161 vsize=10565192 CPUtime=1775.91 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 37354 0 1 0 177585 6 0 0 25 0 19 0 902691841 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 46912505750095 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10565192 CPUtime=0.5 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 9733 0 0 0 48 2 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 6230 0 0 0 46 0 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10565192 CPUtime=0.48 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 6449 0 0 0 47 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10565192 CPUtime=0.5 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 6582 0 0 0 49 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 6086 0 0 0 42 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10565192 CPUtime=0.45 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 6897 0 0 0 44 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 5404 0 0 0 42 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10565192 CPUtime=0.48 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 5759 0 0 0 47 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10565192 CPUtime=5.15 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 15959 0 0 0 513 2 0 0 15 0 19 0 902691843 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2846 0 0 0 42 1 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10565192 CPUtime=0.6 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 7811 0 0 0 60 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1785.93 Current children cumulated vsize (KiB) 10565192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.41 s] /proc/loadavg: 2.00 2.00 1.93 3/212 9353 /proc/meminfo: memFree=30787428/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10565192 CPUtime=1800.08 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 118366 0 1 0 179984 24 0 0 25 0 19 0 902691840 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2641298 114621 2260 9 0 2632032 0 [pid=9163/tid=9165] ppid=9161 vsize=10565192 CPUtime=1789.96 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 37355 0 1 0 178990 6 0 0 25 0 19 0 902691841 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 46912505693511 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10565192 CPUtime=0.51 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 9733 0 0 0 49 2 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 6230 0 0 0 46 0 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10565192 CPUtime=0.48 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 6449 0 0 0 47 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10565192 CPUtime=0.5 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 6582 0 0 0 49 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10565192 CPUtime=0.45 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 6086 0 0 0 44 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 6897 0 0 0 45 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 5404 0 0 0 42 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10565192 CPUtime=0.49 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 5759 0 0 0 48 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10565192 CPUtime=5.19 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 15959 0 0 0 517 2 0 0 15 0 19 0 902691843 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2846 0 0 0 42 1 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10565192 CPUtime=0.6 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 7811 0 0 0 60 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10565192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.41 s] /proc/loadavg: 2.00 2.00 1.93 3/212 9353 /proc/meminfo: memFree=30787428/32951132 swapFree=67052544/67111528 [pid=9163] ppid=9161 vsize=10565192 CPUtime=1800.08 cores=0,2,4,6 /proc/9163/stat : 9163 (java) S 9161 9163 6878 0 -1 4202496 118366 0 1 0 179984 24 0 0 25 0 19 0 902691840 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/9163/statm: 2641298 114621 2260 9 0 2632032 0 [pid=9163/tid=9165] ppid=9161 vsize=10565192 CPUtime=1789.96 cores=0,2,4,6 /proc/9163/task/9165/stat : 9165 (java) R 9161 9163 6878 0 -1 4202560 37355 0 1 0 178990 6 0 0 25 0 19 0 902691841 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 46912505693511 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9163/tid=9166] ppid=9161 vsize=10565192 CPUtime=0.51 cores=0,2,4,6 /proc/9163/task/9166/stat : 9166 (java) S 9161 9163 6878 0 -1 4202560 9733 0 0 0 49 2 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9167] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9167/stat : 9167 (java) S 9161 9163 6878 0 -1 4202560 6230 0 0 0 46 0 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9168] ppid=9161 vsize=10565192 CPUtime=0.48 cores=0,2,4,6 /proc/9163/task/9168/stat : 9168 (java) S 9161 9163 6878 0 -1 4202560 6449 0 0 0 47 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9169] ppid=9161 vsize=10565192 CPUtime=0.5 cores=0,2,4,6 /proc/9163/task/9169/stat : 9169 (java) S 9161 9163 6878 0 -1 4202560 6582 0 0 0 49 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9170] ppid=9161 vsize=10565192 CPUtime=0.45 cores=0,2,4,6 /proc/9163/task/9170/stat : 9170 (java) S 9161 9163 6878 0 -1 4202560 6086 0 0 0 44 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9171] ppid=9161 vsize=10565192 CPUtime=0.46 cores=0,2,4,6 /proc/9163/task/9171/stat : 9171 (java) S 9161 9163 6878 0 -1 4202560 6897 0 0 0 45 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9172] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9172/stat : 9172 (java) S 9161 9163 6878 0 -1 4202560 5404 0 0 0 42 1 0 0 15 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9173] ppid=9161 vsize=10565192 CPUtime=0.49 cores=0,2,4,6 /proc/9163/task/9173/stat : 9173 (java) S 9161 9163 6878 0 -1 4202560 5759 0 0 0 48 1 0 0 16 0 19 0 902691842 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9174] ppid=9161 vsize=10565192 CPUtime=5.19 cores=0,2,4,6 /proc/9163/task/9174/stat : 9174 (java) S 9161 9163 6878 0 -1 4202560 15959 0 0 0 517 2 0 0 15 0 19 0 902691843 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 0 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9175] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9175/stat : 9175 (java) S 9161 9163 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9176] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9176/stat : 9176 (java) S 9161 9163 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902691844 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9177] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9177/stat : 9177 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982373809 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9178] ppid=9161 vsize=10565192 CPUtime=0.43 cores=0,2,4,6 /proc/9163/task/9178/stat : 9178 (java) S 9161 9163 6878 0 -1 4202560 2846 0 0 0 42 1 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 6 0 0 0 [pid=9163/tid=9179] ppid=9161 vsize=10565192 CPUtime=0.6 cores=0,2,4,6 /proc/9163/task/9179/stat : 9179 (java) S 9161 9163 6878 0 -1 4202560 7811 0 0 0 60 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 2 0 0 0 [pid=9163/tid=9180] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9180/stat : 9180 (java) S 9161 9163 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366105 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 [pid=9163/tid=9181] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9181/stat : 9181 (java) S 9161 9163 6878 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902691846 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 0 0 0 0 [pid=9163/tid=9182] ppid=9161 vsize=10565192 CPUtime=0 cores=0,2,4,6 /proc/9163/task/9182/stat : 9182 (java) S 9161 9163 6878 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902691871 10818756608 114621 33554432000 1073741824 1073778376 140736677545008 18446744073709551615 242982366720 0 4 0 16800975 18446604453866630208 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10565192 Child status: 143 Real time (s): 1796.47 CPU time (s): 1800.21 CPU user time (s): 1799.94 CPU system time (s): 0.271958 CPU usage (%): 100.208 Max. virtual memory (cumulated for all children) (KiB): 10565192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.271958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118500 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40160 involuntary context switches= 29852 runsolver used 3.2815 second user time and 6.85796 second system time The end
Begin job on node128 at 2011-06-12 22:35:32 IDJOB=3492595 IDBENCH=79181 IDSOLVER=1982 FILE ID=node128/3492595-1307910932 RUNJOBID= node128-1307908907-8543 PBS_JOBID= 13559578 Free space on /tmp= 74076 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492595-1307910932/watcher-3492595-1307910932 -o /tmp/evaluation-result-3492595-1307910932/solver-3492595-1307910932 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492595-1307910932.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 228cdf77c38c729452a9edca6134d7b0 RANDOM SEED=424496265 node128.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.82 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31062624 kB Buffers: 314996 kB Cached: 1063076 kB SwapCached: 11368 kB Active: 769272 kB Inactive: 890832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31062624 kB SwapTotal: 67111528 kB SwapFree: 67052544 kB Dirty: 372 kB Writeback: 0 kB AnonPages: 279828 kB Mapped: 18380 kB Slab: 164200 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 10562312 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74080 MiB End job on node128 at 2011-06-12 23:05:30