Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 23 | 1800.46 | 936.089 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
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 | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c ManyCore solver with 2 solvers running in parallel 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.22 0.23/0.22 c solving HOME/instance-2662078-1276640332.opb 0.23/0.22 c reading problem ... 2.33/1.33 c ... done. Wall clock time 1.119s. 2.33/1.33 c #vars 6027 2.33/1.33 c #constraints 21278 2.33/1.33 c constraints type 2.33/1.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 2.33/1.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 2.33/1.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 2.33/1.34 c constraints type 2.33/1.34 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 2.33/1.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 2.33/1.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 2.73/1.59 c And the winner is Resolution 3.58/2.38 c SATISFIABLE 3.58/2.38 c OPTIMIZING... 3.58/2.38 c Got one! Elapsed wall clock time (in seconds):2.17 3.58/2.38 o 28 4.02/2.63 c And the winner is Resolution 4.09/3.42 c Got one! Elapsed wall clock time (in seconds):3.203 4.09/3.42 o 27 5.85/4.40 c And the winner is Resolution 6.04/4.46 c Got one! Elapsed wall clock time (in seconds):4.245 6.04/4.46 o 26 7.38/5.14 c And the winner is Resolution 7.84/5.51 c Got one! Elapsed wall clock time (in seconds):5.298 7.84/5.51 o 25 9.42/6.31 c And the winner is Resolution 9.63/6.54 c Got one! Elapsed wall clock time (in seconds):6.329 9.63/6.54 o 24 10.75/7.11 c cleaning 2497 clauses out of 5001 with flag 5001/5001 15.23/9.45 c cleaning 4244 clauses out of 8504 with flag 11001/11001 19.73/11.79 c cleaning 5620 clauses out of 11259 with flag 18000/18000 25.80/14.87 c cleaning 6807 clauses out of 13641 with flag 26002/26002 33.44/18.72 c cleaning 7899 clauses out of 15832 with flag 35000/35000 41.05/22.67 c cleaning 8951 clauses out of 17933 with flag 45000/45000 50.88/27.60 c cleaning 9973 clauses out of 19982 with flag 56000/56000 59.90/32.22 c cleaning 10987 clauses out of 22009 with flag 68000/68000 67.70/36.22 c cleaning 11996 clauses out of 24025 with flag 81003/81003 77.48/41.27 c cleaning 12996 clauses out of 26026 with flag 95000/95000 88.27/46.80 c cleaning 14002 clauses out of 28030 with flag 110000/110000 100.83/53.20 c cleaning 15000 clauses out of 30030 with flag 126002/126002 116.50/61.10 c cleaning 16000 clauses out of 32028 with flag 143000/143000 130.44/68.24 c And the winner is CuttingPlanes 130.57/68.37 c cleaning 17004 clauses out of 34029 with flag 161001/161001 130.82/68.69 c Got one! Elapsed wall clock time (in seconds):68.476 130.82/68.69 o 23 142.74/74.75 c cleaning 17990 clauses out of 36024 with flag 180000/180000 159.98/83.54 c cleaning 19010 clauses out of 38034 with flag 200000/200000 184.27/95.91 c cleaning 19991 clauses out of 40024 with flag 221000/221000 210.38/109.21 c cleaning 21001 clauses out of 42033 with flag 243000/243000 228.98/118.79 c cleaning 21500 clauses out of 43033 with flag 265001/265001 245.36/127.15 c cleaning 21748 clauses out of 43532 with flag 287000/287000 272.20/140.84 c cleaning 21880 clauses out of 43784 with flag 309000/309000 293.32/151.64 c cleaning 21933 clauses out of 43904 with flag 331000/331000 315.83/163.15 c cleaning 21971 clauses out of 43973 with flag 353002/353002 335.35/173.14 c cleaning 21970 clauses out of 44002 with flag 375002/375002 354.56/183.06 c cleaning 21988 clauses out of 44032 with flag 397002/397002 371.88/192.00 c cleaning 22003 clauses out of 44042 with flag 419000/419000 399.47/206.09 c cleaning 22011 clauses out of 44040 with flag 441001/441001 428.62/220.91 c cleaning 21996 clauses out of 44029 with flag 463001/463001 446.97/230.41 c cleaning 22001 clauses out of 44034 with flag 485002/485002 464.03/239.25 c cleaning 21999 clauses out of 44032 with flag 507001/507001 487.05/251.07 c cleaning 21999 clauses out of 44032 with flag 529000/529000 511.42/263.54 c cleaning 22000 clauses out of 44034 with flag 551001/551001 536.07/276.24 c cleaning 21993 clauses out of 44034 with flag 573001/573001 555.30/286.15 c cleaning 21985 clauses out of 44040 with flag 595000/595000 573.51/295.51 c cleaning 22016 clauses out of 44058 with flag 617003/617003 590.70/304.41 c cleaning 21994 clauses out of 44043 with flag 639004/639004 604.99/311.94 c cleaning 21993 clauses out of 44047 with flag 661002/661002 631.72/325.70 c cleaning 22005 clauses out of 44053 with flag 683001/683001 659.39/339.84 c cleaning 21988 clauses out of 44048 with flag 705001/705001 674.74/347.81 c cleaning 22020 clauses out of 44061 with flag 727002/727002 692.05/356.97 c cleaning 22011 clauses out of 44041 with flag 749002/749002 708.60/365.50 c cleaning 22005 clauses out of 44029 with flag 771001/771001 742.18/382.76 c cleaning 21999 clauses out of 44026 with flag 793003/793003 780.04/402.18 c cleaning 21998 clauses out of 44024 with flag 815000/815000 814.77/420.02 c cleaning 22000 clauses out of 44026 with flag 837000/837000 850.89/438.55 c cleaning 21998 clauses out of 44027 with flag 859001/859001 877.86/452.43 c cleaning 21987 clauses out of 44028 with flag 881000/881000 895.30/461.52 c cleaning 21999 clauses out of 44041 with flag 903000/903000 914.09/471.46 c cleaning 22006 clauses out of 44042 with flag 925000/925000 936.28/482.92 c cleaning 21998 clauses out of 44036 with flag 947000/947000 955.65/493.00 c cleaning 22001 clauses out of 44038 with flag 969000/969000 971.25/501.29 c cleaning 22001 clauses out of 44038 with flag 991001/991001 988.79/510.54 c cleaning 22002 clauses out of 44037 with flag 1013001/1013001 1012.09/522.61 c cleaning 22000 clauses out of 44034 with flag 1035000/1035000 1033.95/534.02 c cleaning 21992 clauses out of 44035 with flag 1057001/1057001 1053.24/544.15 c cleaning 22007 clauses out of 44042 with flag 1079000/1079000 1072.71/554.44 c cleaning 22008 clauses out of 44035 with flag 1101000/1101000 1091.63/564.31 c cleaning 22005 clauses out of 44029 with flag 1123002/1123002 1110.35/574.15 c cleaning 21999 clauses out of 44023 with flag 1145001/1145001 1129.24/584.07 c cleaning 21998 clauses out of 44025 with flag 1167002/1167002 1156.99/598.50 c cleaning 22000 clauses out of 44028 with flag 1189003/1189003 1185.01/613.03 c cleaning 21998 clauses out of 44027 with flag 1211002/1211002 1212.62/627.31 c cleaning 21991 clauses out of 44031 with flag 1233004/1233004 1241.47/642.22 c cleaning 21993 clauses out of 44040 with flag 1255004/1255004 1266.63/655.41 c cleaning 21982 clauses out of 44043 with flag 1277000/1277000 1291.65/668.46 c cleaning 22011 clauses out of 44062 with flag 1299001/1299001 1312.92/679.54 c cleaning 21990 clauses out of 44050 with flag 1321000/1321000 1331.03/689.03 c cleaning 21996 clauses out of 44060 with flag 1343000/1343000 1350.68/699.40 c cleaning 21992 clauses out of 44065 with flag 1365001/1365001 1371.79/710.47 c cleaning 22019 clauses out of 44072 with flag 1387000/1387000 1396.66/723.39 c cleaning 22014 clauses out of 44058 with flag 1409005/1409005 1415.32/733.14 c cleaning 22005 clauses out of 44039 with flag 1431000/1431000 1435.15/743.63 c cleaning 21999 clauses out of 44034 with flag 1453000/1453000 1454.41/753.75 c cleaning 21992 clauses out of 44035 with flag 1475000/1475000 1480.18/767.19 c cleaning 21999 clauses out of 44047 with flag 1497004/1497004 1498.02/776.59 c cleaning 21994 clauses out of 44044 with flag 1519000/1519000 1517.80/787.30 c cleaning 21982 clauses out of 44052 with flag 1541002/1541002 1536.64/797.21 c cleaning 21997 clauses out of 44069 with flag 1563001/1563001 1553.94/806.31 c cleaning 22010 clauses out of 44075 with flag 1585004/1585004 1573.19/816.48 c cleaning 22001 clauses out of 44063 with flag 1607002/1607002 1593.00/826.95 c cleaning 22012 clauses out of 44063 with flag 1629003/1629003 1615.05/838.45 c cleaning 21990 clauses out of 44048 with flag 1651000/1651000 1636.09/849.48 c cleaning 21999 clauses out of 44059 with flag 1673001/1673001 1658.34/861.08 c cleaning 22002 clauses out of 44060 with flag 1695001/1695001 1678.11/871.53 c cleaning 22014 clauses out of 44057 with flag 1717000/1717000 1701.33/883.65 c cleaning 22004 clauses out of 44043 with flag 1739000/1739000 1719.99/893.43 c cleaning 21994 clauses out of 44041 with flag 1761002/1761002 1738.26/903.05 c cleaning 21994 clauses out of 44048 with flag 1783003/1783003 1754.46/911.72 c cleaning 21996 clauses out of 44052 with flag 1805001/1805001 1772.53/921.26 c cleaning 22003 clauses out of 44055 with flag 1827000/1827000 1790.01/930.41 c cleaning 21990 clauses out of 44052 with flag 1849000/1849000 1800.14/935.91 c starts : 21 1800.14/935.91 c conflicts : 3713 1800.14/935.91 c decisions : 69550 1800.14/935.91 c propagations : 979015 1800.14/935.91 c inspects : 116488830 1800.14/935.91 c learnt literals : 0 1800.14/935.91 c learnt binary clauses : 0 1800.14/935.91 c learnt ternary clauses : 0 1800.14/935.91 c learnt clauses : 3712 1800.14/935.91 c ignored clauses : 0 1800.14/935.91 c root simplifications : 0 1800.14/935.91 c removed literals (reason simplification) : 0 1800.14/935.91 c reason swapping (by a shorter reason) : 0 1800.14/935.91 c Calls to reduceDB : 0 1800.14/935.91 c number of reductions to clauses (during analyze) : 0 1800.14/935.91 c number of learned constraints concerned by reduction : 0 1800.14/935.91 c number of learning phase by resolution : 0 1800.14/935.91 c number of learning phase by cutting planes : 0 1800.14/935.91 c speed (assignments/second) : 1128.992640326215 1800.14/935.91 c non guided choices 0 1800.14/935.92 c learnt constraints type 1800.14/935.92 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 65 1800.14/935.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 18 1800.14/935.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3629 1800.14/935.92 c constraints type 1800.14/935.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1800.14/935.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.14/935.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1800.14/935.92 c constraints type 1800.14/935.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1800.14/935.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1800.14/935.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.14/935.92 s SATISFIABLE 1800.14/936.02 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3782 x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 x3909 x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 x4572 -x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 -x5908 x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 1800.36/936.03 c objective function=23 1800.36/936.03 c Total wall clock time (in seconds): 935.821
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662078-1276640332/watcher-2662078-1276640332 -o /tmp/evaluation-result-2662078-1276640332/solver-2662078-1276640332 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662078-1276640332.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14373 /proc/meminfo: memFree=1819124/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1832 CPUtime=0 /proc/14373/stat : 14373 (java6) S 14371 14373 13893 0 -1 4194304 239 0 0 0 0 0 0 0 19 0 1 0 5327698 1875968 143 1992294400 134512640 134550932 4286880416 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699547326 0 0 17 1 0 0 0 /proc/14373/statm: 458 143 107 10 0 63 0 [startup+0.0268799 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14373 /proc/meminfo: memFree=1819124/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1517068 CPUtime=0.01 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 2045 0 1 0 0 1 0 0 18 0 2 0 5327698 1553477632 1490 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 379267 1503 412 10 0 376978 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1517068 [startup+0.101877 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14373 /proc/meminfo: memFree=1819124/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1524180 CPUtime=0.08 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 3960 0 1 0 6 2 0 0 18 0 12 0 5327698 1560760320 3400 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 381045 3400 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.301871 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14373 /proc/meminfo: memFree=1819124/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1526128 CPUtime=0.36 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 5414 0 1 0 32 4 0 0 18 0 12 0 5327698 1562755072 4852 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 381532 4852 1361 10 0 378835 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526128 [startup+0.70086 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14373 /proc/meminfo: memFree=1819124/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1527972 CPUtime=1.14 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 7690 0 1 0 110 4 0 0 18 0 12 0 5327698 1564643328 7055 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 381993 7056 1402 10 0 379296 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1527972 [startup+1.50084 s] /proc/loadavg: 1.06 1.01 1.00 6/118 14385 /proc/meminfo: memFree=1779164/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1536576 CPUtime=2.73 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 19743 0 1 0 263 10 0 0 18 0 16 0 5327698 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 384144 18289 1413 10 0 381447 0 [pid=14373/tid=14375] ppid=14371 vsize=1536576 CPUtime=1.3 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14380 0 1 0 123 7 0 0 19 0 16 0 5327700 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 5327701 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 5327702 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 16 0 5327703 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 16 0 5327704 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 5327704 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1536576 CPUtime=0.1 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 107 0 0 0 10 0 0 0 23 0 16 0 5327708 1573453824 18289 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1536576 CPUtime=1.13 /proc/14373/task/14383/stat : 14383 (java) R 14371 14373 13893 0 -1 4202560 3663 0 0 0 112 1 0 0 19 0 16 0 5327708 1573453824 18290 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1573453824 18290 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5327708 1573453824 18290 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 1536576 [startup+3.10179 s] /proc/loadavg: 1.21 1.05 1.01 1/120 14389 /proc/meminfo: memFree=1750132/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1536576 CPUtime=4.09 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 20508 0 1 0 399 10 0 0 18 0 14 0 5327698 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 384144 19053 1426 10 0 381447 0 [pid=14373/tid=14375] ppid=14371 vsize=1536576 CPUtime=1.32 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14455 0 1 0 125 7 0 0 19 0 14 0 5327700 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 14 0 5327701 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 5327702 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 14 0 5327703 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 14 0 5327704 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 5327704 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5327708 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1536576 CPUtime=0.55 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 153 0 0 0 55 0 0 0 16 0 14 0 5327708 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1536576 CPUtime=1.65 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 3706 0 0 0 164 1 0 0 16 0 14 0 5327708 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5327708 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 5327708 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 5327840 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1536576 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 5327847 1573453824 19053 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.09 Current children cumulated vsize (KiB) 1536576 [startup+6.30169 s] /proc/loadavg: 1.21 1.05 1.01 3/121 14395 /proc/meminfo: memFree=1661340/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=9.42 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 44010 0 1 0 923 19 0 0 18 0 16 0 5327698 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386109 41059 1443 10 0 383412 0 [pid=14373/tid=14375] ppid=14371 vsize=1544436 CPUtime=1.35 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14604 0 1 0 128 7 0 0 19 0 16 0 5327700 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1544436 CPUtime=0.06 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 1537 0 0 0 6 0 0 0 16 0 16 0 5327701 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1544436 CPUtime=0.06 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 1839 0 0 0 6 0 0 0 16 0 16 0 5327702 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 5327703 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1544436 CPUtime=1.68 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 168 0 0 0 15 0 16 0 5327708 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1544436 CPUtime=2.49 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5035 0 0 0 248 1 0 0 15 0 16 0 5327708 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5327708 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327840 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327847 1581502464 41059 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.42 Current children cumulated vsize (KiB) 1544436 [startup+12.7015 s] /proc/loadavg: 1.26 1.06 1.02 3/122 14399 /proc/meminfo: memFree=1624256/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=21.64 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 53158 0 1 0 2142 22 0 0 18 0 16 0 5327698 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386109 49776 1448 10 0 383412 0 [pid=14373/tid=14375] ppid=14371 vsize=1544436 CPUtime=1.35 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14604 0 1 0 128 7 0 0 18 0 16 0 5327700 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1544436 CPUtime=0.2 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 3801 0 0 0 19 1 0 0 15 0 16 0 5327701 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1544436 CPUtime=0.19 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 4275 0 0 0 18 1 0 0 16 0 16 0 5327702 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1544436 CPUtime=0.21 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2496 0 0 0 20 1 0 0 15 0 16 0 5327703 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1544436 CPUtime=1.8 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 180 0 0 0 15 0 16 0 5327708 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1544436 CPUtime=2.62 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5044 0 0 0 261 1 0 0 15 0 16 0 5327708 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5327708 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327840 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327847 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14398] ppid=14371 vsize=1544436 CPUtime=5.58 /proc/14373/task/14398/stat : 14398 (java) R 14371 14373 13893 0 -1 4202560 31 0 0 0 558 0 0 0 25 0 16 0 5328353 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4109702782 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14373/tid=14399] ppid=14371 vsize=1544436 CPUtime=5.67 /proc/14373/task/14399/stat : 14399 (java) R 14371 14373 13893 0 -1 4202560 1925 0 0 0 567 0 0 0 25 0 16 0 5328353 1581502464 49776 1992294400 134512640 134550932 4292666608 18446744073709551615 4109844733 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 21.64 Current children cumulated vsize (KiB) 1544436 [startup+25.502 s] /proc/loadavg: 1.37 1.09 1.03 3/122 14399 /proc/meminfo: memFree=1602308/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=46.7 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 59864 0 1 0 4644 26 0 0 18 0 16 0 5327698 1581502464 55619 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ Current children cumulated vsize (KiB) 1544436 [startup+822.3 s] /proc/loadavg: 2.08 1.98 1.59 3/122 14426 /proc/meminfo: memFree=1347612/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=1583.89 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 131785 0 1 0 158212 177 0 0 18 0 16 0 5327698 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386109 118351 1452 10 0 383412 0 [pid=14373/tid=14375] ppid=14371 vsize=1544436 CPUtime=1.37 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14624 0 1 0 130 7 0 0 15 0 16 0 5327700 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1544436 CPUtime=15.4 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 41356 0 0 0 1474 66 0 0 16 0 16 0 5327701 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1544436 CPUtime=15.45 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 44019 0 0 0 1510 35 0 0 15 0 16 0 5327702 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1544436 CPUtime=42.7 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2920 0 0 0 4255 15 0 0 15 0 16 0 5327703 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1544436 CPUtime=2.05 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 205 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1544436 CPUtime=3.12 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5053 0 0 0 311 1 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327840 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327847 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14402] ppid=14371 vsize=1544436 CPUtime=693.45 /proc/14373/task/14402/stat : 14402 (java) R 14371 14373 13893 0 -1 4202560 432 0 0 0 69326 19 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109582403 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14373/tid=14403] ppid=14371 vsize=1544436 CPUtime=689.67 /proc/14373/task/14403/stat : 14403 (java) R 14371 14373 13893 0 -1 4202560 304 0 0 0 68951 16 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109606015 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1583.89 Current children cumulated vsize (KiB) 1544436 [startup+882.302 s] /proc/loadavg: 2.01 1.98 1.61 3/122 14428 /proc/meminfo: memFree=1347612/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=1698.75 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 131829 0 1 0 169691 184 0 0 18 0 16 0 5327698 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386109 118351 1452 10 0 383412 0 [pid=14373/tid=14375] ppid=14371 vsize=1544436 CPUtime=1.37 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14624 0 1 0 130 7 0 0 15 0 16 0 5327700 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1544436 CPUtime=16.4 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 41356 0 0 0 1571 69 0 0 16 0 16 0 5327701 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1544436 CPUtime=16.45 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 44019 0 0 0 1609 36 0 0 16 0 16 0 5327702 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1544436 CPUtime=46.84 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2924 0 0 0 4668 16 0 0 15 0 16 0 5327703 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1544436 CPUtime=2.05 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 205 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1544436 CPUtime=3.12 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5053 0 0 0 311 1 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327840 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327847 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14402] ppid=14371 vsize=1544436 CPUtime=748.29 /proc/14373/task/14402/stat : 14402 (java) R 14371 14373 13893 0 -1 4202560 453 0 0 0 74808 21 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109610378 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14373/tid=14403] ppid=14371 vsize=1544436 CPUtime=743.55 /proc/14373/task/14403/stat : 14403 (java) R 14371 14373 13893 0 -1 4202560 319 0 0 0 74339 16 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109879888 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1698.75 Current children cumulated vsize (KiB) 1544436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.902 s] /proc/loadavg: 1.94 1.96 1.62 3/122 14428 /proc/meminfo: memFree=1347488/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1544436 CPUtime=1800.14 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 131868 0 1 0 179823 191 0 0 18 0 16 0 5327698 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386109 118351 1452 10 0 383412 0 [pid=14373/tid=14375] ppid=14371 vsize=1544436 CPUtime=1.37 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14629 0 1 0 130 7 0 0 15 0 16 0 5327700 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1544436 CPUtime=17.36 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 41356 0 0 0 1664 72 0 0 15 0 16 0 5327701 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1544436 CPUtime=17.41 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 44019 0 0 0 1701 40 0 0 16 0 16 0 5327702 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1544436 CPUtime=51.77 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2926 0 0 0 5161 16 0 0 15 0 16 0 5327703 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 5327704 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1544436 CPUtime=2.05 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 205 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1544436 CPUtime=3.12 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5053 0 0 0 311 1 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 5327708 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327840 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1544436 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5327847 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14402] ppid=14371 vsize=1544436 CPUtime=795.29 /proc/14373/task/14402/stat : 14402 (java) R 14371 14373 13893 0 -1 4202560 465 0 0 0 79508 21 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109745548 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14373/tid=14403] ppid=14371 vsize=1544436 CPUtime=791.11 /proc/14373/task/14403/stat : 14403 (java) R 14371 14373 13893 0 -1 4202560 337 0 0 0 79093 18 0 0 25 0 16 0 5334568 1581502464 118351 1992294400 134512640 134550932 4292666608 18446744073709551615 4109864164 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 1544436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+936.017 s] /proc/loadavg: 1.94 1.96 1.62 5/125 14431 /proc/meminfo: memFree=1347464/2059040 swapFree=4170748/4192956 [pid=14373] ppid=14371 vsize=1545084 CPUtime=1800.36 /proc/14373/stat : 14373 (java) S 14371 14373 13893 0 -1 4202496 131885 0 1 0 179845 191 0 0 18 0 18 0 5327698 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14373/statm: 386271 118368 1452 10 0 383574 0 [pid=14373/tid=14375] ppid=14371 vsize=1545084 CPUtime=1.37 /proc/14373/task/14375/stat : 14375 (java) S 14371 14373 13893 0 -1 4202560 14629 0 1 0 130 7 0 0 15 0 18 0 5327700 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14376] ppid=14371 vsize=1545084 CPUtime=17.36 /proc/14373/task/14376/stat : 14376 (java) S 14371 14373 13893 0 -1 4202560 41356 0 0 0 1664 72 0 0 15 0 18 0 5327701 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14377] ppid=14371 vsize=1545084 CPUtime=17.41 /proc/14373/task/14377/stat : 14377 (java) S 14371 14373 13893 0 -1 4202560 44019 0 0 0 1701 40 0 0 16 0 18 0 5327702 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14378] ppid=14371 vsize=1545084 CPUtime=51.77 /proc/14373/task/14378/stat : 14378 (java) S 14371 14373 13893 0 -1 4202560 2926 0 0 0 5161 16 0 0 15 0 18 0 5327703 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 0 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14379] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14379/stat : 14379 (java) S 14371 14373 13893 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 5327704 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14380] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14380/stat : 14380 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 5327704 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14381] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14381/stat : 14381 (java) S 14371 14373 13893 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 18 0 5327708 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14382] ppid=14371 vsize=1545084 CPUtime=2.07 /proc/14373/task/14382/stat : 14382 (java) S 14371 14373 13893 0 -1 4202560 2400 0 0 0 207 0 0 0 15 0 18 0 5327708 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14383] ppid=14371 vsize=1545084 CPUtime=3.12 /proc/14373/task/14383/stat : 14383 (java) S 14371 14373 13893 0 -1 4202560 5053 0 0 0 311 1 0 0 15 0 18 0 5327708 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14384] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14384/stat : 14384 (java) S 14371 14373 13893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 5327708 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14385] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14385/stat : 14385 (java) S 14371 14373 13893 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 5327708 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14388] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14388/stat : 14388 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 18 0 5327840 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14389] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14389/stat : 14389 (java) S 14371 14373 13893 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 18 0 5327847 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 1 0 0 0 [pid=14373/tid=14402] ppid=14371 vsize=1545084 CPUtime=795.4 /proc/14373/task/14402/stat : 14402 (java) R 14371 14373 13893 0 -1 4202560 465 0 0 0 79519 21 0 0 25 0 18 0 5334568 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4109793512 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14373/tid=14403] ppid=14371 vsize=1545084 CPUtime=791.18 /proc/14373/task/14403/stat : 14403 (java) R 14371 14373 13893 0 -1 4202560 337 0 0 0 79100 18 0 0 25 0 18 0 5334568 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4109831439 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14373/tid=14430] ppid=14371 vsize=1545084 CPUtime=0 /proc/14373/task/14430/stat : 14430 (java) S 14371 14373 13893 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 5421290 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4294960144 0 4 0 16800975 18446604437845356736 0 0 -1 0 0 0 0 [pid=14373/tid=14431] ppid=14371 vsize=1545084 CPUtime=0.02 /proc/14373/task/14431/stat : 14431 (java) R 14371 14373 13893 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 18 0 5421290 1582166016 118368 1992294400 134512640 134550932 4292666608 18446744073709551615 4108887550 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 1545084 Child status: 143 Real time (s): 936.089 CPU time (s): 1800.46 CPU user time (s): 1798.49 CPU system time (s): 1.9647 CPU usage (%): 192.338 Max. virtual memory (cumulated for all children) (KiB): 1546732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.49 system time used= 1.9647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131889 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30776 involuntary context switches= 53223 runsolver used 4.50331 second user time and 10.3574 second system time The end
Begin job on node031 at 2010-06-16 00:18:52 IDJOB=2662078 IDBENCH=25015 IDSOLVER=1166 FILE ID=node031/2662078-1276640332 PBS_JOBID= 11172382 Free space on /tmp= 62580 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662078-1276640332/watcher-2662078-1276640332 -o /tmp/evaluation-result-2662078-1276640332/solver-2662078-1276640332 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662078-1276640332.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=720593067 node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819520 kB Buffers: 19480 kB Cached: 104460 kB SwapCached: 1484 kB Active: 75208 kB Inactive: 87820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819520 kB SwapTotal: 4192956 kB SwapFree: 4170748 kB Dirty: 1008 kB Writeback: 0 kB AnonPages: 37604 kB Mapped: 15340 kB Slab: 54436 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180948 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node031 at 2010-06-16 00:34:30