Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 80 | 1800.04 | 960.15 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
| MD5SUM | f97e3571862917880e13c63c8ac169f9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 65 |
| Best CPU time to get the best result obtained on this benchmark | 5.82011 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 65 |
| Optimality of the best value was proved | YES |
| Number of variables | 2459 |
| Total number of constraints | 873 |
| Number of constraints which are clauses | 873 |
| 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 | 1 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2459 |
| 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 | 2459 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2459 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.08 c version 2.3.2.v20120418 0.06/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.08 c java.vm.version 19.1-b02 0.06/0.08 c java.vm.vendor Sun Microsystems Inc. 0.06/0.08 c sun.arch.data.model 64 0.06/0.08 c java.version 1.6.0_24 0.06/0.08 c os.name Linux 0.06/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.08 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3687720-1337873768.opb 0.10/0.12 c reading problem ... 0.57/0.35 c ... done. Wall clock time 0.234s. 0.57/0.35 c declared #vars 2459 0.57/0.35 c #constraints 873 0.57/0.35 c constraints type 0.57/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 845 0.57/0.35 c org.sat4j.minisat.constraints.cnf.UnitClause => 28 0.57/0.35 c 873 constraints processed. 0.57/0.35 c constraints type 0.57/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 845 0.57/0.35 c org.sat4j.pb.constraints.pb.UnitClausePB => 28 0.57/0.35 c 873 constraints processed. 0.57/0.35 c objective function length is 2459 literals 0.79/0.40 c And the winner is solver0 0.85/0.85 c SATISFIABLE 0.85/0.85 c OPTIMIZING... 0.85/0.85 c Got one! Elapsed wall clock time (in seconds):0.74 0.85/0.86 o 84 1.00/0.91 c And the winner is solver0 1.13/1.37 c Got one! Elapsed wall clock time (in seconds):1.254 1.13/1.37 o 83 3.24/2.13 c And the winner is solver1 3.39/2.38 c Got one! Elapsed wall clock time (in seconds):2.263 3.39/2.38 o 82 3.66/2.55 c cleaning 2804 clauses out of 5622 with flag 1000/5622 4.53/2.95 c And the winner is solver1 4.64/3.38 c Got one! Elapsed wall clock time (in seconds):3.269 4.64/3.38 o 81 5.56/3.82 c cleaning 4130 clauses out of 8259 with flag 3000/11063 7.35/4.76 c cleaning 5039 clauses out of 10129 with flag 9000/17063 9.77/5.94 c cleaning 6033 clauses out of 12090 with flag 16000/24063 12.60/7.31 c cleaning 7028 clauses out of 14057 with flag 24000/32063 15.78/8.92 c cleaning 8014 clauses out of 16029 with flag 33000/41063 19.80/10.96 c cleaning 8976 clauses out of 18015 with flag 43000/51063 23.76/12.97 c cleaning 9985 clauses out of 20041 with flag 54002/62065 27.87/15.01 c cleaning 11011 clauses out of 22054 with flag 66000/74063 32.21/17.23 c cleaning 12006 clauses out of 24045 with flag 79002/87065 36.94/19.70 c cleaning 13019 clauses out of 26037 with flag 93000/101063 42.40/22.36 c cleaning 14007 clauses out of 28018 with flag 108000/116063 48.38/25.44 c cleaning 14967 clauses out of 30011 with flag 124000/132063 54.27/28.43 c cleaning 15999 clauses out of 32044 with flag 141000/149063 60.15/31.49 c cleaning 16995 clauses out of 34045 with flag 159000/167063 67.01/34.91 c cleaning 18020 clauses out of 36054 with flag 178004/186067 73.99/38.52 c cleaning 19002 clauses out of 38030 with flag 198000/206063 81.40/42.31 c cleaning 20008 clauses out of 40029 with flag 219001/227064 89.02/46.22 c cleaning 20984 clauses out of 42021 with flag 241001/249064 97.41/50.52 c cleaning 22010 clauses out of 44038 with flag 264002/272065 106.06/55.01 c cleaning 23004 clauses out of 46030 with flag 288004/296067 115.43/59.81 c cleaning 23981 clauses out of 48023 with flag 313001/321064 125.77/65.18 c cleaning 24986 clauses out of 50043 with flag 339002/347065 135.71/70.23 c cleaning 26024 clauses out of 52055 with flag 366000/374063 146.46/75.84 c cleaning 27004 clauses out of 54031 with flag 394000/402063 157.54/81.58 c cleaning 28014 clauses out of 56029 with flag 423002/431065 169.22/87.60 c cleaning 28970 clauses out of 58013 with flag 453000/461063 181.30/93.71 c cleaning 30001 clauses out of 60043 with flag 484000/492063 193.90/100.38 c cleaning 30975 clauses out of 62049 with flag 516007/524070 206.33/106.75 c cleaning 32015 clauses out of 64071 with flag 549004/557067 218.92/113.26 c cleaning 33025 clauses out of 66052 with flag 583000/591063 231.76/119.86 c cleaning 33974 clauses out of 68027 with flag 618000/626063 245.23/126.99 c cleaning 35011 clauses out of 70054 with flag 654001/662064 260.34/134.78 c cleaning 36005 clauses out of 72044 with flag 691002/699065 267.85/138.77 c And the winner is solver1 267.38/138.91 c Got one! Elapsed wall clock time (in seconds):138.792 267.38/138.91 o 80 268.98/139.72 c cleaning 30415 clauses out of 60846 with flag 5012/723872 271.43/141.30 c cleaning 18178 clauses out of 36420 with flag 11001/729861 274.71/143.35 c cleaning 12596 clauses out of 25244 with flag 18003/736863 277.96/145.23 c cleaning 10315 clauses out of 20645 with flag 26000/744860 281.39/147.24 c cleaning 9652 clauses out of 19331 with flag 35001/753861 285.03/149.37 c cleaning 9830 clauses out of 19679 with flag 45001/763861 289.49/152.07 c cleaning 10407 clauses out of 20848 with flag 56000/774860 294.31/154.72 c cleaning 11193 clauses out of 22441 with flag 68000/786860 299.17/157.49 c cleaning 12097 clauses out of 24249 with flag 81001/799861 304.58/160.49 c cleaning 13038 clauses out of 26151 with flag 95000/813860 310.23/163.80 c cleaning 14027 clauses out of 28114 with flag 110001/828861 316.23/167.02 c cleaning 15010 clauses out of 30086 with flag 126000/844860 322.48/170.42 c cleaning 16007 clauses out of 32078 with flag 143002/861862 328.88/173.99 c cleaning 16965 clauses out of 34069 with flag 161000/879860 336.10/178.01 c cleaning 17990 clauses out of 36104 with flag 180000/898860 343.08/181.87 c cleaning 19043 clauses out of 38116 with flag 200002/918862 350.79/186.07 c cleaning 19998 clauses out of 40073 with flag 221002/939862 358.71/190.31 c cleaning 21006 clauses out of 42073 with flag 243000/961860 367.19/195.16 c cleaning 22025 clauses out of 44067 with flag 266000/984860 375.90/199.83 c cleaning 22974 clauses out of 46042 with flag 290000/1008860 385.18/204.86 c cleaning 24004 clauses out of 48068 with flag 315000/1033860 394.84/210.06 c cleaning 25028 clauses out of 50066 with flag 341002/1059862 404.85/215.70 c cleaning 25989 clauses out of 52036 with flag 368000/1086860 415.68/221.41 c cleaning 27008 clauses out of 54048 with flag 396001/1114861 426.32/227.13 c cleaning 27998 clauses out of 56041 with flag 425002/1143862 437.15/232.97 c cleaning 29012 clauses out of 58041 with flag 455000/1173860 448.89/239.44 c cleaning 29953 clauses out of 60029 with flag 486000/1204860 461.02/245.94 c cleaning 31029 clauses out of 62078 with flag 518002/1236862 472.94/252.38 c cleaning 32011 clauses out of 64047 with flag 551000/1269860 486.02/259.39 c cleaning 33005 clauses out of 66036 with flag 585000/1303860 499.55/266.86 c cleaning 33977 clauses out of 68031 with flag 620000/1338860 513.61/274.37 c cleaning 35005 clauses out of 70055 with flag 656001/1374861 527.79/281.98 c cleaning 36012 clauses out of 72049 with flag 693000/1411860 543.90/291.37 c cleaning 37002 clauses out of 74037 with flag 731000/1449860 560.80/299.91 c cleaning 38001 clauses out of 76036 with flag 770001/1488861 575.90/307.97 c cleaning 39006 clauses out of 78034 with flag 810000/1528860 592.16/316.51 c cleaning 39998 clauses out of 80028 with flag 851000/1569860 609.88/326.14 c cleaning 40950 clauses out of 82030 with flag 893000/1611860 626.75/335.07 c cleaning 42022 clauses out of 84080 with flag 936000/1654860 644.61/344.44 c cleaning 43021 clauses out of 86059 with flag 980001/1698861 662.83/354.09 c cleaning 44014 clauses out of 88037 with flag 1025000/1743860 682.01/364.47 c cleaning 45000 clauses out of 90027 with flag 1071004/1789864 703.26/375.70 c cleaning 45991 clauses out of 92023 with flag 1118000/1836860 724.84/387.06 c cleaning 46975 clauses out of 94032 with flag 1166000/1884860 744.77/397.69 c cleaning 47994 clauses out of 96057 with flag 1215000/1933860 768.59/410.50 c cleaning 49001 clauses out of 98063 with flag 1265000/1983860 788.88/421.31 c cleaning 49991 clauses out of 100062 with flag 1316000/2034860 809.35/432.28 c cleaning 51031 clauses out of 102071 with flag 1368000/2086860 830.57/443.54 c cleaning 51999 clauses out of 104042 with flag 1421002/2139862 853.59/456.13 c cleaning 53004 clauses out of 106041 with flag 1475000/2193860 877.19/468.62 c cleaning 53995 clauses out of 108037 with flag 1530000/2248860 903.76/483.42 c cleaning 55011 clauses out of 110047 with flag 1586005/2304865 930.68/497.74 c cleaning 55998 clauses out of 112031 with flag 1643000/2361860 955.19/510.64 c cleaning 56972 clauses out of 114034 with flag 1701001/2419861 980.17/523.77 c cleaning 58024 clauses out of 116064 with flag 1760003/2478863 1005.93/537.34 c cleaning 58990 clauses out of 118043 with flag 1820006/2538866 1032.94/552.08 c cleaning 59987 clauses out of 120047 with flag 1881000/2599860 1061.52/566.90 c cleaning 61015 clauses out of 122060 with flag 1943000/2661860 1089.82/581.81 c cleaning 61981 clauses out of 124051 with flag 2006006/2724866 1116.99/596.16 c cleaning 62979 clauses out of 126064 with flag 2070000/2788860 1148.48/613.13 c cleaning 64015 clauses out of 128085 with flag 2135000/2853860 1178.88/629.13 c cleaning 65031 clauses out of 130070 with flag 2201000/2919860 1206.27/643.60 c cleaning 65972 clauses out of 132039 with flag 2268000/2986860 1239.83/662.72 c cleaning 67016 clauses out of 134067 with flag 2336000/3054860 1269.18/678.28 c cleaning 68012 clauses out of 136053 with flag 2405002/3123862 1297.24/693.10 c cleaning 69010 clauses out of 138039 with flag 2475000/3193860 1327.66/709.29 c cleaning 70015 clauses out of 140030 with flag 2546001/3264861 1364.47/729.12 c cleaning 71007 clauses out of 142014 with flag 2618000/3336860 1394.88/745.24 c cleaning 71972 clauses out of 144010 with flag 2691003/3409863 1428.25/762.88 c cleaning 72999 clauses out of 146035 with flag 2765000/3483860 1459.66/779.49 c cleaning 74000 clauses out of 148039 with flag 2840003/3558863 1495.27/798.76 c cleaning 74988 clauses out of 150036 with flag 2916000/3634860 1528.69/816.37 c cleaning 75995 clauses out of 152048 with flag 2993000/3711860 1560.42/833.07 c cleaning 77027 clauses out of 154056 with flag 3071003/3789863 1595.66/851.52 c cleaning 78007 clauses out of 156030 with flag 3150004/3868864 1629.43/869.98 c cleaning 78983 clauses out of 158019 with flag 3230000/3948860 1663.62/887.97 c cleaning 79996 clauses out of 160036 with flag 3311000/4029860 1698.01/906.02 c cleaning 80989 clauses out of 162040 with flag 3393000/4111860 1733.98/924.91 c cleaning 81997 clauses out of 164051 with flag 3476000/4194860 1775.36/947.17 c cleaning 82980 clauses out of 166054 with flag 3560000/4278860 1799.57/960.11 c starts : 24 1799.57/960.11 c conflicts : 3799 1799.57/960.11 c decisions : 165462 1799.57/960.11 c propagations : 590954 1799.57/960.11 c inspects : 35105571 1799.57/960.11 c shortcuts : 0 1799.57/960.11 c learnt literals : 0 1799.57/960.11 c learnt binary clauses : 0 1799.57/960.11 c learnt ternary clauses : 0 1799.57/960.11 c learnt constraints : 3797 1799.57/960.11 c ignored constraints : 0 1799.57/960.11 c root simplifications : 0 1799.57/960.11 c removed literals (reason simplification) : 0 1799.57/960.11 c reason swapping (by a shorter reason) : 0 1799.57/960.11 c Calls to reduceDB : 0 1799.57/960.11 c number of reductions to clauses (during analyze) : 0 1799.57/960.11 c number of learned constraints concerned by reduction : 0 1799.57/960.11 c number of learning phase by resolution : 0 1799.57/960.11 c number of learning phase by cutting planes : 0 1799.57/960.11 c speed (assignments/second) : 616.3893046566569 1799.57/960.11 c non guided choices 0 1799.57/960.11 c learnt constraints type 1799.57/960.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 577 1799.57/960.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3220 1799.57/960.11 c constraints type 1799.57/960.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 845 1799.57/960.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1799.57/960.11 c org.sat4j.minisat.constraints.cnf.UnitClause => 28 1799.57/960.11 c 874 constraints processed. 1799.57/960.11 c constraints type 1799.57/960.11 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 845 1799.57/960.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1799.57/960.11 c org.sat4j.pb.constraints.pb.UnitClausePB => 28 1799.57/960.11 c 874 constraints processed. 1799.57/960.11 s SATISFIABLE 1799.57/960.12 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 1799.57/960.12 c objective function=80 1799.57/960.12 c Total wall clock time (in seconds): 960.01
OK 80
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687720-1337873768/watcher-3687720-1337873768 -o /tmp/evaluation-result-3687720-1337873768/solver-3687720-1337873768 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687720-1337873768.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.74 3.79 3.30 4/195 1621 /proc/meminfo: memFree=26177284/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1621/stat : 1621 (java) R 1619 1621 718 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 253502242 23793664 564 33554432000 1073741824 1073778376 140734746172704 140734746161768 229346687553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 5809 576 431 9 0 128 0 [startup+0.0693351 s] /proc/loadavg: 3.74 3.79 3.30 4/195 1621 /proc/meminfo: memFree=26177284/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 3332 0 1 0 5 1 0 0 20 0 18 0 253502242 9787813888 4030 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2389603 4030 1771 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.100385 s] /proc/loadavg: 3.74 3.79 3.30 4/195 1621 /proc/meminfo: memFree=26177284/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 4383 0 1 0 9 1 0 0 20 0 18 0 253502242 9787813888 5055 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2389603 5056 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300213 s] /proc/loadavg: 3.74 3.79 3.30 4/195 1621 /proc/meminfo: memFree=26177284/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9558412 CPUtime=0.57 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 7706 0 1 0 55 2 0 0 20 0 18 0 253502242 9787813888 9424 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2389603 9424 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9558412 [startup+0.700258 s] /proc/loadavg: 3.74 3.79 3.30 4/195 1621 /proc/meminfo: memFree=26177284/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=0.85 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 8456 0 1 0 81 4 0 0 20 0 19 0 253502242 10060460032 14170 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 14170 2242 9 0 2446860 0 Current children cumulated CPU time (s) 0.85 Current children cumulated vsize (KiB) 9824668 [startup+1.5007 s] /proc/loadavg: 3.74 3.79 3.30 3/214 1648 /proc/meminfo: memFree=26120624/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=1.62 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 10518 0 1 0 155 7 0 0 20 0 22 0 253502242 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 18245 2252 9 0 2446860 0 [pid=1621/tid=1623] ppid=1619 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/1621/task/1623/stat : 1623 (java) S 1619 1621 718 0 -1 4202560 2520 0 1 0 34 1 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221424010232 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1625] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1625/stat : 1625 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221267630504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1626] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1626/stat : 1626 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221266577960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1627] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1627/stat : 1627 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221265524904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253502244 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) R 1619 1621 718 0 -1 4202560 3922 0 0 0 36 0 0 0 20 0 22 0 253502247 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221243853624 140221430471656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=0.4 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) R 1619 1621 718 0 -1 4202560 2751 0 0 0 40 0 0 0 20 0 22 0 253502247 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221242793920 140221430993635 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502248 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1645] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1645/stat : 1645 (java) S 1619 1621 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502279 10060460032 18245 33554432000 1073741824 1073778376 140734746172704 140221236482984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9824668 [startup+3.10075 s] /proc/loadavg: 3.74 3.79 3.30 8/217 1651 /proc/meminfo: memFree=26093280/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=4.64 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 16914 0 1 0 452 12 0 0 20 0 19 0 253502242 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 29932 2281 9 0 2446860 0 [pid=1621/tid=1623] ppid=1619 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/1621/task/1623/stat : 1623 (java) S 1619 1621 718 0 -1 4202560 2521 0 1 0 35 1 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221424010232 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1625] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1625/stat : 1625 (java) S 1619 1621 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221267630504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1626] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1626/stat : 1626 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221266577960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1627] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1627/stat : 1627 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221265524904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253502243 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 253502244 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253502245 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253502245 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502247 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.54 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) S 1619 1621 718 0 -1 4202560 4147 0 0 0 54 0 0 0 20 0 19 0 253502247 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221243853624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=0.86 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) S 1619 1621 718 0 -1 4202560 8821 0 0 0 84 2 0 0 20 0 19 0 253502247 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221242801080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502247 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253502248 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1651] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1651/stat : 1651 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253502380 10060460032 29932 33554432000 1073741824 1073778376 140734746172704 140221237535912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 9824668 [startup+6.30066 s] /proc/loadavg: 3.76 3.80 3.30 13/217 1660 /proc/meminfo: memFree=26065040/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=10.6 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 17373 0 1 0 1047 13 0 0 20 0 22 0 253502242 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 32511 2286 9 0 2446860 0 [pid=1621/tid=1623] ppid=1619 vsize=9824668 CPUtime=0.36 cores=1,3,5,7 /proc/1621/task/1623/stat : 1623 (java) S 1619 1621 718 0 -1 4202560 2521 0 1 0 35 1 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221424010232 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1625] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1625/stat : 1625 (java) S 1619 1621 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221267630504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1626] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1626/stat : 1626 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221266577960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1627] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1627/stat : 1627 (java) S 1619 1621 718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221265524904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502243 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=0.11 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 36 0 0 0 11 0 0 0 20 0 22 0 253502244 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.68 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) S 1619 1621 718 0 -1 4202560 4565 0 0 0 68 0 0 0 20 0 22 0 253502247 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221243853624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=1 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) S 1619 1621 718 0 -1 4202560 8829 0 0 0 98 2 0 0 20 0 22 0 253502247 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221242801080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502248 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1651] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1651/stat : 1651 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502380 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221237535912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1658] ppid=1619 vsize=9824668 CPUtime=2.76 cores=1,3,5,7 /proc/1621/task/1658/stat : 1658 (java) R 1619 1621 718 0 -1 4202560 6 0 0 0 276 0 0 0 20 0 22 0 253502581 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221236483056 140221296767454 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1659] ppid=1619 vsize=9824668 CPUtime=2.74 cores=1,3,5,7 /proc/1621/task/1659/stat : 1659 (java) R 1619 1621 718 0 -1 4202560 4 0 0 0 274 0 0 0 20 0 22 0 253502581 10060460032 32511 33554432000 1073741824 1073778376 140734746172704 140221238585936 140221296734286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=1.9 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 933 0 0 0 173 17 0 0 20 0 22 0 253502243 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 1055 0 0 0 143 12 0 0 20 0 22 0 253502243 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=1.8 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 947 0 0 0 166 14 0 0 20 0 22 0 253502243 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=1.97 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 1026 0 0 0 180 17 0 0 20 0 22 0 253502243 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=1.85 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 511 0 0 0 171 14 0 0 20 0 22 0 253502243 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=122.51 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 3184 0 0 0 12220 31 0 0 20 0 22 0 253502244 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) S 1619 1621 718 0 -1 4202560 5387 0 0 0 81 0 0 0 20 0 22 0 253502247 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221243853624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=1.23 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) S 1619 1621 718 0 -1 4202560 8859 0 0 0 121 2 0 0 20 0 22 0 253502247 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221242801080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0.31 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 55 0 0 0 17 14 0 0 20 0 22 0 253502248 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1651] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1651/stat : 1651 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502380 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221237535912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1758] ppid=1619 vsize=9824668 CPUtime=684.66 cores=1,3,5,7 /proc/1621/task/1758/stat : 1758 (java) R 1619 1621 718 0 -1 4202560 13 0 0 0 68456 10 0 0 20 0 22 0 253516133 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221236482416 140221296767413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1759] ppid=1619 vsize=9824668 CPUtime=684.63 cores=1,3,5,7 /proc/1621/task/1759/stat : 1759 (java) R 1619 1621 718 0 -1 4202560 85 0 0 0 68449 14 0 0 20 0 22 0 253516134 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221238585792 140221297102151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1760] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1760/stat : 1760 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516134 10060460032 582261 33554432000 1073741824 1073778376 140734746172704 140221239640872 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1765.75 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+960.101 s] /proc/loadavg: 3.94 3.79 3.58 5/217 1772 /proc/meminfo: memFree=25301024/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=1799.57 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 28596 0 1 0 179772 185 0 0 20 0 22 0 253502242 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 582259 2288 9 0 2446860 0 [pid=1621/tid=1623] ppid=1619 vsize=9824668 CPUtime=0.42 cores=1,3,5,7 /proc/1621/task/1623/stat : 1623 (java) S 1619 1621 718 0 -1 4202560 2617 0 1 0 39 3 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221424010232 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1625] ppid=1619 vsize=9824668 CPUtime=1.65 cores=1,3,5,7 /proc/1621/task/1625/stat : 1625 (java) S 1619 1621 718 0 -1 4202560 486 0 0 0 152 13 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221267630504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1626] ppid=1619 vsize=9824668 CPUtime=1.6 cores=1,3,5,7 /proc/1621/task/1626/stat : 1626 (java) S 1619 1621 718 0 -1 4202560 734 0 0 0 149 11 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221266577960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1627] ppid=1619 vsize=9824668 CPUtime=1.89 cores=1,3,5,7 /proc/1621/task/1627/stat : 1627 (java) S 1619 1621 718 0 -1 4202560 980 0 0 0 173 16 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221265524904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=1.91 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 933 0 0 0 174 17 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 1055 0 0 0 145 12 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=1.81 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 947 0 0 0 167 14 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=1.98 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 1026 0 0 0 181 17 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 511 0 0 0 172 14 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=124.38 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 3186 0 0 0 12405 33 0 0 20 0 22 0 253502244 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) S 1619 1621 718 0 -1 4202560 5387 0 0 0 81 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221243853624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=1.23 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) S 1619 1621 718 0 -1 4202560 8859 0 0 0 121 2 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221242801080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0.32 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 55 0 0 0 18 14 0 0 20 0 22 0 253502248 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1651] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1651/stat : 1651 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502380 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221237535912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1758] ppid=1619 vsize=9824668 CPUtime=700.52 cores=1,3,5,7 /proc/1621/task/1758/stat : 1758 (java) R 1619 1621 718 0 -1 4202560 13 0 0 0 70042 10 0 0 20 0 22 0 253516133 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221236482416 140221296768555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1759] ppid=1619 vsize=9824668 CPUtime=700.51 cores=1,3,5,7 /proc/1621/task/1759/stat : 1759 (java) R 1619 1621 718 0 -1 4202560 85 0 0 0 70037 14 0 0 20 0 22 0 253516134 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221238585792 140221297102151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1760] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1760/stat : 1760 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516134 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221239640872 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+960.101 s] /proc/loadavg: 3.94 3.79 3.58 5/217 1772 /proc/meminfo: memFree=25301024/32873852 swapFree=6848/6848 [pid=1621] ppid=1619 vsize=9824668 CPUtime=1799.57 cores=1,3,5,7 /proc/1621/stat : 1621 (java) S 1619 1621 718 0 -1 4202496 28596 0 1 0 179772 185 0 0 20 0 22 0 253502242 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140734746163840 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1621/statm: 2456167 582259 2288 9 0 2446860 0 [pid=1621/tid=1623] ppid=1619 vsize=9824668 CPUtime=0.42 cores=1,3,5,7 /proc/1621/task/1623/stat : 1623 (java) S 1619 1621 718 0 -1 4202560 2617 0 1 0 39 3 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221424010232 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1625] ppid=1619 vsize=9824668 CPUtime=1.65 cores=1,3,5,7 /proc/1621/task/1625/stat : 1625 (java) S 1619 1621 718 0 -1 4202560 486 0 0 0 152 13 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221267630504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1626] ppid=1619 vsize=9824668 CPUtime=1.6 cores=1,3,5,7 /proc/1621/task/1626/stat : 1626 (java) S 1619 1621 718 0 -1 4202560 734 0 0 0 149 11 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221266577960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1627] ppid=1619 vsize=9824668 CPUtime=1.89 cores=1,3,5,7 /proc/1621/task/1627/stat : 1627 (java) S 1619 1621 718 0 -1 4202560 980 0 0 0 173 16 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221265524904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1628] ppid=1619 vsize=9824668 CPUtime=1.91 cores=1,3,5,7 /proc/1621/task/1628/stat : 1628 (java) S 1619 1621 718 0 -1 4202560 933 0 0 0 174 17 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221264472360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1629] ppid=1619 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/1621/task/1629/stat : 1629 (java) S 1619 1621 718 0 -1 4202560 1055 0 0 0 145 12 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221263420328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1630] ppid=1619 vsize=9824668 CPUtime=1.81 cores=1,3,5,7 /proc/1621/task/1630/stat : 1630 (java) S 1619 1621 718 0 -1 4202560 947 0 0 0 167 14 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221262367784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1631] ppid=1619 vsize=9824668 CPUtime=1.98 cores=1,3,5,7 /proc/1621/task/1631/stat : 1631 (java) S 1619 1621 718 0 -1 4202560 1026 0 0 0 181 17 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221261314728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1632] ppid=1619 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/1621/task/1632/stat : 1632 (java) S 1619 1621 718 0 -1 4202560 511 0 0 0 172 14 0 0 20 0 22 0 253502243 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221260262184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1633] ppid=1619 vsize=9824668 CPUtime=124.38 cores=1,3,5,7 /proc/1621/task/1633/stat : 1633 (java) S 1619 1621 718 0 -1 4202560 3186 0 0 0 12405 33 0 0 20 0 22 0 253502244 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221248063848 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1634] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1634/stat : 1634 (java) S 1619 1621 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221247010168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1635] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1635/stat : 1635 (java) S 1619 1621 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502245 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221245957000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1636] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1636/stat : 1636 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221244905744 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1637] ppid=1619 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/1621/task/1637/stat : 1637 (java) S 1619 1621 718 0 -1 4202560 5387 0 0 0 81 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221243853624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1638] ppid=1619 vsize=9824668 CPUtime=1.23 cores=1,3,5,7 /proc/1621/task/1638/stat : 1638 (java) S 1619 1621 718 0 -1 4202560 8859 0 0 0 121 2 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221242801080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1640] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1640/stat : 1640 (java) S 1619 1621 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502247 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221241748216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1621/tid=1641] ppid=1619 vsize=9824668 CPUtime=0.32 cores=1,3,5,7 /proc/1621/task/1641/stat : 1641 (java) S 1619 1621 718 0 -1 4202560 55 0 0 0 18 14 0 0 20 0 22 0 253502248 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221240695880 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1621/tid=1651] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1651/stat : 1651 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253502380 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221237535912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1758] ppid=1619 vsize=9824668 CPUtime=700.52 cores=1,3,5,7 /proc/1621/task/1758/stat : 1758 (java) R 1619 1621 718 0 -1 4202560 13 0 0 0 70042 10 0 0 20 0 22 0 253516133 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221236482416 140221296768555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1621/tid=1759] ppid=1619 vsize=9824668 CPUtime=700.51 cores=1,3,5,7 /proc/1621/task/1759/stat : 1759 (java) R 1619 1621 718 0 -1 4202560 85 0 0 0 70037 14 0 0 20 0 22 0 253516134 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221238585792 140221297102151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1621/tid=1760] ppid=1619 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1621/task/1760/stat : 1760 (java) S 1619 1621 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516134 10060460032 582259 33554432000 1073741824 1073778376 140734746172704 140221239640872 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1621 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=828296 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=222662 # CPU time returned by wait4() is 1796.05 # while last known CPU time is 1799.57 # # 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): 0.470001 # lost CPU user time (s): 0.5 # lost CPU system time (s): -0.03 Real time (s): 960.15 CPU time (s): 1800.04 CPU user time (s): 1798.22 CPU system time (s): 1.82 CPU usage (%): 187.475 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.83 system time used= 2.22266 maximum resident set size= 2329156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28628 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25474 involuntary context switches= 30027 runsolver used 3.48047 second user time and 9.33458 second system time The end
Begin job on node129 at 2012-05-24 17:36:08 IDJOB=3687720 IDBENCH=2039 IDSOLVER=2268 FILE ID=node129/3687720-1337873768 RUNJOBID= node129-1337871881-736 PBS_JOBID= 14620075 Free space on /tmp= 71640 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687720-1337873768/watcher-3687720-1337873768 -o /tmp/evaluation-result-3687720-1337873768/solver-3687720-1337873768 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687720-1337873768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED=1789182882 node129.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.957 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.91 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.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.957 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 : 5331.92 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.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 26177176 kB Buffers: 212728 kB Cached: 2160032 kB SwapCached: 0 kB Active: 4076492 kB Inactive: 1832408 kB Active(anon): 3538568 kB Inactive(anon): 0 kB Active(file): 537924 kB Inactive(file): 1832408 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 3581336 kB Mapped: 22612 kB Shmem: 204 kB Slab: 626756 kB SReclaimable: 69068 kB SUnreclaim: 557688 kB KernelStack: 1768 kB PageTables: 11096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 4847828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 3483648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71640 MiB End job on node129 at 2012-05-24 17:52:10