Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 26 | 1800.09 | 1796.94 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | af0ded53094abde95c37378ccd6c7afa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 618.033 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.34 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.34 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.34 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.35 c no version file found!!! 0.07/0.35 c sun.arch.data.model 64 0.07/0.35 c java.version 1.6.0_24 0.07/0.35 c os.name Linux 0.07/0.35 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.35 c os.arch amd64 0.07/0.35 c Free memory 1599470296 0.07/0.35 c Max memory 1607860224 0.07/0.35 c Total memory 1607860224 0.07/0.35 c Number of processors 8 0.07/0.38 --- Begin Solver configuration --- 0.07/0.38 c Stops conflict analysis at the first Unique Implication Point 0.07/0.38 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.07/0.38 c Learn all clauses as in MiniSAT 0.07/0.38 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.38 c VSIDS like heuristics from MiniSAT using a heap 0.07/0.38 c No reason simplification 0.07/0.38 c --- End Solver configuration --- 0.07/0.38 c solving HOME/instance-3736041-1338713280.opb 0.07/0.38 c reading problem ... 1.09/0.88 c ... done. Wall clock time 0.502s. 1.09/0.88 c CPU time (experimental) 0.58s. 1.09/0.88 c #vars 8901 1.09/0.88 c #constraints 32293 1.20/0.98 c SATISFIABLE 1.20/0.98 c OPTIMIZING... 1.20/0.98 c Got one! Elapsed wall clock time (in seconds):0.595 1.20/0.99 o 27 1.46/1.03 c Got one! Elapsed wall clock time (in seconds):0.644 1.46/1.03 o 26 1099.12/1096.57 c cleaning 787747 clauses out of 1575512 for limit 0.024048743533320965 1113.73/1111.11 c cleaning 394127 clauses out of 788263 for limit 0.07910971644026613 1116.53/1113.90 c cleaning 197286 clauses out of 394638 for limit 0.2611120886678219 1118.53/1115.99 c cleaning 98916 clauses out of 197853 for limit 0.8597528799318406 1120.03/1117.50 c cleaning 49707 clauses out of 99435 for limit 2.8155540210261027 1120.73/1118.19 c cleaning 25095 clauses out of 50227 for limit 9.183056971619255 1121.23/1118.69 c cleaning 12793 clauses out of 25632 for limit 29.6754907920017 1121.73/1119.17 c cleaning 6594 clauses out of 13339 for limit 94.04008633918006 1122.03/1119.48 c cleaning 3592 clauses out of 7245 for limit 285.53134358626727 1122.33/1119.74 c cleaning 2058 clauses out of 4153 for limit 821.4594586603946 1122.63/1120.07 c cleaning 1280 clauses out of 2597 for limit 2170.7060999834944 1123.03/1120.48 c cleaning 895 clauses out of 1824 for limit 5132.696817522846 1123.43/1120.87 c cleaning 662 clauses out of 1420 for limit 10775.250675915617 1123.83/1121.20 c cleaning 607 clauses out of 1258 for limit 20058.15452273457 1124.13/1121.51 c cleaning 555 clauses out of 1152 for limit 36158.42736485399 1124.43/1121.83 c cleaning 524 clauses out of 1096 for limit 62614.19964466391 1124.83/1122.22 c cleaning 521 clauses out of 1072 for limit 105570.96453790537 1125.23/1122.60 c cleaning 511 clauses out of 1054 for limit 177606.18524101295 1125.53/1122.91 c cleaning 503 clauses out of 1040 for limit 295949.5674336846 1125.93/1123.31 c cleaning 475 clauses out of 1037 for limit 489472.3676450113 1126.13/1123.58 c cleaning 411 clauses out of 1062 for limit 788203.4039848865 1126.43/1123.84 c cleaning 557 clauses out of 1151 for limit 1199342.9489821256 1126.73/1124.18 c cleaning 530 clauses out of 1094 for limit 2080929.058760489 1127.23/1124.66 c cleaning 533 clauses out of 1066 for limit 3528923.978665585 1127.73/1125.11 c cleaning 518 clauses out of 1039 for limit 6006851.803861827 1128.13/1125.57 c cleaning 507 clauses out of 1020 for limit 1.0080537012450125E7 1128.53/1125.94 c cleaning 465 clauses out of 1007 for limit 1.6737985454821466E7 1128.93/1126.39 c cleaning 507 clauses out of 1045 for limit 2.667938342388485E7 1129.33/1126.73 c cleaning 517 clauses out of 1034 for limit 4.428833772049001E7 1129.83/1127.21 c cleaning 510 clauses out of 1039 for limit 7.43035421062411E7 1130.33/1127.70 c cleaning 508 clauses out of 1018 for limit 1.236953986103031E8 1130.83/1128.22 c cleaning 482 clauses out of 999 for limit 2.0559478373374793E8 1131.23/1128.69 c cleaning 508 clauses out of 1017 for limit 3.330523589505381E8 1131.63/1129.08 c cleaning 495 clauses out of 1012 for limit 5.536207722347525E8 1132.03/1129.49 c cleaning 497 clauses out of 1016 for limit 9.084908478451319E8 1132.53/1129.95 c cleaning 512 clauses out of 1025 for limit 1.494009492209279E9 1133.12/1130.51 c cleaning 503 clauses out of 1006 for limit 2.4928350712490716E9 1133.52/1130.94 c cleaning 500 clauses out of 1002 for limit 4.123302339798545E9 1134.02/1131.42 c cleaning 487 clauses out of 1003 for limit 6.799897522820817E9 1134.43/1131.90 c cleaning 434 clauses out of 1015 for limit 1.1070280717934616E10 1134.92/1132.38 c cleaning 540 clauses out of 1081 for limit 1.714173863776716E10 1135.53/1132.92 c cleaning 521 clauses out of 1042 for limit 2.9356430163557552E10 1136.02/1133.47 c cleaning 489 clauses out of 1027 for limit 4.941553206746571E10 1136.52/1133.93 c cleaning 447 clauses out of 1031 for limit 8.061011834927342E10 1136.92/1134.37 c cleaning 529 clauses out of 1085 for limit 1.2644710325555096E11 1137.42/1134.80 c cleaning 506 clauses out of 1055 for limit 2.1424344269587488E11 1137.73/1135.13 c cleaning 524 clauses out of 1049 for limit 3.5533697175350195E11 1138.12/1135.54 c cleaning 488 clauses out of 1025 for limit 5.997191360743009E11 1138.52/1135.97 c cleaning 501 clauses out of 1037 for limit 9.775723350883533E11 1138.83/1136.28 c cleaning 518 clauses out of 1036 for limit 1.6137036848343242E12 1139.12/1136.58 c cleaning 494 clauses out of 1018 for limit 2.7082681049529106E12 1139.42/1136.87 c cleaning 511 clauses out of 1025 for limit 4.440235109338593E12 1139.82/1137.26 c cleaning 444 clauses out of 1013 for limit 7.401875258209706E12 1140.12/1137.56 c cleaning 448 clauses out of 1069 for limit 1.1567230475698463E13 1140.32/1137.79 c cleaning 449 clauses out of 1121 for limit 1.819103328697832E13 1140.62/1138.06 c cleaning 507 clauses out of 1172 for limit 2.869401073697965E13 1140.92/1138.37 c cleaning 438 clauses out of 1165 for limit 4.760459007779775E13 1141.22/1138.66 c cleaning 591 clauses out of 1229 for limit 7.456719093622077E13 1141.42/1138.86 c cleaning 473 clauses out of 1136 for limit 1.3277251989078752E14 1141.72/1139.15 c cleaning 575 clauses out of 1163 for limit 2.138763192788167E14 1141.92/1139.34 c cleaning 458 clauses out of 1088 for limit 3.770243569084505E14 1142.13/1139.58 c cleaning 564 clauses out of 1130 for limit 5.986538043632359E14 1142.42/1139.82 c cleaning 531 clauses out of 1066 for limit 1.0465328678714592E15 1142.72/1140.12 c cleaning 509 clauses out of 1035 for limit 1.7775655073429848E15 1143.02/1140.43 c cleaning 403 clauses out of 1026 for limit 2.9571577351560805E15 1143.23/1140.65 c cleaning 535 clauses out of 1123 for limit 4.455515737428559E-5 1143.44/1140.89 c cleaning 459 clauses out of 1088 for limit 7.58411185998089E-5 1143.74/1141.13 c cleaning 547 clauses out of 1129 for limit 1.2053011483692065E-4 1143.94/1141.32 c cleaning 522 clauses out of 1082 for limit 2.074044826065644E-4 1144.14/1141.53 c cleaning 474 clauses out of 1060 for limit 3.491366343403576E-4 1144.34/1141.78 c cleaning 487 clauses out of 1086 for limit 5.619883956648351E-4 1144.64/1142.08 c cleaning 498 clauses out of 1099 for limit 9.158310590194955E-4 1144.94/1142.36 c cleaning 489 clauses out of 1101 for limit 0.0015075843773635922 1145.24/1142.62 c cleaning 538 clauses out of 1113 for limit 0.0024618647034742613 1145.44/1142.85 c cleaning 410 clauses out of 1074 for limit 0.004203165008750866 1145.64/1143.06 c cleaning 426 clauses out of 1164 for limit 0.006395634374188496 1145.84/1143.29 c cleaning 377 clauses out of 1238 for limit 0.009916806761317001 1146.04/1143.49 c cleaning 562 clauses out of 1361 for limit 0.014876140009664944 1146.24/1143.67 c cleaning 493 clauses out of 1299 for limit 0.025703668902723565 1146.44/1143.89 c cleaning 501 clauses out of 1306 for limit 0.042161589882137786 1146.74/1144.16 c cleaning 620 clauses out of 1305 for limit 0.06958338176387255 1146.94/1144.35 c cleaning 531 clauses out of 1185 for limit 0.12637279183215427 1147.14/1144.57 c cleaning 517 clauses out of 1154 for limit 0.2140040579751424 1147.44/1144.81 c cleaning 523 clauses out of 1137 for limit 0.35819806852828023 1147.64/1145.02 c cleaning 451 clauses out of 1114 for limit 0.6029126562167602 1147.94/1145.30 c cleaning 414 clauses out of 1163 for limit 0.9523920547836093 1148.14/1145.57 c cleaning 575 clauses out of 1249 for limit 1.4624766036188 1148.44/1145.85 c cleaning 487 clauses out of 1174 for limit 2.565896625143087 1148.64/1146.07 c cleaning 512 clauses out of 1188 for limit 4.185826379064873 1148.94/1146.35 c cleaning 555 clauses out of 1175 for limit 6.972381788355415 1149.14/1146.60 c cleaning 411 clauses out of 1120 for limit 12.063043413497118 1149.44/1146.89 c cleaning 550 clauses out of 1209 for limit 18.42911582829214 1149.74/1147.16 c cleaning 494 clauses out of 1159 for limit 31.70321102784163 1149.94/1147.39 c cleaning 533 clauses out of 1165 for limit 52.01356833886395 1150.14/1147.58 c cleaning 450 clauses out of 1132 for limit 88.27790838720283 1150.44/1147.82 c cleaning 563 clauses out of 1182 for limit 139.42378609880606 1150.74/1148.14 c cleaning 412 clauses out of 1119 for limit 242.87350984609313 1150.94/1148.38 c cleaning 483 clauses out of 1207 for limit 371.32898667527894 1151.24/1148.61 c cleaning 527 clauses out of 1224 for limit 603.8660193288272 1151.44/1148.86 c cleaning 539 clauses out of 1197 for limit 1018.3187635253164 1151.64/1149.03 c cleaning 551 clauses out of 1159 for limit 1736.1404644958593 1151.94/1149.32 c cleaning 446 clauses out of 1107 for limit 2994.6222681104396 1152.14/1149.57 c cleaning 445 clauses out of 1161 for limit 4708.8335366062565 1152.44/1149.81 c cleaning 541 clauses out of 1216 for limit 7414.260990886235 1152.63/1150.03 c cleaning 435 clauses out of 1175 for limit 12653.756268128462 1152.83/1150.23 c cleaning 564 clauses out of 1240 for limit 19773.863571421236 1153.03/1150.40 c cleaning 450 clauses out of 1176 for limit 34384.426401765064 1153.14/1150.58 c cleaning 366 clauses out of 1226 for limit 54391.93666172015 1153.43/1150.80 c cleaning 617 clauses out of 1360 for limit 80861.53312748137 1153.63/1151.09 c cleaning 612 clauses out of 1243 for limit 145903.47578587095 1153.93/1151.38 c cleaning 509 clauses out of 1131 for limit 264441.7659456595 1154.24/1151.65 c cleaning 445 clauses out of 1122 for limit 439597.97555738373 1154.53/1151.93 c cleaning 556 clauses out of 1177 for limit 691079.4275330426 1154.83/1152.22 c cleaning 492 clauses out of 1121 for limit 1196615.715008573 1155.13/1152.54 c cleaning 397 clauses out of 1129 for limit 1959396.1923491932 1155.44/1152.81 c cleaning 552 clauses out of 1232 for limit 2961156.636249617 1155.63/1153.06 c cleaning 589 clauses out of 1180 for limit 5098541.6146574905 1155.83/1153.26 c cleaning 435 clauses out of 1091 for limit 9094087.156784898 1156.13/1153.52 c cleaning 504 clauses out of 1156 for limit 1.4154088789504375E7 1156.33/1153.76 c cleaning 571 clauses out of 1152 for limit 2.3423034476216353E7 1156.63/1154.03 c cleaning 422 clauses out of 1081 for limit 4.116478294426115E7 1156.93/1154.33 c cleaning 551 clauses out of 1159 for limit 6.331753145412046E7 1157.13/1154.57 c cleaning 552 clauses out of 1108 for limit 1.0922537322159733E8 1157.43/1154.83 c cleaning 486 clauses out of 1056 for limit 1.8899715492933738E8 1157.64/1155.07 c cleaning 457 clauses out of 1070 for limit 3.076035151599928E8 1157.93/1155.33 c cleaning 524 clauses out of 1113 for limit 4.876809535023691E8 1158.23/1155.61 c cleaning 454 clauses out of 1089 for limit 8.219756759947553E8 1158.43/1155.88 c cleaning 565 clauses out of 1138 for limit 1.3010800151285555E9 1158.74/1156.15 c cleaning 504 clauses out of 1070 for limit 2.275175184125771E9 1159.03/1156.42 c cleaning 447 clauses out of 1066 for limit 3.766147301446691E9 1159.33/1156.75 c cleaning 348 clauses out of 1119 for limit 5.916710325460935E9 1159.63/1157.01 c cleaning 588 clauses out of 1271 for limit 8.590545259783829E9 1159.93/1157.34 c cleaning 491 clauses out of 1183 for limit 1.5220798030799051E10 1160.23/1157.63 c cleaning 556 clauses out of 1192 for limit 2.4911610183752266E10 1160.43/1157.87 c cleaning 441 clauses out of 1136 for limit 4.310777530620181E10 1160.73/1158.16 c cleaning 541 clauses out of 1195 for limit 6.758058137948559E10 1161.04/1158.46 c cleaning 518 clauses out of 1154 for limit 1.1540906088260622E11 1161.24/1158.68 c cleaning 562 clauses out of 1136 for limit 1.933406932632422E11 1161.44/1158.86 c cleaning 532 clauses out of 1075 for limit 3.372745235220241E11 1161.74/1159.10 c cleaning 520 clauses out of 1042 for limit 5.732521047280029E11 1161.95/1159.35 c cleaning 407 clauses out of 1022 for limit 9.638697888147388E11 1162.14/1159.60 c cleaning 550 clauses out of 1115 for limit 1.4569689066545505E12 1162.44/1159.81 c cleaning 430 clauses out of 1065 for limit 2.5155411738296484E12 1800.09/1796.91 c starts : 26 1800.09/1796.91 c conflicts : 2765990 1800.09/1796.91 c decisions : 23364175 1800.09/1796.91 c propagations : 3533215471 1800.09/1796.91 c inspects : 13881792795 1800.09/1796.91 c learnt literals : 0 1800.09/1796.91 c learnt binary clauses : 0 1800.09/1796.91 c learnt ternary clauses : 1 1800.09/1796.91 c learnt clauses : 2765990 1800.09/1796.91 c root simplifications : 0 1800.09/1796.91 c removed literals (reason simplification) : 0 1800.09/1796.91 c reason swapping (by a shorter reason) : 0 1800.09/1796.91 c Calls to reduceDB : 143 1800.09/1796.91 c speed (decisions/second) : 13009.969557879287 1800.09/1796.91 c non guided choices 20 1800.09/1796.91 s SATISFIABLE 1800.09/1796.92 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 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 x8272 -x8273 x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 x8700 x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 -x8771 -x8772 -x8773 -x8774 x8775 -x8776 -x8777 x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 x8805 -x8806 -x8807 x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901 1800.09/1796.93 c objective function=26 1800.09/1796.93 c Total wall clock time (ms): 1796.549
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736041-1338713280/watcher-3736041-1338713280 -o /tmp/evaluation-result-3736041-1338713280/solver-3736041-1338713280 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736041-1338713280.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.49 1.79 1/171 30918 /proc/meminfo: memFree=31386284/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/30918/stat : 30918 (java) D 30916 30918 30888 0 -1 4202496 80 0 1 0 0 0 0 0 20 0 1 0 337456536 278528 33 33554432000 1073741824 1073778376 140734614776352 140734614773528 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/30918/statm: 68 33 25 9 0 25 0 [startup+0.0936189 s] /proc/loadavg: 1.00 1.49 1.79 1/171 30918 /proc/meminfo: memFree=31386284/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/30918/stat : 30918 (java) D 30916 30918 30888 0 -1 4202496 1036 0 14 0 0 0 0 0 20 0 1 0 337456536 23793664 777 33554432000 1073741824 1073778376 140736139728352 140736139718344 139815619242464 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 5 0 0 /proc/30918/statm: 5809 777 574 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.10032 s] /proc/loadavg: 1.00 1.49 1.79 1/171 30918 /proc/meminfo: memFree=31386284/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/30918/stat : 30918 (java) D 30916 30918 30888 0 -1 4202496 1059 0 18 0 0 0 0 0 20 0 1 0 337456536 23793664 804 33554432000 1073741824 1073778376 140736139728352 140736139718344 139815618549712 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0 /proc/30918/statm: 5809 804 598 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.300259 s] /proc/loadavg: 1.00 1.49 1.79 1/171 30918 /proc/meminfo: memFree=31386284/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=2956804 CPUtime=0.07 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 4084 0 30 0 5 2 0 0 20 0 18 0 337456536 3027767296 5321 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 739201 5321 1767 9 0 729885 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2956804 [startup+0.700215 s] /proc/loadavg: 1.00 1.49 1.79 1/171 30918 /proc/meminfo: memFree=31386284/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=2957856 CPUtime=0.81 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 9249 0 31 0 78 3 0 0 20 0 18 0 337456536 3028844544 13733 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 739464 13740 2246 9 0 729885 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 2957856 [startup+1.50068 s] /proc/loadavg: 1.00 1.49 1.79 4/211 30968 /proc/meminfo: memFree=31083816/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=2.22 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 11730 0 31 0 217 5 0 0 20 0 19 0 337456536 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 29265 2276 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=1.18 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3116 0 8 0 116 2 0 0 20 0 19 0 337456547 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815616004648 139815488414651 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337456556 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.48 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3893 0 0 0 48 0 0 0 20 0 19 0 337456564 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.5 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3544 0 0 0 50 0 0 0 20 0 19 0 337456564 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29265 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 3024420 [startup+3.10062 s] /proc/loadavg: 1.00 1.49 1.79 3/213 30973 /proc/meminfo: memFree=31030484/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=3.87 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 11743 0 31 0 382 5 0 0 20 0 19 0 337456536 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 29276 2279 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=2.78 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3118 0 8 0 276 2 0 0 20 0 19 0 337456547 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815616002432 139815488414655 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337456556 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3896 0 0 0 51 0 0 0 20 0 19 0 337456564 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3551 0 0 0 52 0 0 0 20 0 19 0 337456564 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 29276 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 3024420 [startup+6.30062 s] /proc/loadavg: 1.08 1.50 1.79 3/213 30973 /proc/meminfo: memFree=31026256/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=7.07 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 11745 0 31 0 702 5 0 0 20 0 19 0 337456536 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 29738 2279 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=5.97 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3120 0 8 0 595 2 0 0 20 0 19 0 337456547 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815616004520 139815488460393 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337456553 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337456556 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3896 0 0 0 51 0 0 0 20 0 19 0 337456564 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3551 0 0 0 52 0 0 0 20 0 19 0 337456564 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 29738 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.07 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] /proc/loadavg: 1.15 1.51 1.79 3/213 30973 /proc/meminfo: memFree=31021604/32873844 swapFree=8656/8656 ################ # More data... # ################ [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3915 0 0 0 59 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3553 0 0 0 57 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 99 0 0 0 26 28 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1725.48 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/213 31011 /proc/meminfo: memFree=28066916/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=1785.48 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 14097 0 31 0 178402 146 0 0 20 0 19 0 337456536 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 420434 2307 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=1775.33 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3290 0 8 0 177499 34 0 0 20 0 19 0 337456547 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815616003376 139815488406747 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 139 0 0 0 16 7 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0.3 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 205 0 0 0 18 12 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0.31 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 149 0 0 0 23 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 455 0 0 0 34 25 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0.44 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 381 0 0 0 26 18 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 231 0 0 0 18 14 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 157 0 0 0 13 10 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0.22 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 127 0 0 0 14 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=1.34 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 228 0 0 0 127 7 0 0 20 0 19 0 337456556 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3915 0 0 0 59 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3553 0 0 0 57 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0.56 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 103 0 0 0 27 29 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.9 s] /proc/loadavg: 2.00 2.00 1.92 2/193 31014 /proc/meminfo: memFree=29684044/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 14097 0 31 0 179863 146 0 0 20 0 19 0 337456536 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 420434 2307 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=1789.9 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3290 0 8 0 178955 35 0 0 20 0 19 0 337456547 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815616003376 139815488414625 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 139 0 0 0 16 7 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0.3 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 205 0 0 0 18 12 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0.31 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 149 0 0 0 23 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 455 0 0 0 34 25 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0.44 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 381 0 0 0 26 18 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 231 0 0 0 18 14 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 157 0 0 0 13 10 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0.22 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 127 0 0 0 14 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=1.34 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 228 0 0 0 127 7 0 0 20 0 19 0 337456556 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3915 0 0 0 59 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3553 0 0 0 57 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 103 0 0 0 28 29 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.9 s] /proc/loadavg: 2.00 2.00 1.92 2/193 31014 /proc/meminfo: memFree=29684044/32873844 swapFree=8656/8656 [pid=30918] ppid=30916 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6 /proc/30918/stat : 30918 (java) S 30916 30918 30888 0 -1 4202496 14097 0 31 0 179863 146 0 0 20 0 19 0 337456536 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 140736139719488 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30918/statm: 756105 420434 2307 9 0 746526 0 [pid=30918/tid=30924] ppid=30916 vsize=3024420 CPUtime=1789.9 cores=0,2,4,6 /proc/30918/task/30924/stat : 30924 (java) R 30916 30918 30888 0 -1 4202560 3290 0 8 0 178955 35 0 0 20 0 19 0 337456547 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815616003376 139815488414625 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 [pid=30918/tid=30926] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30926/stat : 30926 (java) S 30916 30918 30888 0 -1 4202560 139 0 0 0 16 7 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815481940264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30927] ppid=30916 vsize=3024420 CPUtime=0.3 cores=0,2,4,6 /proc/30918/task/30927/stat : 30927 (java) S 30916 30918 30888 0 -1 4202560 205 0 0 0 18 12 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815480887464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30928] ppid=30916 vsize=3024420 CPUtime=0.31 cores=0,2,4,6 /proc/30918/task/30928/stat : 30928 (java) S 30916 30918 30888 0 -1 4202560 149 0 0 0 23 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815412558376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30929] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30929/stat : 30929 (java) S 30916 30918 30888 0 -1 4202560 455 0 0 0 34 25 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815411505576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30930] ppid=30916 vsize=3024420 CPUtime=0.44 cores=0,2,4,6 /proc/30918/task/30930/stat : 30930 (java) S 30916 30918 30888 0 -1 4202560 381 0 0 0 26 18 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815410453288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30931] ppid=30916 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/30918/task/30931/stat : 30931 (java) S 30916 30918 30888 0 -1 4202560 231 0 0 0 18 14 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815409400488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30932] ppid=30916 vsize=3024420 CPUtime=0.23 cores=0,2,4,6 /proc/30918/task/30932/stat : 30932 (java) S 30916 30918 30888 0 -1 4202560 157 0 0 0 13 10 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815408348200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30933] ppid=30916 vsize=3024420 CPUtime=0.22 cores=0,2,4,6 /proc/30918/task/30933/stat : 30933 (java) S 30916 30918 30888 0 -1 4202560 127 0 0 0 14 8 0 0 20 0 19 0 337456553 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815407295400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30944] ppid=30916 vsize=3024420 CPUtime=1.34 cores=0,2,4,6 /proc/30918/task/30944/stat : 30944 (java) S 30916 30918 30888 0 -1 4202560 228 0 0 0 127 7 0 0 20 0 19 0 337456556 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815394883816 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30953] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30953/stat : 30953 (java) S 30916 30918 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815393829880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30954] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30954/stat : 30954 (java) S 30916 30918 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337456558 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815392777480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30960] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30960/stat : 30960 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815391725968 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30918/tid=30962] ppid=30916 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/30918/task/30962/stat : 30962 (java) S 30916 30918 30888 0 -1 4202560 3915 0 0 0 59 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815390673592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30918/tid=30963] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30963/stat : 30963 (java) S 30916 30918 30888 0 -1 4202560 3553 0 0 0 57 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815389620792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30965] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30965/stat : 30965 (java) S 30916 30918 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815388568696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30918/tid=30967] ppid=30916 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/30918/task/30967/stat : 30967 (java) S 30916 30918 30888 0 -1 4202560 103 0 0 0 28 29 0 0 20 0 19 0 337456564 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815387516104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30918/tid=30970] ppid=30916 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/30918/task/30970/stat : 30970 (java) S 30916 30918 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337456640 3097006080 420434 33554432000 1073741824 1073778376 140736139728352 139815385384104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30918 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=58261 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=890712 # CPU time returned by wait4() is 1795.95 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.94 CPU time (s): 1800.09 CPU user time (s): 1798.63 CPU system time (s): 1.46 CPU usage (%): 100.175 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.06 system time used= 1.89071 maximum resident set size= 1681852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14129 page faults= 31 swaps= 0 block input operations= 27760 block output operations= 1072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38439 involuntary context switches= 8386 runsolver used 5.87111 second user time and 15.0117 second system time The end
Begin job on node102 at 2012-06-03 10:48:00 IDJOB=3736041 IDBENCH=25018 IDSOLVER=2319 FILE ID=node102/3736041-1338713280 RUNJOBID= node102-1338713280-30904 PBS_JOBID= 14636729 Free space on /tmp= 71176 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736041-1338713280/watcher-3736041-1338713280 -o /tmp/evaluation-result-3736041-1338713280/solver-3736041-1338713280 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736041-1338713280.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=1359260343 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31386656 kB Buffers: 166280 kB Cached: 556352 kB SwapCached: 5520 kB Active: 131592 kB Inactive: 598204 kB Active(anon): 3980 kB Inactive(anon): 5640 kB Active(file): 127612 kB Inactive(file): 592564 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097276 kB Dirty: 4320 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 8048 kB Shmem: 0 kB Slab: 615440 kB SReclaimable: 56376 kB SUnreclaim: 559064 kB KernelStack: 1328 kB PageTables: 4288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104312 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71168 MiB End job on node102 at 2012-06-03 11:17:59