Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 42 | 1800.68 | 1797.26 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb |
| MD5SUM | fb30dc68ef00299e3d850b79fb8a2728 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 35 |
| Best CPU time to get the best result obtained on this benchmark | 0.290955 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | YES |
| Number of variables | 6033 |
| Total number of constraints | 11966 |
| Number of constraints which are clauses | 11966 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3140 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3140 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3140 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3688507-1337884503.opb 0.10/0.10 c reading problem ... 0.54/0.37 c ... done. Wall clock time 0.267s. 0.54/0.37 c declared #vars 6033 0.54/0.37 c #constraints 11966 0.54/0.37 c constraints type 0.54/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914 0.54/0.37 c org.sat4j.minisat.constraints.cnf.UnitClause => 4 0.54/0.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048 0.54/0.37 c 11966 constraints processed. 0.54/0.37 c objective function length is 3140 literals 0.76/0.48 c SATISFIABLE 0.76/0.48 c OPTIMIZING... 0.76/0.48 c Got one! Elapsed wall clock time (in seconds):0.377 0.76/0.48 o 45 1.06/0.55 c Got one! Elapsed wall clock time (in seconds):0.444 1.06/0.55 o 44 4.20/3.36 c cleaning 2386 clauses out of 5002 with flag 5000/5002 7.48/6.41 c cleaning 4262 clauses out of 8616 with flag 11000/11002 10.91/9.85 c cleaning 5540 clauses out of 11354 with flag 18000/18002 14.81/13.78 c cleaning 6892 clauses out of 13814 with flag 26000/26002 19.55/18.42 c cleaning 7898 clauses out of 15922 with flag 35000/35002 24.46/23.34 c cleaning 8984 clauses out of 18025 with flag 45001/45003 30.25/29.12 c cleaning 9944 clauses out of 20040 with flag 56000/56002 36.37/35.30 c cleaning 10939 clauses out of 22096 with flag 68000/68002 43.26/42.14 c cleaning 11971 clauses out of 24157 with flag 81000/81002 50.87/49.77 c cleaning 13085 clauses out of 26186 with flag 95000/95002 55.88/54.70 c Got one! Elapsed wall clock time (in seconds):54.601 55.88/54.70 o 43 56.72/55.53 c cleaning 13659 clauses out of 27334 with flag 5000/109235 58.12/56.95 c cleaning 9834 clauses out of 19675 with flag 11000/115235 60.42/59.23 c cleaning 8412 clauses out of 16841 with flag 18000/122235 62.93/61.78 c cleaning 8212 clauses out of 16429 with flag 26000/130235 66.04/64.90 c cleaning 8605 clauses out of 17217 with flag 35000/139235 70.44/69.30 c cleaning 9174 clauses out of 18612 with flag 45000/149235 76.14/74.90 c cleaning 10140 clauses out of 20438 with flag 56000/160235 82.15/80.99 c cleaning 11108 clauses out of 22298 with flag 68000/172235 88.76/87.57 c cleaning 12043 clauses out of 24190 with flag 81000/185235 96.09/94.89 c cleaning 13020 clauses out of 26147 with flag 95000/199235 103.89/102.69 c cleaning 14063 clauses out of 28127 with flag 110000/214235 112.11/110.87 c cleaning 14924 clauses out of 30064 with flag 126000/230235 120.82/119.54 c cleaning 16003 clauses out of 32140 with flag 143000/247235 129.34/128.08 c cleaning 16943 clauses out of 34137 with flag 161000/265235 139.05/137.73 c cleaning 18087 clauses out of 36194 with flag 180000/284235 149.27/147.90 c cleaning 19048 clauses out of 38107 with flag 200000/304235 160.19/158.89 c cleaning 19913 clauses out of 40059 with flag 221000/325235 171.81/170.49 c cleaning 21057 clauses out of 42146 with flag 243000/347235 183.92/182.54 c cleaning 22035 clauses out of 44089 with flag 266000/370235 196.13/194.76 c cleaning 23020 clauses out of 46054 with flag 290000/394235 209.25/207.88 c cleaning 23968 clauses out of 48034 with flag 315000/419235 223.06/221.64 c cleaning 24986 clauses out of 50066 with flag 341000/445235 237.41/235.96 c cleaning 25936 clauses out of 52080 with flag 368000/472235 252.72/251.24 c cleaning 26970 clauses out of 54144 with flag 396000/500235 268.54/267.08 c cleaning 28001 clauses out of 56174 with flag 425000/529235 285.07/283.56 c cleaning 28996 clauses out of 58173 with flag 455000/559235 302.00/300.42 c cleaning 30065 clauses out of 60177 with flag 486000/590235 319.10/317.59 c cleaning 30868 clauses out of 62112 with flag 518000/622235 335.62/334.02 c cleaning 32039 clauses out of 64244 with flag 551000/655235 353.74/352.18 c cleaning 33067 clauses out of 66205 with flag 585000/689235 372.77/371.17 c cleaning 34051 clauses out of 68138 with flag 620000/724235 391.79/390.15 c cleaning 34958 clauses out of 70087 with flag 656000/760235 411.90/410.29 c cleaning 36026 clauses out of 72129 with flag 693000/797235 431.73/430.04 c cleaning 37046 clauses out of 74103 with flag 731000/835235 453.03/451.34 c cleaning 37996 clauses out of 76057 with flag 770000/874235 474.84/473.18 c cleaning 39013 clauses out of 78061 with flag 810000/914235 497.54/495.87 c cleaning 39809 clauses out of 80048 with flag 851000/955235 520.54/518.84 c cleaning 41110 clauses out of 82239 with flag 893000/997235 544.65/542.92 c cleaning 41842 clauses out of 84129 with flag 936000/1040235 567.08/565.33 c cleaning 43141 clauses out of 86287 with flag 980000/1084235 590.60/588.83 c cleaning 44069 clauses out of 88146 with flag 1025000/1129235 616.32/614.55 c cleaning 44909 clauses out of 90077 with flag 1071000/1175235 643.14/641.34 c cleaning 46025 clauses out of 92168 with flag 1118000/1222235 669.84/668.07 c cleaning 47055 clauses out of 94143 with flag 1166000/1270235 697.14/695.36 c cleaning 48013 clauses out of 96088 with flag 1215000/1319235 723.57/721.80 c cleaning 48933 clauses out of 98075 with flag 1265000/1369235 751.27/749.44 c cleaning 50001 clauses out of 100142 with flag 1316000/1420235 779.22/777.35 c cleaning 51037 clauses out of 102141 with flag 1368000/1472235 807.53/805.63 c cleaning 51993 clauses out of 104104 with flag 1421000/1525235 837.45/835.52 c cleaning 53005 clauses out of 106111 with flag 1475000/1579235 867.97/866.04 c cleaning 54049 clauses out of 108106 with flag 1530000/1634235 898.59/896.61 c cleaning 55026 clauses out of 110058 with flag 1586001/1690236 929.61/927.66 c cleaning 55842 clauses out of 112031 with flag 1643000/1747235 961.64/959.60 c cleaning 57022 clauses out of 114189 with flag 1701000/1805235 995.17/993.14 c cleaning 58011 clauses out of 116167 with flag 1760000/1864235 1026.39/1024.39 c cleaning 59005 clauses out of 118156 with flag 1820000/1924235 1058.54/1056.45 c cleaning 60032 clauses out of 120151 with flag 1881000/1985235 1092.39/1090.23 c cleaning 60964 clauses out of 122119 with flag 1943000/2047235 1126.02/1123.83 c cleaning 61991 clauses out of 124155 with flag 2006000/2110235 1160.35/1158.15 c cleaning 62968 clauses out of 126164 with flag 2070000/2174235 1193.98/1191.77 c cleaning 63950 clauses out of 128196 with flag 2135000/2239235 1221.32/1219.03 c Got one! Elapsed wall clock time (in seconds):1218.922 1221.32/1219.03 o 42 1222.44/1220.18 c cleaning 60686 clauses out of 121382 with flag 5000/2296371 1223.75/1221.44 c cleaning 33341 clauses out of 66698 with flag 11002/2302373 1225.06/1222.77 c cleaning 20165 clauses out of 40355 with flag 18000/2309371 1226.57/1224.21 c cleaning 14087 clauses out of 28191 with flag 26001/2317372 1228.17/1225.88 c cleaning 11537 clauses out of 23104 with flag 35001/2326372 1230.11/1227.71 c cleaning 10771 clauses out of 21566 with flag 45000/2336371 1232.12/1229.70 c cleaning 10883 clauses out of 21796 with flag 56001/2347372 1234.21/1231.85 c cleaning 11449 clauses out of 22912 with flag 68000/2359371 1236.62/1234.26 c cleaning 12218 clauses out of 24463 with flag 81000/2372371 1239.22/1236.87 c cleaning 13110 clauses out of 26245 with flag 95000/2386371 1242.13/1239.73 c cleaning 14057 clauses out of 28135 with flag 110000/2401371 1245.13/1242.74 c cleaning 15022 clauses out of 30078 with flag 126000/2417371 1248.93/1246.56 c cleaning 15918 clauses out of 32056 with flag 143000/2434371 1257.93/1255.55 c cleaning 17028 clauses out of 34138 with flag 161000/2452371 1267.45/1265.05 c cleaning 17899 clauses out of 36110 with flag 180000/2471371 1277.45/1275.05 c cleaning 19042 clauses out of 38211 with flag 200000/2491371 1286.96/1284.57 c cleaning 19966 clauses out of 40169 with flag 221000/2512371 1295.57/1293.16 c cleaning 21018 clauses out of 42203 with flag 243000/2534371 1304.58/1302.18 c cleaning 22091 clauses out of 44185 with flag 266000/2557371 1315.79/1313.31 c cleaning 23041 clauses out of 46094 with flag 290000/2581371 1327.30/1324.82 c cleaning 24022 clauses out of 48053 with flag 315000/2606371 1338.33/1335.88 c cleaning 25012 clauses out of 50031 with flag 341000/2632371 1349.14/1346.66 c cleaning 25982 clauses out of 52019 with flag 368000/2659371 1361.74/1359.29 c cleaning 27010 clauses out of 54039 with flag 396002/2687373 1375.97/1373.48 c cleaning 27991 clauses out of 56027 with flag 425000/2716371 1391.58/1389.08 c cleaning 28990 clauses out of 58036 with flag 455000/2746371 1407.69/1405.16 c cleaning 30003 clauses out of 60046 with flag 486000/2777371 1422.81/1420.21 c cleaning 30954 clauses out of 62043 with flag 518000/2809371 1440.11/1437.59 c cleaning 31940 clauses out of 64089 with flag 551000/2842371 1458.05/1455.41 c cleaning 32988 clauses out of 66149 with flag 585000/2876371 1476.56/1473.98 c cleaning 33970 clauses out of 68161 with flag 620000/2911371 1493.98/1491.31 c cleaning 35073 clauses out of 70191 with flag 656000/2947371 1514.10/1511.43 c cleaning 36051 clauses out of 72119 with flag 693001/2984372 1534.22/1531.54 c cleaning 37006 clauses out of 74067 with flag 731000/3022371 1554.32/1551.63 c cleaning 37938 clauses out of 76061 with flag 770000/3061371 1576.04/1573.35 c cleaning 38997 clauses out of 78123 with flag 810000/3101371 1597.75/1595.03 c cleaning 39951 clauses out of 80126 with flag 851000/3142371 1619.06/1616.38 c cleaning 41071 clauses out of 82175 with flag 893000/3184371 1641.28/1638.53 c cleaning 42028 clauses out of 84104 with flag 936000/3227371 1664.48/1661.77 c cleaning 42950 clauses out of 86076 with flag 980000/3271371 1687.80/1685.03 c cleaning 44038 clauses out of 88126 with flag 1025000/3316371 1711.61/1708.87 c cleaning 45003 clauses out of 90088 with flag 1071000/3362371 1734.33/1731.53 c cleaning 45951 clauses out of 92086 with flag 1118001/3409372 1759.23/1756.46 c cleaning 47051 clauses out of 94135 with flag 1166001/3457372 1784.94/1782.16 c cleaning 48014 clauses out of 96083 with flag 1215000/3506371 1800.05/1797.21 c starts : 255 1800.05/1797.21 c conflicts : 3536727 1800.05/1797.21 c decisions : 96936997 1800.05/1797.21 c propagations : 10501715452 1800.05/1797.21 c inspects : 8983495620 1800.05/1797.21 c shortcuts : 0 1800.05/1797.21 c learnt literals : 0 1800.05/1797.21 c learnt binary clauses : 0 1800.05/1797.21 c learnt ternary clauses : 0 1800.05/1797.21 c learnt constraints : 3536727 1800.05/1797.21 c ignored constraints : 0 1800.05/1797.21 c root simplifications : 0 1800.05/1797.21 c removed literals (reason simplification) : 0 1800.05/1797.21 c reason swapping (by a shorter reason) : 0 1800.05/1797.21 c Calls to reduceDB : 116 1800.05/1797.21 c number of reductions to clauses (during analyze) : 0 1800.05/1797.21 c number of learned constraints concerned by reduction : 0 1800.05/1797.21 c number of learning phase by resolution : 0 1800.05/1797.21 c number of learning phase by cutting planes : 0 1800.05/1797.21 c speed (assignments/second) : 5844684.252208651 1800.05/1797.21 c non guided choices 0 1800.05/1797.23 c learnt constraints type 1800.05/1797.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 78466 1800.05/1797.23 c constraints type 1800.05/1797.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914 1800.05/1797.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.05/1797.23 c org.sat4j.minisat.constraints.cnf.UnitClause => 4 1800.05/1797.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048 1800.05/1797.23 c 11967 constraints processed. 1800.05/1797.23 s SATISFIABLE 1800.05/1797.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 x5906 x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 x5926 -x5927 -x5928 -x5929 x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977 x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 x6012 -x6013 x6014 -x6015 x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 x6028 x6029 x6030 -x6031 x6032 x6033 1800.05/1797.25 c objective function=42 1800.05/1797.25 c Total wall clock time (in seconds): 1797.149
OK 42
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-3688507-1337884503/watcher-3688507-1337884503 -o /tmp/evaluation-result-3688507-1337884503/solver-3688507-1337884503 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688507-1337884503.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.03 2.01 2/194 24784 /proc/meminfo: memFree=28770296/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/24784/stat : 24784 (java) R 24782 24784 23489 0 -1 4202496 974 0 0 0 0 0 0 0 20 0 1 0 254576337 23793664 701 33554432000 1073741824 1073778376 140737375391744 140737375380808 217401299387 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 5809 705 520 9 0 128 0 [startup+0.0161331 s] /proc/loadavg: 2.16 2.03 2.01 2/194 24784 /proc/meminfo: memFree=28770296/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9014776 CPUtime=0 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 2139 0 1 0 0 0 0 0 20 0 10 0 254576337 9231130624 2330 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2253694 2341 1019 9 0 2244803 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9014776 [startup+0.10024 s] /proc/loadavg: 2.16 2.03 2.01 2/194 24784 /proc/meminfo: memFree=28770296/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 4392 0 1 0 9 1 0 0 20 0 18 0 254576337 9787813888 6067 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2389603 6067 2123 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.30023 s] /proc/loadavg: 2.16 2.03 2.01 2/194 24784 /proc/meminfo: memFree=28770296/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9558412 CPUtime=0.54 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 6132 0 1 0 53 1 0 0 20 0 18 0 254576337 9787813888 9106 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2389603 9106 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558412 [startup+0.700173 s] /proc/loadavg: 2.16 2.03 2.01 2/194 24784 /proc/meminfo: memFree=28770296/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=1.56 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 11696 0 1 0 153 3 0 0 20 0 19 0 254576337 9855975424 15055 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 15055 2252 9 0 2396937 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9624976 [startup+1.5006 s] /proc/loadavg: 2.15 2.03 2.01 3/213 24803 /proc/meminfo: memFree=28718400/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=2.38 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 11769 0 1 0 235 3 0 0 20 0 19 0 254576337 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 15056 2253 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=1.48 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2498 0 1 0 146 2 0 0 20 0 19 0 254576337 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653195649496 139653026683277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254576339 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 4631 0 0 0 45 1 0 0 20 0 19 0 254576342 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.41 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3442 0 0 0 41 0 0 0 20 0 19 0 254576342 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 15056 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.38 Current children cumulated vsize (KiB) 9624976 [startup+3.1006 s] /proc/loadavg: 2.15 2.03 2.01 3/213 24803 /proc/meminfo: memFree=28718108/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=3.99 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 11775 0 1 0 396 3 0 0 20 0 19 0 254576337 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 15572 2256 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=3.08 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2500 0 1 0 306 2 0 0 20 0 19 0 254576337 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653195649656 139653026569401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576339 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 4634 0 0 0 45 2 0 0 20 0 19 0 254576342 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.41 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3442 0 0 0 41 0 0 0 20 0 19 0 254576342 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 15572 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 9624976 [startup+6.3006 s] /proc/loadavg: 2.15 2.03 2.01 3/213 24803 /proc/meminfo: memFree=28703124/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=7.38 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 15522 0 1 0 734 4 0 0 20 0 19 0 254576337 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 18502 2282 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=6.26 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2503 0 1 0 624 2 0 0 20 0 19 0 254576337 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653195649176 139653026696428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254576338 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254576339 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 8323 0 0 0 59 2 0 0 20 0 19 0 254576342 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3446 0 0 0 44 0 0 0 20 0 19 0 254576342 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 18502 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.38 Current children cumulated vsize (KiB) 9624976 [startup+12.7005 s] ################ # More data... # ################ [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 86 0 0 0 29 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0.26 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 77 0 0 0 26 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 26 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=2.81 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 135 0 0 0 279 2 0 0 20 0 19 0 254576339 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.74 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 8332 0 0 0 71 3 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3446 0 0 0 46 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0.21 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 95 0 0 0 11 10 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1665.1 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 24840 /proc/meminfo: memFree=28538236/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=1725.13 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 16447 0 1 0 172488 25 0 0 20 0 19 0 254576337 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 34702 2283 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=1718.74 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2614 0 1 0 171845 29 0 0 20 0 19 0 254576337 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653195649312 139653026682890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 106 0 0 0 31 1 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0.26 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 74 0 0 0 26 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 85 0 0 0 28 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 96 0 0 0 27 2 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 82 0 0 0 30 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 86 0 0 0 29 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 77 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 26 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=2.88 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 139 0 0 0 286 2 0 0 20 0 19 0 254576339 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.74 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 8332 0 0 0 71 3 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3446 0 0 0 46 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0.22 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 99 0 0 0 11 11 0 0 20 0 19 0 254576342 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 34702 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1725.13 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 24841 /proc/meminfo: memFree=28537744/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=1785.15 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 16463 0 1 0 178490 25 0 0 20 0 19 0 254576337 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 34707 2283 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=1778.63 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2617 0 1 0 177833 30 0 0 20 0 19 0 254576337 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653195649432 139653026616771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 106 0 0 0 31 1 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 79 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 85 0 0 0 28 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 96 0 0 0 28 2 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0.31 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 82 0 0 0 31 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 86 0 0 0 29 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 77 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 26 0 0 0 27 1 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=2.98 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 143 0 0 0 296 2 0 0 20 0 19 0 254576339 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.74 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 8332 0 0 0 71 3 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3446 0 0 0 46 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 103 0 0 0 12 12 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 4/212 24899 /proc/meminfo: memFree=28816196/32873648 swapFree=7372/7372 [pid=24784] ppid=24782 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6 /proc/24784/stat : 24784 (java) S 24782 24784 23489 0 -1 4202496 16463 0 1 0 179980 25 0 0 20 0 19 0 254576337 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 140737375382880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24784/statm: 2406244 34707 2283 9 0 2396937 0 [pid=24784/tid=24786] ppid=24782 vsize=9624976 CPUtime=1793.54 cores=0,2,4,6 /proc/24784/task/24786/stat : 24786 (java) R 24782 24784 23489 0 -1 4202560 2617 0 1 0 179324 30 0 0 20 0 19 0 254576337 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653195649312 139653026625857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24787] ppid=24782 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/24784/task/24787/stat : 24787 (java) S 24782 24784 23489 0 -1 4202560 106 0 0 0 31 1 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653157141544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24788] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24788/stat : 24788 (java) S 24782 24784 23489 0 -1 4202560 79 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653156088744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24789] ppid=24782 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/24784/task/24789/stat : 24789 (java) S 24782 24784 23489 0 -1 4202560 85 0 0 0 28 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653155035944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24790] ppid=24782 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/24784/task/24790/stat : 24790 (java) S 24782 24784 23489 0 -1 4202560 96 0 0 0 28 2 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653153983144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24791] ppid=24782 vsize=9624976 CPUtime=0.31 cores=0,2,4,6 /proc/24784/task/24791/stat : 24791 (java) S 24782 24784 23489 0 -1 4202560 82 0 0 0 31 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653152930344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24792] ppid=24782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/24784/task/24792/stat : 24792 (java) S 24782 24784 23489 0 -1 4202560 86 0 0 0 29 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653151877544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24793] ppid=24782 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/24784/task/24793/stat : 24793 (java) S 24782 24784 23489 0 -1 4202560 77 0 0 0 27 0 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653150824744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24794] ppid=24782 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/24784/task/24794/stat : 24794 (java) S 24782 24784 23489 0 -1 4202560 26 0 0 0 27 1 0 0 20 0 19 0 254576338 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653149771944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24795] ppid=24782 vsize=9624976 CPUtime=2.98 cores=0,2,4,6 /proc/24784/task/24795/stat : 24795 (java) S 24782 24784 23489 0 -1 4202560 143 0 0 0 296 2 0 0 20 0 19 0 254576339 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653019569128 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24796] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24796/stat : 24796 (java) S 24782 24784 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653018515192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24797] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24797/stat : 24797 (java) S 24782 24784 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576340 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653017462280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24798] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24798/stat : 24798 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653016410768 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24799] ppid=24782 vsize=9624976 CPUtime=0.74 cores=0,2,4,6 /proc/24784/task/24799/stat : 24799 (java) S 24782 24784 23489 0 -1 4202560 8332 0 0 0 71 3 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653015357880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24784/tid=24800] ppid=24782 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/24784/task/24800/stat : 24800 (java) S 24782 24784 23489 0 -1 4202560 3446 0 0 0 46 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653014305080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24784/tid=24801] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24801/stat : 24801 (java) S 24782 24784 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653013252472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24784/tid=24802] ppid=24782 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/24784/task/24802/stat : 24802 (java) S 24782 24784 23489 0 -1 4202560 103 0 0 0 12 12 0 0 20 0 19 0 254576342 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653012199880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24784/tid=24803] ppid=24782 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/24784/task/24803/stat : 24803 (java) S 24782 24784 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254576378 9855975424 34707 33554432000 1073741824 1073778376 140737375391744 139653011146408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.26 CPU time (s): 1800.68 CPU user time (s): 1800.03 CPU system time (s): 0.6529 CPU usage (%): 100.19 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.6529 maximum resident set size= 138952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16495 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41231 involuntary context switches= 8475 runsolver used 5.2722 second user time and 13.7419 second system time The end
Begin job on node122 at 2012-05-24 20:35:03 IDJOB=3688507 IDBENCH=25036 IDSOLVER=2269 FILE ID=node122/3688507-1337884503 RUNJOBID= node122-1337871880-23505 PBS_JOBID= 14620082 Free space on /tmp= 71368 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688507-1337884503/watcher-3688507-1337884503 -o /tmp/evaluation-result-3688507-1337884503/solver-3688507-1337884503 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688507-1337884503.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728 RANDOM SEED=1445735046 node122.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.533 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 : 5333.06 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.533 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.533 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 : 5332.04 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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.533 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.533 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.533 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: 28770296 kB Buffers: 196140 kB Cached: 2932392 kB SwapCached: 0 kB Active: 1446044 kB Inactive: 1884872 kB Active(anon): 193932 kB Inactive(anon): 11052 kB Active(file): 1252112 kB Inactive(file): 1873820 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 6800 kB Writeback: 0 kB AnonPages: 209288 kB Mapped: 21944 kB Shmem: 200 kB Slab: 635092 kB SReclaimable: 78692 kB SUnreclaim: 556400 kB KernelStack: 1600 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 825628 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 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= 71372 MiB End job on node122 at 2012-05-24 21:05:03