Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | MSAT (TO) | 1800.42 | 1774.57 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 32809f4710e615fcaa140bf3e08c6c73 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 1.86272 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 220 |
| Number of soft constraints | 220 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 60 |
| Top cost | 11307 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 11306 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 61 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.3.2.v20120528 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 501472288 0.00/0.07 c Max memory 7480803328 0.00/0.07 c Total memory 504102912 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3718394-1338252309.wbo 0.11/0.10 c reading problem ... 0.29/0.28 c ... done. Wall clock time 0.185s. 0.29/0.28 c declared #vars 6000 0.29/0.28 c internal #vars 6220 0.29/0.28 c #constraints 220 0.29/0.28 c constraints type 0.29/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 0.29/0.28 c ignored satisfied constraints => 1 0.29/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 0.29/0.28 c 221 constraints processed. 0.29/0.28 c objective function length is 220 literals 1.18/0.51 c SATISFIABLE 1.18/0.51 c OPTIMIZING... 1.18/0.51 c Got one! Elapsed wall clock time (in seconds):0.417 1.18/0.51 o 168 1.18/0.55 c Got one! Elapsed wall clock time (in seconds):0.458 1.18/0.55 o 122 1.18/0.58 c Got one! Elapsed wall clock time (in seconds):0.486 1.18/0.58 o 78 1.40/0.64 c Got one! Elapsed wall clock time (in seconds):0.54 1.40/0.64 o 76 1.40/0.68 c Got one! Elapsed wall clock time (in seconds):0.586 1.40/0.68 o 57 1.55/0.75 c Got one! Elapsed wall clock time (in seconds):0.656 1.55/0.75 o 56 1.66/0.80 c Got one! Elapsed wall clock time (in seconds):0.706 1.66/0.80 o 47 1.66/0.89 c Got one! Elapsed wall clock time (in seconds):0.79 1.66/0.89 o 33 1.86/1.00 c Got one! Elapsed wall clock time (in seconds):0.909 1.86/1.00 o 31 1.96/1.12 c Got one! Elapsed wall clock time (in seconds):1.021 1.96/1.12 o 7 2.27/1.44 c cleaning 4775 clauses out of 9563 with flag 18826/9563 2.64/1.75 c Got one! Elapsed wall clock time (in seconds):1.654 2.64/1.75 o 6 2.87/1.90 c cleaning 5121 clauses out of 10258 with flag 7136/15033 3.38/2.44 c cleaning 5552 clauses out of 11137 with flag 46227/21033 4.07/3.00 c cleaning 6270 clauses out of 12587 with flag 92137/28035 4.85/3.70 c cleaning 7101 clauses out of 14315 with flag 146783/36033 5.77/4.64 c cleaning 8104 clauses out of 16215 with flag 203626/45034 6.28/5.16 c Got one! Elapsed wall clock time (in seconds):5.065 6.28/5.16 o 4 6.38/5.25 c cleaning 6655 clauses out of 13331 with flag 4341/50254 6.61/5.48 c Got one! Elapsed wall clock time (in seconds):5.381 6.61/5.48 o 3 6.91/5.71 c cleaning 5959 clauses out of 11963 with flag 19446/55541 7.53/6.36 c cleaning 5981 clauses out of 12006 with flag 61123/61543 8.54/7.33 c cleaning 6505 clauses out of 13023 with flag 118074/68541 9.55/8.35 c cleaning 7234 clauses out of 14518 with flag 180251/76541 10.38/9.13 c cleaning 8104 clauses out of 16284 with flag 237704/85541 11.39/10.13 c cleaning 9052 clauses out of 18180 with flag 300048/95541 12.91/11.66 c cleaning 10034 clauses out of 20130 with flag 379636/106543 14.34/13.08 c cleaning 11025 clauses out of 22095 with flag 465845/118542 15.87/14.55 c cleaning 12011 clauses out of 24069 with flag 553670/131541 17.79/16.42 c cleaning 13004 clauses out of 26058 with flag 648944/145541 20.20/18.80 c cleaning 14015 clauses out of 28055 with flag 772859/160542 23.04/21.69 c cleaning 15013 clauses out of 30041 with flag 912220/176543 25.00/23.55 c cleaning 15994 clauses out of 32027 with flag 1028127/193542 28.43/26.92 c cleaning 17007 clauses out of 34032 with flag 1197651/211541 32.29/30.79 c cleaning 18008 clauses out of 36026 with flag 1356760/230542 36.30/34.71 c cleaning 19002 clauses out of 38017 with flag 1524211/250541 39.03/37.45 c cleaning 19988 clauses out of 40018 with flag 1677614/271544 42.78/41.14 c cleaning 20996 clauses out of 42027 with flag 1846443/293541 47.30/45.64 c cleaning 21994 clauses out of 44031 with flag 2044718/316541 53.64/51.98 c cleaning 23008 clauses out of 46037 with flag 2289240/340541 60.25/58.47 c cleaning 24000 clauses out of 48032 with flag 2487801/365544 66.99/65.15 c cleaning 25008 clauses out of 50030 with flag 2726328/391542 70.76/68.89 c cleaning 25991 clauses out of 52022 with flag 2913497/418542 77.01/75.08 c cleaning 27001 clauses out of 54030 with flag 3153728/446541 83.47/81.43 c cleaning 27998 clauses out of 56034 with flag 3406384/475546 90.64/88.58 c cleaning 29006 clauses out of 58032 with flag 3665981/505542 97.10/94.99 c cleaning 29994 clauses out of 60025 with flag 3942222/536541 105.86/103.63 c cleaning 31002 clauses out of 62033 with flag 4252451/568543 111.55/109.20 c cleaning 31996 clauses out of 64030 with flag 4532809/601542 117.69/115.32 c cleaning 32997 clauses out of 66033 with flag 4807702/635541 124.57/122.12 c cleaning 33993 clauses out of 68036 with flag 5111863/670541 134.63/132.16 c cleaning 35006 clauses out of 70043 with flag 5439213/706541 142.92/140.32 c cleaning 35997 clauses out of 72037 with flag 5775970/743541 152.08/149.42 c cleaning 37009 clauses out of 74041 with flag 6164623/781542 163.78/161.03 c cleaning 38007 clauses out of 76032 with flag 6522011/820542 178.01/175.24 c cleaning 39001 clauses out of 78024 with flag 6911212/860541 187.23/184.31 c cleaning 39980 clauses out of 80023 with flag 7258619/901541 195.60/192.64 c cleaning 41001 clauses out of 82043 with flag 7601134/943541 203.79/200.79 c cleaning 42010 clauses out of 84042 with flag 7948944/986541 214.76/211.60 c cleaning 43011 clauses out of 86033 with flag 8316885/1030542 231.96/228.66 c cleaning 44003 clauses out of 88022 with flag 8774502/1075542 246.18/242.81 c cleaning 44979 clauses out of 90020 with flag 9202390/1121543 262.68/259.25 c cleaning 45998 clauses out of 92044 with flag 9610391/1168546 276.88/273.34 c cleaning 47013 clauses out of 94041 with flag 10052497/1216541 292.05/288.42 c cleaning 48010 clauses out of 96029 with flag 10477041/1265542 307.54/303.86 c cleaning 49002 clauses out of 98018 with flag 10921457/1315541 318.40/314.64 c cleaning 49994 clauses out of 100017 with flag 11326598/1366542 331.92/328.05 c cleaning 50967 clauses out of 102022 with flag 11801734/1418541 347.33/343.30 c cleaning 52019 clauses out of 104055 with flag 12292395/1471541 366.59/362.59 c cleaning 52970 clauses out of 106036 with flag 12821293/1525541 388.61/384.43 c cleaning 53983 clauses out of 108066 with flag 13287662/1580541 403.39/399.16 c cleaning 55034 clauses out of 110084 with flag 13782328/1636542 424.07/419.79 c cleaning 56019 clauses out of 112053 with flag 14301674/1693545 445.67/441.28 c cleaning 57004 clauses out of 114031 with flag 14845963/1751542 461.16/456.69 c cleaning 58006 clauses out of 116028 with flag 15383801/1810543 485.09/480.40 c cleaning 59003 clauses out of 118020 with flag 15892636/1870541 508.91/504.17 c cleaning 60001 clauses out of 120017 with flag 16499674/1931541 529.92/525.06 c cleaning 60991 clauses out of 122016 with flag 17094635/1993541 542.23/537.27 c cleaning 62000 clauses out of 124025 with flag 17551492/2056541 560.12/555.09 c cleaning 62982 clauses out of 126027 with flag 18104590/2120543 586.94/581.54 c cleaning 64012 clauses out of 128045 with flag 18787965/2185543 619.40/613.94 c cleaning 64996 clauses out of 130031 with flag 19401400/2251541 639.27/633.69 c cleaning 66000 clauses out of 132035 with flag 20053562/2318541 666.77/661.09 c cleaning 67008 clauses out of 134045 with flag 20750487/2386551 688.92/683.01 c cleaning 67997 clauses out of 136028 with flag 21389169/2455542 718.96/712.95 c cleaning 68988 clauses out of 138032 with flag 22070752/2525543 749.40/743.20 c cleaning 70000 clauses out of 140045 with flag 22804511/2596544 770.73/764.46 c cleaning 71012 clauses out of 142046 with flag 23496885/2668545 799.90/793.30 c cleaning 72006 clauses out of 144031 with flag 24295569/2741542 830.53/823.78 c cleaning 73002 clauses out of 146026 with flag 25170152/2815543 864.70/857.34 c cleaning 73999 clauses out of 148022 with flag 26098632/2890541 893.92/885.99 c cleaning 74999 clauses out of 150025 with flag 27083936/2966543 910.86/902.48 c cleaning 75956 clauses out of 152026 with flag 27793688/3043543 941.93/933.01 c cleaning 77017 clauses out of 154068 with flag 28680050/3121541 970.90/961.53 c cleaning 78020 clauses out of 156051 with flag 29396253/3200541 1009.79/999.60 c cleaning 79010 clauses out of 158036 with flag 30136789/3280546 1047.32/1036.61 c cleaning 80000 clauses out of 160022 with flag 30896422/3361542 1081.50/1070.11 c cleaning 80997 clauses out of 162024 with flag 31729776/3443544 1129.22/1117.27 c cleaning 81995 clauses out of 164025 with flag 32526824/3526542 1177.75/1165.04 c cleaning 82999 clauses out of 166029 with flag 33336329/3610541 1209.89/1196.19 c cleaning 83993 clauses out of 168030 with flag 34169177/3695541 1258.04/1243.53 c cleaning 84974 clauses out of 170037 with flag 35050945/3781541 1303.05/1287.64 c cleaning 85985 clauses out of 172065 with flag 36045914/3868543 1343.83/1327.56 c cleaning 86996 clauses out of 174078 with flag 36977629/3956541 1378.20/1361.10 c cleaning 88026 clauses out of 176082 with flag 37868500/4045541 1431.48/1413.70 c cleaning 89013 clauses out of 178056 with flag 38760216/4135541 1481.72/1462.81 c cleaning 90011 clauses out of 180043 with flag 39633798/4226541 1525.86/1506.19 c cleaning 91003 clauses out of 182035 with flag 40573562/4318544 1571.15/1550.57 c cleaning 92002 clauses out of 184030 with flag 41477220/4411542 1608.88/1587.36 c cleaning 92987 clauses out of 186028 with flag 42330972/4505542 1635.68/1613.21 c cleaning 94009 clauses out of 188046 with flag 43179427/4600547 1662.08/1639.01 c cleaning 94999 clauses out of 190031 with flag 44046848/4696541 1708.84/1685.22 c cleaning 96010 clauses out of 192033 with flag 44894178/4793542 1772.05/1747.45 c cleaning 97004 clauses out of 194022 with flag 45844560/4891541 1800.10/1774.51 c starts : 286 1800.10/1774.51 c conflicts : 4971237 1800.10/1774.51 c decisions : 6652605 1800.10/1774.51 c propagations : 230865705 1800.10/1774.51 c inspects : 18117991354 1800.10/1774.51 c shortcuts : 0 1800.10/1774.51 c learnt literals : 0 1800.10/1774.51 c learnt binary clauses : 0 1800.10/1774.51 c learnt ternary clauses : 0 1800.10/1774.51 c learnt constraints : 4971237 1800.10/1774.51 c ignored constraints : 0 1800.10/1774.51 c root simplifications : 0 1800.10/1774.51 c removed literals (reason simplification) : 0 1800.10/1774.51 c reason swapping (by a shorter reason) : 0 1800.10/1774.51 c Calls to reduceDB : 101 1800.10/1774.51 c Number of update (reduction) of LBD : 3072996 1800.10/1774.51 c number of reductions to clauses (during analyze) : 0 1800.10/1774.51 c number of learned constraints concerned by reduction : 0 1800.10/1774.51 c number of learning phase by resolution : 0 1800.10/1774.51 c number of learning phase by cutting planes : 0 1800.10/1774.51 c speed (assignments/second) : 130122.65981143221 1800.10/1774.51 c non guided choices 356317 1800.10/1774.54 c learnt constraints type 1800.10/1774.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176737 1800.10/1774.54 c constraints type 1800.10/1774.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 1800.10/1774.54 c ignored satisfied constraints => 1 1800.10/1774.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101 1800.10/1774.54 c 222 constraints processed. 1800.10/1774.54 s SATISFIABLE 1800.10/1774.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 1800.10/1774.56 c objective function=3 1800.10/1774.56 c Total wall clock time (in seconds): 1774.462
OK 3
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718394-1338252309/watcher-3718394-1338252309 -o /tmp/evaluation-result-3718394-1338252309/solver-3718394-1338252309 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718394-1338252309.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.94 3/194 21448 /proc/meminfo: memFree=28832760/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 291356318 95129600 927 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 23225 927 703 9 0 16769 0 [pid=21448/tid=21449] ppid=21446 vsize=94112 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 2 0 291356319 96370688 930 33554432000 1073741824 1073778376 140734509917072 140725844119080 270698320257 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.0869961 s] /proc/loadavg: 1.93 1.98 1.94 3/194 21448 /proc/meminfo: memFree=28832760/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9558416 CPUtime=0.08 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 4324 0 1 0 7 1 0 0 20 0 18 0 291356318 9787817984 5511 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2389604 5512 2109 9 0 2380296 0 [pid=21448/tid=21449] ppid=21446 vsize=9558416 CPUtime=0.06 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2373 0 1 0 5 1 0 0 20 0 18 0 291356319 9787817984 5513 33554432000 1073741824 1073778376 140734509917072 140725844122392 270707167051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558416 [startup+0.100226 s] /proc/loadavg: 1.93 1.98 1.94 3/194 21448 /proc/meminfo: memFree=28832760/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9558416 CPUtime=0.11 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 291356318 9787817984 6150 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2389604 6151 2145 9 0 2380296 0 [pid=21448/tid=21449] ppid=21446 vsize=9558416 CPUtime=0.07 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2431 0 1 0 6 1 0 0 20 0 18 0 291356319 9787817984 6151 33554432000 1073741824 1073778376 140734509917072 140725844122392 140725851924208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558416 [startup+0.300202 s] /proc/loadavg: 1.93 1.98 1.94 3/194 21448 /proc/meminfo: memFree=28832760/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=0.58 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 10113 0 1 0 56 2 0 0 20 0 19 0 291356318 9855979520 11740 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 11740 2228 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=0.27 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2462 0 1 0 26 1 0 0 20 0 19 0 291356319 9855979520 11740 33554432000 1073741824 1073778376 140734509917072 140725844124432 140725694096080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 9624980 [startup+0.700318 s] /proc/loadavg: 1.93 1.98 1.94 3/194 21448 /proc/meminfo: memFree=28832760/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=1.55 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 12296 0 1 0 152 3 0 0 20 0 19 0 291356318 9855979520 13746 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 13746 2248 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=0.68 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2465 0 1 0 66 2 0 0 20 0 19 0 291356319 9855979520 13746 33554432000 1073741824 1073778376 140734509917072 140725844110064 140725694094834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9624980 [startup+1.50064 s] /proc/loadavg: 1.93 1.98 1.94 3/213 21467 /proc/meminfo: memFree=28778076/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=2.42 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 12382 0 1 0 237 5 0 0 20 0 19 0 291356318 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 23522 2276 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=1.46 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2478 0 1 0 144 2 0 0 20 0 19 0 291356319 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725844124056 140725694610428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) R 21446 21448 18511 0 -1 4202560 4240 0 0 0 45 1 0 0 20 0 19 0 291356323 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725193124456 270706952395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) R 21446 21448 18511 0 -1 4202560 4405 0 0 0 43 0 0 0 20 0 19 0 291356323 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725192071360 140725850306436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 23522 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 9624980 [startup+3.10063 s] /proc/loadavg: 1.93 1.98 1.94 3/213 21467 /proc/meminfo: memFree=28730352/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=4.25 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 12464 0 1 0 419 6 0 0 20 0 19 0 291356318 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 27680 2276 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=2.99 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2479 0 1 0 297 2 0 0 20 0 19 0 291356319 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725844124056 140725694648721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291356319 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 19 0 291356321 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.59 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4450 0 0 0 59 0 0 0 20 0 19 0 291356323 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 27680 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9624980 [startup+6.30064 s] /proc/loadavg: 1.93 1.98 1.94 3/213 21467 /proc/meminfo: memFree=28723844/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=7.53 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 12476 0 1 0 747 6 0 0 20 0 19 0 291356318 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 28182 2276 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=6.08 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 2484 0 1 0 606 2 0 0 20 0 19 0 291356319 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725844124056 140725694610465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 291356319 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291356319 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291356319 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291356320 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291356320 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356320 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 38 0 0 0 12 0 0 0 20 0 19 0 291356321 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.59 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4450 0 0 0 59 0 0 0 20 0 19 0 291356323 9855979520 28182 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=3.92 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 2449 0 0 0 375 17 0 0 20 0 19 0 291356320 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=3.85 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 1902 0 0 0 368 17 0 0 20 0 19 0 291356320 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=3.59 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 1595 0 0 0 347 12 0 0 20 0 19 0 291356320 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=7.91 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 1611 0 0 0 785 6 0 0 20 0 19 0 291356321 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4464 0 0 0 61 0 0 0 20 0 19 0 291356323 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 94 0 0 0 29 32 0 0 20 0 19 0 291356323 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 185559 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1685.71 Current children cumulated vsize (KiB) 9624980 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 21707 /proc/meminfo: memFree=27822992/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=1746.58 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 29767 0 1 0 174481 177 0 0 20 0 19 0 291356318 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 203274 2277 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=1705.36 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 3000 0 1 0 170506 30 0 0 20 0 19 0 291356319 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725844122992 140725694610362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=3.77 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 1644 0 0 0 362 15 0 0 20 0 19 0 291356319 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=4.09 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 1693 0 0 0 390 19 0 0 20 0 19 0 291356319 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=3.88 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 1455 0 0 0 374 14 0 0 20 0 19 0 291356319 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=4.07 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 2055 0 0 0 391 16 0 0 20 0 19 0 291356320 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=3.78 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 2188 0 0 0 365 13 0 0 20 0 19 0 291356320 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=4.04 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 2515 0 0 0 387 17 0 0 20 0 19 0 291356320 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=3.98 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 1972 0 0 0 380 18 0 0 20 0 19 0 291356320 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=3.71 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 1597 0 0 0 359 12 0 0 20 0 19 0 291356320 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=8.06 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 1667 0 0 0 799 7 0 0 20 0 19 0 291356321 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4464 0 0 0 61 0 0 0 20 0 19 0 291356323 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0.64 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 98 0 0 0 29 35 0 0 20 0 19 0 291356323 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 203274 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1746.58 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1774.5 s] /proc/loadavg: 2.00 2.00 2.00 3/213 21707 /proc/meminfo: memFree=27898800/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 29815 0 1 0 179829 181 0 0 20 0 19 0 291356318 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 182838 2277 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=1756.91 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 3025 0 1 0 175660 31 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725844122992 140725694628860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=3.99 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 1644 0 0 0 383 16 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=4.36 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 1693 0 0 0 416 20 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=4.08 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 1455 0 0 0 393 15 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=4.3 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 2055 0 0 0 414 16 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=4.01 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 2188 0 0 0 388 13 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=4.23 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 2515 0 0 0 406 17 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=4.22 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 1972 0 0 0 403 19 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=3.94 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 1597 0 0 0 382 12 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=8.22 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 1688 0 0 0 815 7 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4464 0 0 0 61 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0.66 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 100 0 0 0 30 36 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1774.5 s] /proc/loadavg: 2.00 2.00 2.00 3/213 21707 /proc/meminfo: memFree=27898800/32873648 swapFree=6864/6864 [pid=21448] ppid=21446 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7 /proc/21448/stat : 21448 (java) S 21446 21448 18511 0 -1 4202496 29815 0 1 0 179829 181 0 0 20 0 19 0 291356318 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140734509908208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21448/statm: 2406245 182838 2277 9 0 2396937 0 [pid=21448/tid=21449] ppid=21446 vsize=9624980 CPUtime=1756.91 cores=1,3,5,7 /proc/21448/task/21449/stat : 21449 (java) R 21446 21448 18511 0 -1 4202560 3025 0 1 0 175660 31 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725844122992 140725694628860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21451] ppid=21446 vsize=9624980 CPUtime=3.99 cores=1,3,5,7 /proc/21448/task/21451/stat : 21451 (java) S 21446 21448 18511 0 -1 4202560 1644 0 0 0 383 16 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725816577064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21452] ppid=21446 vsize=9624980 CPUtime=4.36 cores=1,3,5,7 /proc/21448/task/21452/stat : 21452 (java) S 21446 21448 18511 0 -1 4202560 1693 0 0 0 416 20 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725815524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21453] ppid=21446 vsize=9624980 CPUtime=4.08 cores=1,3,5,7 /proc/21448/task/21453/stat : 21453 (java) S 21446 21448 18511 0 -1 4202560 1455 0 0 0 393 15 0 0 20 0 19 0 291356319 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725814471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21454] ppid=21446 vsize=9624980 CPUtime=4.3 cores=1,3,5,7 /proc/21448/task/21454/stat : 21454 (java) S 21446 21448 18511 0 -1 4202560 2055 0 0 0 414 16 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725813418664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21455] ppid=21446 vsize=9624980 CPUtime=4.01 cores=1,3,5,7 /proc/21448/task/21455/stat : 21455 (java) S 21446 21448 18511 0 -1 4202560 2188 0 0 0 388 13 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725683005992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21456] ppid=21446 vsize=9624980 CPUtime=4.23 cores=1,3,5,7 /proc/21448/task/21456/stat : 21456 (java) S 21446 21448 18511 0 -1 4202560 2515 0 0 0 406 17 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725681953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21457] ppid=21446 vsize=9624980 CPUtime=4.22 cores=1,3,5,7 /proc/21448/task/21457/stat : 21457 (java) S 21446 21448 18511 0 -1 4202560 1972 0 0 0 403 19 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725680900392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21458] ppid=21446 vsize=9624980 CPUtime=3.94 cores=1,3,5,7 /proc/21448/task/21458/stat : 21458 (java) S 21446 21448 18511 0 -1 4202560 1597 0 0 0 382 12 0 0 20 0 19 0 291356320 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725679847592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21448/tid=21459] ppid=21446 vsize=9624980 CPUtime=8.22 cores=1,3,5,7 /proc/21448/task/21459/stat : 21459 (java) S 21446 21448 18511 0 -1 4202560 1688 0 0 0 815 7 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725197335528 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21460] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21460/stat : 21460 (java) S 21446 21448 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725196281592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21461] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21461/stat : 21461 (java) S 21446 21448 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291356321 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725195228680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21462] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21462/stat : 21462 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725194177168 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21463] ppid=21446 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/21448/task/21463/stat : 21463 (java) S 21446 21448 18511 0 -1 4202560 4240 0 0 0 49 2 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725193124280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21448/tid=21464] ppid=21446 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/21448/task/21464/stat : 21464 (java) S 21446 21448 18511 0 -1 4202560 4464 0 0 0 61 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725192071480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21465] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21465/stat : 21465 (java) S 21446 21448 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725191018872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21448/tid=21466] ppid=21446 vsize=9624980 CPUtime=0.66 cores=1,3,5,7 /proc/21448/task/21466/stat : 21466 (java) S 21446 21448 18511 0 -1 4202560 100 0 0 0 30 36 0 0 20 0 19 0 291356323 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725189966280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21448/tid=21467] ppid=21446 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/21448/task/21467/stat : 21467 (java) S 21446 21448 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291356348 9855979520 182838 33554432000 1073741824 1073778376 140734509917072 140725187909288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9624980 Child status: 143 Real time (s): 1774.57 CPU time (s): 1800.42 CPU user time (s): 1798.24 CPU system time (s): 2.18167 CPU usage (%): 101.457 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.24 system time used= 2.18167 maximum resident set size= 837176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29851 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50840 involuntary context switches= 52124 runsolver used 6.07008 second user time and 15.2427 second system time The end
Begin job on node125 at 2012-05-29 02:45:09 IDJOB=3718394 IDBENCH=79153 IDSOLVER=2301 FILE ID=node125/3718394-1338252309 RUNJOBID= node125-1338248733-21055 PBS_JOBID= 14624654 Free space on /tmp= 71260 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718394-1338252309/watcher-3718394-1338252309 -o /tmp/evaluation-result-3718394-1338252309/solver-3718394-1338252309 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718394-1338252309.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73 RANDOM SEED=1598500510 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28832916 kB Buffers: 553824 kB Cached: 2520408 kB SwapCached: 2300 kB Active: 1590568 kB Inactive: 1556568 kB Active(anon): 64356 kB Inactive(anon): 9556 kB Active(file): 1526212 kB Inactive(file): 1547012 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102620 kB Dirty: 1072 kB Writeback: 0 kB AnonPages: 86696 kB Mapped: 22420 kB Shmem: 104 kB Slab: 742708 kB SReclaimable: 186492 kB SUnreclaim: 556216 kB KernelStack: 1608 kB PageTables: 4480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 696408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71260 MiB End job on node125 at 2012-05-29 03:14:45