Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | MSAT (TO) | 1800.53 | 1788.67 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | e79d43742b4ee40954b18e2a5bb4c066 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 7.06492 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 220 |
| Number of soft constraints | 152 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 60 |
| Top cost | 7443 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 7442 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 61 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120528 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 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 No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 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-3718080-1338248733.wbo 0.10/0.11 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.181s. 0.27/0.29 c declared #vars 6000 0.27/0.29 c internal #vars 6152 0.27/0.29 c #constraints 220 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 0.27/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 30 0.27/0.29 c ignored satisfied constraints => 1 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70 0.27/0.29 c 221 constraints processed. 0.27/0.29 c objective function length is 152 literals 1.14/0.55 c SATISFIABLE 1.14/0.55 c OPTIMIZING... 1.14/0.55 c Got one! Elapsed wall clock time (in seconds):0.434 1.14/0.55 o 146 1.14/0.58 c Got one! Elapsed wall clock time (in seconds):0.466 1.14/0.58 o 140 1.40/0.63 c Got one! Elapsed wall clock time (in seconds):0.514 1.40/0.63 o 116 1.40/0.66 c Got one! Elapsed wall clock time (in seconds):0.552 1.40/0.66 o 64 1.58/0.71 c Got one! Elapsed wall clock time (in seconds):0.598 1.58/0.71 o 47 1.69/0.81 c Got one! Elapsed wall clock time (in seconds):0.699 1.69/0.81 o 41 1.69/0.88 c Got one! Elapsed wall clock time (in seconds):0.764 1.69/0.88 o 31 2.10/1.24 c cleaning 3889 clauses out of 7802 with flag 21719/7802 2.10/1.29 c Got one! Elapsed wall clock time (in seconds):1.183 2.10/1.29 o 26 2.32/1.41 c Got one! Elapsed wall clock time (in seconds):1.303 2.32/1.41 o 25 2.76/1.80 c cleaning 4875 clauses out of 9788 with flag 23782/13677 2.98/2.05 c Got one! Elapsed wall clock time (in seconds):1.938 2.98/2.05 o 20 3.38/2.40 c cleaning 5339 clauses out of 10692 with flag 18015/19456 3.49/2.59 c Got one! Elapsed wall clock time (in seconds):2.476 3.49/2.59 o 14 3.69/2.74 c Got one! Elapsed wall clock time (in seconds):2.624 3.69/2.74 o 12 3.99/3.04 c cleaning 5849 clauses out of 11752 with flag 18872/25855 4.84/3.81 c cleaning 5919 clauses out of 11900 with flag 60644/31852 5.54/4.50 c cleaning 6481 clauses out of 12981 with flag 99465/38852 6.76/5.72 c cleaning 7237 clauses out of 14501 with flag 131154/46853 7.07/6.09 c Got one! Elapsed wall clock time (in seconds):5.975 7.07/6.09 o 11 7.27/6.29 c Got one! Elapsed wall clock time (in seconds):6.177 7.27/6.29 o 10 7.37/6.39 c cleaning 6397 clauses out of 12799 with flag 7197/52388 7.88/6.88 c cleaning 6177 clauses out of 12404 with flag 45255/58390 8.70/7.68 c cleaning 6583 clauses out of 13224 with flag 89987/65387 9.82/8.74 c cleaning 7296 clauses out of 14642 with flag 145728/73388 10.74/9.62 c cleaning 8141 clauses out of 16347 with flag 204967/82389 12.37/11.25 c cleaning 9090 clauses out of 18205 with flag 263345/92388 13.79/12.62 c cleaning 10046 clauses out of 20116 with flag 346151/103389 15.51/14.30 c cleaning 11009 clauses out of 22069 with flag 442552/115388 16.92/15.73 c cleaning 12007 clauses out of 24059 with flag 527312/128387 18.54/17.39 c cleaning 13010 clauses out of 26052 with flag 623707/142387 20.98/19.76 c cleaning 14010 clauses out of 28043 with flag 755556/157388 24.01/22.74 c cleaning 15012 clauses out of 30035 with flag 910675/173390 26.47/25.15 c cleaning 15975 clauses out of 32020 with flag 1016498/190387 29.28/27.94 c cleaning 17010 clauses out of 34047 with flag 1161012/208389 32.92/31.55 c cleaning 18007 clauses out of 36036 with flag 1317063/227388 36.74/35.37 c cleaning 19000 clauses out of 38029 with flag 1487872/247388 40.28/38.83 c cleaning 20009 clauses out of 40029 with flag 1663877/268388 43.76/42.20 c cleaning 20990 clauses out of 42019 with flag 1821942/290387 48.29/46.73 c cleaning 21993 clauses out of 44029 with flag 2012239/313387 52.56/50.96 c cleaning 23000 clauses out of 46037 with flag 2238406/337388 57.11/55.47 c cleaning 24011 clauses out of 48040 with flag 2451064/362391 63.37/61.67 c cleaning 25003 clauses out of 50025 with flag 2704964/388387 67.41/65.64 c cleaning 25989 clauses out of 52026 with flag 2896733/415391 73.36/71.55 c cleaning 27002 clauses out of 54035 with flag 3134189/443389 81.02/79.13 c cleaning 28004 clauses out of 56033 with flag 3393822/472389 89.03/87.05 c cleaning 28999 clauses out of 58030 with flag 3651477/502390 96.58/94.53 c cleaning 30008 clauses out of 60029 with flag 3913487/533388 105.14/103.05 c cleaning 31002 clauses out of 62020 with flag 4217961/565387 111.81/109.62 c cleaning 31966 clauses out of 64022 with flag 4519724/598391 118.89/116.67 c cleaning 33007 clauses out of 66055 with flag 4795681/632390 128.47/126.11 c cleaning 33996 clauses out of 68047 with flag 5084884/667389 137.13/134.78 c cleaning 35009 clauses out of 70051 with flag 5397346/703389 145.81/143.36 c cleaning 35996 clauses out of 72040 with flag 5729332/740387 156.51/153.95 c cleaning 36996 clauses out of 74044 with flag 6084963/778387 166.29/163.66 c cleaning 38018 clauses out of 76051 with flag 6469258/817390 177.44/174.77 c cleaning 39005 clauses out of 78031 with flag 6920695/857388 185.65/182.83 c cleaning 39991 clauses out of 80025 with flag 7337083/898387 197.34/194.48 c cleaning 41011 clauses out of 82037 with flag 7685600/940390 210.38/207.23 c cleaning 42001 clauses out of 84023 with flag 8056316/983387 221.77/218.65 c cleaning 42993 clauses out of 86025 with flag 8467446/1027390 239.78/236.59 c cleaning 43980 clauses out of 88030 with flag 8812656/1072388 252.27/248.92 c cleaning 44980 clauses out of 90049 with flag 9249582/1118387 265.57/262.15 c cleaning 45969 clauses out of 92070 with flag 9691262/1165388 277.90/274.36 c cleaning 47018 clauses out of 94100 with flag 10170752/1213387 294.88/291.23 c cleaning 48008 clauses out of 96082 with flag 10654972/1262387 312.89/309.12 c cleaning 48999 clauses out of 98074 with flag 11177713/1312387 322.47/318.65 c cleaning 50015 clauses out of 100078 with flag 11577471/1363390 334.78/330.83 c cleaning 51013 clauses out of 102060 with flag 12022944/1415387 349.00/344.99 c cleaning 52013 clauses out of 104047 with flag 12478608/1468387 367.81/363.62 c cleaning 53011 clauses out of 106036 with flag 13011238/1522389 386.25/381.95 c cleaning 53999 clauses out of 108024 with flag 13506998/1577388 401.45/397.02 c cleaning 54994 clauses out of 110024 with flag 14001174/1633387 424.47/419.95 c cleaning 56000 clauses out of 112031 with flag 14518507/1690388 443.76/439.18 c cleaning 56998 clauses out of 114030 with flag 15185052/1748387 460.17/455.48 c cleaning 58009 clauses out of 116033 with flag 15817114/1807388 483.67/478.86 c cleaning 59002 clauses out of 118023 with flag 16428026/1867387 506.02/501.04 c cleaning 60000 clauses out of 120021 with flag 17115054/1928387 527.41/522.32 c cleaning 60996 clauses out of 122021 with flag 17841101/1990387 540.33/535.11 c cleaning 61988 clauses out of 124025 with flag 18328552/2053387 560.32/555.09 c cleaning 62988 clauses out of 126038 with flag 18900999/2117388 586.99/581.49 c cleaning 64016 clauses out of 128056 with flag 19543145/2182394 619.16/613.59 c cleaning 64996 clauses out of 130034 with flag 20131670/2248388 639.18/633.48 c cleaning 65997 clauses out of 132040 with flag 20785601/2315390 670.42/664.57 c cleaning 67011 clauses out of 134044 with flag 21498222/2383391 691.05/685.09 c cleaning 67993 clauses out of 136030 with flag 22127433/2452388 720.07/713.97 c cleaning 68960 clauses out of 138037 with flag 22762366/2522388 749.90/743.61 c cleaning 69990 clauses out of 140077 with flag 23430782/2593388 777.13/770.78 c cleaning 71033 clauses out of 142086 with flag 24112379/2665387 805.07/798.50 c cleaning 72008 clauses out of 144054 with flag 24857253/2738388 833.37/826.78 c cleaning 73013 clauses out of 146047 with flag 25572671/2812389 863.99/857.27 c cleaning 74006 clauses out of 148033 with flag 26298467/2887388 891.63/884.72 c cleaning 75000 clauses out of 150026 with flag 27099373/2963387 908.43/901.48 c cleaning 75978 clauses out of 152028 with flag 27765020/3040389 937.03/929.65 c cleaning 76985 clauses out of 154048 with flag 28478730/3118387 968.33/960.97 c cleaning 78017 clauses out of 156063 with flag 29220631/3197387 1000.10/992.50 c cleaning 79005 clauses out of 158046 with flag 29949669/3277387 1033.95/1026.20 c cleaning 80004 clauses out of 160042 with flag 30835973/3358388 1069.81/1061.91 c cleaning 81010 clauses out of 162037 with flag 31659411/3440387 1104.84/1096.73 c cleaning 82005 clauses out of 164029 with flag 32506928/3523389 1138.88/1130.68 c cleaning 83000 clauses out of 166025 with flag 33424438/3607390 1165.65/1157.28 c cleaning 83989 clauses out of 168022 with flag 34281503/3692387 1198.75/1190.23 c cleaning 84997 clauses out of 170035 with flag 35041670/3778389 1242.20/1233.58 c cleaning 85998 clauses out of 172037 with flag 35789917/3865388 1283.24/1274.46 c cleaning 86998 clauses out of 174038 with flag 36669503/3953387 1315.77/1306.84 c cleaning 88009 clauses out of 176040 with flag 37468814/4042387 1357.20/1348.16 c cleaning 89004 clauses out of 178032 with flag 38271893/4132388 1401.37/1392.15 c cleaning 90000 clauses out of 180028 with flag 39048710/4223388 1443.35/1433.95 c cleaning 90999 clauses out of 182030 with flag 39912894/4315390 1482.04/1472.44 c cleaning 92004 clauses out of 184031 with flag 40701043/4408390 1517.58/1507.80 c cleaning 92998 clauses out of 186024 with flag 41544089/4502387 1545.15/1535.22 c cleaning 93998 clauses out of 188029 with flag 42318473/4597390 1574.84/1564.78 c cleaning 94984 clauses out of 190029 with flag 43186287/4693388 1622.93/1612.35 c cleaning 95973 clauses out of 192044 with flag 44180950/4790387 1672.10/1661.47 c cleaning 96983 clauses out of 194072 with flag 45119475/4888388 1703.20/1692.34 c cleaning 98026 clauses out of 196088 with flag 46082565/4987387 1752.57/1741.50 c cleaning 99014 clauses out of 198062 with flag 47088363/5087387 1788.25/1777.10 c cleaning 100010 clauses out of 200049 with flag 48092208/5188388 1800.01/1788.62 c starts : 288 1800.01/1788.62 c conflicts : 5228617 1800.01/1788.62 c decisions : 7156719 1800.01/1788.62 c propagations : 252540093 1800.01/1788.62 c inspects : 18733045223 1800.01/1788.62 c shortcuts : 0 1800.01/1788.62 c learnt literals : 0 1800.01/1788.62 c learnt binary clauses : 0 1800.01/1788.62 c learnt ternary clauses : 0 1800.01/1788.62 c learnt constraints : 5228617 1800.01/1788.62 c ignored constraints : 0 1800.01/1788.62 c root simplifications : 0 1800.01/1788.62 c removed literals (reason simplification) : 0 1800.01/1788.62 c reason swapping (by a shorter reason) : 0 1800.01/1788.62 c Calls to reduceDB : 104 1800.01/1788.62 c Number of update (reduction) of LBD : 3181614 1800.01/1788.62 c number of reductions to clauses (during analyze) : 0 1800.01/1788.62 c number of learned constraints concerned by reduction : 0 1800.01/1788.62 c number of learning phase by resolution : 0 1800.01/1788.62 c number of learning phase by cutting planes : 0 1800.01/1788.62 c speed (assignments/second) : 141217.18326240976 1800.01/1788.62 c non guided choices 353316 1800.01/1788.64 c learnt constraints type 1800.01/1788.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140320 1800.01/1788.64 c constraints type 1800.01/1788.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 1800.01/1788.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 30 1800.01/1788.65 c ignored satisfied constraints => 1 1800.01/1788.65 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 1800.01/1788.65 c 222 constraints processed. 1800.01/1788.65 s SATISFIABLE 1800.01/1788.66 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 1800.01/1788.66 c objective function=10 1800.01/1788.66 c Total wall clock time (in seconds): 1788.552
OK 10
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718080-1338248733/watcher-3718080-1338248733 -o /tmp/evaluation-result-3718080-1338248733/solver-3718080-1338248733 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718080-1338248733.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.00 1.24 4/174 21081 /proc/meminfo: memFree=28909784/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/21080/stat : 21080 (java) D 21077 21080 18511 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 290998730 9515008 183 33554432000 1073741824 1073778376 140734137692416 140734137683448 270707539637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/21080/statm: 2323 183 140 9 0 71 0 [startup+0.104846 s] /proc/loadavg: 0.95 1.00 1.24 4/174 21081 /proc/meminfo: memFree=28909784/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9558416 CPUtime=0.1 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 4408 0 1 0 9 1 0 0 20 0 18 0 290998730 9787817984 5600 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2389604 5600 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558416 [startup+0.20031 s] /proc/loadavg: 0.95 1.00 1.24 4/174 21081 /proc/meminfo: memFree=28909784/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9558416 CPUtime=0.27 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 4937 0 1 0 26 1 0 0 20 0 18 0 290998730 9787817984 6868 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2389604 6868 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558416 [startup+0.300253 s] /proc/loadavg: 0.95 1.00 1.24 4/174 21081 /proc/meminfo: memFree=28909784/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9558416 CPUtime=0.54 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 7383 0 1 0 52 2 0 0 20 0 18 0 290998730 9787817984 10457 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2389604 10457 2228 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558416 [startup+0.700176 s] /proc/loadavg: 0.95 1.00 1.24 4/174 21081 /proc/meminfo: memFree=28909784/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=1.58 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 12538 0 1 0 156 2 0 0 20 0 19 0 290998730 9855979520 14256 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 14256 2241 9 0 2396937 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9624980 [startup+1.50063 s] /proc/loadavg: 0.95 1.00 1.24 4/212 21119 /proc/meminfo: memFree=28818324/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=2.46 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 12614 0 1 0 243 3 0 0 20 0 19 0 290998730 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 21983 2269 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2504 0 1 0 143 1 0 0 20 0 19 0 290998731 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243369382360 140243242542478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.49 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4161 0 0 0 49 0 0 0 20 0 19 0 290998736 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.45 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4694 0 0 0 45 0 0 0 20 0 19 0 290998736 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 21983 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 9624980 [startup+3.10059 s] /proc/loadavg: 0.95 1.00 1.24 4/212 21119 /proc/meminfo: memFree=28750500/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=4.14 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 12654 0 1 0 410 4 0 0 20 0 19 0 290998730 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 27115 2269 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=2.98 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2505 0 1 0 297 1 0 0 20 0 19 0 290998731 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243369382136 140243242541792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 19 0 290998734 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.54 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4162 0 0 0 54 0 0 0 20 0 19 0 290998736 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 27115 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 9624980 [startup+6.30065 s] /proc/loadavg: 1.04 1.02 1.24 4/212 21119 /proc/meminfo: memFree=28738028/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=7.37 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 12678 0 1 0 732 5 0 0 20 0 19 0 290998730 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 29634 2269 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=6.12 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2509 0 1 0 610 2 0 0 20 0 19 0 290998731 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243369374144 140243242542491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 290998732 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 19 0 290998734 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.54 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4162 0 0 0 54 0 0 0 20 0 19 0 290998736 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 29634 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (KiB) 9624980 [startup+12.7007 s] ################ # More data... # ################ [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=1.73 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 629 0 0 0 159 14 0 0 20 0 19 0 290998732 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=1.64 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 332 0 0 0 153 11 0 0 20 0 19 0 290998732 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=1.8 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 912 0 0 0 167 13 0 0 20 0 19 0 290998732 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=8.51 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 962 0 0 0 847 4 0 0 20 0 19 0 290998734 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.56 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4164 0 0 0 56 0 0 0 20 0 19 0 290998736 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0.64 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 98 0 0 0 28 36 0 0 20 0 19 0 290998736 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 268817 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1733.36 Current children cumulated vsize (KiB) 9624980 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.86 4/213 21158 /proc/meminfo: memFree=27409928/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=1793.7 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 19131 0 1 0 179233 137 0 0 20 0 19 0 290998730 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 268822 2270 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=1769.59 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2828 0 1 0 176927 32 0 0 20 0 19 0 290998731 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243369382176 140243242542180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=1.65 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 502 0 0 0 156 9 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=1.76 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 704 0 0 0 164 12 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 706 0 0 0 146 10 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=1.72 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 836 0 0 0 159 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=1.71 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 565 0 0 0 163 8 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=1.77 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 629 0 0 0 163 14 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=1.67 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 332 0 0 0 156 11 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=1.88 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 917 0 0 0 175 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=8.82 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 966 0 0 0 878 4 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.56 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4164 0 0 0 56 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0.67 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 102 0 0 0 29 38 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1793.7 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.6 s] /proc/loadavg: 2.00 2.00 1.86 3/213 21158 /proc/meminfo: memFree=27409928/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=1800.01 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 19131 0 1 0 179864 137 0 0 20 0 19 0 290998730 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 268822 2270 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=1775.9 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2828 0 1 0 177558 32 0 0 20 0 19 0 290998731 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243369382176 140243242436151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=1.65 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 502 0 0 0 156 9 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=1.76 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 704 0 0 0 164 12 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 706 0 0 0 146 10 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=1.72 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 836 0 0 0 159 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=1.71 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 565 0 0 0 163 8 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=1.77 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 629 0 0 0 163 14 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=1.67 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 332 0 0 0 156 11 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=1.88 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 917 0 0 0 175 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=8.82 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 966 0 0 0 878 4 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.56 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4164 0 0 0 56 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0.67 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 102 0 0 0 29 38 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.6 s] /proc/loadavg: 2.00 2.00 1.86 3/213 21158 /proc/meminfo: memFree=27409928/32873648 swapFree=6864/6864 [pid=21080] ppid=21077 vsize=9624980 CPUtime=1800.01 cores=1,3,5,7 /proc/21080/stat : 21080 (java) S 21077 21080 18511 0 -1 4202496 19131 0 1 0 179864 137 0 0 20 0 19 0 290998730 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140737388536640 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21080/statm: 2406245 268822 2270 9 0 2396937 0 [pid=21080/tid=21084] ppid=21077 vsize=9624980 CPUtime=1775.9 cores=1,3,5,7 /proc/21080/task/21084/stat : 21084 (java) R 21077 21080 18511 0 -1 4202560 2828 0 1 0 177558 32 0 0 20 0 19 0 290998731 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243369382176 140243242436151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21091] ppid=21077 vsize=9624980 CPUtime=1.65 cores=1,3,5,7 /proc/21080/task/21091/stat : 21091 (java) S 21077 21080 18511 0 -1 4202560 502 0 0 0 156 9 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243213470760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21093] ppid=21077 vsize=9624980 CPUtime=1.76 cores=1,3,5,7 /proc/21080/task/21093/stat : 21093 (java) S 21077 21080 18511 0 -1 4202560 704 0 0 0 164 12 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243212417960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21095] ppid=21077 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/21080/task/21095/stat : 21095 (java) S 21077 21080 18511 0 -1 4202560 706 0 0 0 146 10 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243211365160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21097] ppid=21077 vsize=9624980 CPUtime=1.72 cores=1,3,5,7 /proc/21080/task/21097/stat : 21097 (java) S 21077 21080 18511 0 -1 4202560 836 0 0 0 159 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243210312360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21098] ppid=21077 vsize=9624980 CPUtime=1.71 cores=1,3,5,7 /proc/21080/task/21098/stat : 21098 (java) S 21077 21080 18511 0 -1 4202560 565 0 0 0 163 8 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243209259560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21099] ppid=21077 vsize=9624980 CPUtime=1.77 cores=1,3,5,7 /proc/21080/task/21099/stat : 21099 (java) S 21077 21080 18511 0 -1 4202560 629 0 0 0 163 14 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243208206760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21100] ppid=21077 vsize=9624980 CPUtime=1.67 cores=1,3,5,7 /proc/21080/task/21100/stat : 21100 (java) S 21077 21080 18511 0 -1 4202560 332 0 0 0 156 11 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243207153960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21080/tid=21101] ppid=21077 vsize=9624980 CPUtime=1.88 cores=1,3,5,7 /proc/21080/task/21101/stat : 21101 (java) S 21077 21080 18511 0 -1 4202560 917 0 0 0 175 13 0 0 20 0 19 0 290998732 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243206101160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21103] ppid=21077 vsize=9624980 CPUtime=8.82 cores=1,3,5,7 /proc/21080/task/21103/stat : 21103 (java) S 21077 21080 18511 0 -1 4202560 966 0 0 0 878 4 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243193691112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21105] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21105/stat : 21105 (java) S 21077 21080 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243192637176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21107] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21107/stat : 21107 (java) S 21077 21080 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998734 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243191584264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21109] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21109/stat : 21109 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243190532752 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21111] ppid=21077 vsize=9624980 CPUtime=0.56 cores=1,3,5,7 /proc/21080/task/21111/stat : 21111 (java) S 21077 21080 18511 0 -1 4202560 4164 0 0 0 56 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243189479864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21080/tid=21113] ppid=21077 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21080/task/21113/stat : 21113 (java) S 21077 21080 18511 0 -1 4202560 4695 0 0 0 46 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243188427064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21115] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21115/stat : 21115 (java) S 21077 21080 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243187374456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21080/tid=21117] ppid=21077 vsize=9624980 CPUtime=0.67 cores=1,3,5,7 /proc/21080/task/21117/stat : 21117 (java) S 21077 21080 18511 0 -1 4202560 102 0 0 0 29 38 0 0 20 0 19 0 290998736 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243186321864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21080/tid=21119] ppid=21077 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21080/task/21119/stat : 21119 (java) S 21077 21080 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998761 9855979520 268822 33554432000 1073741824 1073778376 140737388545504 140243185231528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624980 Child status: 143 Real time (s): 1788.67 CPU time (s): 1800.53 CPU user time (s): 1798.73 CPU system time (s): 1.80272 CPU usage (%): 100.663 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.80272 maximum resident set size= 1075448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19173 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40706 involuntary context switches= 23660 runsolver used 6.98994 second user time and 15.0747 second system time The end
Begin job on node125 at 2012-05-29 01:45:33 IDJOB=3718080 IDBENCH=78677 IDSOLVER=2301 FILE ID=node125/3718080-1338248733 RUNJOBID= node125-1338248733-21055 PBS_JOBID= 14624654 Free space on /tmp= 71260 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718080-1338248733/watcher-3718080-1338248733 -o /tmp/evaluation-result-3718080-1338248733/solver-3718080-1338248733 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718080-1338248733.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e79d43742b4ee40954b18e2a5bb4c066 RANDOM SEED=881808317 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28911312 kB Buffers: 552980 kB Cached: 2519992 kB SwapCached: 2300 kB Active: 1526136 kB Inactive: 1556380 kB Active(anon): 1496 kB Inactive(anon): 9556 kB Active(file): 1524640 kB Inactive(file): 1546824 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102620 kB Dirty: 788 kB Writeback: 0 kB AnonPages: 13440 kB Mapped: 13340 kB Shmem: 104 kB Slab: 742500 kB SReclaimable: 186380 kB SUnreclaim: 556120 kB KernelStack: 1368 kB PageTables: 4512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 102784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71260 MiB End job on node125 at 2012-05-29 02:15:24