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) | -21647872 | 1800.09 | 902.372 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-EDCBAir.opb |
| MD5SUM | ed7ad963cf806d6d75d32c69888bfabf |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -21647872 |
| Best CPU time to get the best result obtained on this benchmark | 173.884 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4308 |
| Total number of constraints | 15405 |
| Number of constraints which are clauses | 15345 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 84 |
| Number of terms in the objective function | 166 |
| Biggest coefficient in the objective function | 28835840 |
| Number of bits for the biggest coefficient in the objective function | 25 |
| Sum of the numbers in the objective function | 461373439 |
| Number of bits of the sum of numbers in the objective function | 29 |
| Biggest number in a constraint | 28835840 |
| Number of bits of the biggest number in a constraint | 25 |
| Biggest sum of numbers in a constraint | 461373439 |
| Number of bits of the biggest sum of numbers | 29 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 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-4111201-1466400342.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.03/0.56 c ... done. Wall clock time 0.439s. 1.03/0.56 c declared #vars 4308 1.03/0.56 c #constraints 15405 1.03/0.56 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.03/0.56 c constraints type 1.03/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3461 1.03/0.56 c org.sat4j.specs.Constr$1 => 2368 1.03/0.56 c org.sat4j.minisat.constraints.card.MinWatchCard => 15 1.03/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9430 1.03/0.56 c org.sat4j.minisat.constraints.cnf.UnitClause => 131 1.03/0.56 c 15405 constraints processed. 1.03/0.56 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.03/0.56 c constraints type 1.03/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9430 1.03/0.56 c org.sat4j.specs.Constr$1 => 2368 1.03/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3461 1.03/0.56 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15 1.03/0.56 c org.sat4j.pb.constraints.pb.UnitClausePB => 131 1.03/0.56 c 15405 constraints processed. 1.03/0.56 c objective function length is 166 literals 1.35/0.65 c And the winner is solver0 2.08/1.07 c SATISFIABLE 2.08/1.07 c OPTIMIZING... 2.08/1.07 c Got one! Elapsed wall clock time (in seconds):0.947 2.08/1.07 o -21641241 2.08/1.09 c And the winner is solver0 2.29/1.57 c Got one! Elapsed wall clock time (in seconds):1.451 2.29/1.57 o -21647826 2.38/1.60 c And the winner is solver0 2.48/2.07 c Got one! Elapsed wall clock time (in seconds):1.956 2.48/2.07 o -21647831 4.15/2.58 c And the winner is solver0 4.75/3.08 c Got one! Elapsed wall clock time (in seconds):2.959 4.75/3.08 o -21647836 4.80/3.10 c And the winner is solver0 4.85/3.58 c Got one! Elapsed wall clock time (in seconds):3.46 4.85/3.58 o -21647837 4.85/3.59 c And the winner is solver0 4.92/4.08 c Got one! Elapsed wall clock time (in seconds):3.962 4.92/4.08 o -21647841 5.21/4.21 c And the winner is solver0 5.25/4.58 c Got one! Elapsed wall clock time (in seconds):4.464 5.25/4.58 o -21647842 6.96/5.47 c And the winner is solver0 7.14/5.58 c Got one! Elapsed wall clock time (in seconds):5.465 7.14/5.58 o -21647847 7.36/5.79 c cleaning 3889 clauses out of 7783 with flag 5100/7783 8.05/6.02 c And the winner is solver0 8.05/6.09 c Got one! Elapsed wall clock time (in seconds):5.966 8.05/6.09 o -21647852 9.67/6.88 c cleaning 4582 clauses out of 9166 with flag 21091/13055 12.17/8.00 c And the winner is solver0 12.17/8.09 c Got one! Elapsed wall clock time (in seconds):7.968 12.17/8.09 o -21647857 13.22/8.68 c And the winner is solver0 13.43/9.09 c Got one! Elapsed wall clock time (in seconds):8.969 13.43/9.09 o -21647862 14.25/9.51 c And the winner is solver0 14.25/9.59 c Got one! Elapsed wall clock time (in seconds):9.47 14.25/9.59 o -21647867 14.35/9.65 c And the winner is solver0 14.68/10.09 c Got one! Elapsed wall clock time (in seconds):9.971 14.68/10.09 o -21647872 15.63/10.54 c cleaning 8625 clauses out of 17258 with flag 10618/25729 17.66/11.56 c cleaning 7308 clauses out of 14632 with flag 39987/31728 20.41/12.82 c cleaning 7162 clauses out of 14324 with flag 73256/38728 23.04/14.14 c cleaning 7576 clauses out of 15163 with flag 116854/46729 26.31/15.77 c cleaning 8292 clauses out of 16587 with flag 167264/55729 29.91/17.60 c cleaning 9145 clauses out of 18296 with flag 218746/65730 33.97/19.57 c cleaning 10070 clauses out of 20149 with flag 279812/76728 38.37/21.75 c cleaning 11039 clauses out of 22080 with flag 340421/88729 43.46/24.30 c cleaning 12015 clauses out of 24040 with flag 410249/101728 48.65/26.80 c cleaning 13006 clauses out of 26026 with flag 479969/115729 56.31/30.68 c cleaning 14010 clauses out of 28019 with flag 568304/130728 65.79/35.33 c cleaning 15000 clauses out of 30009 with flag 668266/146728 75.77/40.37 c cleaning 16002 clauses out of 32012 with flag 766681/163731 85.64/45.24 c cleaning 17000 clauses out of 34007 with flag 880543/181728 96.03/50.43 c cleaning 17997 clauses out of 36008 with flag 980179/200729 108.22/56.54 c cleaning 19002 clauses out of 38012 with flag 1091721/220730 121.30/63.01 c cleaning 20001 clauses out of 40009 with flag 1210743/241729 134.39/69.56 c cleaning 20998 clauses out of 42007 with flag 1330113/263728 147.61/76.12 c cleaning 22000 clauses out of 44009 with flag 1446502/286728 160.06/82.37 c cleaning 23005 clauses out of 46009 with flag 1554453/310728 172.26/88.46 c cleaning 23998 clauses out of 48005 with flag 1667377/335729 185.26/94.98 c cleaning 25003 clauses out of 50008 with flag 1782905/361730 200.06/102.40 c cleaning 25997 clauses out of 52004 with flag 1907173/388729 216.05/110.33 c cleaning 26995 clauses out of 54006 with flag 2041494/416728 231.06/117.87 c cleaning 27997 clauses out of 56011 with flag 2165773/445728 247.43/126.10 c cleaning 29004 clauses out of 58015 with flag 2305659/475729 264.63/134.64 c cleaning 30006 clauses out of 60013 with flag 2440677/506731 281.02/142.86 c cleaning 30999 clauses out of 62004 with flag 2584059/538728 299.23/151.90 c cleaning 31997 clauses out of 64006 with flag 2724065/571729 317.02/160.89 c cleaning 33000 clauses out of 66008 with flag 2870351/605728 338.92/171.82 c cleaning 34004 clauses out of 68009 with flag 3023305/640729 366.19/185.48 c cleaning 35001 clauses out of 70004 with flag 3221329/676728 392.27/198.44 c cleaning 36000 clauses out of 72004 with flag 3433005/713729 420.20/212.35 c cleaning 36998 clauses out of 74004 with flag 3649864/751729 451.16/227.79 c cleaning 38003 clauses out of 76007 with flag 3882371/790730 479.22/241.79 c cleaning 39002 clauses out of 78004 with flag 4107621/830730 510.27/257.22 c cleaning 39997 clauses out of 80001 with flag 4327706/871729 541.11/272.65 c cleaning 41003 clauses out of 82006 with flag 4534583/913731 571.16/287.87 c cleaning 42000 clauses out of 84001 with flag 4764133/956729 600.38/302.41 c cleaning 42995 clauses out of 86001 with flag 4988903/1000729 631.60/318.03 c cleaning 43999 clauses out of 88007 with flag 5209953/1045730 663.38/333.99 c cleaning 44999 clauses out of 90007 with flag 5427788/1091729 695.38/349.92 c cleaning 46000 clauses out of 92008 with flag 5680250/1138729 723.16/363.85 c cleaning 47000 clauses out of 94008 with flag 5953459/1186730 753.36/378.96 c cleaning 48002 clauses out of 96007 with flag 6215816/1235729 788.81/396.65 c cleaning 49000 clauses out of 98005 with flag 6523267/1285729 823.60/414.06 c cleaning 49999 clauses out of 100006 with flag 6815824/1336730 865.80/435.24 c cleaning 51003 clauses out of 102005 with flag 7099385/1388728 906.20/455.46 c cleaning 51998 clauses out of 104002 with flag 7411088/1441728 947.02/475.84 c cleaning 52997 clauses out of 106004 with flag 7709698/1495728 986.83/495.77 c cleaning 53999 clauses out of 108007 with flag 8003201/1550728 1023.23/513.91 c cleaning 55004 clauses out of 110008 with flag 8314772/1606728 1056.63/530.69 c cleaning 55998 clauses out of 112004 with flag 8632180/1663728 1091.24/547.94 c cleaning 57003 clauses out of 114009 with flag 8952588/1721731 1126.81/565.72 c cleaning 57996 clauses out of 116003 with flag 9278568/1780728 1167.27/585.94 c cleaning 58999 clauses out of 118007 with flag 9606441/1840728 1212.28/608.43 c cleaning 59999 clauses out of 120008 with flag 9941462/1901728 1254.26/629.41 c cleaning 61001 clauses out of 122010 with flag 10282830/1963729 1299.65/652.18 c cleaning 61995 clauses out of 124008 with flag 10652144/2026730 1346.26/675.48 c cleaning 63001 clauses out of 126011 with flag 11032048/2090728 1398.33/701.48 c cleaning 63997 clauses out of 128010 with flag 11435368/2155728 1450.12/727.38 c cleaning 65004 clauses out of 130013 with flag 11849280/2221728 1500.53/752.53 c cleaning 65999 clauses out of 132010 with flag 12254196/2288729 1554.71/779.60 c cleaning 67002 clauses out of 134010 with flag 12721833/2356728 1604.11/804.32 c cleaning 68001 clauses out of 136008 with flag 13141068/2425729 1648.50/826.54 c cleaning 69000 clauses out of 138006 with flag 13549014/2495728 1698.90/851.77 c cleaning 69996 clauses out of 140007 with flag 13948578/2566729 1749.89/877.22 c cleaning 71000 clauses out of 142011 with flag 14350839/2638729 1800.09/902.30 c >>>>>>>>>> Solver number 0 (13 answers) <<<<<<<<<<<<<<<<<< 1800.09/902.30 c starts : 9402 1800.09/902.30 c conflicts : 2711057 1800.09/902.30 c decisions : 3850273 1800.09/902.30 c propagations : 294596594 1800.09/902.30 c inspects : 10880411445 1800.09/902.30 c shortcuts : 0 1800.09/902.30 c learnt literals : 4 1800.09/902.30 c learnt binary clauses : 11 1800.09/902.30 c learnt ternary clauses : 14 1800.09/902.30 c learnt constraints : 2711054 1800.09/902.30 c ignored constraints : 0 1800.09/902.30 c root simplifications : 0 1800.09/902.30 c removed literals (reason simplification) : 31705084 1800.09/902.30 c reason swapping (by a shorter reason) : 0 1800.09/902.30 c Calls to reduceDB : 70 1800.09/902.30 c Number of update (reduction) of LBD : 157365 1800.09/902.30 c Imported unit clauses : 0 1800.09/902.30 c number of reductions to clauses (during analyze) : 0 1800.09/902.30 c number of learned constraints concerned by reduction : 0 1800.09/902.30 c number of learning phase by resolution : 0 1800.09/902.30 c number of learning phase by cutting planes : 0 1800.09/902.30 c speed (assignments/second) : 326701.1935932113 1800.09/902.30 c non guided choices 1838 1800.09/902.33 c learnt constraints type 1800.09/902.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11 1800.09/902.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143329 1800.09/902.33 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.09/902.33 c starts : 32 1800.09/902.33 c conflicts : 3380 1800.09/902.33 c decisions : 12448 1800.09/902.33 c propagations : 1625152 1800.09/902.33 c inspects : 107633437 1800.09/902.33 c shortcuts : 0 1800.09/902.33 c learnt literals : 0 1800.09/902.33 c learnt binary clauses : 4 1800.09/902.33 c learnt ternary clauses : 0 1800.09/902.33 c learnt constraints : 3373 1800.09/902.33 c ignored constraints : 0 1800.09/902.33 c root simplifications : 0 1800.09/902.33 c removed literals (reason simplification) : 0 1800.09/902.33 c reason swapping (by a shorter reason) : 0 1800.09/902.33 c Calls to reduceDB : 0 1800.09/902.33 c Number of update (reduction) of LBD : 0 1800.09/902.33 c Imported unit clauses : 0 1800.09/902.33 c number of reductions to clauses (during analyze) : 0 1800.09/902.33 c number of learned constraints concerned by reduction : 0 1800.09/902.33 c number of learning phase by resolution : 0 1800.09/902.33 c number of learning phase by cutting planes : 0 1800.09/902.33 c speed (assignments/second) : 1821.4394189871502 1800.09/902.33 c non guided choices 56 1800.09/902.33 c learnt constraints type 1800.09/902.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 375 1800.09/902.33 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4 1800.09/902.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2994 1800.09/902.33 s SATISFIABLE 1800.09/902.33 c Found 13 solution(s) 1800.09/902.34 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 1800.09/902.35 c objective function=-21647872 1800.09/902.35 c Total wall clock time (in seconds): 902.228
OK -21647872
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-4111201-1466400342/watcher-4111201-1466400342 -o /tmp/evaluation-result-4111201-1466400342/solver-4111201-1466400342 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26919 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111201-1466400342.opb pid=807 running on 4 cores: 0,2,4,6 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.27 4.27 4.25 4/199 810 /proc/meminfo: memFree=26600760/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/810/stat : 810 (java) D 807 810 26903 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 42080596 9515008 176 33554432000 1073741824 1073778376 140733542651152 140733542633880 273905697680 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0 /proc/810/statm: 2323 176 133 9 0 71 0 [startup+0.100162 s] /proc/loadavg: 4.27 4.27 4.25 4/199 810 /proc/meminfo: memFree=26600760/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 42080596 9787879424 6036 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2389619 6036 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 4.27 4.27 4.25 4/199 810 /proc/meminfo: memFree=26600760/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9558476 CPUtime=0.23 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 4650 0 1 0 22 1 0 0 20 0 18 0 42080596 9787879424 7234 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2389619 7234 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300229 s] /proc/loadavg: 4.27 4.27 4.25 4/199 810 /proc/meminfo: memFree=26600760/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 5853 0 1 0 45 1 0 0 20 0 18 0 42080596 9787879424 9126 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2389619 9126 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700198 s] /proc/loadavg: 4.27 4.27 4.25 4/199 810 /proc/meminfo: memFree=26600760/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 20529 0 1 0 160 7 0 0 20 0 19 0 42080596 10060525568 27732 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 27732 2257 9 0 2446860 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9824732 [startup+1.50078 s] /proc/loadavg: 4.27 4.27 4.25 5/218 835 /proc/meminfo: memFree=26492620/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=2.29 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 21291 0 1 0 220 9 0 0 20 0 19 0 42080596 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 28746 2268 9 0 2446860 0 [pid=810/tid=812] ppid=807 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/810/task/812/stat : 812 (java) S 807 810 26903 0 -1 4202560 2440 0 1 0 52 1 0 0 20 0 19 0 42080597 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774289118072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=813] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/813/stat : 813 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774278179624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=814] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/814/stat : 814 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774277126824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=815] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42080599 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 42080600 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42080600 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42080600 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080603 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 8504 0 0 0 72 1 0 0 20 0 19 0 42080603 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) S 807 810 26903 0 -1 4202560 9009 0 0 0 73 2 0 0 20 0 19 0 42080603 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774107928632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080603 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42080603 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42080654 10060525568 28746 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 9824732 [startup+3.10071 s] /proc/loadavg: 4.27 4.27 4.25 7/221 841 /proc/meminfo: memFree=26475716/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=4.8 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 24300 0 1 0 466 14 0 0 20 0 22 0 42080596 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 40709 2275 9 0 2446860 0 [pid=810/tid=812] ppid=807 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/810/task/812/stat : 812 (java) S 807 810 26903 0 -1 4202560 2443 0 1 0 53 2 0 0 20 0 22 0 42080597 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774289118072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=813] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/813/stat : 813 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774278179624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=814] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/814/stat : 814 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774277126824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=815] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=1.42 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 9991 0 0 0 140 2 0 0 20 0 22 0 42080603 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) R 807 810 26903 0 -1 4202560 10485 0 0 0 142 2 0 0 20 0 22 0 42080603 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774107928472 273905368507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080654 10060525568 40709 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 9824732 [startup+6.30085 s] /proc/loadavg: 4.08 4.23 4.23 3/218 853 /proc/meminfo: memFree=26391884/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=8.6 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 24535 0 1 0 832 28 0 0 20 0 22 0 42080596 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 56271 2295 9 0 2446860 0 [pid=810/tid=812] ppid=807 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/810/task/812/stat : 812 (java) S 807 810 26903 0 -1 4202560 2444 0 1 0 53 2 0 0 20 0 22 0 42080597 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774289118072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=813] ppid=807 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/810/task/813/stat : 813 (java) S 807 810 26903 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774278179624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=814] ppid=807 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/810/task/814/stat : 814 (java) S 807 810 26903 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774277126824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=815] ppid=807 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42080599 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 9995 0 0 0 155 2 0 0 20 0 22 0 42080603 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) S 807 810 26903 0 -1 4202560 10489 0 0 0 155 2 0 0 20 0 22 0 42080603 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774107928632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080654 10060525568 56271 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 8.6 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 246 0 0 0 52 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 293 0 0 0 51 12 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 255 0 0 0 58 9 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 320 0 0 0 66 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 380 0 0 0 58 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 365 0 0 0 53 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=1.22 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 1481 0 0 0 114 8 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 10011 0 0 0 193 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) S 807 810 26903 0 -1 4202560 10489 0 0 0 157 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774107928632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 52 0 0 0 12 12 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080654 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=869] ppid=807 vsize=9824732 CPUtime=867.25 cores=0,2,4,6 /proc/810/task/869/stat : 869 (java) R 807 810 26903 0 -1 4202560 29 0 0 0 86710 15 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774104760592 139774158496552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=810/tid=870] ppid=807 vsize=9824732 CPUtime=867.32 cores=0,2,4,6 /proc/810/task/870/stat : 870 (java) R 807 810 26903 0 -1 4202560 1261 0 0 0 86686 46 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774101609936 139774159073609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=810/tid=871] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/871/stat : 871 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774103717544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1760.1 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.301 s] /proc/loadavg: 4.17 4.27 4.26 6/222 1010 /proc/meminfo: memFree=24004884/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 29849 0 1 0 179842 167 0 0 20 0 22 0 42080596 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 548276 2303 9 0 2446860 0 [pid=810/tid=812] ppid=807 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/810/task/812/stat : 812 (java) S 807 810 26903 0 -1 4202560 2448 0 1 0 56 3 0 0 20 0 22 0 42080597 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774289118072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=813] ppid=807 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/810/task/813/stat : 813 (java) S 807 810 26903 0 -1 4202560 422 0 0 0 56 10 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774278179624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=814] ppid=807 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/810/task/814/stat : 814 (java) S 807 810 26903 0 -1 4202560 269 0 0 0 61 13 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774277126824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=815] ppid=807 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 246 0 0 0 52 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 293 0 0 0 51 12 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 255 0 0 0 58 9 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 320 0 0 0 66 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 380 0 0 0 58 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 365 0 0 0 53 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=1.22 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 1481 0 0 0 114 8 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 10011 0 0 0 193 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) S 807 810 26903 0 -1 4202560 10489 0 0 0 157 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774107928632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 54 0 0 0 12 12 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080654 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=869] ppid=807 vsize=9824732 CPUtime=887.18 cores=0,2,4,6 /proc/810/task/869/stat : 869 (java) R 807 810 26903 0 -1 4202560 29 0 0 0 88703 15 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774104760592 139774158457703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=810/tid=870] ppid=807 vsize=9824732 CPUtime=887.26 cores=0,2,4,6 /proc/810/task/870/stat : 870 (java) R 807 810 26903 0 -1 4202560 1261 0 0 0 88680 46 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774101609936 139774158478133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=810/tid=871] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/871/stat : 871 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774103717544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 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 810 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+902.301 s] /proc/loadavg: 4.17 4.27 4.26 6/222 1010 /proc/meminfo: memFree=24004884/32872528 swapFree=1482636/1662508 [pid=810] ppid=807 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6 /proc/810/stat : 810 (java) S 807 810 26903 0 -1 4202496 29849 0 1 0 179842 167 0 0 20 0 22 0 42080596 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 140733247144320 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/810/statm: 2456183 548276 2303 9 0 2446860 0 [pid=810/tid=812] ppid=807 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/810/task/812/stat : 812 (java) S 807 810 26903 0 -1 4202560 2448 0 1 0 56 3 0 0 20 0 22 0 42080597 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774289118072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=813] ppid=807 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/810/task/813/stat : 813 (java) S 807 810 26903 0 -1 4202560 422 0 0 0 56 10 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774278179624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=814] ppid=807 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/810/task/814/stat : 814 (java) S 807 810 26903 0 -1 4202560 269 0 0 0 61 13 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774277126824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=815] ppid=807 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/810/task/815/stat : 815 (java) S 807 810 26903 0 -1 4202560 246 0 0 0 52 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774276074536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=816] ppid=807 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/810/task/816/stat : 816 (java) S 807 810 26903 0 -1 4202560 293 0 0 0 51 12 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774129814440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=817] ppid=807 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/810/task/817/stat : 817 (java) S 807 810 26903 0 -1 4202560 255 0 0 0 58 9 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774128761128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=818] ppid=807 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/810/task/818/stat : 818 (java) S 807 810 26903 0 -1 4202560 320 0 0 0 66 8 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774127708328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=810/tid=819] ppid=807 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/810/task/819/stat : 819 (java) S 807 810 26903 0 -1 4202560 380 0 0 0 58 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774126656040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=820] ppid=807 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/810/task/820/stat : 820 (java) S 807 810 26903 0 -1 4202560 365 0 0 0 53 11 0 0 20 0 22 0 42080599 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774125603240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=821] ppid=807 vsize=9824732 CPUtime=1.22 cores=0,2,4,6 /proc/810/task/821/stat : 821 (java) S 807 810 26903 0 -1 4202560 1481 0 0 0 114 8 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774113192680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=822] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/822/stat : 822 (java) S 807 810 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774112138744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=823] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/823/stat : 823 (java) S 807 810 26903 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 42080600 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774111086344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=824] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/824/stat : 824 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774110034832 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=825] ppid=807 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/810/task/825/stat : 825 (java) S 807 810 26903 0 -1 4202560 10011 0 0 0 193 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774108981432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=810/tid=826] ppid=807 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/810/task/826/stat : 826 (java) S 807 810 26903 0 -1 4202560 10489 0 0 0 157 2 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774107928632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=827] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/827/stat : 827 (java) S 807 810 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774106876536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=810/tid=828] ppid=807 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/810/task/828/stat : 828 (java) S 807 810 26903 0 -1 4202560 54 0 0 0 12 12 0 0 20 0 22 0 42080603 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774105823944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=831] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/831/stat : 831 (java) S 807 810 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 42080654 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774102664872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=810/tid=869] ppid=807 vsize=9824732 CPUtime=887.18 cores=0,2,4,6 /proc/810/task/869/stat : 869 (java) R 807 810 26903 0 -1 4202560 29 0 0 0 88703 15 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774104760592 139774158457703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=810/tid=870] ppid=807 vsize=9824732 CPUtime=887.26 cores=0,2,4,6 /proc/810/task/870/stat : 870 (java) R 807 810 26903 0 -1 4202560 1261 0 0 0 88680 46 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774101609936 139774158478133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=810/tid=871] ppid=807 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/810/task/871/stat : 871 (java) S 807 810 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42081606 10060525568 548276 33554432000 1073741824 1073778376 140733247153184 139774103717544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 810 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=909284 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=131675 # CPU time returned by wait4() is 1796.04 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 902.372 CPU time (s): 1800.09 CPU user time (s): 1798.42 CPU system time (s): 1.67 CPU usage (%): 199.484 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.91 system time used= 2.13167 maximum resident set size= 3030944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29887 page faults= 1 swaps= 0 block input operations= 0 block output operations= 776 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23374 involuntary context switches= 25083 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.53416 second user time and 7.50186 second system time The end
Begin job on node134 at 2016-06-20 07:25:42 IDJOB=4111201 IDBENCH=108981 IDSOLVER=2543 FILE ID=node134/4111201-1466400342 RUNJOBID= node134-1466384123-26919 PBS_JOBID= 19923272 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-EDCBAir.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111201-1466400342/watcher-4111201-1466400342 -o /tmp/evaluation-result-4111201-1466400342/solver-4111201-1466400342 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26919 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111201-1466400342.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed7ad963cf806d6d75d32c69888bfabf RANDOM SEED=1187497785 node134.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 : 2667.020 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 : 5334.04 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 : 2667.020 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 : 7358.89 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 : 2667.020 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 : 2667.020 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 : 2667.020 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 : 2667.020 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 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 : 2667.020 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26600652 kB Buffers: 83488 kB Cached: 172972 kB SwapCached: 34032 kB Active: 3606684 kB Inactive: 239208 kB Active(anon): 3557160 kB Inactive(anon): 34516 kB Active(file): 49524 kB Inactive(file): 204692 kB Unevictable: 1662508 kB Mlocked: 1482636 kB SwapTotal: 67108856 kB SwapFree: 67066964 kB Dirty: 896 kB Writeback: 4 kB AnonPages: 5234264 kB Mapped: 15404 kB Shmem: 0 kB Slab: 607860 kB SReclaimable: 51576 kB SUnreclaim: 556284 kB KernelStack: 1640 kB PageTables: 14692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5780868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 3665920 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= 71716 MiB End job on node134 at 2016-06-20 07:40:44