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