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) | -25 | 1800.15 | 892.95 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
| MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 7.2159 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17831 |
| Number of constraints which are clauses | 17831 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081237-1465227183.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.33/0.60 c ... done. Wall clock time 0.481s. 1.33/0.60 c declared #vars 450 1.33/0.60 c #constraints 17831 1.33/0.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.33/0.60 c constraints type 1.33/0.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17831 1.33/0.60 c 17831 constraints processed. 1.33/0.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.33/0.60 c constraints type 1.33/0.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17831 1.33/0.60 c 17831 constraints processed. 1.33/0.60 c objective function length is 450 literals 1.33/0.61 c And the winner is solver0 1.80/1.10 c SATISFIABLE 1.80/1.10 c OPTIMIZING... 1.80/1.10 c Got one! Elapsed wall clock time (in seconds):0.986 1.80/1.10 o -21 1.80/1.12 c And the winner is solver0 1.86/1.61 c Got one! Elapsed wall clock time (in seconds):1.49 1.86/1.61 o -22 1.86/1.69 c And the winner is solver0 2.25/2.11 c Got one! Elapsed wall clock time (in seconds):1.993 2.25/2.11 o -23 4.83/2.82 c And the winner is solver1 4.83/2.82 c cleaning 2565 clauses out of 5130 with flag 10813/5130 4.90/3.11 c Got one! Elapsed wall clock time (in seconds):2.995 4.90/3.11 o -24 5.94/3.67 c cleaning 3783 clauses out of 7565 with flag 12103/10130 7.54/4.30 c cleaning 4892 clauses out of 9783 with flag 25446/16131 9.25/5.18 c cleaning 5942 clauses out of 11891 with flag 41553/23131 11.59/6.28 c cleaning 6974 clauses out of 13948 with flag 58803/31130 14.78/7.76 c cleaning 7987 clauses out of 15974 with flag 77574/40130 18.36/9.50 c cleaning 8994 clauses out of 17988 with flag 98438/50131 22.13/11.31 c cleaning 9997 clauses out of 19993 with flag 121358/61130 26.70/13.59 c cleaning 10998 clauses out of 21997 with flag 146237/73131 31.50/15.97 c cleaning 11997 clauses out of 24000 with flag 173012/86132 36.10/18.29 c cleaning 13001 clauses out of 26001 with flag 202267/100130 42.98/21.54 c cleaning 14001 clauses out of 28003 with flag 233326/115133 50.65/25.20 c cleaning 14995 clauses out of 29999 with flag 266246/131130 57.05/28.49 c cleaning 16001 clauses out of 32004 with flag 301483/148130 64.28/32.02 c cleaning 17002 clauses out of 34003 with flag 339017/166130 72.81/36.42 c cleaning 17998 clauses out of 36002 with flag 378765/185131 81.08/40.60 c cleaning 19002 clauses out of 38003 with flag 420369/205130 89.28/44.65 c cleaning 20001 clauses out of 40001 with flag 463872/226130 99.59/49.70 c cleaning 20995 clauses out of 42002 with flag 509753/248132 109.18/54.58 c cleaning 21999 clauses out of 44005 with flag 557686/271130 119.87/59.81 c cleaning 23004 clauses out of 46008 with flag 607958/295132 134.58/67.41 c cleaning 23995 clauses out of 48002 with flag 660151/320130 142.17/71.27 c cleaning 0 clauses out of 5259 with flag 0/5259 148.54/74.28 c cleaning 25000 clauses out of 50007 with flag 714328/346130 165.61/82.71 c cleaning 26005 clauses out of 52009 with flag 770065/373132 180.75/90.28 c cleaning 27000 clauses out of 54005 with flag 827675/401133 196.27/97.97 c cleaning 28001 clauses out of 56002 with flag 887215/430130 213.81/106.64 c cleaning 29001 clauses out of 58001 with flag 949519/460130 233.60/116.42 c cleaning 29996 clauses out of 60005 with flag 1013609/491135 252.65/125.86 c cleaning 31002 clauses out of 62004 with flag 1080090/523130 270.84/134.95 c cleaning 31999 clauses out of 64002 with flag 1148880/556130 289.22/144.04 c cleaning 33001 clauses out of 66004 with flag 1219177/590131 309.65/154.15 c cleaning 34001 clauses out of 68002 with flag 1292259/625130 335.45/167.32 c cleaning 35002 clauses out of 70004 with flag 1366411/661133 358.31/178.76 c cleaning 35994 clauses out of 71999 with flag 1443646/698130 382.60/190.80 c cleaning 36998 clauses out of 74005 with flag 1523065/736130 407.97/203.44 c cleaning 38004 clauses out of 76008 with flag 1604661/775131 434.52/216.54 c cleaning 38993 clauses out of 78004 with flag 1688303/815131 457.51/227.91 c cleaning 40002 clauses out of 80014 with flag 1773842/856134 482.74/240.47 c cleaning 41000 clauses out of 82009 with flag 1860868/898131 509.87/253.76 c cleaning 42000 clauses out of 84009 with flag 1950965/941131 540.97/269.15 c cleaning 42995 clauses out of 86010 with flag 2042806/985132 570.94/283.81 c cleaning 44003 clauses out of 88013 with flag 2136508/1030130 603.39/299.76 c cleaning 45006 clauses out of 90011 with flag 2232349/1076131 637.48/316.37 c cleaning 46000 clauses out of 92004 with flag 2330760/1123130 677.08/336.71 c cleaning 47003 clauses out of 94005 with flag 2430375/1171131 717.11/356.67 c cleaning 48000 clauses out of 96002 with flag 2532376/1220131 773.17/384.46 c cleaning 48998 clauses out of 98003 with flag 2636686/1270132 807.06/401.23 c cleaning 0 clauses out of 11258 with flag 0/11258 825.07/410.14 c cleaning 49997 clauses out of 100004 with flag 2743073/1321131 842.26/418.62 c And the winner is solver1 842.26/418.63 c Got one! Elapsed wall clock time (in seconds):418.515 842.26/418.63 o -25 849.86/422.44 c cleaning 38636 clauses out of 77281 with flag 11590/1348405 853.45/424.20 c cleaning 22318 clauses out of 44643 with flag 25897/1354403 856.26/425.66 c cleaning 14657 clauses out of 29326 with flag 42047/1361404 858.87/426.94 c cleaning 11328 clauses out of 22669 with flag 60568/1369404 861.45/428.23 c cleaning 10163 clauses out of 20340 with flag 81926/1378403 864.05/429.58 c cleaning 10082 clauses out of 20179 with flag 105597/1388405 867.05/431.05 c cleaning 10545 clauses out of 21097 with flag 130748/1399405 871.07/432.94 c cleaning 11268 clauses out of 22552 with flag 158395/1411405 875.46/435.13 c cleaning 12137 clauses out of 24283 with flag 188656/1424404 880.46/437.62 c cleaning 13070 clauses out of 26145 with flag 221675/1438403 886.89/440.74 c cleaning 14036 clauses out of 28079 with flag 259213/1453407 893.69/444.19 c cleaning 15020 clauses out of 30042 with flag 298418/1469406 901.10/447.81 c cleaning 16008 clauses out of 32022 with flag 340458/1486406 909.92/452.15 c cleaning 17000 clauses out of 34011 with flag 383984/1504403 919.71/457.07 c cleaning 18002 clauses out of 36011 with flag 429311/1523403 930.93/462.55 c cleaning 18999 clauses out of 38009 with flag 480591/1543403 942.56/468.23 c cleaning 20001 clauses out of 40010 with flag 533365/1564403 954.76/474.39 c cleaning 20998 clauses out of 42009 with flag 588212/1586403 968.77/481.24 c cleaning 22003 clauses out of 44011 with flag 647940/1609403 983.62/488.56 c cleaning 23001 clauses out of 46008 with flag 705568/1633403 1002.05/497.61 c cleaning 23999 clauses out of 48007 with flag 769562/1658403 1020.91/506.94 c cleaning 24999 clauses out of 50008 with flag 833711/1684403 1042.75/517.72 c cleaning 26000 clauses out of 52009 with flag 898849/1711403 1067.39/529.96 c cleaning 27000 clauses out of 54009 with flag 973290/1739403 1095.29/543.69 c cleaning 28002 clauses out of 56009 with flag 1042698/1768403 1120.96/556.36 c cleaning 29002 clauses out of 58009 with flag 1113291/1798405 1147.22/569.37 c cleaning 29998 clauses out of 60007 with flag 1188734/1829405 1175.00/582.95 c cleaning 31002 clauses out of 62007 with flag 1267783/1861403 1205.52/598.07 c cleaning 31995 clauses out of 64006 with flag 1350559/1894404 1242.33/616.18 c cleaning 33002 clauses out of 66011 with flag 1432568/1928404 1282.92/636.10 c cleaning 34005 clauses out of 68009 with flag 1519260/1963404 1326.73/657.80 c cleaning 34995 clauses out of 70003 with flag 1612022/1999403 1378.70/684.25 c cleaning 36001 clauses out of 72008 with flag 1703815/2036403 1430.98/710.22 c cleaning 37002 clauses out of 74008 with flag 1801972/2074404 1478.54/733.83 c cleaning 38001 clauses out of 76009 with flag 1901481/2113407 1530.98/759.88 c cleaning 38999 clauses out of 78006 with flag 2003936/2153405 1579.32/783.79 c cleaning 40002 clauses out of 80007 with flag 2101993/2194405 1635.25/811.41 c cleaning 41001 clauses out of 82004 with flag 2201944/2236404 1691.05/839.12 c cleaning 41995 clauses out of 84003 with flag 2307260/2279404 1745.22/865.88 c cleaning 43001 clauses out of 86009 with flag 2414028/2323405 1800.15/892.90 c cleaning 44000 clauses out of 88006 with flag 2527774/2368403 1800.15/892.90 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.15/892.90 c starts : 20584 1800.15/892.90 c conflicts : 2368419 1800.15/892.90 c decisions : 10506075 1800.15/892.90 c propagations : 22296570 1800.15/892.90 c inspects : 8534467660 1800.15/892.90 c shortcuts : 0 1800.15/892.90 c learnt literals : 0 1800.15/892.90 c learnt binary clauses : 0 1800.15/892.90 c learnt ternary clauses : 0 1800.15/892.90 c learnt constraints : 2368419 1800.15/892.90 c ignored constraints : 0 1800.15/892.90 c root simplifications : 0 1800.15/892.90 c removed literals (reason simplification) : 58309163 1800.15/892.90 c reason swapping (by a shorter reason) : 0 1800.15/892.90 c Calls to reduceDB : 89 1800.15/892.90 c Number of update (reduction) of LBD : 106778 1800.15/892.90 c Imported unit clauses : 0 1800.15/892.90 c number of reductions to clauses (during analyze) : 0 1800.15/892.90 c number of learned constraints concerned by reduction : 0 1800.15/892.90 c number of learning phase by resolution : 0 1800.15/892.90 c number of learning phase by cutting planes : 0 1800.15/892.90 c speed (assignments/second) : 47012.497127157796 1800.15/892.90 c non guided choices 0 1800.15/892.92 c learnt constraints type 1800.15/892.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44022 1800.15/892.92 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.15/892.92 c starts : 48 1800.15/892.92 c conflicts : 16145 1800.15/892.92 c decisions : 18077 1800.15/892.92 c propagations : 152663 1800.15/892.92 c inspects : 845765477 1800.15/892.92 c shortcuts : 0 1800.15/892.92 c learnt literals : 0 1800.15/892.92 c learnt binary clauses : 0 1800.15/892.92 c learnt ternary clauses : 0 1800.15/892.92 c learnt constraints : 16144 1800.15/892.92 c ignored constraints : 0 1800.15/892.92 c root simplifications : 0 1800.15/892.92 c removed literals (reason simplification) : 0 1800.15/892.92 c reason swapping (by a shorter reason) : 0 1800.15/892.92 c Calls to reduceDB : 2 1800.15/892.92 c Number of update (reduction) of LBD : 0 1800.15/892.92 c Imported unit clauses : 0 1800.15/892.92 c number of reductions to clauses (during analyze) : 0 1800.15/892.92 c number of learned constraints concerned by reduction : 0 1800.15/892.92 c number of learning phase by resolution : 0 1800.15/892.92 c number of learning phase by cutting planes : 0 1800.15/892.92 c speed (assignments/second) : 171.3764516364412 1800.15/892.92 c non guided choices 0 1800.15/892.93 c learnt constraints type 1800.15/892.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 389 1800.15/892.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15755 1800.15/892.93 s SATISFIABLE 1800.15/892.93 c Found 5 solution(s) 1800.15/892.93 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 1800.15/892.93 c objective function=-25 1800.15/892.93 c Total wall clock time (in seconds): 892.812
OK -25
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-4081237-1465227183/watcher-4081237-1465227183 -o /tmp/evaluation-result-4081237-1465227183/solver-4081237-1465227183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081237-1465227183.opb pid=2823 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.03 4.05 4.00 10/195 2826 /proc/meminfo: memFree=28250728/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=336 CPUtime=0 cores=0,2,4,6 /proc/2826/stat : 2826 (java) R 2823 2826 955 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 104653193 344064 42 33554432000 1073741824 1073778376 140735738994944 140736721813368 235365559540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 4.03 4.05 4.00 10/195 2826 /proc/meminfo: memFree=28250728/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 104653193 9787879424 6038 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2389619 6038 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200214 s] /proc/loadavg: 4.03 4.05 4.00 10/195 2826 /proc/meminfo: memFree=28250728/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9558476 CPUtime=0.23 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 4660 0 1 0 22 1 0 0 20 0 18 0 104653193 9787879424 6752 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2389619 6752 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300211 s] /proc/loadavg: 4.03 4.05 4.00 10/195 2826 /proc/meminfo: memFree=28250728/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 5579 0 1 0 45 2 0 0 20 0 18 0 104653193 9787879424 8344 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2389619 8344 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700245 s] /proc/loadavg: 4.03 4.05 4.00 10/195 2826 /proc/meminfo: memFree=28250728/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9825340 CPUtime=1.53 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 23369 0 1 0 148 5 0 0 20 0 19 0 104653193 10061148160 29954 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456335 29954 2253 9 0 2447012 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 9825340 [startup+1.50077 s] /proc/loadavg: 4.03 4.05 4.00 3/214 2848 /proc/meminfo: memFree=28134252/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 23472 0 1 0 179 7 0 0 20 0 19 0 104653193 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456183 28710 2261 9 0 2446860 0 [pid=2826/tid=2828] ppid=2823 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/2826/task/2828/stat : 2828 (java) S 2823 2826 955 0 -1 4202560 2442 0 1 0 56 1 0 0 20 0 19 0 104653194 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744373465976 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2829] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2829/stat : 2829 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744345918248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2830] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2830/stat : 2830 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744215870120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2831] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2831/stat : 2831 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744214817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2832] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2832/stat : 2832 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744213765032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2833] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2833/stat : 2833 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744212711720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2834] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2834/stat : 2834 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139744211658920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2835] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2835/stat : 2835 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743874509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104653196 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104653197 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104653197 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 8786 0 0 0 58 2 0 0 20 0 19 0 104653199 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 10898 0 0 0 59 2 0 0 20 0 19 0 104653199 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2848] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2848/stat : 2848 (java) S 2823 2826 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104653255 10060525568 28710 33554432000 1073741824 1073778376 140735738994944 139743848261160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.03 4.05 4.00 7/217 2857 /proc/meminfo: memFree=28112084/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9824732 CPUtime=4.9 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 31827 0 1 0 474 16 0 0 20 0 19 0 104653193 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456183 54112 2291 9 0 2446860 0 [pid=2826/tid=2828] ppid=2823 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/2826/task/2828/stat : 2828 (java) S 2823 2826 955 0 -1 4202560 2443 0 1 0 56 2 0 0 20 0 19 0 104653194 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744373465976 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2829] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2829/stat : 2829 (java) S 2823 2826 955 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744345918248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2830] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2830/stat : 2830 (java) S 2823 2826 955 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744215870120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2831] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2831/stat : 2831 (java) S 2823 2826 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744214817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2832] ppid=2823 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/2826/task/2832/stat : 2832 (java) S 2823 2826 955 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744213765032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2833] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2833/stat : 2833 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744212711720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2834] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2834/stat : 2834 (java) S 2823 2826 955 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139744211658920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2835] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2835/stat : 2835 (java) S 2823 2826 955 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743874509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104653195 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 104653196 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104653197 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104653197 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 12858 0 0 0 128 3 0 0 20 0 19 0 104653199 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 14987 0 0 0 125 2 0 0 20 0 19 0 104653199 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104653199 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2857] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2857/stat : 2857 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104653405 10060525568 54112 33554432000 1073741824 1073778376 140735738994944 139743852835752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 9824732 [startup+6.30093 s] /proc/loadavg: 4.19 4.08 4.01 5/217 2860 /proc/meminfo: memFree=27774588/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9824732 CPUtime=11.79 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 33572 0 1 0 1137 42 0 0 20 0 22 0 104653193 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456183 178102 2292 9 0 2446860 0 [pid=2826/tid=2828] ppid=2823 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/2826/task/2828/stat : 2828 (java) S 2823 2826 955 0 -1 4202560 2443 0 1 0 56 2 0 0 20 0 22 0 104653194 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744373465976 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2829] ppid=2823 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/2826/task/2829/stat : 2829 (java) S 2823 2826 955 0 -1 4202560 71 0 0 0 6 3 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744345918248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2830] ppid=2823 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/2826/task/2830/stat : 2830 (java) S 2823 2826 955 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744215870120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2831] ppid=2823 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/2826/task/2831/stat : 2831 (java) S 2823 2826 955 0 -1 4202560 177 0 0 0 6 3 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744214817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2832] ppid=2823 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/2826/task/2832/stat : 2832 (java) S 2823 2826 955 0 -1 4202560 72 0 0 0 7 3 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744213765032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2833] ppid=2823 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/2826/task/2833/stat : 2833 (java) S 2823 2826 955 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744212711720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2834] ppid=2823 vsize=9824732 CPUtime=0.18 cores=0,2,4,6 /proc/2826/task/2834/stat : 2834 (java) S 2823 2826 955 0 -1 4202560 230 0 0 0 12 6 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139744211658920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2835] ppid=2823 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/2826/task/2835/stat : 2835 (java) S 2823 2826 955 0 -1 4202560 65 0 0 0 6 4 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743874509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 135 0 0 0 3 1 0 0 20 0 22 0 104653195 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 490 0 0 0 0 0 0 0 20 0 22 0 104653196 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=1.37 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 12859 0 0 0 134 3 0 0 20 0 22 0 104653199 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 15198 0 0 0 141 3 0 0 20 0 22 0 104653199 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2857] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2857/stat : 2857 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104653405 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743852835752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2858] ppid=2823 vsize=9824732 CPUtime=2.96 cores=0,2,4,6 /proc/2826/task/2858/stat : 2858 (java) R 2823 2826 955 0 -1 4202560 13 0 0 0 296 0 0 0 20 0 22 0 104653505 10060525568 178102 33554432000 1073741824 1073778376 140735738994944 139743849311408 139744228447929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2859] ppid=2823 vsize=9824732 CPUtime=2.97 cores=0,2,4,6 ################ # More data... # ################ [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=5.74 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 1045 0 0 0 549 25 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=5.91 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 2805 0 0 0 586 5 0 0 20 0 22 0 104653196 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 12863 0 0 0 151 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 15219 0 0 0 184 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 50 0 0 0 16 14 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2857] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2857/stat : 2857 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104653405 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743852835752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2872] ppid=2823 vsize=9824732 CPUtime=454.5 cores=0,2,4,6 /proc/2826/task/2872/stat : 2872 (java) R 2823 2826 955 0 -1 4202560 15 0 0 0 45443 7 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743849311264 139744227965084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2873] ppid=2823 vsize=9824732 CPUtime=454.5 cores=0,2,4,6 /proc/2826/task/2873/stat : 2873 (java) R 2823 2826 955 0 -1 4202560 35 0 0 0 45443 7 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743850364504 139744228100562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2874] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2874/stat : 2874 (java) S 2823 2826 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743848261288 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1776.92 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+892.901 s] /proc/loadavg: 4.12 4.24 4.14 5/217 2974 /proc/meminfo: memFree=23864052/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9824732 CPUtime=1798.36 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 46043 0 1 0 179568 268 0 0 20 0 22 0 104653193 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456183 988219 2301 9 0 2446860 0 [pid=2826/tid=2828] ppid=2823 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/2826/task/2828/stat : 2828 (java) S 2823 2826 955 0 -1 4202560 2461 0 1 0 59 3 0 0 20 0 22 0 104653194 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744373465976 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2829] ppid=2823 vsize=9824732 CPUtime=5.64 cores=0,2,4,6 /proc/2826/task/2829/stat : 2829 (java) S 2823 2826 955 0 -1 4202560 786 0 0 0 541 23 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744345918248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2830] ppid=2823 vsize=9824732 CPUtime=5.16 cores=0,2,4,6 /proc/2826/task/2830/stat : 2830 (java) S 2823 2826 955 0 -1 4202560 1769 0 0 0 495 21 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744215870120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2831] ppid=2823 vsize=9824732 CPUtime=5.18 cores=0,2,4,6 /proc/2826/task/2831/stat : 2831 (java) S 2823 2826 955 0 -1 4202560 1060 0 0 0 497 21 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744214817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2832] ppid=2823 vsize=9824732 CPUtime=5.2 cores=0,2,4,6 /proc/2826/task/2832/stat : 2832 (java) S 2823 2826 955 0 -1 4202560 1007 0 0 0 495 25 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744213765032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2833] ppid=2823 vsize=9824732 CPUtime=5.43 cores=0,2,4,6 /proc/2826/task/2833/stat : 2833 (java) S 2823 2826 955 0 -1 4202560 1180 0 0 0 519 24 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744212711720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2834] ppid=2823 vsize=9824732 CPUtime=5.57 cores=0,2,4,6 /proc/2826/task/2834/stat : 2834 (java) S 2823 2826 955 0 -1 4202560 1098 0 0 0 535 22 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744211658920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2835] ppid=2823 vsize=9824732 CPUtime=5.96 cores=0,2,4,6 /proc/2826/task/2835/stat : 2835 (java) S 2823 2826 955 0 -1 4202560 1160 0 0 0 564 32 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743874509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=5.78 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 1045 0 0 0 553 25 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=5.92 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 2805 0 0 0 586 6 0 0 20 0 22 0 104653196 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 12863 0 0 0 151 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 15219 0 0 0 184 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 50 0 0 0 16 14 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2857] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2857/stat : 2857 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104653405 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743852835752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2872] ppid=2823 vsize=9824732 CPUtime=464.93 cores=0,2,4,6 /proc/2826/task/2872/stat : 2872 (java) R 2823 2826 955 0 -1 4202560 15 0 0 0 46485 8 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743849311264 139744227329756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2873] ppid=2823 vsize=9824732 CPUtime=464.94 cores=0,2,4,6 /proc/2826/task/2873/stat : 2873 (java) R 2823 2826 955 0 -1 4202560 35 0 0 0 46486 8 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743850364480 139744228334201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2874] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2874/stat : 2874 (java) S 2823 2826 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743848261288 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.36 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 2826 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+892.901 s] /proc/loadavg: 4.12 4.24 4.14 5/217 2974 /proc/meminfo: memFree=23864052/32872528 swapFree=13256/481332 [pid=2826] ppid=2823 vsize=9824732 CPUtime=1798.36 cores=0,2,4,6 /proc/2826/stat : 2826 (java) S 2823 2826 955 0 -1 4202496 46043 0 1 0 179568 268 0 0 20 0 22 0 104653193 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 140735738986080 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2826/statm: 2456183 988219 2301 9 0 2446860 0 [pid=2826/tid=2828] ppid=2823 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/2826/task/2828/stat : 2828 (java) S 2823 2826 955 0 -1 4202560 2461 0 1 0 59 3 0 0 20 0 22 0 104653194 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744373465976 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2829] ppid=2823 vsize=9824732 CPUtime=5.64 cores=0,2,4,6 /proc/2826/task/2829/stat : 2829 (java) S 2823 2826 955 0 -1 4202560 786 0 0 0 541 23 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744345918248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2830] ppid=2823 vsize=9824732 CPUtime=5.16 cores=0,2,4,6 /proc/2826/task/2830/stat : 2830 (java) S 2823 2826 955 0 -1 4202560 1769 0 0 0 495 21 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744215870120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2831] ppid=2823 vsize=9824732 CPUtime=5.18 cores=0,2,4,6 /proc/2826/task/2831/stat : 2831 (java) S 2823 2826 955 0 -1 4202560 1060 0 0 0 497 21 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744214817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2832] ppid=2823 vsize=9824732 CPUtime=5.2 cores=0,2,4,6 /proc/2826/task/2832/stat : 2832 (java) S 2823 2826 955 0 -1 4202560 1007 0 0 0 495 25 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744213765032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2833] ppid=2823 vsize=9824732 CPUtime=5.43 cores=0,2,4,6 /proc/2826/task/2833/stat : 2833 (java) S 2823 2826 955 0 -1 4202560 1180 0 0 0 519 24 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744212711720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2834] ppid=2823 vsize=9824732 CPUtime=5.57 cores=0,2,4,6 /proc/2826/task/2834/stat : 2834 (java) S 2823 2826 955 0 -1 4202560 1098 0 0 0 535 22 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139744211658920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2835] ppid=2823 vsize=9824732 CPUtime=5.96 cores=0,2,4,6 /proc/2826/task/2835/stat : 2835 (java) S 2823 2826 955 0 -1 4202560 1160 0 0 0 564 32 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743874509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2836] ppid=2823 vsize=9824732 CPUtime=5.78 cores=0,2,4,6 /proc/2826/task/2836/stat : 2836 (java) S 2823 2826 955 0 -1 4202560 1045 0 0 0 553 25 0 0 20 0 22 0 104653195 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743873456552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2837] ppid=2823 vsize=9824732 CPUtime=5.92 cores=0,2,4,6 /proc/2826/task/2837/stat : 2837 (java) S 2823 2826 955 0 -1 4202560 2805 0 0 0 586 6 0 0 20 0 22 0 104653196 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743861258984 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2838] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2838/stat : 2838 (java) S 2823 2826 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743860205048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2839] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2839/stat : 2839 (java) S 2823 2826 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104653197 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743859152648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2826/tid=2840] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2840/stat : 2840 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743858101136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2841] ppid=2823 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/2826/task/2841/stat : 2841 (java) S 2823 2826 955 0 -1 4202560 12863 0 0 0 151 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743857047736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2842] ppid=2823 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/2826/task/2842/stat : 2842 (java) S 2823 2826 955 0 -1 4202560 15219 0 0 0 184 3 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743855994936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2843] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2843/stat : 2843 (java) S 2823 2826 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743854942840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2844] ppid=2823 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/2826/task/2844/stat : 2844 (java) S 2823 2826 955 0 -1 4202560 50 0 0 0 16 14 0 0 20 0 22 0 104653199 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743853890248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2857] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2857/stat : 2857 (java) S 2823 2826 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104653405 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743852835752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2826/tid=2872] ppid=2823 vsize=9824732 CPUtime=464.93 cores=0,2,4,6 /proc/2826/task/2872/stat : 2872 (java) R 2823 2826 955 0 -1 4202560 15 0 0 0 46485 8 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743849311264 139744227329756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2826/tid=2873] ppid=2823 vsize=9824732 CPUtime=464.94 cores=0,2,4,6 /proc/2826/task/2873/stat : 2873 (java) R 2823 2826 955 0 -1 4202560 35 0 0 0 46486 8 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743850364480 139744228334201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2826/tid=2874] ppid=2823 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2826/task/2874/stat : 2874 (java) S 2823 2826 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104695057 10060525568 988219 33554432000 1073741824 1073778376 140735738994944 139743848261288 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.36 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2826 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=299377 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=11542 # CPU time returned by wait4() is 1796.31 # while last known CPU time is 1798.36 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.78998 # lost CPU user time (s): 1.90997 # lost CPU system time (s): -0.12 Real time (s): 892.95 CPU time (s): 1800.15 CPU user time (s): 1797.59 CPU system time (s): 2.56 CPU usage (%): 201.596 Max. virtual memory (cumulated for all children) (KiB): 9825340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.3 system time used= 3.01154 maximum resident set size= 3980460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46079 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24383 involuntary context switches= 36665 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.71413 second user time and 6.88395 second system time The end
Begin job on node104 at 2016-06-06 17:33:03 IDJOB=4081237 IDBENCH=2238 IDSOLVER=2543 FILE ID=node104/4081237-1465227183 RUNJOBID= node104-1465220812-973 PBS_JOBID= 19843225 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081237-1465227183/watcher-4081237-1465227183 -o /tmp/evaluation-result-4081237-1465227183/solver-4081237-1465227183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081237-1465227183.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED=1709769949 node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28257252 kB Buffers: 14852 kB Cached: 84364 kB SwapCached: 1728 kB Active: 3363548 kB Inactive: 43232 kB Active(anon): 3307328 kB Inactive(anon): 2356 kB Active(file): 56220 kB Inactive(file): 40876 kB Unevictable: 481332 kB Mlocked: 13256 kB SwapTotal: 67108856 kB SwapFree: 67097224 kB Dirty: 1300 kB Writeback: 0 kB AnonPages: 3802044 kB Mapped: 15288 kB Shmem: 0 kB Slab: 565468 kB SReclaimable: 9524 kB SUnreclaim: 555944 kB KernelStack: 1576 kB PageTables: 11268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4061448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3713024 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= 71736 MiB End job on node104 at 2016-06-06 17:47:56