Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 24 | 1800.52 | 930.623 |
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 | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
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.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454132-1307193695.opb 0.10/0.11 c reading problem ... 1.29/0.63 c ... done. Wall clock time 0.513s. 1.29/0.63 c #vars 8901 1.29/0.63 c #constraints 32298 1.29/0.63 c constraints type 1.29/0.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1.29/0.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.29/0.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1.29/0.63 c constraints type 1.29/0.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1.29/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1.29/0.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.59/0.70 c And the winner is Resolution 1.72/1.14 c SATISFIABLE 1.72/1.14 c OPTIMIZING... 1.72/1.14 c Got one! Elapsed wall clock time (in seconds):1.028 1.72/1.14 o 27 1.72/1.16 c And the winner is Resolution 1.86/1.66 c Got one! Elapsed wall clock time (in seconds):1.547 1.86/1.66 o 26 2.24/1.77 c And the winner is Resolution 2.71/2.17 c Got one! Elapsed wall clock time (in seconds):2.059 2.71/2.17 o 25 2.88/2.26 c And the winner is Resolution 3.12/2.68 c Got one! Elapsed wall clock time (in seconds):2.568 3.12/2.68 o 24 5.75/3.96 c cleaning 2778 clauses out of 5561 with flag 5000/5561 8.48/5.29 c cleaning 4383 clauses out of 8783 with flag 11000/11561 11.52/6.70 c cleaning 5689 clauses out of 11401 with flag 18001/18562 15.07/8.57 c cleaning 6847 clauses out of 13712 with flag 26001/26562 19.48/10.75 c cleaning 7923 clauses out of 15864 with flag 35000/35561 24.11/13.02 c cleaning 8946 clauses out of 17942 with flag 45001/45562 29.22/15.46 c cleaning 9975 clauses out of 19995 with flag 56000/56561 34.84/18.26 c cleaning 11001 clauses out of 22022 with flag 68002/68563 40.98/21.35 c cleaning 11984 clauses out of 24021 with flag 81002/81563 46.92/24.32 c cleaning 12994 clauses out of 26036 with flag 95001/95562 54.48/28.12 c cleaning 14000 clauses out of 28041 with flag 110000/110561 63.05/32.42 c cleaning 15006 clauses out of 30042 with flag 126001/126562 72.17/37.03 c cleaning 15994 clauses out of 32036 with flag 143001/143562 80.50/41.24 c cleaning 17003 clauses out of 34042 with flag 161001/161562 89.82/45.98 c cleaning 17993 clauses out of 36042 with flag 180004/180565 98.53/50.37 c cleaning 18991 clauses out of 38045 with flag 200000/200561 109.62/55.91 c cleaning 20008 clauses out of 40054 with flag 221000/221561 120.77/61.58 c cleaning 20991 clauses out of 42047 with flag 243001/243562 131.88/67.13 c cleaning 22010 clauses out of 44055 with flag 266000/266561 143.17/72.85 c cleaning 23000 clauses out of 46045 with flag 290000/290561 155.41/79.09 c cleaning 23992 clauses out of 48046 with flag 315001/315562 166.89/84.83 c cleaning 25006 clauses out of 50056 with flag 341003/341564 180.77/91.84 c cleaning 26004 clauses out of 52052 with flag 368005/368566 198.05/100.59 c cleaning 26992 clauses out of 54043 with flag 396000/396561 211.43/107.34 c cleaning 27999 clauses out of 56051 with flag 425000/425561 225.10/114.27 c cleaning 28993 clauses out of 58055 with flag 455003/455564 243.15/123.33 c cleaning 30002 clauses out of 60061 with flag 486002/486563 263.22/133.41 c cleaning 31011 clauses out of 62058 with flag 518001/518562 278.55/141.22 c cleaning 32008 clauses out of 64046 with flag 551000/551561 293.98/149.06 c cleaning 32505 clauses out of 65038 with flag 584000/584561 310.80/157.53 c cleaning 32725 clauses out of 65534 with flag 617001/617562 326.80/165.65 c cleaning 32871 clauses out of 65809 with flag 650001/650562 342.48/173.61 c cleaning 32943 clauses out of 65937 with flag 683000/683561 362.09/183.57 c cleaning 32969 clauses out of 65995 with flag 716001/716562 377.27/191.24 c cleaning 32985 clauses out of 66025 with flag 749000/749561 394.47/199.99 c cleaning 32995 clauses out of 66041 with flag 782001/782562 413.70/209.74 c cleaning 32980 clauses out of 66046 with flag 815001/815562 431.70/218.82 c cleaning 33006 clauses out of 66065 with flag 848000/848561 448.43/227.35 c cleaning 32995 clauses out of 66065 with flag 881006/881567 464.58/235.54 c cleaning 32993 clauses out of 66065 with flag 914001/914562 481.77/244.38 c cleaning 33000 clauses out of 66073 with flag 947002/947563 497.90/252.51 c cleaning 33007 clauses out of 66073 with flag 980002/980563 514.41/260.91 c cleaning 33003 clauses out of 66065 with flag 1013001/1013562 530.72/269.25 c cleaning 32980 clauses out of 66062 with flag 1046001/1046562 547.23/277.78 c cleaning 32983 clauses out of 66083 with flag 1079002/1079563 563.72/286.13 c cleaning 33021 clauses out of 66098 with flag 1112000/1112561 581.98/295.49 c cleaning 33009 clauses out of 66078 with flag 1145001/1145562 600.04/304.70 c cleaning 33012 clauses out of 66069 with flag 1178001/1178562 620.10/314.92 c cleaning 33006 clauses out of 66056 with flag 1211000/1211561 640.76/325.45 c cleaning 33000 clauses out of 66051 with flag 1244001/1244562 660.64/335.53 c cleaning 32999 clauses out of 66050 with flag 1277000/1277561 679.88/345.34 c cleaning 32993 clauses out of 66051 with flag 1310000/1310561 696.88/354.21 c cleaning 33006 clauses out of 66059 with flag 1343001/1343562 714.85/363.36 c cleaning 32998 clauses out of 66053 with flag 1376001/1376562 735.23/373.71 c cleaning 33010 clauses out of 66055 with flag 1409001/1409562 755.59/384.16 c cleaning 33011 clauses out of 66044 with flag 1442000/1442561 771.70/392.51 c cleaning 32994 clauses out of 66035 with flag 1475002/1475563 788.03/400.93 c cleaning 32995 clauses out of 66039 with flag 1508000/1508561 804.18/409.22 c cleaning 33001 clauses out of 66049 with flag 1541005/1541566 823.05/418.95 c cleaning 33004 clauses out of 66043 with flag 1574000/1574561 842.84/429.26 c cleaning 33007 clauses out of 66043 with flag 1607004/1607565 858.13/437.18 c cleaning 32995 clauses out of 66033 with flag 1640001/1640562 871.57/444.16 c cleaning 32953 clauses out of 66038 with flag 1673001/1673562 886.21/451.79 c cleaning 32985 clauses out of 66088 with flag 1706004/1706565 900.95/459.56 c cleaning 32994 clauses out of 66101 with flag 1739002/1739563 916.40/467.57 c cleaning 33006 clauses out of 66107 with flag 1772002/1772563 936.56/477.93 c cleaning 33025 clauses out of 66103 with flag 1805004/1805565 952.83/486.37 c cleaning 32998 clauses out of 66074 with flag 1838000/1838561 968.76/494.70 c cleaning 33007 clauses out of 66076 with flag 1871000/1871561 985.39/503.32 c cleaning 32997 clauses out of 66072 with flag 1904003/1904564 1003.42/512.64 c cleaning 32993 clauses out of 66073 with flag 1937001/1937562 1021.22/521.85 c cleaning 33004 clauses out of 66080 with flag 1970001/1970562 1037.53/530.49 c cleaning 33007 clauses out of 66075 with flag 2003000/2003561 1055.12/539.55 c cleaning 33016 clauses out of 66069 with flag 2036001/2036562 1074.35/549.48 c cleaning 32996 clauses out of 66052 with flag 2069000/2069561 1099.36/562.29 c cleaning 33007 clauses out of 66056 with flag 2102000/2102561 1121.29/573.60 c cleaning 32958 clauses out of 66050 with flag 2135001/2135562 1139.09/582.91 c cleaning 32973 clauses out of 66094 with flag 2168003/2168564 1155.84/591.53 c cleaning 33002 clauses out of 66118 with flag 2201000/2201561 1174.38/601.18 c cleaning 33012 clauses out of 66117 with flag 2234001/2234562 1189.25/609.08 c cleaning 33011 clauses out of 66104 with flag 2267000/2267561 1204.60/617.09 c cleaning 33010 clauses out of 66093 with flag 2300000/2300561 1222.93/626.53 c cleaning 32984 clauses out of 66083 with flag 2333000/2333561 1244.07/637.48 c cleaning 33008 clauses out of 66099 with flag 2366000/2366561 1265.88/648.86 c cleaning 32996 clauses out of 66091 with flag 2399000/2399561 1286.81/659.65 c cleaning 33009 clauses out of 66095 with flag 2432000/2432561 1303.94/668.56 c cleaning 33009 clauses out of 66087 with flag 2465001/2465562 1321.00/677.41 c cleaning 33010 clauses out of 66078 with flag 2498001/2498562 1338.32/686.67 c cleaning 33010 clauses out of 66068 with flag 2531001/2531562 1355.95/695.80 c cleaning 33000 clauses out of 66060 with flag 2564003/2564564 1376.19/706.33 c cleaning 33015 clauses out of 66063 with flag 2597006/2597567 1395.21/716.22 c cleaning 33000 clauses out of 66042 with flag 2630000/2630561 1412.07/725.27 c cleaning 32988 clauses out of 66042 with flag 2663000/2663561 1430.27/734.74 c cleaning 32979 clauses out of 66056 with flag 2696002/2696563 1447.64/743.83 c cleaning 32986 clauses out of 66076 with flag 2729001/2729562 1465.41/753.17 c cleaning 33004 clauses out of 66089 with flag 2762000/2762561 1483.21/762.69 c cleaning 33009 clauses out of 66085 with flag 2795000/2795561 1499.40/771.13 c cleaning 32997 clauses out of 66076 with flag 2828000/2828561 1515.31/779.52 c cleaning 32990 clauses out of 66081 with flag 2861002/2861563 1534.70/789.69 c cleaning 33001 clauses out of 66089 with flag 2894000/2894561 1554.11/799.93 c cleaning 32982 clauses out of 66090 with flag 2927002/2927563 1572.50/809.54 c cleaning 33006 clauses out of 66108 with flag 2960002/2960563 1593.38/820.48 c cleaning 33016 clauses out of 66100 with flag 2993000/2993561 1612.05/830.22 c cleaning 32997 clauses out of 66084 with flag 3026000/3026561 1629.89/839.84 c cleaning 33005 clauses out of 66087 with flag 3059000/3059561 1646.94/848.82 c cleaning 33002 clauses out of 66083 with flag 3092001/3092562 1663.66/857.60 c cleaning 0 clauses out of 5011 with flag 0/5014 1669.44/860.95 c cleaning 32997 clauses out of 66080 with flag 3125000/3125561 1686.52/870.19 c cleaning 32996 clauses out of 66091 with flag 3158008/3158569 1704.94/879.84 c cleaning 33013 clauses out of 66087 with flag 3191000/3191561 1725.05/890.36 c cleaning 32996 clauses out of 66075 with flag 3224001/3224562 1747.58/902.03 c cleaning 32997 clauses out of 66078 with flag 3257000/3257561 1768.03/912.95 c cleaning 32993 clauses out of 66083 with flag 3290002/3290563 1783.25/921.01 c cleaning 32999 clauses out of 66088 with flag 3323000/3323561 1798.07/928.96 c cleaning 32993 clauses out of 66089 with flag 3356000/3356561 1800.16/930.42 c starts : 254 1800.16/930.42 c conflicts : 3359032 1800.16/930.42 c decisions : 10673868 1800.16/930.42 c propagations : 1265862453 1800.16/930.42 c inspects : 3893866561 1800.16/930.42 c shortcuts : 0 1800.16/930.42 c learnt literals : 0 1800.16/930.42 c learnt binary clauses : 3 1800.16/930.42 c learnt ternary clauses : 0 1800.16/930.42 c learnt constraints : 3359032 1800.16/930.42 c ignored constraints : 0 1800.16/930.42 c root simplifications : 0 1800.16/930.42 c removed literals (reason simplification) : 234944861 1800.16/930.42 c reason swapping (by a shorter reason) : 0 1800.16/930.42 c Calls to reduceDB : 114 1800.16/930.42 c number of reductions to clauses (during analyze) : 0 1800.16/930.42 c number of learned constraints concerned by reduction : 0 1800.16/930.42 c number of learning phase by resolution : 0 1800.16/930.42 c number of learning phase by cutting planes : 0 1800.16/930.42 c speed (assignments/second) : 1364458.3536335612 1800.16/930.42 c non guided choices 34064 1800.16/930.44 c learnt constraints type 1800.16/930.44 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.16/930.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 35658 1800.16/930.44 c constraints type 1800.16/930.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1800.16/930.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.16/930.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1800.16/930.44 c constraints type 1800.16/930.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1800.16/930.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1800.16/930.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.16/930.44 s SATISFIABLE 1800.16/930.46 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.16/930.47 c objective function=24 1800.16/930.47 c Total wall clock time (in seconds): 930.358
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454132-1307193695/watcher-3454132-1307193695 -o /tmp/evaluation-result-3454132-1307193695/solver-3454132-1307193695 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454132-1307193695.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: 3.97 4.03 3.94 3/467 26037 /proc/meminfo: memFree=27621708/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 1874 0 1 0 0 0 0 0 25 0 2 0 830968251 10681323520 1575 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2607745 1589 906 9 0 2598901 0 [pid=26037/tid=26038] ppid=26035 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) R 26035 26037 22425 0 -1 4202560 4280 0 1 0 0 0 0 0 25 0 2 0 830968252 10694979584 5096 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0352661 s] /proc/loadavg: 3.97 4.03 3.94 3/467 26037 /proc/meminfo: memFree=27621708/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10465424 CPUtime=0.02 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 10950 0 1 0 1 1 0 0 25 0 11 0 830968251 10716594176 10648 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2616356 10649 1600 9 0 2607104 0 [pid=26037/tid=26038] ppid=26035 vsize=10465424 CPUtime=0.02 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) R 26035 26037 22425 0 -1 4202560 9826 0 1 0 1 1 0 0 25 0 11 0 830968252 10716594176 10650 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 47761082000131 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10465424 [startup+0.100309 s] /proc/loadavg: 3.97 4.03 3.94 3/467 26037 /proc/meminfo: memFree=27621708/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10540304 CPUtime=0.1 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 13071 0 1 0 9 1 0 0 25 0 18 0 830968251 10793271296 12729 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2635076 12729 2093 9 0 2625810 0 [pid=26037/tid=26038] ppid=26035 vsize=10540304 CPUtime=0.08 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) R 26035 26037 22425 0 -1 4202560 11111 0 1 0 7 1 0 0 25 0 18 0 830968252 10793271296 12730 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540304 [startup+0.346088 s] /proc/loadavg: 3.97 4.03 3.94 3/467 26037 /proc/meminfo: memFree=27621708/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10544200 CPUtime=0.7 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 20615 0 1 0 67 3 0 0 25 0 18 0 830968251 10797260800 19259 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2636050 19260 2207 9 0 2626784 0 [pid=26037/tid=26038] ppid=26035 vsize=10544200 CPUtime=0.35 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) R 26035 26037 22425 0 -1 4202560 14910 0 1 0 33 2 0 0 18 0 18 0 830968252 10797260800 19261 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 10544200 [startup+0.701098 s] /proc/loadavg: 3.97 4.03 3.94 3/467 26037 /proc/meminfo: memFree=27621708/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10560048 CPUtime=1.59 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 42533 0 1 0 153 6 0 0 25 0 22 0 830968251 10813489152 38893 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640012 38893 2234 9 0 2630746 0 [pid=26037/tid=26038] ppid=26035 vsize=10560048 CPUtime=0.61 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 30755 0 1 0 57 4 0 0 19 0 22 0 830968252 10813489152 38893 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 10560048 [startup+1.50108 s] /proc/loadavg: 3.97 4.03 3.94 3/486 26059 /proc/meminfo: memFree=27472204/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10560048 CPUtime=1.86 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 44042 0 1 0 180 6 0 0 25 0 19 0 830968251 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640012 39342 2240 9 0 2630746 0 [pid=26037/tid=26038] ppid=26035 vsize=10560048 CPUtime=0.63 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 30859 0 1 0 59 4 0 0 17 0 19 0 830968252 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968253 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 830968254 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 830968255 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830968255 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968257 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10560048 CPUtime=0.52 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 4916 0 0 0 52 0 0 0 15 0 19 0 830968257 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10560048 CPUtime=0.49 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 6331 0 0 0 49 0 0 0 17 0 19 0 830968257 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26054] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26054/stat : 26054 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830968257 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26055] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26055/stat : 26055 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830968257 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26059] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26059/stat : 26059 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830968316 10813489152 39342 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 10560048 [startup+3.10068 s] /proc/loadavg: 3.97 4.03 3.94 3/486 26065 /proc/meminfo: memFree=27436616/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10560048 CPUtime=4.13 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 111553 0 1 0 400 13 0 0 25 0 22 0 830968251 10813489152 104430 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640012 104436 2244 9 0 2630746 0 [pid=26037/tid=26038] ppid=26035 vsize=10560048 CPUtime=0.65 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 31152 0 1 0 61 4 0 0 16 0 22 0 830968252 10813489152 104439 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104442 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104444 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104447 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104450 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104453 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104456 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104460 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968253 10813489152 104463 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830968254 10813489152 104466 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 22 0 830968255 10813489152 104469 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830968255 10813489152 104472 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10813489152 104474 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10560048 CPUtime=1 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 10016 0 0 0 99 1 0 0 15 0 22 0 830968257 10813489152 104477 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10560048 CPUtime=0.93 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 6640 0 0 0 93 0 0 0 15 0 22 0 830968257 10813489152 104480 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26054] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26054/stat : 26054 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10813489152 104483 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26055] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26055/stat : 26055 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968257 10813489152 104486 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26059] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26059/stat : 26059 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830968316 10813489152 104490 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 10560048 [startup+6.30117 s] /proc/loadavg: 3.97 4.03 3.94 3/466 26074 /proc/meminfo: memFree=30039496/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10560048 CPUtime=10.72 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 323044 0 1 0 1035 37 0 0 25 0 22 0 830968251 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640012 313023 2268 9 0 2630746 0 [pid=26037/tid=26038] ppid=26035 vsize=10560048 CPUtime=0.65 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 31152 0 1 0 61 4 0 0 15 0 22 0 830968252 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 527 0 0 0 0 0 0 0 15 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 707 0 0 0 0 0 0 0 16 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10560048 CPUtime=0.01 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 1146 0 0 0 1 0 0 0 18 0 22 0 830968253 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10560048 CPUtime=0.08 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 3173 0 0 0 8 0 0 0 15 0 22 0 830968254 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830968255 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830968255 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10560048 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10560048 CPUtime=1.19 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 10055 0 0 0 118 1 0 0 16 0 22 0 830968257 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10560048 CPUtime=1.02 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 6641 0 0 0 102 0 0 0 15 0 22 0 830968257 10813489152 313023 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=25969664/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10561756 CPUtime=1596.21 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 1015919 0 1 0 159508 113 0 0 25 0 22 0 830968251 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640439 999696 2270 9 0 2631173 0 [pid=26037/tid=26038] ppid=26035 vsize=10561756 CPUtime=0.65 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 31183 0 1 0 61 4 0 0 15 0 22 0 830968252 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10561756 CPUtime=1.19 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 15061 0 0 0 117 2 0 0 15 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10561756 CPUtime=1.14 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 16348 0 0 0 112 2 0 0 16 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10561756 CPUtime=1.08 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 23602 0 0 0 105 3 0 0 15 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10561756 CPUtime=1.27 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 19217 0 0 0 124 3 0 0 15 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10561756 CPUtime=1.25 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 8619 0 0 0 124 1 0 0 15 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10561756 CPUtime=1.28 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 21522 0 0 0 125 3 0 0 15 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10561756 CPUtime=1.15 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 17836 0 0 0 114 1 0 0 16 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10561756 CPUtime=1.05 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 15556 0 0 0 104 1 0 0 16 0 22 0 830968253 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10561756 CPUtime=51.45 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 31004 0 0 0 5140 5 0 0 17 0 22 0 830968254 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10561756 CPUtime=1.26 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 10055 0 0 0 125 1 0 0 15 0 22 0 830968257 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10561756 CPUtime=1.7 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 7619 0 0 0 170 0 0 0 15 0 22 0 830968257 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26054] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26054/stat : 26054 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26055] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26055/stat : 26055 (java) S 26035 26037 22425 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830968257 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26059] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26059/stat : 26059 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830968316 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26069] ppid=26035 vsize=10561756 CPUtime=765.44 cores=0,2,4,6 /proc/26037/task/26069/stat : 26069 (java) R 26035 26037 22425 0 -1 4202560 2927 0 0 0 76544 0 0 0 18 0 22 0 830968520 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912506114921 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26037/tid=26070] ppid=26035 vsize=10561756 CPUtime=765.47 cores=0,2,4,6 /proc/26037/task/26070/stat : 26070 (java) R 26035 26037 22425 0 -1 4202560 778317 0 0 0 76469 78 0 0 19 0 22 0 830968520 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912506068077 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26037/tid=26071] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26071/stat : 26071 (java) S 26035 26037 22425 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830968520 10815238144 999696 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1596.21 Current children cumulated vsize (KiB) 10561756 [startup+882.301 s] /proc/loadavg: 3.68 3.73 3.81 4/489 26187 /proc/meminfo: memFree=25942428/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10561756 CPUtime=1709 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 1023099 0 1 0 170785 115 0 0 25 0 22 0 830968251 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640439 1006315 2270 9 0 2631173 0 [pid=26037/tid=26038] ppid=26035 vsize=10561756 CPUtime=0.65 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 31185 0 1 0 61 4 0 0 15 0 22 0 830968252 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10561756 CPUtime=1.29 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 15480 0 0 0 127 2 0 0 15 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10561756 CPUtime=1.27 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 17258 0 0 0 125 2 0 0 15 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10561756 CPUtime=1.18 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 24294 0 0 0 115 3 0 0 16 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10561756 CPUtime=1.37 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 19859 0 0 0 134 3 0 0 15 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10561756 CPUtime=1.29 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 9713 0 0 0 128 1 0 0 16 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10561756 CPUtime=1.39 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 23644 0 0 0 136 3 0 0 15 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10561756 CPUtime=1.3 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 18156 0 0 0 128 2 0 0 16 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10561756 CPUtime=1.1 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 15842 0 0 0 109 1 0 0 16 0 22 0 830968253 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10561756 CPUtime=59.22 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 31286 0 0 0 5917 5 0 0 15 0 22 0 830968254 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10561756 CPUtime=1.3 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 10173 0 0 0 129 1 0 0 16 0 22 0 830968257 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10561756 CPUtime=1.86 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 7901 0 0 0 186 0 0 0 16 0 22 0 830968257 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26054] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26054/stat : 26054 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26055] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26055/stat : 26055 (java) S 26035 26037 22425 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830968257 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26059] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26059/stat : 26059 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830968316 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26069] ppid=26035 vsize=10561756 CPUtime=817.46 cores=0,2,4,6 /proc/26037/task/26069/stat : 26069 (java) R 26035 26037 22425 0 -1 4202560 2933 0 0 0 81745 1 0 0 19 0 22 0 830968520 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912505807040 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26037/tid=26070] ppid=26035 vsize=10561756 CPUtime=817.48 cores=0,2,4,6 /proc/26037/task/26070/stat : 26070 (java) R 26035 26037 22425 0 -1 4202560 778318 0 0 0 81670 78 0 0 20 0 22 0 830968520 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912506169742 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26037/tid=26071] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26071/stat : 26071 (java) S 26035 26037 22425 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830968520 10815238144 1006315 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1709 Current children cumulated vsize (KiB) 10561756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+930.402 s] /proc/loadavg: 3.75 3.74 3.80 5/489 26189 /proc/meminfo: memFree=25905036/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=10561756 CPUtime=1800.16 cores=0,2,4,6 /proc/26037/stat : 26037 (java) S 26035 26037 22425 0 -1 4202496 1027984 0 1 0 179901 115 0 0 25 0 22 0 830968251 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 2640439 1011007 2270 9 0 2631173 0 [pid=26037/tid=26038] ppid=26035 vsize=10561756 CPUtime=0.65 cores=0,2,4,6 /proc/26037/task/26038/stat : 26038 (java) S 26035 26037 22425 0 -1 4202560 31185 0 1 0 61 4 0 0 15 0 22 0 830968252 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26040] ppid=26035 vsize=10561756 CPUtime=1.39 cores=0,2,4,6 /proc/26037/task/26040/stat : 26040 (java) S 26035 26037 22425 0 -1 4202560 16582 0 0 0 136 3 0 0 15 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26041] ppid=26035 vsize=10561756 CPUtime=1.33 cores=0,2,4,6 /proc/26037/task/26041/stat : 26041 (java) S 26035 26037 22425 0 -1 4202560 17258 0 0 0 131 2 0 0 16 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26042] ppid=26035 vsize=10561756 CPUtime=1.27 cores=0,2,4,6 /proc/26037/task/26042/stat : 26042 (java) S 26035 26037 22425 0 -1 4202560 24313 0 0 0 124 3 0 0 16 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26043] ppid=26035 vsize=10561756 CPUtime=1.44 cores=0,2,4,6 /proc/26037/task/26043/stat : 26043 (java) S 26035 26037 22425 0 -1 4202560 20999 0 0 0 141 3 0 0 15 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26044] ppid=26035 vsize=10561756 CPUtime=1.38 cores=0,2,4,6 /proc/26037/task/26044/stat : 26044 (java) S 26035 26037 22425 0 -1 4202560 11154 0 0 0 137 1 0 0 15 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26045] ppid=26035 vsize=10561756 CPUtime=1.49 cores=0,2,4,6 /proc/26037/task/26045/stat : 26045 (java) S 26035 26037 22425 0 -1 4202560 24714 0 0 0 146 3 0 0 15 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26046] ppid=26035 vsize=10561756 CPUtime=1.36 cores=0,2,4,6 /proc/26037/task/26046/stat : 26046 (java) S 26035 26037 22425 0 -1 4202560 18257 0 0 0 134 2 0 0 16 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26047] ppid=26035 vsize=10561756 CPUtime=1.22 cores=0,2,4,6 /proc/26037/task/26047/stat : 26047 (java) S 26035 26037 22425 0 -1 4202560 15842 0 0 0 121 1 0 0 16 0 22 0 830968253 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26048] ppid=26035 vsize=10561756 CPUtime=64.59 cores=0,2,4,6 /proc/26037/task/26048/stat : 26048 (java) S 26035 26037 22425 0 -1 4202560 31288 0 0 0 6454 5 0 0 17 0 22 0 830968254 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 0 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26049] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26049/stat : 26049 (java) S 26035 26037 22425 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26050] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26050/stat : 26050 (java) S 26035 26037 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830968255 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26051] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26051/stat : 26051 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606690225 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26052] ppid=26035 vsize=10561756 CPUtime=1.3 cores=0,2,4,6 /proc/26037/task/26052/stat : 26052 (java) S 26035 26037 22425 0 -1 4202560 10173 0 0 0 129 1 0 0 16 0 22 0 830968257 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 4 0 0 0 [pid=26037/tid=26053] ppid=26035 vsize=10561756 CPUtime=1.86 cores=0,2,4,6 /proc/26037/task/26053/stat : 26053 (java) S 26035 26037 22425 0 -1 4202560 7901 0 0 0 186 0 0 0 16 0 22 0 830968257 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 [pid=26037/tid=26054] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26054/stat : 26054 (java) S 26035 26037 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968257 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606682521 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26055] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26055/stat : 26055 (java) S 26035 26037 22425 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830968257 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 2 0 0 0 [pid=26037/tid=26059] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26059/stat : 26059 (java) S 26035 26037 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830968316 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 6 0 0 0 [pid=26037/tid=26069] ppid=26035 vsize=10561756 CPUtime=860.03 cores=0,2,4,6 /proc/26037/task/26069/stat : 26069 (java) R 26035 26037 22425 0 -1 4202560 2939 0 0 0 86002 1 0 0 18 0 22 0 830968520 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912505976961 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26037/tid=26070] ppid=26035 vsize=10561756 CPUtime=860.05 cores=0,2,4,6 /proc/26037/task/26070/stat : 26070 (java) R 26035 26037 22425 0 -1 4202560 778320 0 0 0 85927 78 0 0 18 0 22 0 830968520 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 46912506201239 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26037/tid=26071] ppid=26035 vsize=10561756 CPUtime=0 cores=0,2,4,6 /proc/26037/task/26071/stat : 26071 (java) S 26035 26037 22425 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830968520 10815238144 1011007 33554432000 1073741824 1073778376 140737114735952 18446744073709551615 235606683136 0 4 0 16800975 18446604452312308800 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 10561756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+930.618 s] /proc/loadavg: 3.75 3.74 3.80 4/470 26192 /proc/meminfo: memFree=27160052/32950928 swapFree=34365992/67111528 [pid=26037] ppid=26035 vsize=0 CPUtime=1800.5 cores=0,2,4,6 /proc/26037/stat : 26037 (java) Z 26035 26037 22425 0 -1 4203548 1028014 0 1 0 179921 129 0 0 17 0 2 0 830968251 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26037/statm: 0 0 0 0 0 0 0 [pid=26037/tid=26070] ppid=26035 vsize=0 CPUtime=860.26 cores=0,2,4,6 /proc/26037/task/26070/stat : 26070 (java) R 26035 26037 22425 0 -1 4203588 778320 0 0 0 85933 93 0 0 18 0 2 0 830968520 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 930.623 CPU time (s): 1800.52 CPU user time (s): 1799.21 CPU system time (s): 1.3048 CPU usage (%): 193.474 Max. virtual memory (cumulated for all children) (KiB): 10566308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 1.3048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1028014 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26681 involuntary context switches= 18697 runsolver used 4.50031 second user time and 9.67953 second system time The end
Begin job on node120 at 2011-06-04 15:21:35 IDJOB=3454132 IDBENCH=25018 IDSOLVER=1950 FILE ID=node120/3454132-1307193695 RUNJOBID= node120-1307192793-25870 PBS_JOBID= 13508848 Free space on /tmp= 73804 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454132-1307193695/watcher-3454132-1307193695 -o /tmp/evaluation-result-3454132-1307193695/solver-3454132-1307193695 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454132-1307193695.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=1209122126 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27621996 kB Buffers: 314864 kB Cached: 1031036 kB SwapCached: 12852 kB Active: 4053756 kB Inactive: 975520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27621996 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 1256 kB Writeback: 4 kB AnonPages: 3681068 kB Mapped: 17428 kB Slab: 134072 kB PageTables: 98528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 115739164 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73816 MiB End job on node120 at 2011-06-04 15:37:07