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.15 | 1796.17 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo |
| MD5SUM | cbd603b41e8425572ef374dcdfc00979 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.6509 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8190 |
| Total number of constraints | 181 |
| Number of soft constraints | 67 |
| Number of constraints which are clauses | 91 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 91 |
| Top cost | 3514 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 3513 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 92 |
| 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.17 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.17 c See www.sat4j.org for details. 0.03/0.18 c version 2.3.1.v20110525 0.03/0.18 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.18 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.18 c java.vm.version 19.1-b02 0.03/0.18 c java.vm.vendor Sun Microsystems Inc. 0.03/0.18 c sun.arch.data.model 64 0.03/0.18 c java.version 1.6.0_24 0.03/0.18 c os.name Linux 0.03/0.18 c os.version 2.6.18-164.el5 0.03/0.18 c os.arch amd64 0.03/0.18 c Free memory 9996466904 0.03/0.18 c Max memory 10048897024 0.03/0.18 c Total memory 10048897024 0.03/0.18 c Number of processors 8 0.10/0.21 c Pseudo Boolean Optimization 0.10/0.21 c --- Begin Solver configuration --- 0.10/0.21 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.21 c Learn all clauses as in MiniSAT 0.10/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.21 c Expensive reason simplification 0.10/0.21 c Armin Biere (Picosat) restarts strategy 0.10/0.21 c Glucose learned constraints deletion strategy 0.10/0.21 c timeout=2147483s 0.10/0.21 c DB Simplification allowed=false 0.10/0.21 c --- End Solver configuration --- 0.10/0.21 c solving HOME/instance-3492291-1307908961.wbo 0.10/0.21 c reading problem ... 0.55/0.41 c ... done. Wall clock time 0.2s. 0.55/0.41 c #vars 8257 0.55/0.41 c #constraints 181 0.55/0.41 c constraints type 0.55/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91 0.55/0.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 49 0.55/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41 1.12/0.66 c SATISFIABLE 1.12/0.66 c OPTIMIZING... 1.12/0.66 c Got one! Elapsed wall clock time (in seconds):0.449 1.12/0.66 o 273 1.34/0.73 c Got one! Elapsed wall clock time (in seconds):0.519 1.34/0.73 o 12 1.47/0.89 c Got one! Elapsed wall clock time (in seconds):0.681 1.47/0.89 o 4 2.30/1.65 c Got one! Elapsed wall clock time (in seconds):1.438 2.30/1.65 o 1 4.80/4.17 c cleaning 3137 clauses out of 6354 with flag 4001/6354 8.78/8.06 c cleaning 4561 clauses out of 9216 with flag 10000/12353 13.89/13.12 c cleaning 5785 clauses out of 11657 with flag 17002/19355 20.30/19.58 c cleaning 6895 clauses out of 13871 with flag 25001/27354 27.96/27.11 c cleaning 7940 clauses out of 15975 with flag 34000/36353 36.38/35.58 c cleaning 8977 clauses out of 18038 with flag 44003/46356 44.69/43.82 c cleaning 9483 clauses out of 19059 with flag 54001/56354 53.20/52.36 c cleaning 9730 clauses out of 19576 with flag 64001/66354 63.32/62.49 c cleaning 9879 clauses out of 19848 with flag 74003/76356 72.63/71.79 c cleaning 9933 clauses out of 19966 with flag 84000/86353 83.44/82.58 c cleaning 9965 clauses out of 20033 with flag 94000/96353 98.75/97.87 c cleaning 10006 clauses out of 20071 with flag 104003/106356 116.76/115.85 c cleaning 9983 clauses out of 20062 with flag 114000/116353 124.40/123.46 c cleaning 9992 clauses out of 20080 with flag 124001/126354 133.31/132.35 c cleaning 9993 clauses out of 20087 with flag 134000/136353 150.22/149.25 c cleaning 10008 clauses out of 20095 with flag 144001/146354 174.04/173.00 c cleaning 9963 clauses out of 20086 with flag 154000/156353 193.59/192.55 c cleaning 9989 clauses out of 20126 with flag 164003/166356 207.32/206.23 c cleaning 10016 clauses out of 20136 with flag 174002/176355 215.65/214.50 c cleaning 10010 clauses out of 20120 with flag 184002/186355 227.35/226.28 c cleaning 10012 clauses out of 20109 with flag 194001/196354 250.26/249.19 c cleaning 9970 clauses out of 20096 with flag 204000/206353 268.49/267.38 c cleaning 9997 clauses out of 20127 with flag 214001/216354 285.33/284.18 c cleaning 9998 clauses out of 20129 with flag 224000/226353 301.85/300.69 c cleaning 9991 clauses out of 20132 with flag 234001/236354 320.08/318.85 c cleaning 10040 clauses out of 20144 with flag 244004/246357 341.82/340.56 c cleaning 10005 clauses out of 20104 with flag 254004/256357 351.76/350.46 c cleaning 9999 clauses out of 20096 with flag 264001/266354 361.09/359.71 c cleaning 10010 clauses out of 20096 with flag 274000/276353 371.80/370.48 c cleaning 9984 clauses out of 20088 with flag 284002/286355 393.02/391.65 c cleaning 10001 clauses out of 20105 with flag 294003/296356 412.44/411.01 c cleaning 9973 clauses out of 20101 with flag 304000/306353 432.87/431.45 c cleaning 9990 clauses out of 20128 with flag 314000/316353 451.32/449.81 c cleaning 10032 clauses out of 20138 with flag 324000/326353 469.94/468.41 c cleaning 10024 clauses out of 20107 with flag 334001/336354 486.47/485.00 c cleaning 10005 clauses out of 20082 with flag 344000/346353 498.50/496.91 c cleaning 10011 clauses out of 20082 with flag 354005/356358 512.02/510.47 c cleaning 9997 clauses out of 20068 with flag 364002/366355 527.74/526.18 c cleaning 10007 clauses out of 20069 with flag 374000/376353 542.58/540.93 c cleaning 10007 clauses out of 20063 with flag 384001/386354 552.61/550.99 c cleaning 9960 clauses out of 20055 with flag 394000/396353 561.44/559.70 c cleaning 9960 clauses out of 20095 with flag 404000/406353 571.96/570.21 c cleaning 10002 clauses out of 20137 with flag 414002/416355 592.97/591.20 c cleaning 9993 clauses out of 20133 with flag 424000/426353 611.79/610.09 c cleaning 10046 clauses out of 20140 with flag 434000/436353 631.72/629.90 c cleaning 10013 clauses out of 20094 with flag 444000/446353 644.16/642.39 c cleaning 10008 clauses out of 20081 with flag 454000/456353 657.48/655.66 c cleaning 10006 clauses out of 20073 with flag 464000/466353 673.20/671.32 c cleaning 10013 clauses out of 20072 with flag 474005/476358 692.03/690.13 c cleaning 9979 clauses out of 20056 with flag 484002/486355 713.57/711.65 c cleaning 9998 clauses out of 20077 with flag 494002/496355 732.71/730.71 c cleaning 9964 clauses out of 20077 with flag 504000/506353 750.33/748.38 c cleaning 10019 clauses out of 20115 with flag 514002/516355 764.47/762.40 c cleaning 9985 clauses out of 20094 with flag 524000/526353 782.00/779.91 c cleaning 9993 clauses out of 20109 with flag 534000/536353 800.43/798.39 c cleaning 9983 clauses out of 20118 with flag 544002/546355 820.37/818.30 c cleaning 10000 clauses out of 20134 with flag 554001/556354 840.31/838.17 c cleaning 10001 clauses out of 20133 with flag 564000/566353 859.23/857.07 c cleaning 10003 clauses out of 20133 with flag 574001/576354 877.17/874.98 c cleaning 9993 clauses out of 20129 with flag 584000/586353 886.29/884.02 c cleaning 10015 clauses out of 20137 with flag 594001/596354 897.21/894.99 c cleaning 10005 clauses out of 20124 with flag 604003/606356 912.44/910.14 c cleaning 9996 clauses out of 20117 with flag 614001/616354 929.95/927.60 c cleaning 10040 clauses out of 20122 with flag 624002/626355 953.08/950.78 c cleaning 10011 clauses out of 20082 with flag 634002/636355 980.34/977.94 c cleaning 9993 clauses out of 20069 with flag 644000/646353 1001.09/998.69 c cleaning 9985 clauses out of 20076 with flag 654000/656353 1022.82/1020.31 c cleaning 10008 clauses out of 20094 with flag 664003/666356 1041.76/1039.26 c cleaning 10006 clauses out of 20084 with flag 674001/676354 1052.10/1049.52 c cleaning 9999 clauses out of 20077 with flag 684000/686353 1063.21/1060.65 c cleaning 10004 clauses out of 20080 with flag 694002/696355 1074.83/1072.24 c cleaning 10002 clauses out of 20075 with flag 704001/706354 1085.75/1083.16 c cleaning 9995 clauses out of 20073 with flag 714001/716354 1095.38/1092.80 c cleaning 10017 clauses out of 20078 with flag 724001/726354 1106.40/1103.74 c cleaning 10010 clauses out of 20060 with flag 734000/736353 1117.61/1114.94 c cleaning 10002 clauses out of 20050 with flag 744000/746353 1128.23/1125.51 c cleaning 10001 clauses out of 20049 with flag 754001/756354 1139.94/1137.30 c cleaning 10003 clauses out of 20048 with flag 764001/766354 1151.36/1148.64 c cleaning 10000 clauses out of 20045 with flag 774001/776354 1160.46/1157.73 c cleaning 10011 clauses out of 20046 with flag 784002/786355 1165.38/1162.66 c cleaning 10005 clauses out of 20034 with flag 794001/796354 1169.79/1167.09 c cleaning 10003 clauses out of 20028 with flag 804000/806353 1186.40/1183.63 c cleaning 9992 clauses out of 20026 with flag 814001/816354 1205.72/1202.98 c cleaning 9999 clauses out of 20033 with flag 824000/826353 1224.16/1221.36 c cleaning 10001 clauses out of 20036 with flag 834002/836355 1242.40/1239.57 c cleaning 9993 clauses out of 20033 with flag 844000/846353 1263.44/1260.52 c cleaning 9980 clauses out of 20041 with flag 854001/856354 1282.97/1280.03 c cleaning 10005 clauses out of 20060 with flag 864000/866353 1304.39/1301.45 c cleaning 10016 clauses out of 20057 with flag 874002/876355 1319.24/1316.23 c cleaning 9983 clauses out of 20040 with flag 884001/886354 1329.27/1326.28 c cleaning 9977 clauses out of 20056 with flag 894000/896353 1337.59/1334.56 c cleaning 9987 clauses out of 20079 with flag 904000/906353 1354.81/1351.79 c cleaning 9997 clauses out of 20094 with flag 914002/916355 1370.83/1367.77 c cleaning 10005 clauses out of 20097 with flag 924002/926355 1387.16/1384.04 c cleaning 10000 clauses out of 20090 with flag 934000/936353 1398.59/1395.44 c cleaning 10017 clauses out of 20090 with flag 944000/946353 1408.41/1405.20 c cleaning 10010 clauses out of 20073 with flag 954000/956353 1419.54/1416.33 c cleaning 10002 clauses out of 20064 with flag 964001/966354 1433.17/1429.91 c cleaning 9958 clauses out of 20062 with flag 974001/976354 1458.49/1455.23 c cleaning 9983 clauses out of 20105 with flag 984002/986355 1477.34/1474.03 c cleaning 10022 clauses out of 20120 with flag 994000/996353 1496.46/1493.15 c cleaning 9973 clauses out of 20098 with flag 1004000/1006353 1512.39/1509.03 c cleaning 10031 clauses out of 20127 with flag 1014002/1016355 1531.42/1528.04 c cleaning 10014 clauses out of 20096 with flag 1024002/1026355 1550.56/1547.14 c cleaning 10005 clauses out of 20082 with flag 1034002/1036355 1568.90/1565.48 c cleaning 10001 clauses out of 20075 with flag 1044000/1046353 1587.02/1583.51 c cleaning 10004 clauses out of 20077 with flag 1054003/1056356 1605.45/1601.92 c cleaning 9998 clauses out of 20071 with flag 1064001/1066354 1623.58/1620.02 c cleaning 10003 clauses out of 20075 with flag 1074003/1076356 1634.92/1631.38 c cleaning 10012 clauses out of 20070 with flag 1084001/1086354 1646.13/1642.56 c cleaning 9993 clauses out of 20058 with flag 1094001/1096354 1656.46/1652.86 c cleaning 10011 clauses out of 20064 with flag 1104000/1106353 1666.19/1662.54 c cleaning 10005 clauses out of 20054 with flag 1114001/1116354 1674.51/1670.86 c cleaning 9998 clauses out of 20048 with flag 1124000/1126353 1684.02/1680.36 c cleaning 10008 clauses out of 20053 with flag 1134003/1136356 1693.15/1689.40 c cleaning 10000 clauses out of 20043 with flag 1144001/1146354 1705.17/1701.49 c cleaning 9992 clauses out of 20042 with flag 1154000/1156353 1715.90/1712.13 c cleaning 10010 clauses out of 20053 with flag 1164003/1166356 1723.60/1719.80 c cleaning 10001 clauses out of 20043 with flag 1174003/1176356 1733.51/1729.79 c cleaning 9995 clauses out of 20039 with flag 1184000/1186353 1745.03/1741.21 c cleaning 9997 clauses out of 20047 with flag 1194003/1196356 1756.35/1752.50 c cleaning 10002 clauses out of 20047 with flag 1204000/1206353 1767.36/1763.51 c cleaning 9998 clauses out of 20047 with flag 1214002/1216355 1778.37/1774.53 c cleaning 9999 clauses out of 20047 with flag 1224000/1226353 1790.39/1786.54 c cleaning 10006 clauses out of 20054 with flag 1234006/1236359 1800.00/1796.11 c starts : 194 1800.00/1796.11 c conflicts : 1242862 1800.00/1796.11 c decisions : 2765394 1800.00/1796.11 c propagations : 53559213 1800.00/1796.11 c inspects : 1657707321 1800.00/1796.11 c shortcuts : 0 1800.00/1796.11 c learnt literals : 0 1800.00/1796.11 c learnt binary clauses : 0 1800.00/1796.11 c learnt ternary clauses : 0 1800.00/1796.11 c learnt constraints : 1242861 1800.00/1796.11 c ignored constraints : 0 1800.00/1796.11 c root simplifications : 0 1800.00/1796.11 c removed literals (reason simplification) : 13086545 1800.00/1796.11 c reason swapping (by a shorter reason) : 0 1800.00/1796.11 c Calls to reduceDB : 125 1800.00/1796.11 c number of reductions to clauses (during analyze) : 0 1800.00/1796.11 c number of learned constraints concerned by reduction : 0 1800.00/1796.11 c number of learning phase by resolution : 0 1800.00/1796.11 c number of learning phase by cutting planes : 0 1800.00/1796.11 c speed (assignments/second) : 29846.886483221195 1800.00/1796.11 c non guided choices 414511 1800.00/1796.12 c learnt constraints type 1800.00/1796.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16555 1800.00/1796.12 c constraints type 1800.00/1796.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91 1800.00/1796.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 49 1800.00/1796.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 42 1800.00/1796.12 s SATISFIABLE 1800.00/1796.13 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 1800.00/1796.14 c objective function=1 1800.00/1796.14 c Total wall clock time (in seconds): 1795.935
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492291-1307908961/watcher-3492291-1307908961 -o /var/tmp/evaluation-result-3492291-1307908961/solver-3492291-1307908961 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492291-1307908961.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: 1.18 1.70 1.85 1/172 19345 /proc/meminfo: memFree=3396184/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/19345/stat : 19345 (java) R 19343 19345 14010 0 -1 4202496 960 0 0 0 0 0 0 0 23 0 1 0 902494849 23580672 701 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235589903848 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19345/statm: 5757 701 517 9 0 124 0 [startup+0.00669204 s] /proc/loadavg: 1.18 1.70 1.85 1/172 19345 /proc/meminfo: memFree=3396184/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=24004 CPUtime=0 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 1143 0 0 0 0 0 0 0 23 0 2 0 902494849 24580096 877 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 6014 884 671 9 0 381 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 24004 [startup+0.100702 s] /proc/loadavg: 1.18 1.70 1.85 1/172 19345 /proc/meminfo: memFree=3396184/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 11306 0 53 0 2 1 0 0 23 0 13 0 902494849 10718699520 11052 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2616870 11052 1681 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.300693 s] /proc/loadavg: 1.18 1.70 1.85 1/172 19345 /proc/meminfo: memFree=3396184/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10539340 CPUtime=0.28 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 14497 0 57 0 26 2 0 0 23 0 18 0 902494849 10792284160 14064 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2634835 14065 2186 9 0 2625569 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10539340 [startup+0.700625 s] /proc/loadavg: 1.18 1.70 1.85 1/172 19345 /proc/meminfo: memFree=3396184/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10544220 CPUtime=1.34 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 21755 0 57 0 131 3 0 0 23 0 19 0 902494849 10797281280 19978 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2636055 19978 2229 9 0 2626789 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 10544220 [startup+1.50144 s] /proc/loadavg: 1.25 1.70 1.85 5/214 19396 /proc/meminfo: memFree=3271312/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542752 CPUtime=2.2 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 23286 0 57 0 216 4 0 0 23 0 19 0 902494849 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635688 21030 2229 9 0 2626422 0 [pid=19345/tid=19347] ppid=19343 vsize=10542752 CPUtime=1.36 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 17349 0 53 0 134 2 0 0 18 0 19 0 902494850 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 46912505733944 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902494855 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902494856 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902494856 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542752 CPUtime=0.43 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2754 0 2 0 43 0 0 0 15 0 19 0 902494862 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542752 CPUtime=0.38 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2018 0 2 0 38 0 0 0 15 0 19 0 902494862 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902494862 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795778048 21030 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 10542752 [startup+3.10109 s] /proc/loadavg: 1.25 1.70 1.85 4/214 19396 /proc/meminfo: memFree=3249336/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542752 CPUtime=3.8 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 25408 0 57 0 376 4 0 0 23 0 19 0 902494849 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635688 23153 2229 9 0 2626422 0 [pid=19345/tid=19347] ppid=19343 vsize=10542752 CPUtime=2.97 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 19472 0 53 0 294 3 0 0 20 0 19 0 902494850 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 47809274563411 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494852 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902494855 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902494856 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902494856 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542752 CPUtime=0.43 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2754 0 2 0 43 0 0 0 15 0 19 0 902494862 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542752 CPUtime=0.38 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2018 0 2 0 38 0 0 0 15 0 19 0 902494862 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902494862 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795778048 23153 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 10542752 [startup+6.30063 s] /proc/loadavg: 1.25 1.70 1.85 4/214 19397 /proc/meminfo: memFree=3205408/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542752 CPUtime=7.05 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 31156 0 57 0 700 5 0 0 23 0 19 0 902494849 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635688 28827 2254 9 0 2626422 0 [pid=19345/tid=19347] ppid=19343 vsize=10542752 CPUtime=6.14 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 20470 0 53 0 611 3 0 0 21 0 19 0 902494850 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 46912505734776 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 124 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 768 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 763 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 4 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 19 0 902494852 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542752 CPUtime=0.01 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 2337 0 0 0 1 0 0 0 15 0 19 0 902494855 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902494856 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902494856 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542752 CPUtime=0.45 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2760 0 2 0 45 0 0 0 15 0 19 0 902494862 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542752 CPUtime=0.4 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2031 0 2 0 40 0 0 0 16 0 19 0 902494862 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902494862 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542752 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795778048 28827 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.05 Current children cumulated vsize (KiB) 10542752 [startup+12.7015 s] ################ # More data... # ################ [pid=19345/tid=19353] ppid=19343 vsize=10542432 CPUtime=0.49 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 8933 0 0 0 48 1 0 0 15 0 19 0 902494852 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542432 CPUtime=0.5 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 9162 0 0 0 49 1 0 0 15 0 19 0 902494852 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542432 CPUtime=0.48 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 7283 0 0 0 47 1 0 0 15 0 19 0 902494852 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542432 CPUtime=4.6 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 16774 0 0 0 458 2 0 0 15 0 19 0 902494855 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 4 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542432 CPUtime=0.47 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2765 0 2 0 47 0 0 0 15 0 19 0 902494862 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542432 CPUtime=0.48 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2415 0 2 0 48 0 0 0 15 0 19 0 902494862 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902494862 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795450368 106543 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1726.11 Current children cumulated vsize (KiB) 10542432 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.92 4/214 19447 /proc/meminfo: memFree=2830092/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542432 CPUtime=1786.19 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 109718 0 57 0 178597 22 0 0 23 0 19 0 902494849 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635608 106637 2255 9 0 2626342 0 [pid=19345/tid=19347] ppid=19343 vsize=10542432 CPUtime=1776.09 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 37039 0 53 0 177602 7 0 0 25 0 19 0 902494850 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 46912505717722 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 7590 0 0 0 52 1 0 0 15 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542432 CPUtime=0.43 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 2172 0 0 0 43 0 0 0 15 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542432 CPUtime=0.57 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 2045 0 0 0 57 0 0 0 15 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 5605 0 0 0 52 1 0 0 16 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542432 CPUtime=0.58 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 6579 0 0 0 57 1 0 0 15 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542432 CPUtime=0.51 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 8935 0 0 0 50 1 0 0 16 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542432 CPUtime=0.52 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 9162 0 0 0 51 1 0 0 16 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542432 CPUtime=0.49 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 7283 0 0 0 48 1 0 0 16 0 19 0 902494852 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542432 CPUtime=4.85 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 16869 0 0 0 483 2 0 0 15 0 19 0 902494855 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 4 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542432 CPUtime=0.47 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2765 0 2 0 47 0 0 0 15 0 19 0 902494862 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542432 CPUtime=0.48 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2415 0 2 0 48 0 0 0 15 0 19 0 902494862 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902494862 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795450368 106637 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1786.19 Current children cumulated vsize (KiB) 10542432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.1 s] /proc/loadavg: 2.00 1.99 1.92 3/214 19447 /proc/meminfo: memFree=2828216/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542432 CPUtime=1800 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 110104 0 57 0 179978 22 0 0 23 0 19 0 902494849 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635608 107020 2255 9 0 2626342 0 [pid=19345/tid=19347] ppid=19343 vsize=10542432 CPUtime=1789.85 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 37040 0 53 0 178978 7 0 0 25 0 19 0 902494850 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 46912505707136 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 7590 0 0 0 52 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542432 CPUtime=0.43 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 2172 0 0 0 43 0 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542432 CPUtime=0.57 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 2045 0 0 0 57 0 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 5605 0 0 0 52 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542432 CPUtime=0.58 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 6579 0 0 0 57 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542432 CPUtime=0.51 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 8935 0 0 0 50 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542432 CPUtime=0.52 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 9162 0 0 0 51 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542432 CPUtime=0.5 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 7283 0 0 0 49 1 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542432 CPUtime=4.9 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 17252 0 0 0 488 2 0 0 15 0 19 0 902494855 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 4 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542432 CPUtime=0.47 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2765 0 2 0 47 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542432 CPUtime=0.48 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2415 0 2 0 48 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 10542432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.1 s] /proc/loadavg: 2.00 1.99 1.92 3/214 19447 /proc/meminfo: memFree=2828216/32950928 swapFree=67052124/67111528 [pid=19345] ppid=19343 vsize=10542432 CPUtime=1800 cores=0,2,4,6 /proc/19345/stat : 19345 (java) S 19343 19345 14010 0 -1 4202496 110104 0 57 0 179978 22 0 0 23 0 19 0 902494849 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19345/statm: 2635608 107020 2255 9 0 2626342 0 [pid=19345/tid=19347] ppid=19343 vsize=10542432 CPUtime=1789.85 cores=0,2,4,6 /proc/19345/task/19347/stat : 19347 (java) R 19343 19345 14010 0 -1 4202560 37040 0 53 0 178978 7 0 0 25 0 19 0 902494850 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 46912505707136 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=19345/tid=19348] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19348/stat : 19348 (java) S 19343 19345 14010 0 -1 4202560 7590 0 0 0 52 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19349] ppid=19343 vsize=10542432 CPUtime=0.43 cores=0,2,4,6 /proc/19345/task/19349/stat : 19349 (java) S 19343 19345 14010 0 -1 4202560 2172 0 0 0 43 0 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19350] ppid=19343 vsize=10542432 CPUtime=0.57 cores=0,2,4,6 /proc/19345/task/19350/stat : 19350 (java) S 19343 19345 14010 0 -1 4202560 2045 0 0 0 57 0 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19351] ppid=19343 vsize=10542432 CPUtime=0.53 cores=0,2,4,6 /proc/19345/task/19351/stat : 19351 (java) S 19343 19345 14010 0 -1 4202560 5605 0 0 0 52 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19352] ppid=19343 vsize=10542432 CPUtime=0.58 cores=0,2,4,6 /proc/19345/task/19352/stat : 19352 (java) S 19343 19345 14010 0 -1 4202560 6579 0 0 0 57 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19353] ppid=19343 vsize=10542432 CPUtime=0.51 cores=0,2,4,6 /proc/19345/task/19353/stat : 19353 (java) S 19343 19345 14010 0 -1 4202560 8935 0 0 0 50 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19354] ppid=19343 vsize=10542432 CPUtime=0.52 cores=0,2,4,6 /proc/19345/task/19354/stat : 19354 (java) S 19343 19345 14010 0 -1 4202560 9162 0 0 0 51 1 0 0 15 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19355] ppid=19343 vsize=10542432 CPUtime=0.5 cores=0,2,4,6 /proc/19345/task/19355/stat : 19355 (java) S 19343 19345 14010 0 -1 4202560 7283 0 0 0 49 1 0 0 16 0 19 0 902494852 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19356] ppid=19343 vsize=10542432 CPUtime=4.9 cores=0,2,4,6 /proc/19345/task/19356/stat : 19356 (java) S 19343 19345 14010 0 -1 4202560 17252 0 0 0 488 2 0 0 15 0 19 0 902494855 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 0 0 16800975 18446604453906918208 0 0 -1 4 0 0 0 [pid=19345/tid=19357] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19357/stat : 19357 (java) S 19343 19345 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19358] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19358/stat : 19358 (java) S 19343 19345 14010 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902494856 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19359] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19359/stat : 19359 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606690225 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19360] ppid=19343 vsize=10542432 CPUtime=0.47 cores=0,2,4,6 /proc/19345/task/19360/stat : 19360 (java) S 19343 19345 14010 0 -1 4202560 2765 0 2 0 47 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 2 0 0 0 [pid=19345/tid=19361] ppid=19343 vsize=10542432 CPUtime=0.48 cores=0,2,4,6 /proc/19345/task/19361/stat : 19361 (java) S 19343 19345 14010 0 -1 4202560 2415 0 2 0 48 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19362] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19362/stat : 19362 (java) S 19343 19345 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606682521 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 [pid=19345/tid=19363] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19363/stat : 19363 (java) S 19343 19345 14010 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 902494862 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 0 0 0 0 [pid=19345/tid=19364] ppid=19343 vsize=10542432 CPUtime=0 cores=0,2,4,6 /proc/19345/task/19364/stat : 19364 (java) S 19343 19345 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902494892 10795450368 107020 33554432000 1073741824 1073778376 140733198041792 18446744073709551615 235606683136 0 4 0 16800975 18446604453906918208 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 10542432 Child status: 143 Real time (s): 1796.17 CPU time (s): 1800.15 CPU user time (s): 1799.9 CPU system time (s): 0.244962 CPU usage (%): 100.222 Max. virtual memory (cumulated for all children) (KiB): 10544220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.244962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110267 page faults= 57 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40019 involuntary context switches= 34295 runsolver used 3.19151 second user time and 6.62499 second system time The end
Begin job on node120 at 2011-06-12 22:02:41 IDJOB=3492291 IDBENCH=78730 IDSOLVER=1982 FILE ID=node120/3492291-1307908961 RUNJOBID= node120-1307908961-19331 PBS_JOBID= 13559586 Free space on /var/tmp= 2892 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492291-1307908961/watcher-3492291-1307908961 -o /var/tmp/evaluation-result-3492291-1307908961/solver-3492291-1307908961 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492291-1307908961.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979 RANDOM SEED=367892994 node120.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.809 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.61 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.809 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 : 5226.07 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.809 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.809 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.809 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.78 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.809 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.809 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 3396504 kB Buffers: 61992 kB Cached: 28572088 kB SwapCached: 11644 kB Active: 13770436 kB Inactive: 14880996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 3396504 kB SwapTotal: 67111528 kB SwapFree: 67052124 kB Dirty: 400 kB Writeback: 8 kB AnonPages: 14732 kB Mapped: 8852 kB Slab: 839476 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 192352 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2892 MiB End job on node120 at 2011-06-12 22:32:39