Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 78 | 1800.09 | 902.268 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
| MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 57 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 45 |
| Optimality of the best value was proved | NO |
| Number of variables | 5203 |
| Total number of constraints | 19637 |
| Number of constraints which are clauses | 19637 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 5203 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5203 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5203 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081324-1465231526.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 2.22/1.77 c ... done. Wall clock time 1.652s. 2.22/1.77 c declared #vars 5203 2.22/1.77 c #constraints 19637 2.22/1.77 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.22/1.77 c constraints type 2.22/1.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19637 2.22/1.77 c 19637 constraints processed. 2.22/1.77 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.22/1.77 c constraints type 2.22/1.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19637 2.22/1.77 c 19637 constraints processed. 2.22/1.77 c objective function length is 5203 literals 2.36/1.89 c And the winner is solver0 2.77/2.28 c SATISFIABLE 2.77/2.28 c OPTIMIZING... 2.77/2.28 c Got one! Elapsed wall clock time (in seconds):2.162 2.77/2.28 o 92 2.87/2.35 c And the winner is solver0 3.07/2.80 c Got one! Elapsed wall clock time (in seconds):2.684 3.07/2.80 o 85 3.07/2.85 c And the winner is solver0 3.59/3.31 c Got one! Elapsed wall clock time (in seconds):3.196 3.59/3.31 o 84 8.13/5.26 c And the winner is solver1 8.27/5.32 c Got one! Elapsed wall clock time (in seconds):5.204 8.27/5.32 o 83 8.68/5.57 c And the winner is solver0 9.02/5.83 c Got one! Elapsed wall clock time (in seconds):5.708 9.02/5.83 o 82 10.11/6.32 c cleaning 3255 clauses out of 6509 with flag 5744/6509 10.11/6.38 c And the winner is solver0 10.38/6.83 c Got one! Elapsed wall clock time (in seconds):6.71 10.38/6.83 o 81 14.95/9.17 c cleaning 4180 clauses out of 8360 with flag 31669/11615 20.61/11.91 c cleaning 5089 clauses out of 10177 with flag 84208/17612 26.21/14.74 c cleaning 6037 clauses out of 12088 with flag 145853/24612 28.82/16.06 c And the winner is solver1 28.94/16.34 c Got one! Elapsed wall clock time (in seconds):16.219 28.94/16.34 o 80 30.45/17.19 c cleaning 5577 clauses out of 11193 with flag 16188/29754 35.93/19.81 c cleaning 5805 clauses out of 11617 with flag 83717/35755 42.94/23.31 c cleaning 6407 clauses out of 12813 with flag 133504/42756 43.74/23.75 c And the winner is solver1 43.83/23.84 c Got one! Elapsed wall clock time (in seconds):23.724 43.83/23.84 o 79 47.33/25.63 c cleaning 5710 clauses out of 11495 with flag 39749/47845 53.15/28.59 c cleaning 5875 clauses out of 11785 with flag 96882/53845 59.65/31.79 c cleaning 6455 clauses out of 12910 with flag 135041/60845 67.66/35.76 c cleaning 7216 clauses out of 14455 with flag 197626/68845 76.46/40.16 c cleaning 8099 clauses out of 16239 with flag 267172/77845 85.86/44.86 c cleaning 9023 clauses out of 18140 with flag 356099/87845 96.00/49.87 c cleaning 10046 clauses out of 20117 with flag 432712/98845 107.40/55.55 c cleaning 11036 clauses out of 22071 with flag 519044/110845 119.62/61.64 c cleaning 12016 clauses out of 24035 with flag 637624/123845 131.41/67.58 c cleaning 12980 clauses out of 26019 with flag 751860/137845 145.00/74.33 c cleaning 14020 clauses out of 28039 with flag 863228/152845 160.40/82.07 c cleaning 14982 clauses out of 30019 with flag 954550/168845 176.33/89.93 c cleaning 16017 clauses out of 32037 with flag 1059922/185845 192.00/97.76 c cleaning 17004 clauses out of 34020 with flag 1181253/203845 210.05/106.72 c cleaning 17986 clauses out of 36018 with flag 1281583/222847 228.63/116.09 c cleaning 19015 clauses out of 38030 with flag 1413530/242845 248.27/125.88 c cleaning 19990 clauses out of 40015 with flag 1503086/263845 269.52/136.41 c cleaning 21004 clauses out of 42025 with flag 1625762/285845 293.28/148.19 c cleaning 22011 clauses out of 44021 with flag 1751580/308845 317.27/160.10 c cleaning 23005 clauses out of 46010 with flag 1882321/332845 341.07/172.02 c cleaning 24000 clauses out of 48005 with flag 2044226/357845 366.89/184.98 c cleaning 24991 clauses out of 50005 with flag 2189263/383845 397.56/200.15 c cleaning 25983 clauses out of 52014 with flag 2316979/410845 425.55/214.12 c cleaning 26996 clauses out of 54031 with flag 2495958/438845 454.56/228.61 c cleaning 27986 clauses out of 56035 with flag 2667355/467845 486.57/244.64 c cleaning 29025 clauses out of 58049 with flag 2851348/497845 518.36/260.58 c cleaning 29988 clauses out of 60024 with flag 3051409/528845 556.21/279.24 c cleaning 30980 clauses out of 62036 with flag 3229888/560845 592.42/297.32 c cleaning 31947 clauses out of 64056 with flag 3458195/593845 629.02/315.60 c cleaning 33055 clauses out of 66109 with flag 3669231/627845 671.04/336.62 c cleaning 34021 clauses out of 68054 with flag 3852776/662845 710.13/356.47 c cleaning 35017 clauses out of 70033 with flag 4045782/698845 749.93/376.39 c cleaning 35989 clauses out of 72016 with flag 4256758/735845 790.91/396.85 c cleaning 36983 clauses out of 74027 with flag 4461078/773845 834.30/418.51 c cleaning 38023 clauses out of 76046 with flag 4668321/812847 878.37/440.44 c cleaning 39011 clauses out of 78021 with flag 4883428/852845 922.98/462.76 c cleaning 40005 clauses out of 80010 with flag 5099094/893845 968.17/485.36 c cleaning 41002 clauses out of 82005 with flag 5320026/935845 1010.36/506.44 c cleaning 41973 clauses out of 84004 with flag 5569787/978846 1052.11/527.21 c cleaning 42974 clauses out of 86030 with flag 5850394/1022845 1095.71/548.93 c cleaning 43990 clauses out of 88056 with flag 6092926/1067845 1143.46/572.75 c cleaning 45017 clauses out of 90066 with flag 6300879/1113845 1193.45/597.72 c cleaning 45956 clauses out of 92049 with flag 6569526/1160845 1207.45/604.70 c And the winner is solver1 1207.45/604.98 c Got one! Elapsed wall clock time (in seconds):604.863 1207.45/604.98 o 78 1211.67/607.20 c cleaning 32341 clauses out of 64732 with flag 36633/1179484 1216.87/609.78 c cleaning 19163 clauses out of 38391 with flag 94893/1185484 1225.10/614.46 c cleaning 13114 clauses out of 26228 with flag 164336/1192484 1231.90/617.89 c cleaning 10554 clauses out of 21114 with flag 231013/1200484 1240.69/622.21 c cleaning 9779 clauses out of 19560 with flag 298363/1209484 1250.09/626.96 c cleaning 9883 clauses out of 19781 with flag 360838/1219484 1259.31/631.51 c cleaning 10449 clauses out of 20898 with flag 489948/1230484 1269.89/636.90 c cleaning 11225 clauses out of 22449 with flag 577079/1242484 1282.29/643.04 c cleaning 12089 clauses out of 24224 with flag 677941/1255484 1294.69/649.27 c cleaning 13015 clauses out of 26135 with flag 795763/1269484 1308.69/656.22 c cleaning 14060 clauses out of 28120 with flag 927345/1284484 1322.91/663.34 c cleaning 15030 clauses out of 30060 with flag 1063808/1300484 1339.09/671.41 c cleaning 15992 clauses out of 32030 with flag 1212480/1317484 1356.69/680.28 c cleaning 17004 clauses out of 34038 with flag 1340674/1335484 1374.69/689.19 c cleaning 18011 clauses out of 36034 with flag 1461211/1354484 1395.09/699.34 c cleaning 19014 clauses out of 38027 with flag 1603234/1374488 1416.50/710.04 c cleaning 19973 clauses out of 40012 with flag 1763624/1395487 1438.92/721.05 c cleaning 21019 clauses out of 42038 with flag 1906951/1417486 1460.72/731.95 c cleaning 21994 clauses out of 44017 with flag 2052117/1440484 1482.51/742.81 c cleaning 22972 clauses out of 46023 with flag 2211075/1464484 1507.91/755.57 c cleaning 24026 clauses out of 48051 with flag 2358390/1489484 1531.50/767.38 c cleaning 24971 clauses out of 50025 with flag 2539867/1515484 1559.29/781.11 c cleaning 26027 clauses out of 52054 with flag 2690746/1542484 1584.68/793.82 c cleaning 27003 clauses out of 54027 with flag 2855350/1570484 1611.08/807.02 c cleaning 27979 clauses out of 56024 with flag 3047148/1599484 1640.87/821.95 c cleaning 29003 clauses out of 58045 with flag 3209592/1629484 1671.28/837.18 c cleaning 30021 clauses out of 60042 with flag 3396275/1660484 1703.11/853.79 c cleaning 31011 clauses out of 62021 with flag 3590071/1692484 1735.29/869.86 c cleaning 32005 clauses out of 64010 with flag 3750519/1725484 1771.11/887.72 c cleaning 32975 clauses out of 66005 with flag 3933828/1759484 1800.09/902.20 c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<< 1800.09/902.20 c starts : 18526 1800.09/902.20 c conflicts : 1788388 1800.09/902.20 c decisions : 44198084 1800.09/902.20 c propagations : 1343379283 1800.09/902.20 c inspects : 6087058387 1800.09/902.20 c shortcuts : 0 1800.09/902.20 c learnt literals : 0 1800.09/902.20 c learnt binary clauses : 0 1800.09/902.20 c learnt ternary clauses : 0 1800.09/902.20 c learnt constraints : 1788388 1800.09/902.20 c ignored constraints : 0 1800.09/902.20 c root simplifications : 0 1800.09/902.20 c removed literals (reason simplification) : 16188239 1800.09/902.20 c reason swapping (by a shorter reason) : 0 1800.09/902.20 c Calls to reduceDB : 80 1800.09/902.20 c Number of update (reduction) of LBD : 939330 1800.09/902.20 c Imported unit clauses : 0 1800.09/902.20 c number of reductions to clauses (during analyze) : 0 1800.09/902.20 c number of learned constraints concerned by reduction : 0 1800.09/902.20 c number of learning phase by resolution : 0 1800.09/902.20 c number of learning phase by cutting planes : 0 1800.09/902.20 c speed (assignments/second) : 4519890.594350891 1800.09/902.20 c non guided choices 0 1800.09/902.22 c learnt constraints type 1800.09/902.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 61934 1800.09/902.23 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 1800.09/902.23 c starts : 19 1800.09/902.23 c conflicts : 1601 1800.09/902.23 c decisions : 244716 1800.09/902.23 c propagations : 967831 1800.09/902.23 c inspects : 24419192 1800.09/902.23 c shortcuts : 0 1800.09/902.23 c learnt literals : 0 1800.09/902.23 c learnt binary clauses : 0 1800.09/902.23 c learnt ternary clauses : 0 1800.09/902.23 c learnt constraints : 1600 1800.09/902.23 c ignored constraints : 0 1800.09/902.23 c root simplifications : 0 1800.09/902.23 c removed literals (reason simplification) : 0 1800.09/902.23 c reason swapping (by a shorter reason) : 0 1800.09/902.23 c Calls to reduceDB : 0 1800.09/902.23 c Number of update (reduction) of LBD : 0 1800.09/902.23 c Imported unit clauses : 0 1800.09/902.23 c number of reductions to clauses (during analyze) : 0 1800.09/902.23 c number of learned constraints concerned by reduction : 0 1800.09/902.23 c number of learning phase by resolution : 0 1800.09/902.23 c number of learning phase by cutting planes : 0 1800.09/902.23 c speed (assignments/second) : 1080.8983744604336 1800.09/902.23 c non guided choices 0 1800.09/902.23 c learnt constraints type 1800.09/902.23 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 36 1800.09/902.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27 1800.09/902.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1537 1800.09/902.23 s SATISFIABLE 1800.09/902.23 c Found 9 solution(s) 1800.09/902.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 x4509 -x4510 -x4511 x4512 -x4513 -x4514 x4515 x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1800.09/902.24 c objective function=78 1800.09/902.24 c Total wall clock time (in seconds): 902.127
OK 78
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4081324-1465231526/watcher-4081324-1465231526 -o /tmp/evaluation-result-4081324-1465231526/solver-4081324-1465231526 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081324-1465231526.opb pid=5103 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.02 4.06 4.02 4/195 5106 /proc/meminfo: memFree=27873040/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/5106/stat : 5106 (java) D 5103 5106 955 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 105087496 2560000 46 33554432000 1073741824 1073778376 140737258923936 140737258921064 235365559591 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 4.02 4.06 4.02 4/195 5106 /proc/meminfo: memFree=27873040/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 105087496 9787879424 6035 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2389619 6035 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200201 s] /proc/loadavg: 4.02 4.06 4.02 4/195 5106 /proc/meminfo: memFree=27873040/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 5025 0 1 0 25 1 0 0 20 0 18 0 105087496 9787879424 6967 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2389619 6967 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300208 s] /proc/loadavg: 4.02 4.06 4.02 4/195 5106 /proc/meminfo: memFree=27873040/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 7280 0 1 0 52 2 0 0 20 0 18 0 105087496 9787879424 10796 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2389619 10796 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700183 s] /proc/loadavg: 4.02 4.06 4.02 4/195 5106 /proc/meminfo: memFree=27873040/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9558476 CPUtime=1.13 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 10531 0 1 0 108 5 0 0 20 0 18 0 105087496 9787879424 42195 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2389619 42195 2261 9 0 2380296 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 9558476 [startup+1.50082 s] /proc/loadavg: 4.02 4.06 4.02 4/213 5124 /proc/meminfo: memFree=27702048/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9558476 CPUtime=1.99 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 10616 0 1 0 192 7 0 0 20 0 18 0 105087496 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2389619 68329 2262 9 0 2380296 0 [pid=5106/tid=5108] ppid=5103 vsize=9558476 CPUtime=1.42 cores=1,3,5,7 /proc/5106/task/5108/stat : 5108 (java) R 5103 5106 955 0 -1 4202560 2533 0 1 0 137 5 0 0 20 0 18 0 105087497 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806658400272 235378107661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5109] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5109/stat : 5109 (java) S 5103 5106 955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806630861608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5110] ppid=5103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/5106/task/5110/stat : 5110 (java) S 5103 5106 955 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806629808808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5111] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5111/stat : 5111 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806628756520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5112] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5112/stat : 5112 (java) S 5103 5106 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806627703720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5113] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5113/stat : 5113 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806626650408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5114] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5114/stat : 5114 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806625597608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5115] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5115/stat : 5115 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806624545320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5116] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 105087498 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 105087499 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 105087500 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 105087500 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 105087502 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 1124 0 0 0 16 0 0 0 20 0 18 0 105087502 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 5592 0 0 0 27 2 0 0 20 0 18 0 105087502 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 105087502 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 105087502 9787879424 68329 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 9558476 [startup+3.10079 s] /proc/loadavg: 4.02 4.06 4.02 3/214 5128 /proc/meminfo: memFree=27562972/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9824732 CPUtime=3.59 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 14311 0 1 0 343 16 0 0 20 0 19 0 105087496 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2456183 79726 2280 9 0 2446860 0 [pid=5106/tid=5108] ppid=5103 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/5106/task/5108/stat : 5108 (java) S 5103 5106 955 0 -1 4202560 2567 0 1 0 168 5 0 0 20 0 19 0 105087497 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806658409336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5109] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5109/stat : 5109 (java) S 5103 5106 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806630861608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5110] ppid=5103 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/5106/task/5110/stat : 5110 (java) S 5103 5106 955 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806629808808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5111] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5111/stat : 5111 (java) S 5103 5106 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806628756520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5112] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5112/stat : 5112 (java) S 5103 5106 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806627703720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5113] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5113/stat : 5113 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806626650408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5114] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5114/stat : 5114 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806625597608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5115] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5115/stat : 5115 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806624545320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5116] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105087498 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 105087499 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105087500 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105087500 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105087502 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 2809 0 0 0 46 0 0 0 20 0 19 0 105087502 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9824732 CPUtime=0.58 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 7343 0 0 0 56 2 0 0 20 0 19 0 105087502 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105087502 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105087502 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5128] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5128/stat : 5128 (java) S 5103 5106 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105087676 10060525568 79726 33554432000 1073741824 1073778376 140737258923936 139805999420968 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 9824732 [startup+6.30067 s] /proc/loadavg: 4.02 4.06 4.02 5/217 5140 /proc/meminfo: memFree=27549372/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9824732 CPUtime=10.11 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 21479 0 1 0 990 21 0 0 20 0 22 0 105087496 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2456183 82236 2288 9 0 2446860 0 [pid=5106/tid=5108] ppid=5103 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/5106/task/5108/stat : 5108 (java) S 5103 5106 955 0 -1 4202560 2567 0 1 0 169 5 0 0 20 0 22 0 105087497 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806658409336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5109] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5109/stat : 5109 (java) S 5103 5106 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806630861608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5110] ppid=5103 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/5106/task/5110/stat : 5110 (java) S 5103 5106 955 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806629808808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5111] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5111/stat : 5111 (java) S 5103 5106 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806628756520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5112] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5112/stat : 5112 (java) S 5103 5106 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806627703720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5113] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5113/stat : 5113 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806626650408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5114] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5114/stat : 5114 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806625597608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5115] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5115/stat : 5115 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806624545320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5116] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105087498 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 105087499 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 5000 0 0 0 80 0 0 0 20 0 22 0 105087502 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9824732 CPUtime=1.29 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 12276 0 0 0 127 2 0 0 20 0 22 0 105087502 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5140] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5140/stat : 5140 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105088029 10060525568 82236 33554432000 1073741824 1073778376 140737258923936 139805999420456 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 10.11 Current children cumulated vsize (KiB) 9824732 [startup+12.7009 s] /proc/loadavg: 4.02 4.06 4.02 5/217 5146 ################ # More data... # ################ [pid=5106/tid=5116] ppid=5103 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 2330 0 0 0 73 20 0 0 20 0 22 0 105087498 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9824732 CPUtime=2.39 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 1662 0 0 0 235 4 0 0 20 0 22 0 105087499 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 7323 0 0 0 114 1 0 0 20 0 22 0 105087502 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 12347 0 0 0 195 2 0 0 20 0 22 0 105087502 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 47 0 0 0 6 8 0 0 20 0 22 0 105087502 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5146] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5146/stat : 5146 (java) S 5103 5106 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105088179 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806000472872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5236] ppid=5103 vsize=9824732 CPUtime=214.65 cores=1,3,5,7 /proc/5106/task/5236/stat : 5236 (java) R 5103 5106 955 0 -1 4202560 3 0 0 0 21462 3 0 0 20 0 22 0 105147995 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139805999410944 139806504587410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5237] ppid=5103 vsize=9824732 CPUtime=214.65 cores=1,3,5,7 /proc/5106/task/5237/stat : 5237 (java) R 5103 5106 955 0 -1 4202560 8 0 0 0 21462 3 0 0 20 0 22 0 105147995 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806001523616 139806504973175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5238] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5238/stat : 5238 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105147995 10060525568 523895 33554432000 1073741824 1073778376 140737258923936 139806002578600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1638.9 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 3.97 4.01 3.99 5/218 5246 /proc/meminfo: memFree=28883836/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9824732 CPUtime=1757.53 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 49844 0 1 0 175509 244 0 0 20 0 22 0 105087496 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2456183 561312 2301 9 0 2446860 0 [pid=5106/tid=5108] ppid=5103 vsize=9824732 CPUtime=1.78 cores=1,3,5,7 /proc/5106/task/5108/stat : 5108 (java) S 5103 5106 955 0 -1 4202560 2578 0 1 0 172 6 0 0 20 0 22 0 105087497 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806658409336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5109] ppid=5103 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/5106/task/5109/stat : 5109 (java) S 5103 5106 955 0 -1 4202560 3392 0 0 0 87 24 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806630861608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5110] ppid=5103 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/5106/task/5110/stat : 5110 (java) S 5103 5106 955 0 -1 4202560 3510 0 0 0 80 23 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806629808808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5111] ppid=5103 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/5106/task/5111/stat : 5111 (java) S 5103 5106 955 0 -1 4202560 2819 0 0 0 76 23 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806628756520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5112] ppid=5103 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/5106/task/5112/stat : 5112 (java) S 5103 5106 955 0 -1 4202560 3218 0 0 0 56 16 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806627703720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5113] ppid=5103 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/5106/task/5113/stat : 5113 (java) S 5103 5106 955 0 -1 4202560 3538 0 0 0 89 25 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806626650408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5114] ppid=5103 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/5106/task/5114/stat : 5114 (java) S 5103 5106 955 0 -1 4202560 1880 0 0 0 84 22 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806625597608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5115] ppid=5103 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/5106/task/5115/stat : 5115 (java) S 5103 5106 955 0 -1 4202560 2627 0 0 0 82 22 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806624545320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5116] ppid=5103 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 2356 0 0 0 79 21 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9824732 CPUtime=4.03 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 1955 0 0 0 399 4 0 0 20 0 22 0 105087499 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 7323 0 0 0 114 1 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 12347 0 0 0 195 2 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 51 0 0 0 7 8 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5146] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5146/stat : 5146 (java) S 5103 5106 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105088179 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806000472872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5236] ppid=5103 vsize=9824732 CPUtime=272.71 cores=1,3,5,7 /proc/5106/task/5236/stat : 5236 (java) R 5103 5106 955 0 -1 4202560 3 0 0 0 27267 4 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139805999411040 139806504464370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5237] ppid=5103 vsize=9824732 CPUtime=272.71 cores=1,3,5,7 /proc/5106/task/5237/stat : 5237 (java) R 5103 5106 955 0 -1 4202560 8 0 0 0 27267 4 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806001523248 139806504985230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5238] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5238/stat : 5238 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806002578600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1757.53 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.201 s] /proc/loadavg: 4.11 4.04 4.00 5/218 5247 /proc/meminfo: memFree=28896708/32872528 swapFree=13256/481332 [pid=5106] ppid=5103 vsize=9824732 CPUtime=1797.32 cores=1,3,5,7 /proc/5106/stat : 5106 (java) S 5103 5106 955 0 -1 4202496 49846 0 1 0 179487 245 0 0 20 0 22 0 105087496 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 140737258915072 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5106/statm: 2456183 561312 2301 9 0 2446860 0 [pid=5106/tid=5108] ppid=5103 vsize=9824732 CPUtime=1.78 cores=1,3,5,7 /proc/5106/task/5108/stat : 5108 (java) S 5103 5106 955 0 -1 4202560 2578 0 1 0 172 6 0 0 20 0 22 0 105087497 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806658409336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5109] ppid=5103 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/5106/task/5109/stat : 5109 (java) S 5103 5106 955 0 -1 4202560 3392 0 0 0 87 24 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806630861608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5110] ppid=5103 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/5106/task/5110/stat : 5110 (java) S 5103 5106 955 0 -1 4202560 3510 0 0 0 80 23 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806629808808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5111] ppid=5103 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/5106/task/5111/stat : 5111 (java) S 5103 5106 955 0 -1 4202560 2819 0 0 0 76 23 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806628756520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5112] ppid=5103 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/5106/task/5112/stat : 5112 (java) S 5103 5106 955 0 -1 4202560 3218 0 0 0 56 16 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806627703720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5113] ppid=5103 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/5106/task/5113/stat : 5113 (java) S 5103 5106 955 0 -1 4202560 3538 0 0 0 89 25 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806626650408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5114] ppid=5103 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/5106/task/5114/stat : 5114 (java) S 5103 5106 955 0 -1 4202560 1880 0 0 0 84 22 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806625597608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5115] ppid=5103 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/5106/task/5115/stat : 5115 (java) S 5103 5106 955 0 -1 4202560 2627 0 0 0 82 22 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806624545320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5116] ppid=5103 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/5106/task/5116/stat : 5116 (java) S 5103 5106 955 0 -1 4202560 2356 0 0 0 79 21 0 0 20 0 22 0 105087498 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806623492520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5117] ppid=5103 vsize=9824732 CPUtime=4.04 cores=1,3,5,7 /proc/5106/task/5117/stat : 5117 (java) S 5103 5106 955 0 -1 4202560 1955 0 0 0 400 4 0 0 20 0 22 0 105087499 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806011001576 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5118] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5118/stat : 5118 (java) S 5103 5106 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806009947640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5119] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5119/stat : 5119 (java) S 5103 5106 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105087500 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806008895240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5120] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5120/stat : 5120 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806007843728 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5121] ppid=5103 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/5106/task/5121/stat : 5121 (java) S 5103 5106 955 0 -1 4202560 7323 0 0 0 114 1 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806006790328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5122] ppid=5103 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/5106/task/5122/stat : 5122 (java) S 5103 5106 955 0 -1 4202560 12347 0 0 0 195 2 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806005737528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5123] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5123/stat : 5123 (java) S 5103 5106 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806004685432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5106/tid=5124] ppid=5103 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/5106/task/5124/stat : 5124 (java) S 5103 5106 955 0 -1 4202560 53 0 0 0 7 8 0 0 20 0 22 0 105087502 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806003632840 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5146] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5146/stat : 5146 (java) S 5103 5106 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105088179 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806000472872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5106/tid=5236] ppid=5103 vsize=9824732 CPUtime=292.54 cores=1,3,5,7 /proc/5106/task/5236/stat : 5236 (java) R 5103 5106 955 0 -1 4202560 3 0 0 0 29250 4 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139805999411040 139806504464321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5106/tid=5237] ppid=5103 vsize=9824732 CPUtime=292.55 cores=1,3,5,7 /proc/5106/task/5237/stat : 5237 (java) R 5103 5106 955 0 -1 4202560 8 0 0 0 29251 4 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806001523248 139806504985262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=5106/tid=5238] ppid=5103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/5106/task/5238/stat : 5238 (java) S 5103 5106 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105147995 10060525568 561312 33554432000 1073741824 1073778376 140737258923936 139806002578600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1797.32 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5106 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5106 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=448354 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=673593 # CPU time returned by wait4() is 1796.12 # while last known CPU time is 1797.32 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.77014 # lost CPU user time (s): 2.94006 # lost CPU system time (s): -0.17 Real time (s): 902.268 CPU time (s): 1800.09 CPU user time (s): 1797.81 CPU system time (s): 2.28 CPU usage (%): 199.507 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.45 system time used= 2.67359 maximum resident set size= 2245364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49887 page faults= 1 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22757 involuntary context switches= 15956 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.55116 second user time and 6.71598 second system time The end
Begin job on node104 at 2016-06-06 18:45:26 IDJOB=4081324 IDBENCH=2889 IDSOLVER=2543 FILE ID=node104/4081324-1465231526 RUNJOBID= node104-1465220812-974 PBS_JOBID= 19843225 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081324-1465231526/watcher-4081324-1465231526 -o /tmp/evaluation-result-4081324-1465231526/solver-4081324-1465231526 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081324-1465231526.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=1342455155 node104.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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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.775 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 : 5332.55 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27873576 kB Buffers: 20820 kB Cached: 97324 kB SwapCached: 1724 kB Active: 3756408 kB Inactive: 50288 kB Active(anon): 3688652 kB Inactive(anon): 2356 kB Active(file): 67756 kB Inactive(file): 47932 kB Unevictable: 481332 kB Mlocked: 13256 kB SwapTotal: 67108856 kB SwapFree: 67097228 kB Dirty: 10512 kB Writeback: 0 kB AnonPages: 4179244 kB Mapped: 15368 kB Shmem: 0 kB Slab: 565948 kB SReclaimable: 10028 kB SUnreclaim: 555920 kB KernelStack: 1624 kB PageTables: 12724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5170116 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4075520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node104 at 2016-06-06 19:00:29