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) | 3190784 | 1800.04 | 899.169 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
| MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3190784 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3208192 |
| Optimality of the best value was proved | NO |
| Number of variables | 3720 |
| Total number of constraints | 142 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 142 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 3720 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 679702048135 |
| Number of bits of the sum of numbers in the objective function | 40 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 679702048135 |
| Number of bits of the biggest sum of numbers | 40 |
| 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.09/0.10 c Number of processors 8 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Glucose 2.1 dynamic restart strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4103198-1466220525.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 0.81/0.40 c ... done. Wall clock time 0.274s. 0.81/0.40 c declared #vars 3720 0.81/0.40 c #constraints 164 0.81/0.40 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 164 0.81/0.40 c 164 constraints processed. 0.81/0.40 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPb => 164 0.81/0.40 c 164 constraints processed. 0.81/0.40 c objective function length is 3720 literals 2.00/0.75 c And the winner is solver0 2.25/0.91 c SATISFIABLE 2.25/0.91 c OPTIMIZING... 2.25/0.91 c Got one! Elapsed wall clock time (in seconds):0.784 2.25/0.91 o 7214834 2.25/0.93 c And the winner is solver0 2.40/1.42 c Got one! Elapsed wall clock time (in seconds):1.293 2.40/1.42 o 3591155 2.40/1.43 c And the winner is solver0 2.48/1.93 c Got one! Elapsed wall clock time (in seconds):1.8 2.48/1.93 o 3336192 4.52/2.68 c cleaning 2629 clauses out of 5258 with flag 17604/5258 6.72/3.51 c cleaning 4315 clauses out of 8629 with flag 38200/11258 8.58/4.47 c cleaning 5656 clauses out of 11316 with flag 65153/18260 11.26/5.78 c cleaning 6826 clauses out of 13657 with flag 98382/26257 14.33/7.26 c cleaning 7908 clauses out of 15830 with flag 138722/35256 17.13/8.65 c cleaning 8957 clauses out of 17922 with flag 176688/45256 19.98/10.01 c cleaning 9975 clauses out of 19965 with flag 212089/56256 23.45/11.71 c cleaning 10995 clauses out of 21990 with flag 250421/68256 26.12/13.09 c And the winner is solver1 26.28/13.43 c Got one! Elapsed wall clock time (in seconds):13.309 26.28/13.43 o 3235840 27.42/14.09 c And the winner is solver1 27.62/14.44 c Got one! Elapsed wall clock time (in seconds):14.313 27.62/14.44 o 3190784 28.41/14.88 c cleaning 13051 clauses out of 26114 with flag 7381/83375 30.61/15.91 c cleaning 9531 clauses out of 19062 with flag 30764/89374 32.81/17.09 c cleaning 8262 clauses out of 16529 with flag 57596/96372 35.49/18.36 c cleaning 8131 clauses out of 16267 with flag 85730/104372 38.29/19.76 c cleaning 8566 clauses out of 17137 with flag 117872/113373 41.69/21.41 c cleaning 9285 clauses out of 18570 with flag 153684/123372 45.31/23.29 c cleaning 10133 clauses out of 20285 with flag 192706/134372 49.60/25.39 c cleaning 11077 clauses out of 22156 with flag 238202/146376 54.00/27.56 c cleaning 12033 clauses out of 24075 with flag 289439/159372 58.60/29.89 c cleaning 13021 clauses out of 26043 with flag 341690/173373 63.79/32.41 c cleaning 14010 clauses out of 28021 with flag 398499/188372 69.52/35.30 c cleaning 15001 clauses out of 30012 with flag 461321/204373 75.50/38.22 c cleaning 16000 clauses out of 32010 with flag 529536/221372 82.10/41.59 c cleaning 17004 clauses out of 34010 with flag 601317/239372 89.43/45.14 c cleaning 18004 clauses out of 36007 with flag 675613/258373 96.42/48.60 c cleaning 18993 clauses out of 38003 with flag 751621/278373 103.82/52.33 c cleaning 20002 clauses out of 40009 with flag 833123/299372 110.70/55.78 c cleaning 21000 clauses out of 42007 with flag 906412/321372 118.69/59.75 c cleaning 22000 clauses out of 44007 with flag 987751/344372 126.69/63.79 c cleaning 22993 clauses out of 46007 with flag 1077440/368372 135.37/68.09 c cleaning 24007 clauses out of 48015 with flag 1171611/393373 143.57/72.14 c cleaning 25001 clauses out of 50007 with flag 1255355/419372 151.57/76.13 c cleaning 25993 clauses out of 52006 with flag 1331296/446372 160.96/80.82 c cleaning 27005 clauses out of 54013 with flag 1418470/474372 171.84/86.20 c cleaning 28003 clauses out of 56011 with flag 1522696/503375 181.84/91.25 c cleaning 29000 clauses out of 58007 with flag 1624688/533374 193.14/96.87 c cleaning 29993 clauses out of 60007 with flag 1737453/564374 204.14/102.38 c cleaning 31005 clauses out of 62014 with flag 1843290/596374 216.92/108.70 c cleaning 31995 clauses out of 64008 with flag 1961859/629373 230.59/115.53 c cleaning 32998 clauses out of 66012 with flag 2086866/663372 244.85/122.67 c cleaning 34005 clauses out of 68014 with flag 2224896/698372 259.28/129.85 c cleaning 35004 clauses out of 70011 with flag 2357259/734374 272.92/136.64 c cleaning 35997 clauses out of 72005 with flag 2482141/771372 288.60/144.41 c cleaning 37004 clauses out of 74009 with flag 2616729/809373 305.45/152.87 c cleaning 37998 clauses out of 76004 with flag 2765935/848372 322.91/161.58 c cleaning 38993 clauses out of 78006 with flag 2919268/888372 339.93/170.05 c cleaning 40002 clauses out of 80013 with flag 3080430/929372 357.25/178.89 c cleaning 40996 clauses out of 82012 with flag 3234263/971373 376.12/188.21 c cleaning 42002 clauses out of 84017 with flag 3397805/1014374 396.39/198.39 c cleaning 42998 clauses out of 86013 with flag 3565999/1058372 414.04/207.14 c cleaning 44003 clauses out of 88015 with flag 3728103/1103372 432.49/216.36 c cleaning 45003 clauses out of 90013 with flag 3896461/1149373 454.81/227.41 c cleaning 45997 clauses out of 92012 with flag 4079780/1196375 476.10/238.02 c cleaning 47000 clauses out of 94012 with flag 4268704/1244372 496.57/248.26 c cleaning 48002 clauses out of 96015 with flag 4461190/1293375 520.03/260.17 c cleaning 49007 clauses out of 98013 with flag 4647712/1343375 542.16/271.19 c cleaning 49996 clauses out of 100003 with flag 4823085/1394372 565.21/282.63 c cleaning 51000 clauses out of 102008 with flag 4989904/1446373 589.74/294.81 c cleaning 52000 clauses out of 104007 with flag 5170377/1499372 613.23/306.59 c cleaning 52998 clauses out of 106008 with flag 5354369/1553373 639.84/320.09 c cleaning 53999 clauses out of 108011 with flag 5550449/1608374 662.72/331.45 c cleaning 54990 clauses out of 110010 with flag 5727912/1664372 687.38/343.76 c cleaning 56004 clauses out of 112020 with flag 5916668/1721372 714.08/357.06 c cleaning 56988 clauses out of 114016 with flag 6115014/1779372 741.99/370.99 c cleaning 58012 clauses out of 116029 with flag 6322034/1838373 770.38/385.04 c cleaning 58998 clauses out of 118016 with flag 6546991/1898372 797.27/398.50 c cleaning 60000 clauses out of 120018 with flag 6746879/1959372 828.37/413.92 c cleaning 61007 clauses out of 122020 with flag 6961917/2021374 860.72/430.03 c cleaning 61999 clauses out of 124011 with flag 7177346/2084372 893.64/446.72 c cleaning 62987 clauses out of 126012 with flag 7403005/2148372 922.89/461.35 c cleaning 64000 clauses out of 128026 with flag 7618528/2213373 953.20/476.41 c cleaning 65008 clauses out of 130028 with flag 7838798/2279375 982.86/491.26 c cleaning 66003 clauses out of 132017 with flag 8044975/2346372 1018.80/509.12 c cleaning 67001 clauses out of 134015 with flag 8262869/2414373 1056.16/527.77 c cleaning 67994 clauses out of 136016 with flag 8500396/2483375 1093.09/546.16 c cleaning 69012 clauses out of 138030 with flag 8730538/2553383 1127.83/563.42 c cleaning 69987 clauses out of 140007 with flag 8962683/2624372 1166.32/582.68 c cleaning 71006 clauses out of 142020 with flag 9234181/2696372 1203.25/601.38 c cleaning 72003 clauses out of 144016 with flag 9496627/2769374 1242.16/620.72 c cleaning 73001 clauses out of 146011 with flag 9762094/2843372 1283.74/641.42 c cleaning 74003 clauses out of 148013 with flag 10037643/2918375 1324.91/661.91 c cleaning 75000 clauses out of 150008 with flag 10320026/2994373 1369.75/684.28 c cleaning 75997 clauses out of 152007 with flag 10608614/3071372 1411.48/705.09 c cleaning 76996 clauses out of 154012 with flag 10858290/3149374 1455.65/727.38 c cleaning 78003 clauses out of 156015 with flag 11142464/3228373 1499.20/749.08 c cleaning 78999 clauses out of 158011 with flag 11420908/3308372 1543.61/771.13 c cleaning 79990 clauses out of 160012 with flag 11721668/3389372 1586.36/792.41 c cleaning 81009 clauses out of 162024 with flag 12007535/3471374 1626.81/812.56 c cleaning 81989 clauses out of 164014 with flag 12307311/3554373 1674.62/836.65 c cleaning 83004 clauses out of 166024 with flag 12611385/3638372 1726.02/862.23 c cleaning 83999 clauses out of 168021 with flag 12931313/3723373 1774.53/886.42 c cleaning 85005 clauses out of 170021 with flag 13225442/3809372 1800.04/899.10 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.04/899.10 c starts : 17855 1800.04/899.10 c conflicts : 3854699 1800.04/899.10 c decisions : 11324291 1800.04/899.10 c propagations : 507731945 1800.04/899.10 c inspects : 7913924460 1800.04/899.10 c shortcuts : 0 1800.04/899.10 c learnt literals : 0 1800.04/899.10 c learnt binary clauses : 0 1800.04/899.10 c learnt ternary clauses : 0 1800.04/899.10 c learnt constraints : 3854699 1800.04/899.10 c ignored constraints : 0 1800.04/899.10 c root simplifications : 0 1800.04/899.10 c removed literals (reason simplification) : 2319284 1800.04/899.10 c reason swapping (by a shorter reason) : 0 1800.04/899.10 c Calls to reduceDB : 90 1800.04/899.10 c Number of update (reduction) of LBD : 883638 1800.04/899.10 c Imported unit clauses : 0 1800.04/899.10 c number of reductions to clauses (during analyze) : 0 1800.04/899.10 c number of learned constraints concerned by reduction : 0 1800.04/899.10 c number of learning phase by resolution : 0 1800.04/899.10 c number of learning phase by cutting planes : 0 1800.04/899.10 c speed (assignments/second) : 573928.9048900142 1800.04/899.10 c non guided choices 0 1800.04/899.13 c learnt constraints type 1800.04/899.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 130343 1800.04/899.13 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.04/899.13 c starts : 13 1800.04/899.13 c conflicts : 2831 1800.04/899.13 c decisions : 70210 1800.04/899.13 c propagations : 812751 1800.04/899.13 c inspects : 171229077 1800.04/899.13 c shortcuts : 0 1800.04/899.13 c learnt literals : 0 1800.04/899.13 c learnt binary clauses : 0 1800.04/899.13 c learnt ternary clauses : 0 1800.04/899.13 c learnt constraints : 2827 1800.04/899.13 c ignored constraints : 0 1800.04/899.13 c root simplifications : 0 1800.04/899.13 c removed literals (reason simplification) : 0 1800.04/899.13 c reason swapping (by a shorter reason) : 0 1800.04/899.13 c Calls to reduceDB : 0 1800.04/899.13 c Number of update (reduction) of LBD : 0 1800.04/899.13 c Imported unit clauses : 0 1800.04/899.13 c number of reductions to clauses (during analyze) : 0 1800.04/899.13 c number of learned constraints concerned by reduction : 0 1800.04/899.13 c number of learning phase by resolution : 0 1800.04/899.13 c number of learning phase by cutting planes : 0 1800.04/899.13 c speed (assignments/second) : 905.8799926437396 1800.04/899.13 c non guided choices 0 1800.04/899.13 c learnt constraints type 1800.04/899.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2827 1800.04/899.13 s SATISFIABLE 1800.04/899.13 c Found 5 solution(s) 1800.04/899.14 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 1800.04/899.14 c objective function=3190784 1800.04/899.14 c Total wall clock time (in seconds): 899.016
OK 3190784
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-4103198-1466220525/watcher-4103198-1466220525 -o /tmp/evaluation-result-4103198-1466220525/solver-4103198-1466220525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103198-1466220525.opb pid=20826 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.60 4.38 4.28 4/197 20829 /proc/meminfo: memFree=25697912/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=336 CPUtime=0 cores=0,2,4,6 /proc/20829/stat : 20829 (java) R 20826 20829 16262 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 24101170 344064 41 33554432000 1073741824 1073778376 140737163757856 140737323493048 270320889127 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20829/statm: 625 46 37 9 0 29 0 [startup+0.100058 s] /proc/loadavg: 4.60 4.38 4.28 4/197 20829 /proc/meminfo: memFree=25697912/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 24101170 9787879424 6020 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2389619 6020 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200281 s] /proc/loadavg: 4.60 4.38 4.28 4/197 20829 /proc/meminfo: memFree=25697912/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 5046 0 1 0 26 1 0 0 20 0 18 0 24101170 9787879424 6990 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2389619 6990 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300293 s] /proc/loadavg: 4.60 4.38 4.28 4/197 20829 /proc/meminfo: memFree=25697912/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9558476 CPUtime=0.51 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 11103 0 1 0 49 2 0 0 20 0 18 0 24101170 9787879424 12786 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2389619 12786 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700193 s] /proc/loadavg: 4.60 4.38 4.28 4/197 20829 /proc/meminfo: memFree=25697912/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 18110 0 1 0 196 4 0 0 20 0 22 0 24101170 10060525568 17522 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 17522 2259 9 0 2446860 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.60 4.38 4.28 3/216 20854 /proc/meminfo: memFree=25625596/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=2.48 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 18349 0 1 0 239 9 0 0 20 0 19 0 24101170 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 21094 2266 9 0 2446860 0 [pid=20829/tid=20831] ppid=20826 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/20829/task/20831/stat : 20831 (java) S 20826 20829 16262 0 -1 4202560 2428 0 1 0 37 2 0 0 20 0 19 0 24101171 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843566052216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20832] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20832/stat : 20832 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843538504104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20833] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20833/stat : 20833 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843537451560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20834] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24101172 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24101173 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24101173 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24101173 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101176 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 6140 0 0 0 64 0 0 0 20 0 19 0 24101176 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 8435 0 0 0 63 2 0 0 20 0 19 0 24101176 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101176 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20847/stat : 20847 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24101176 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842911403080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20850] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20850/stat : 20850 (java) S 20826 20829 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24101215 10060525568 21094 33554432000 1073741824 1073778376 140737163757856 139842908242728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 9824732 [startup+3.10086 s] /proc/loadavg: 4.39 4.34 4.27 5/219 20860 /proc/meminfo: memFree=25586168/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=5.88 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 23468 0 1 0 577 11 0 0 20 0 22 0 24101170 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 46576 2285 9 0 2446860 0 [pid=20829/tid=20831] ppid=20826 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/20829/task/20831/stat : 20831 (java) S 20826 20829 16262 0 -1 4202560 2429 0 1 0 38 2 0 0 20 0 22 0 24101171 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843566052216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20832] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20832/stat : 20832 (java) S 20826 20829 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843538504104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20833] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20833/stat : 20833 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843537451560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20834] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=1.01 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 9112 0 0 0 99 2 0 0 20 0 22 0 24101176 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 10486 0 0 0 131 2 0 0 20 0 22 0 24101176 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20847/stat : 20847 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842911403080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20850] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20850/stat : 20850 (java) S 20826 20829 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24101215 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842908242728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20858] ppid=20826 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/20829/task/20858/stat : 20858 (java) R 20826 20829 16262 0 -1 4202560 17 0 0 0 112 0 0 0 20 0 22 0 24101363 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842907187784 139843414775846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20859] ppid=20826 vsize=9824732 CPUtime=1.13 cores=0,2,4,6 /proc/20829/task/20859/stat : 20859 (java) R 20826 20829 16262 0 -1 4202560 34 0 0 0 113 0 0 0 20 0 22 0 24101363 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842909293528 139843414623725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20860] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20860/stat : 20860 (java) S 20826 20829 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24101363 10060525568 46576 33554432000 1073741824 1073778376 140737163757856 139842910348840 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.88 Current children cumulated vsize (KiB) 9824732 [startup+6.30087 s] /proc/loadavg: 4.39 4.34 4.27 5/219 20860 /proc/meminfo: memFree=25523300/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=12.48 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 23906 0 1 0 1234 14 0 0 20 0 22 0 24101170 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 53788 2285 9 0 2446860 0 [pid=20829/tid=20831] ppid=20826 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/20829/task/20831/stat : 20831 (java) S 20826 20829 16262 0 -1 4202560 2429 0 1 0 38 2 0 0 20 0 22 0 24101171 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843566052216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20832] ppid=20826 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/20829/task/20832/stat : 20832 (java) S 20826 20829 16262 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843538504104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20833] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20833/stat : 20833 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843537451560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20834] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 24101172 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=1.13 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 9430 0 0 0 111 2 0 0 20 0 22 0 24101176 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=1.37 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 10486 0 0 0 135 2 0 0 20 0 22 0 24101176 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 53788 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 938 0 0 0 185 32 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 890 0 0 0 189 27 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 868 0 0 0 189 27 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 1120 0 0 0 168 24 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 873 0 0 0 169 25 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 777 0 0 0 165 23 0 0 20 0 22 0 24101172 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=3.83 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 2338 0 0 0 371 12 0 0 20 0 22 0 24101173 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 9500 0 0 0 122 2 0 0 20 0 22 0 24101176 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=1.42 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 10490 0 0 0 140 2 0 0 20 0 22 0 24101176 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/20829/task/20847/stat : 20847 (java) S 20826 20829 16262 0 -1 4202560 50 0 0 0 14 14 0 0 20 0 22 0 24101176 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842911403080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20860] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20860/stat : 20860 (java) S 20826 20829 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24101363 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842910348840 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20864] ppid=20826 vsize=9824732 CPUtime=857.41 cores=0,2,4,6 /proc/20829/task/20864/stat : 20864 (java) R 20826 20829 16262 0 -1 4202560 585 0 0 0 85720 21 0 0 20 0 22 0 24102614 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842907188688 139843414452871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20865] ppid=20826 vsize=9824732 CPUtime=857.34 cores=0,2,4,6 /proc/20829/task/20865/stat : 20865 (java) R 20826 20829 16262 0 -1 4202560 1456 0 0 0 85706 28 0 0 20 0 22 0 24102614 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842909293008 139843415021139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20866] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20866/stat : 20866 (java) S 20826 20829 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24102614 10060525568 547105 33554432000 1073741824 1073778376 140737163757856 139842908242728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1766.34 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.101 s] /proc/loadavg: 4.16 4.26 4.26 5/219 20961 /proc/meminfo: memFree=23096312/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 35688 0 1 0 179728 276 0 0 20 0 22 0 24101170 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 550509 2294 9 0 2446860 0 [pid=20829/tid=20831] ppid=20826 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/20829/task/20831/stat : 20831 (java) S 20826 20829 16262 0 -1 4202560 2437 0 1 0 42 3 0 0 20 0 22 0 24101171 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843566052216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20832] ppid=20826 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/20829/task/20832/stat : 20832 (java) S 20826 20829 16262 0 -1 4202560 823 0 0 0 161 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843538504104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20833] ppid=20826 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/20829/task/20833/stat : 20833 (java) S 20826 20829 16262 0 -1 4202560 765 0 0 0 172 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843537451560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20834] ppid=20826 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 940 0 0 0 188 32 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 896 0 0 0 192 27 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 874 0 0 0 193 27 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 1131 0 0 0 171 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 880 0 0 0 173 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 796 0 0 0 167 24 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=3.83 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 2338 0 0 0 371 12 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 9500 0 0 0 122 2 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=1.42 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 10490 0 0 0 140 2 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/20829/task/20847/stat : 20847 (java) S 20826 20829 16262 0 -1 4202560 50 0 0 0 15 14 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842911403080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20860] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20860/stat : 20860 (java) S 20826 20829 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24101363 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842910348840 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20864] ppid=20826 vsize=9824732 CPUtime=874.09 cores=0,2,4,6 /proc/20829/task/20864/stat : 20864 (java) R 20826 20829 16262 0 -1 4202560 587 0 0 0 87388 21 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842907189728 139843414530706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20865] ppid=20826 vsize=9824732 CPUtime=874.02 cores=0,2,4,6 /proc/20829/task/20865/stat : 20865 (java) R 20826 20829 16262 0 -1 4202560 1456 0 0 0 87374 28 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842909294080 139843414623636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20866] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20866/stat : 20866 (java) S 20826 20829 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842908242728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 20829 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.101 s] /proc/loadavg: 4.16 4.26 4.26 5/219 20961 /proc/meminfo: memFree=23096312/32872528 swapFree=1556504/1720024 [pid=20829] ppid=20826 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/20829/stat : 20829 (java) S 20826 20829 16262 0 -1 4202496 35688 0 1 0 179728 276 0 0 20 0 22 0 24101170 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 140737163748992 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20829/statm: 2456183 550509 2294 9 0 2446860 0 [pid=20829/tid=20831] ppid=20826 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/20829/task/20831/stat : 20831 (java) S 20826 20829 16262 0 -1 4202560 2437 0 1 0 42 3 0 0 20 0 22 0 24101171 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843566052216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20832] ppid=20826 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/20829/task/20832/stat : 20832 (java) S 20826 20829 16262 0 -1 4202560 823 0 0 0 161 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843538504104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20833] ppid=20826 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/20829/task/20833/stat : 20833 (java) S 20826 20829 16262 0 -1 4202560 765 0 0 0 172 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843537451560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20834] ppid=20826 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/20829/task/20834/stat : 20834 (java) S 20826 20829 16262 0 -1 4202560 940 0 0 0 188 32 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843536398504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20835] ppid=20826 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/20829/task/20835/stat : 20835 (java) S 20826 20829 16262 0 -1 4202560 896 0 0 0 192 27 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843535345960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20836] ppid=20826 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/20829/task/20836/stat : 20836 (java) S 20826 20829 16262 0 -1 4202560 874 0 0 0 193 27 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843534293928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20837] ppid=20826 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/20829/task/20837/stat : 20837 (java) S 20826 20829 16262 0 -1 4202560 1131 0 0 0 171 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843533241384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20838] ppid=20826 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/20829/task/20838/stat : 20838 (java) S 20826 20829 16262 0 -1 4202560 880 0 0 0 173 25 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843402771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20839] ppid=20826 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/20829/task/20839/stat : 20839 (java) S 20826 20829 16262 0 -1 4202560 796 0 0 0 167 24 0 0 20 0 22 0 24101172 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139843401718568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20840] ppid=20826 vsize=9824732 CPUtime=3.83 cores=0,2,4,6 /proc/20829/task/20840/stat : 20840 (java) S 20826 20829 16262 0 -1 4202560 2338 0 0 0 371 12 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842918771048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20841] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20841/stat : 20841 (java) S 20826 20829 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842917717368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20842] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20842/stat : 20842 (java) S 20826 20829 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24101173 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842916664200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20843] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20843/stat : 20843 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842915612944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20844] ppid=20826 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/20829/task/20844/stat : 20844 (java) S 20826 20829 16262 0 -1 4202560 9500 0 0 0 122 2 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842914560824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20845] ppid=20826 vsize=9824732 CPUtime=1.42 cores=0,2,4,6 /proc/20829/task/20845/stat : 20845 (java) S 20826 20829 16262 0 -1 4202560 10490 0 0 0 140 2 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842913508280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20846] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20846/stat : 20846 (java) S 20826 20829 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842912455416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20829/tid=20847] ppid=20826 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/20829/task/20847/stat : 20847 (java) S 20826 20829 16262 0 -1 4202560 50 0 0 0 15 14 0 0 20 0 22 0 24101176 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842911403080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20860] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20860/stat : 20860 (java) S 20826 20829 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24101363 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842910348840 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20829/tid=20864] ppid=20826 vsize=9824732 CPUtime=874.09 cores=0,2,4,6 /proc/20829/task/20864/stat : 20864 (java) R 20826 20829 16262 0 -1 4202560 587 0 0 0 87388 21 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842907189728 139843414530706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20829/tid=20865] ppid=20826 vsize=9824732 CPUtime=874.02 cores=0,2,4,6 /proc/20829/task/20865/stat : 20865 (java) R 20826 20829 16262 0 -1 4202560 1456 0 0 0 87374 28 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842909294080 139843414623636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20829/tid=20866] ppid=20826 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20829/task/20866/stat : 20866 (java) S 20826 20829 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24102614 10060525568 550509 33554432000 1073741824 1073778376 140737163757856 139842908242728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20829 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=818450 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=203512 # CPU time returned by wait4() is 1796.02 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 899.169 CPU time (s): 1800.04 CPU user time (s): 1797.28 CPU system time (s): 2.76 CPU usage (%): 200.189 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.82 system time used= 3.20351 maximum resident set size= 2206856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35733 page faults= 1 swaps= 0 block input operations= 0 block output operations= 888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25546 involuntary context switches= 39381 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.28089 second user time and 5.81712 second system time The end
Begin job on node117 at 2016-06-18 05:28:45 IDJOB=4103198 IDBENCH=2295 IDSOLVER=2543 FILE ID=node117/4103198-1466220525 RUNJOBID= node117-1466206104-16278 PBS_JOBID= 19918159 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103198-1466220525/watcher-4103198-1466220525 -o /tmp/evaluation-result-4103198-1466220525/solver-4103198-1466220525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103198-1466220525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED=352141938 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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 : 2666.912 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 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: 25698456 kB Buffers: 157264 kB Cached: 1768760 kB SwapCached: 0 kB Active: 2878112 kB Inactive: 1809980 kB Active(anon): 2764652 kB Inactive(anon): 0 kB Active(file): 113460 kB Inactive(file): 1809980 kB Unevictable: 1720024 kB Mlocked: 1556504 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 4488012 kB Mapped: 21232 kB Shmem: 204 kB Slab: 621256 kB SReclaimable: 65124 kB SUnreclaim: 556132 kB KernelStack: 1624 kB PageTables: 12736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4682764 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2871296 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= 71740 MiB End job on node117 at 2016-06-18 05:43:45