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 RES // CP 2.3.2 Snapshot | SAT (TO) | 15 | 1800.58 | 967.354 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
| MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.326949 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 5537 |
| Total number of constraints | 15855 |
| Number of constraints which are clauses | 15855 |
| 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 | 2646 |
| 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 | 2646 |
| 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 | 2646 |
| 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.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.2.v20120418 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3688454-1337877687.opb 0.10/0.12 c reading problem ... 1.09/0.56 c ... done. Wall clock time 0.438s. 1.09/0.56 c declared #vars 5537 1.09/0.56 c #constraints 15665 1.09/0.56 c constraints type 1.09/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 1.09/0.56 c ignored satisfied constraints => 190 1.09/0.56 c org.sat4j.minisat.constraints.cnf.UnitClause => 256 1.09/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 1.09/0.56 c 15855 constraints processed. 1.09/0.56 c constraints type 1.09/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 1.09/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1.09/0.56 c ignored satisfied constraints => 190 1.09/0.56 c org.sat4j.pb.constraints.pb.UnitClausePB => 256 1.09/0.56 c 15855 constraints processed. 1.09/0.56 c objective function length is 2646 literals 1.83/0.70 c And the winner is solver1 2.22/1.06 c SATISFIABLE 2.22/1.06 c OPTIMIZING... 2.22/1.06 c Got one! Elapsed wall clock time (in seconds):0.944 2.22/1.06 o 21 2.22/1.09 c And the winner is solver0 2.39/1.58 c Got one! Elapsed wall clock time (in seconds):1.461 2.39/1.58 o 19 8.54/4.11 c cleaning 2490 clauses out of 5001 with flag 5000/5001 14.17/6.89 c cleaning 4251 clauses out of 8513 with flag 11002/11003 20.73/10.18 c cleaning 5627 clauses out of 11260 with flag 18000/18001 28.54/14.02 c cleaning 6815 clauses out of 13633 with flag 26000/26001 36.83/18.21 c cleaning 7909 clauses out of 15818 with flag 35000/35001 45.72/22.78 c cleaning 8951 clauses out of 17909 with flag 45000/45001 55.76/27.64 c cleaning 9980 clauses out of 19959 with flag 56001/56002 66.51/32.98 c cleaning 10985 clauses out of 21979 with flag 68001/68002 78.04/38.88 c cleaning 11982 clauses out of 23993 with flag 81000/81001 90.69/45.29 c cleaning 12976 clauses out of 26011 with flag 95000/95001 96.08/48.03 c And the winner is solver1 96.08/48.08 c Got one! Elapsed wall clock time (in seconds):47.961 96.08/48.08 o 17 100.22/50.17 c cleaning 11889 clauses out of 23778 with flag 5001/105744 105.79/53.04 c cleaning 8911 clauses out of 17888 with flag 11000/111743 112.36/56.57 c cleaning 7974 clauses out of 15977 with flag 18000/118743 119.73/60.34 c cleaning 7989 clauses out of 16003 with flag 26000/126743 127.64/64.46 c cleaning 8496 clauses out of 17014 with flag 35000/135743 136.37/68.99 c cleaning 9245 clauses out of 18520 with flag 45002/145745 146.05/74.09 c cleaning 10119 clauses out of 20273 with flag 56000/156743 157.01/79.63 c cleaning 11077 clauses out of 22154 with flag 68000/168743 168.51/85.53 c cleaning 12031 clauses out of 24077 with flag 81000/181743 180.18/91.53 c cleaning 13019 clauses out of 26051 with flag 95005/195748 193.99/98.73 c cleaning 13984 clauses out of 28027 with flag 110000/210743 208.45/106.13 c cleaning 15022 clauses out of 30043 with flag 126000/226743 223.97/114.08 c cleaning 15994 clauses out of 32021 with flag 143000/243743 239.52/122.00 c cleaning 16993 clauses out of 34027 with flag 161000/261743 256.22/130.73 c cleaning 18008 clauses out of 36034 with flag 180000/280743 273.53/140.02 c cleaning 19002 clauses out of 38026 with flag 200000/300743 279.87/143.36 c And the winner is solver1 280.03/143.83 c Got one! Elapsed wall clock time (in seconds):143.713 280.03/143.83 o 16 284.22/145.93 c cleaning 15376 clauses out of 30781 with flag 5000/312500 290.74/149.58 c cleaning 10692 clauses out of 21405 with flag 11000/318500 297.21/153.19 c cleaning 8855 clauses out of 17714 with flag 18001/325501 304.91/157.36 c cleaning 8429 clauses out of 16859 with flag 26001/333501 313.15/161.87 c cleaning 8715 clauses out of 17429 with flag 35000/342500 322.56/167.20 c cleaning 9353 clauses out of 18714 with flag 45000/352500 332.37/172.49 c cleaning 10158 clauses out of 20362 with flag 56001/363501 343.37/178.33 c cleaning 11101 clauses out of 22203 with flag 68000/375500 355.38/184.72 c cleaning 12032 clauses out of 24102 with flag 81000/388500 368.58/192.03 c cleaning 13035 clauses out of 26070 with flag 95000/402500 381.78/199.04 c cleaning 13976 clauses out of 28035 with flag 110000/417500 395.53/206.33 c cleaning 15018 clauses out of 30059 with flag 126000/433500 410.46/214.22 c cleaning 16013 clauses out of 32041 with flag 143000/450500 426.67/223.04 c cleaning 16981 clauses out of 34030 with flag 161002/468502 443.16/231.74 c cleaning 18014 clauses out of 36050 with flag 180003/487503 461.05/241.11 c cleaning 18992 clauses out of 38033 with flag 200000/507500 480.34/251.25 c cleaning 19984 clauses out of 40041 with flag 221000/528500 501.32/262.58 c cleaning 21028 clauses out of 42059 with flag 243002/550502 522.32/273.55 c cleaning 22001 clauses out of 44029 with flag 266000/573500 546.95/286.84 c cleaning 22999 clauses out of 46029 with flag 290001/597501 570.82/299.63 c cleaning 23994 clauses out of 48029 with flag 315000/622500 595.91/312.79 c cleaning 24998 clauses out of 50038 with flag 341003/648503 620.94/325.82 c cleaning 25991 clauses out of 52037 with flag 368000/675500 646.74/339.32 c cleaning 27005 clauses out of 54046 with flag 396000/703500 673.49/353.72 c cleaning 28001 clauses out of 56041 with flag 425000/732500 700.25/367.77 c cleaning 29015 clauses out of 58041 with flag 455001/762501 727.69/382.17 c cleaning 29989 clauses out of 60025 with flag 486000/793500 757.11/397.54 c cleaning 30972 clauses out of 62036 with flag 518000/825500 788.73/414.40 c cleaning 31981 clauses out of 64064 with flag 551000/858500 820.56/431.07 c cleaning 33019 clauses out of 66083 with flag 585000/892500 853.62/448.20 c cleaning 34009 clauses out of 68064 with flag 620000/927500 886.85/465.51 c cleaning 34997 clauses out of 70055 with flag 656000/963500 923.61/485.15 c cleaning 36001 clauses out of 72059 with flag 693001/1000501 961.21/504.69 c cleaning 37003 clauses out of 74057 with flag 731000/1038500 1000.49/525.09 c cleaning 38010 clauses out of 76054 with flag 770000/1077500 1039.50/545.31 c cleaning 38983 clauses out of 78044 with flag 810000/1117500 1079.71/566.84 c cleaning 39994 clauses out of 80061 with flag 851000/1158500 1120.16/587.85 c cleaning 41008 clauses out of 82067 with flag 893000/1200500 1161.03/609.00 c cleaning 42018 clauses out of 84059 with flag 936000/1243500 1201.73/630.26 c cleaning 42999 clauses out of 86041 with flag 980000/1287500 1246.12/653.93 c cleaning 44017 clauses out of 88042 with flag 1025000/1332500 1293.81/679.51 c cleaning 44985 clauses out of 90025 with flag 1071000/1378500 1340.18/703.60 c cleaning 45984 clauses out of 92040 with flag 1118000/1425500 1372.88/721.63 c And the winner is solver1 1373.15/721.79 c Got one! Elapsed wall clock time (in seconds):721.676 1373.15/721.79 o 15 1377.53/723.95 c cleaning 41677 clauses out of 83376 with flag 5000/1462820 1385.13/728.86 c cleaning 23837 clauses out of 47701 with flag 11002/1468822 1393.52/734.18 c cleaning 15428 clauses out of 30862 with flag 18000/1475820 1402.73/739.88 c cleaning 11713 clauses out of 23435 with flag 26001/1483821 1414.26/747.44 c cleaning 10360 clauses out of 20721 with flag 35000/1492820 1425.23/754.01 c cleaning 10171 clauses out of 20361 with flag 45000/1502820 1437.19/761.18 c cleaning 10576 clauses out of 21190 with flag 56000/1513820 1449.92/768.66 c cleaning 11298 clauses out of 22615 with flag 68001/1525821 1464.88/777.96 c cleaning 12147 clauses out of 24316 with flag 81000/1538820 1479.47/786.37 c cleaning 13072 clauses out of 26171 with flag 95002/1552822 1495.27/795.33 c cleaning 14036 clauses out of 28097 with flag 110000/1567820 1511.58/804.66 c cleaning 15031 clauses out of 30061 with flag 126000/1583820 1530.17/815.75 c cleaning 16000 clauses out of 32031 with flag 143001/1600821 1548.62/826.17 c cleaning 16971 clauses out of 34033 with flag 161003/1618823 1567.09/836.57 c cleaning 18030 clauses out of 36060 with flag 180001/1637821 1586.37/847.33 c cleaning 18999 clauses out of 38029 with flag 200000/1657820 1607.88/860.04 c cleaning 20006 clauses out of 40030 with flag 221000/1678820 1629.13/871.87 c cleaning 21010 clauses out of 42028 with flag 243004/1700824 1651.17/884.09 c cleaning 21990 clauses out of 44015 with flag 266001/1723821 1674.37/896.85 c cleaning 22984 clauses out of 46027 with flag 290003/1747823 1700.07/911.61 c cleaning 23955 clauses out of 48040 with flag 315000/1772820 1724.87/925.26 c cleaning 25009 clauses out of 50085 with flag 341000/1798820 1750.73/939.35 c cleaning 26008 clauses out of 52076 with flag 368000/1825820 1776.43/953.41 c cleaning 27032 clauses out of 54068 with flag 396000/1853820 1800.17/967.31 c starts : 26 1800.17/967.31 c conflicts : 4787 1800.17/967.31 c decisions : 257659 1800.17/967.31 c propagations : 2422457 1800.17/967.31 c inspects : 93501859 1800.17/967.31 c shortcuts : 0 1800.17/967.31 c learnt literals : 0 1800.17/967.31 c learnt binary clauses : 0 1800.17/967.31 c learnt ternary clauses : 1 1800.17/967.31 c learnt constraints : 4786 1800.17/967.31 c ignored constraints : 0 1800.17/967.31 c root simplifications : 0 1800.17/967.31 c removed literals (reason simplification) : 0 1800.17/967.31 c reason swapping (by a shorter reason) : 0 1800.17/967.31 c Calls to reduceDB : 0 1800.17/967.31 c number of reductions to clauses (during analyze) : 0 1800.17/967.31 c number of learned constraints concerned by reduction : 0 1800.17/967.31 c number of learning phase by resolution : 0 1800.17/967.31 c number of learning phase by cutting planes : 0 1800.17/967.31 c speed (assignments/second) : 2508.4335602785472 1800.17/967.31 c non guided choices 0 1800.17/967.31 c learnt constraints type 1800.17/967.31 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 132 1800.17/967.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 152 1800.17/967.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4502 1800.17/967.31 c constraints type 1800.17/967.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 1800.17/967.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.17/967.31 c ignored satisfied constraints => 190 1800.17/967.31 c org.sat4j.minisat.constraints.cnf.UnitClause => 256 1800.17/967.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 1800.17/967.31 c 15856 constraints processed. 1800.17/967.31 c constraints type 1800.17/967.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 1800.17/967.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1800.17/967.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/967.31 c ignored satisfied constraints => 190 1800.17/967.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 256 1800.17/967.31 c 15856 constraints processed. 1800.17/967.31 s SATISFIABLE 1800.17/967.32 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 1800.17/967.33 c objective function=15 1800.17/967.33 c Total wall clock time (in seconds): 967.217
OK 15
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-3688454-1337877687/watcher-3688454-1337877687 -o /tmp/evaluation-result-3688454-1337877687/solver-3688454-1337877687 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688454-1337877687.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.11 4.00 3.89 4/197 25947 /proc/meminfo: memFree=28938824/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/25947/stat : 25947 (java) D 25945 25947 23987 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253893232 9515008 182 33554432000 1073741824 1073778376 140735819274816 140735819265848 225444708021 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/25947/statm: 2323 182 140 9 0 71 0 [startup+0.0864301 s] /proc/loadavg: 4.11 4.00 3.89 4/197 25947 /proc/meminfo: memFree=28938824/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 3697 0 1 0 5 1 0 0 20 0 18 0 253893232 9787813888 4396 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2389603 4397 1932 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.100333 s] /proc/loadavg: 4.11 4.00 3.89 4/197 25947 /proc/meminfo: memFree=28938824/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 4346 0 1 0 8 2 0 0 20 0 18 0 253893232 9787813888 5024 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2389603 5024 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300296 s] /proc/loadavg: 4.11 4.00 3.89 4/197 25947 /proc/meminfo: memFree=28938824/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9558412 CPUtime=0.5 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 6885 0 1 0 47 3 0 0 20 0 18 0 253893232 9787813888 8590 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2389603 8590 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.7002 s] /proc/loadavg: 4.11 4.00 3.89 4/197 25947 /proc/meminfo: memFree=28938824/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=1.83 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 19932 0 1 0 177 6 0 0 20 0 22 0 253893232 10060460032 26382 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 26382 2244 9 0 2446860 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 9824668 [startup+1.50067 s] /proc/loadavg: 4.10 4.00 3.89 3/216 25969 /proc/meminfo: memFree=28842156/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=2.39 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 21081 0 1 0 229 10 0 0 20 0 19 0 253893232 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 28078 2255 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.54 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2527 0 1 0 52 2 0 0 20 0 19 0 253893233 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253893234 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253893235 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253893236 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253893236 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893238 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=0.72 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 8993 0 0 0 70 2 0 0 20 0 19 0 253893238 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=0.75 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 8248 0 0 0 73 2 0 0 20 0 19 0 253893238 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893238 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253893238 10060460032 28078 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 9824668 [startup+3.10076 s] /proc/loadavg: 4.10 4.00 3.89 5/219 25975 /proc/meminfo: memFree=28818124/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=6.51 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 25761 0 1 0 638 13 0 0 20 0 22 0 253893232 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 37459 2262 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.55 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2528 0 1 0 53 2 0 0 20 0 22 0 253893233 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253893235 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 13557 0 0 0 129 3 0 0 20 0 22 0 253893238 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=1.25 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 8312 0 0 0 122 3 0 0 20 0 22 0 253893238 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25972] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25972/stat : 25972 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893340 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152644555816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25973] ppid=25945 vsize=9824668 CPUtime=1.48 cores=1,3,5,7 /proc/25947/task/25973/stat : 25973 (java) R 25945 25947 23987 0 -1 4202560 5 0 0 0 148 0 0 0 20 0 22 0 253893391 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152645606144 140152772627567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25974] ppid=25945 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/25947/task/25974/stat : 25974 (java) R 25945 25947 23987 0 -1 4202560 44 0 0 0 150 0 0 0 20 0 22 0 253893391 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152646660648 140152772677885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25975] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25975/stat : 25975 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893391 10060460032 37459 33554432000 1073741824 1073778376 140734066001296 140152643503528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.51 Current children cumulated vsize (KiB) 9824668 [startup+6.30085 s] /proc/loadavg: 4.17 4.02 3.90 5/219 25975 /proc/meminfo: memFree=28738580/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=13.12 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 28851 0 1 0 1295 17 0 0 20 0 22 0 253893232 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 51835 2286 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.55 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2528 0 1 0 53 2 0 0 20 0 22 0 253893233 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253893234 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=0.05 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 253893235 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 16540 0 0 0 150 4 0 0 20 0 22 0 253893238 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=1.28 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 8320 0 0 0 125 3 0 0 20 0 22 0 253893238 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25972] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25972/stat : 25972 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893340 10060460032 51835 33554432000 1073741824 1073778376 140734066001296 140152644555816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=25947/tid=26270] ppid=25945 vsize=9824668 CPUtime=110.16 cores=1,3,5,7 /proc/25947/task/26270/stat : 26270 (java) R 25945 25947 23987 0 -1 4202560 14 0 0 0 11015 1 0 0 20 0 22 0 253965413 10060460032 428671 33554432000 1073741824 1073778376 140734066001296 140152645607024 140152772629030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=26271] ppid=25945 vsize=9824668 CPUtime=110.14 cores=1,3,5,7 /proc/25947/task/26271/stat : 26271 (java) R 25945 25947 23987 0 -1 4202560 13 0 0 0 11013 1 0 0 20 0 22 0 253965413 10060460032 428671 33554432000 1073741824 1073778376 140734066001296 140152644553504 140152772748443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=26272] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/26272/stat : 26272 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965413 10060460032 428671 33554432000 1073741824 1073778376 140734066001296 140152646661672 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1647.77 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.67 3.72 3.78 4/219 26273 /proc/meminfo: memFree=25808724/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=1754.17 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 39556 0 1 0 175268 149 0 0 20 0 22 0 253893232 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 443359 2288 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.62 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2592 0 1 0 58 4 0 0 20 0 22 0 253893233 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=3.89 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 551 0 0 0 381 8 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=3.81 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 501 0 0 0 373 8 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 528 0 0 0 364 7 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=3.79 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 989 0 0 0 369 10 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=3.95 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 454 0 0 0 387 8 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=4.16 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 401 0 0 0 407 9 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=3.95 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 428 0 0 0 387 8 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=3.7 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 554 0 0 0 361 9 0 0 20 0 22 0 253893234 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=145.81 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 3967 0 0 0 14545 36 0 0 20 0 22 0 253893235 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=1.79 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 16554 0 0 0 175 4 0 0 20 0 22 0 253893238 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=2.98 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 10411 0 0 0 295 3 0 0 20 0 22 0 253893238 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0.31 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 55 0 0 0 16 15 0 0 20 0 22 0 253893238 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=25947/tid=25975] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25975/stat : 25975 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893391 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152643503528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26270] ppid=25945 vsize=9824668 CPUtime=155.1 cores=1,3,5,7 /proc/25947/task/26270/stat : 26270 (java) R 25945 25947 23987 0 -1 4202560 18 0 0 0 15508 2 0 0 20 0 22 0 253965413 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152645607944 140152772015280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26271] ppid=25945 vsize=9824668 CPUtime=155.09 cores=1,3,5,7 /proc/25947/task/26271/stat : 26271 (java) R 25945 25947 23987 0 -1 4202560 17 0 0 0 15507 2 0 0 20 0 22 0 253965413 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152644555960 140152772993276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=26272] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/26272/stat : 26272 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965413 10060460032 443359 33554432000 1073741824 1073778376 140734066001296 140152646661672 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1754.17 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+967.301 s] /proc/loadavg: 3.57 3.69 3.77 5/219 26273 /proc/meminfo: memFree=25734128/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 39595 0 1 0 179867 150 0 0 20 0 22 0 253893232 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 446456 2288 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.62 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2593 0 1 0 58 4 0 0 20 0 22 0 253893233 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=3.94 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 551 0 0 0 386 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=3.91 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 520 0 0 0 383 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=3.85 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 528 0 0 0 378 7 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=3.83 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 989 0 0 0 373 10 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=4.01 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 455 0 0 0 393 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=4.25 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 402 0 0 0 416 9 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=4.06 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 431 0 0 0 398 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=3.75 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 554 0 0 0 366 9 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=150.14 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 3977 0 0 0 14978 36 0 0 20 0 22 0 253893235 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=1.79 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 16554 0 0 0 175 4 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=2.98 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 10411 0 0 0 295 3 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0.32 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 57 0 0 0 16 16 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 1 0 0 [pid=25947/tid=25975] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25975/stat : 25975 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893391 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152643503528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26270] ppid=25945 vsize=9824668 CPUtime=175.61 cores=1,3,5,7 /proc/25947/task/26270/stat : 26270 (java) R 25945 25947 23987 0 -1 4202560 20 0 0 0 17559 2 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152645607104 140152772658578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26271] ppid=25945 vsize=9824668 CPUtime=175.59 cores=1,3,5,7 /proc/25947/task/26271/stat : 26271 (java) R 25945 25947 23987 0 -1 4202560 17 0 0 0 17557 2 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152644553376 140152772677974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=26272] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/26272/stat : 26272 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152646661672 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+967.301 s] /proc/loadavg: 3.57 3.69 3.77 5/219 26273 /proc/meminfo: memFree=25734128/32873844 swapFree=7900/7900 [pid=25947] ppid=25945 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7 /proc/25947/stat : 25947 (java) S 25945 25947 23987 0 -1 4202496 39595 0 1 0 179867 150 0 0 20 0 22 0 253893232 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140734065992432 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25947/statm: 2456167 446456 2288 9 0 2446860 0 [pid=25947/tid=25949] ppid=25945 vsize=9824668 CPUtime=0.62 cores=1,3,5,7 /proc/25947/task/25949/stat : 25949 (java) S 25945 25947 23987 0 -1 4202560 2593 0 1 0 58 4 0 0 20 0 22 0 253893233 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152831783928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25950] ppid=25945 vsize=9824668 CPUtime=3.94 cores=1,3,5,7 /proc/25947/task/25950/stat : 25950 (java) S 25945 25947 23987 0 -1 4202560 551 0 0 0 386 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152770513576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25951] ppid=25945 vsize=9824668 CPUtime=3.91 cores=1,3,5,7 /proc/25947/task/25951/stat : 25951 (java) S 25945 25947 23987 0 -1 4202560 520 0 0 0 383 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152674138920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25952] ppid=25945 vsize=9824668 CPUtime=3.85 cores=1,3,5,7 /proc/25947/task/25952/stat : 25952 (java) S 25945 25947 23987 0 -1 4202560 528 0 0 0 378 7 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152673086376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25953] ppid=25945 vsize=9824668 CPUtime=3.83 cores=1,3,5,7 /proc/25947/task/25953/stat : 25953 (java) S 25945 25947 23987 0 -1 4202560 989 0 0 0 373 10 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152672033832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25954] ppid=25945 vsize=9824668 CPUtime=4.01 cores=1,3,5,7 /proc/25947/task/25954/stat : 25954 (java) S 25945 25947 23987 0 -1 4202560 455 0 0 0 393 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152670980264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25955] ppid=25945 vsize=9824668 CPUtime=4.25 cores=1,3,5,7 /proc/25947/task/25955/stat : 25955 (java) S 25945 25947 23987 0 -1 4202560 402 0 0 0 416 9 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152669927720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25956] ppid=25945 vsize=9824668 CPUtime=4.06 cores=1,3,5,7 /proc/25947/task/25956/stat : 25956 (java) S 25945 25947 23987 0 -1 4202560 431 0 0 0 398 8 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152668875176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25957] ppid=25945 vsize=9824668 CPUtime=3.75 cores=1,3,5,7 /proc/25947/task/25957/stat : 25957 (java) S 25945 25947 23987 0 -1 4202560 554 0 0 0 366 9 0 0 20 0 22 0 253893234 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152667822632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25958] ppid=25945 vsize=9824668 CPUtime=150.14 cores=1,3,5,7 /proc/25947/task/25958/stat : 25958 (java) S 25945 25947 23987 0 -1 4202560 3977 0 0 0 14978 36 0 0 20 0 22 0 253893235 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152655624808 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25959] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25959/stat : 25959 (java) S 25945 25947 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152654571128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=25960] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25960/stat : 25960 (java) S 25945 25947 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253893236 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152653518472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25961] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25961/stat : 25961 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152652467216 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25962] ppid=25945 vsize=9824668 CPUtime=1.79 cores=1,3,5,7 /proc/25947/task/25962/stat : 25962 (java) S 25945 25947 23987 0 -1 4202560 16554 0 0 0 175 4 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152651413560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25947/tid=25963] ppid=25945 vsize=9824668 CPUtime=2.98 cores=1,3,5,7 /proc/25947/task/25963/stat : 25963 (java) S 25945 25947 23987 0 -1 4202560 10411 0 0 0 295 3 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152650361016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25947/tid=25964] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25964/stat : 25964 (java) S 25945 25947 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152649308664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=25965] ppid=25945 vsize=9824668 CPUtime=0.32 cores=1,3,5,7 /proc/25947/task/25965/stat : 25965 (java) S 25945 25947 23987 0 -1 4202560 57 0 0 0 16 16 0 0 20 0 22 0 253893238 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152648256328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 1 0 0 [pid=25947/tid=25975] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/25975/stat : 25975 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893391 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152643503528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26270] ppid=25945 vsize=9824668 CPUtime=175.61 cores=1,3,5,7 /proc/25947/task/26270/stat : 26270 (java) R 25945 25947 23987 0 -1 4202560 20 0 0 0 17559 2 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152645607104 140152772658578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25947/tid=26271] ppid=25945 vsize=9824668 CPUtime=175.59 cores=1,3,5,7 /proc/25947/task/26271/stat : 26271 (java) R 25945 25947 23987 0 -1 4202560 17 0 0 0 17557 2 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152644553376 140152772677974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25947/tid=26272] ppid=25945 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25947/task/26272/stat : 26272 (java) S 25945 25947 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965413 10060460032 446456 33554432000 1073741824 1073778376 140734066001296 140152646661672 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 967.354 CPU time (s): 1800.58 CPU user time (s): 1798.79 CPU system time (s): 1.79273 CPU usage (%): 186.135 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.79 system time used= 1.79273 maximum resident set size= 1785944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39626 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28585 involuntary context switches= 55705 runsolver used 3.71043 second user time and 9.38457 second system time The end
Begin job on node137 at 2012-05-24 18:41:27 IDJOB=3688454 IDBENCH=25010 IDSOLVER=2268 FILE ID=node137/3688454-1337877687 RUNJOBID= node137-1337871881-24004 PBS_JOBID= 14620067 Free space on /tmp= 71512 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688454-1337877687/watcher-3688454-1337877687 -o /tmp/evaluation-result-3688454-1337877687/solver-3688454-1337877687 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688454-1337877687.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=1163828426 node137.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.600 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.20 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.600 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.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 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.600 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.600 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 : 5331.90 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.600 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.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28939204 kB Buffers: 215020 kB Cached: 2172056 kB SwapCached: 22060 kB Active: 1475660 kB Inactive: 1677704 kB Active(anon): 745624 kB Inactive(anon): 22680 kB Active(file): 730036 kB Inactive(file): 1655024 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67081504 kB Dirty: 884 kB Writeback: 0 kB AnonPages: 752892 kB Mapped: 17860 kB Shmem: 0 kB Slab: 639192 kB SReclaimable: 80672 kB SUnreclaim: 558520 kB KernelStack: 1624 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1087308 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 694272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71516 MiB End job on node137 at 2012-05-24 18:57:36