Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | -46 | 1800.22 | 1793.44 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb |
| MD5SUM | 62a6bdf0e089cd0b8a79007277394096 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -48 |
| Best CPU time to get the best result obtained on this benchmark | 1797.44 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -54 |
| Optimality of the best value was proved | NO |
| Number of variables | 1400 |
| Total number of constraints | 109401 |
| Number of constraints which are clauses | 109401 |
| 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 | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 12995394264 0.03/0.09 c Max memory 13063553024 0.03/0.09 c Total memory 13063553024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458754-1307148504.opb 0.10/0.11 c reading problem ... 0.99/0.75 c ... done. Wall clock time 0.641s. 0.99/0.75 c #vars 1400 0.99/0.75 c #constraints 109401 0.99/0.75 c constraints type 0.99/0.75 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109401 0.99/0.78 c SATISFIABLE 0.99/0.78 c OPTIMIZING... 0.99/0.78 c Got one! Elapsed wall clock time (in seconds):0.67 0.99/0.78 o -38 1.11/0.88 c Got one! Elapsed wall clock time (in seconds):0.765 1.11/0.88 o -39 1.40/0.93 c Got one! Elapsed wall clock time (in seconds):0.822 1.40/0.93 o -40 2.06/1.59 c Got one! Elapsed wall clock time (in seconds):1.482 2.06/1.59 o -41 2.94/2.34 c Got one! Elapsed wall clock time (in seconds):2.231 2.94/2.34 o -42 3.30/2.64 c cleaning 3034 clauses out of 6068 with flag 1000/6068 4.07/3.39 c Got one! Elapsed wall clock time (in seconds):3.275 4.07/3.39 o -43 4.98/4.24 c cleaning 4191 clauses out of 8381 with flag 3000/11415 5.50/4.79 c Got one! Elapsed wall clock time (in seconds):4.674 5.50/4.79 o -44 6.60/5.86 c cleaning 5015 clauses out of 10029 with flag 4001/17254 8.42/7.64 c cleaning 5507 clauses out of 11013 with flag 10000/23253 10.67/9.82 c cleaning 6250 clauses out of 12507 with flag 17001/30254 13.04/12.15 c cleaning 7126 clauses out of 14256 with flag 25000/38253 16.07/15.16 c cleaning 8061 clauses out of 16130 with flag 34000/47253 19.38/18.46 c cleaning 9030 clauses out of 18070 with flag 44001/57254 23.41/22.47 c cleaning 10005 clauses out of 20039 with flag 55000/68253 27.82/26.81 c cleaning 11016 clauses out of 22035 with flag 67001/80254 32.45/31.48 c cleaning 11997 clauses out of 24018 with flag 80000/93253 38.17/37.12 c cleaning 13011 clauses out of 26022 with flag 94001/107254 44.21/43.17 c cleaning 13991 clauses out of 28011 with flag 109001/122254 50.05/48.99 c cleaning 15006 clauses out of 30019 with flag 125000/138253 57.29/56.15 c cleaning 16007 clauses out of 32013 with flag 142000/155253 65.29/64.16 c cleaning 17000 clauses out of 34006 with flag 160000/173253 71.95/70.79 c cleaning 17989 clauses out of 36008 with flag 179002/192255 79.88/78.62 c cleaning 19000 clauses out of 38017 with flag 199000/212253 88.60/87.30 c cleaning 20001 clauses out of 40017 with flag 220000/233253 99.04/97.74 c cleaning 21002 clauses out of 42016 with flag 242000/255253 107.76/106.41 c cleaning 22001 clauses out of 44015 with flag 265001/278254 117.61/116.22 c cleaning 23002 clauses out of 46013 with flag 289000/302253 128.13/126.77 c cleaning 23993 clauses out of 48011 with flag 314000/327253 139.18/137.77 c cleaning 25004 clauses out of 50018 with flag 340000/353253 151.95/150.40 c cleaning 26003 clauses out of 52015 with flag 367001/380254 162.90/161.36 c cleaning 27002 clauses out of 54011 with flag 395000/408253 174.26/172.62 c cleaning 27994 clauses out of 56009 with flag 424000/437253 186.71/185.10 c cleaning 29008 clauses out of 58017 with flag 454002/467255 199.47/197.78 c cleaning 30004 clauses out of 60007 with flag 485000/498253 213.82/212.09 c cleaning 31003 clauses out of 62005 with flag 517002/530255 231.05/229.24 c cleaning 31998 clauses out of 64000 with flag 550000/563253 248.52/246.68 c cleaning 32993 clauses out of 66002 with flag 584000/597253 262.79/260.88 c cleaning 34000 clauses out of 68009 with flag 619000/632253 278.47/276.42 c cleaning 35002 clauses out of 70009 with flag 655000/668253 281.23/279.15 c Got one! Elapsed wall clock time (in seconds):279.039 281.23/279.15 o -45 283.24/281.13 c cleaning 23298 clauses out of 46600 with flag 5001/679846 285.86/283.77 c cleaning 14646 clauses out of 29301 with flag 11000/685845 288.86/286.72 c cleaning 10828 clauses out of 21655 with flag 18000/692845 291.97/289.86 c cleaning 9407 clauses out of 18827 with flag 26000/700845 295.78/293.61 c cleaning 9209 clauses out of 18421 with flag 35001/709846 299.98/297.88 c cleaning 9600 clauses out of 19211 with flag 45000/719845 304.29/302.10 c cleaning 10303 clauses out of 20612 with flag 56001/730846 309.50/307.35 c cleaning 11149 clauses out of 22308 with flag 68000/742845 315.42/313.26 c cleaning 12069 clauses out of 24159 with flag 81000/755845 322.13/319.94 c cleaning 13041 clauses out of 26090 with flag 95000/769845 329.24/327.00 c cleaning 14015 clauses out of 28049 with flag 110000/784845 335.47/333.25 c cleaning 15011 clauses out of 30034 with flag 126000/800845 343.09/340.84 c cleaning 16012 clauses out of 32023 with flag 143000/817845 351.12/348.89 c cleaning 17000 clauses out of 34011 with flag 161000/835845 359.63/357.33 c cleaning 18000 clauses out of 36011 with flag 180000/854845 368.55/366.28 c cleaning 19000 clauses out of 38011 with flag 200000/874845 376.77/374.48 c cleaning 20004 clauses out of 40011 with flag 221000/895845 385.31/382.91 c cleaning 20999 clauses out of 42007 with flag 243000/917845 395.15/392.73 c cleaning 22000 clauses out of 44009 with flag 266001/940846 405.37/402.96 c cleaning 22998 clauses out of 46008 with flag 290000/964845 415.89/413.49 c cleaning 23996 clauses out of 48011 with flag 315001/989846 428.62/426.15 c cleaning 25008 clauses out of 50016 with flag 341002/1015847 441.67/439.14 c cleaning 26000 clauses out of 52006 with flag 368000/1042845 456.02/453.49 c cleaning 27001 clauses out of 54006 with flag 396000/1070845 468.97/466.32 c cleaning 27994 clauses out of 56005 with flag 425000/1099845 483.60/480.95 c cleaning 29004 clauses out of 58012 with flag 455001/1129846 499.55/496.87 c cleaning 29992 clauses out of 60007 with flag 486000/1160845 514.10/511.35 c cleaning 31005 clauses out of 62015 with flag 518000/1192845 530.77/527.92 c cleaning 32005 clauses out of 64011 with flag 551001/1225846 547.62/544.78 c cleaning 33001 clauses out of 66006 with flag 585001/1259846 565.66/562.76 c cleaning 34001 clauses out of 68005 with flag 620001/1294846 584.71/581.73 c cleaning 34992 clauses out of 70003 with flag 656000/1330845 599.35/596.22 c cleaning 36001 clauses out of 72011 with flag 693000/1367845 615.77/612.64 c cleaning 37000 clauses out of 74010 with flag 731000/1405845 619.44/616.27 c Got one! Elapsed wall clock time (in seconds):616.159 619.44/616.27 o -46 621.35/618.16 c cleaning 25342 clauses out of 50689 with flag 5000/1419524 624.07/620.89 c cleaning 15671 clauses out of 31347 with flag 11000/1425524 627.27/624.00 c cleaning 11326 clauses out of 22676 with flag 18000/1432524 630.78/627.59 c cleaning 9670 clauses out of 19351 with flag 26001/1440525 634.88/631.62 c cleaning 9339 clauses out of 18681 with flag 35001/1449525 639.49/636.25 c cleaning 9660 clauses out of 19341 with flag 45000/1459524 643.80/640.59 c cleaning 10339 clauses out of 20682 with flag 56001/1470525 648.72/645.44 c cleaning 11165 clauses out of 22343 with flag 68001/1482525 654.12/650.88 c cleaning 12077 clauses out of 24177 with flag 81000/1495524 660.44/657.16 c cleaning 13046 clauses out of 26101 with flag 95001/1509525 667.15/663.80 c cleaning 14020 clauses out of 28054 with flag 110000/1524524 673.99/670.67 c cleaning 15014 clauses out of 30035 with flag 126001/1540525 681.70/678.32 c cleaning 16005 clauses out of 32020 with flag 143000/1557524 690.21/686.83 c cleaning 17006 clauses out of 34015 with flag 161000/1575524 700.63/697.27 c cleaning 18005 clauses out of 36009 with flag 180000/1594524 710.24/706.88 c cleaning 18991 clauses out of 38004 with flag 200000/1614524 719.08/715.61 c cleaning 20004 clauses out of 40013 with flag 221000/1635524 728.50/725.09 c cleaning 20997 clauses out of 42009 with flag 243000/1657524 739.32/735.87 c cleaning 22006 clauses out of 44012 with flag 266000/1680524 752.56/749.11 c cleaning 23004 clauses out of 46007 with flag 290001/1704525 764.47/760.91 c cleaning 23993 clauses out of 48002 with flag 315000/1729524 777.21/773.63 c cleaning 24998 clauses out of 50009 with flag 341000/1755524 789.06/785.48 c cleaning 26003 clauses out of 52011 with flag 368000/1782524 802.18/798.52 c cleaning 27000 clauses out of 54009 with flag 396001/1810525 817.20/813.52 c cleaning 27999 clauses out of 56008 with flag 425000/1839524 831.75/828.07 c cleaning 28999 clauses out of 58010 with flag 455001/1869525 848.38/844.64 c cleaning 30000 clauses out of 60010 with flag 486000/1900524 866.61/862.80 c cleaning 30983 clauses out of 62010 with flag 518000/1932524 885.24/881.41 c cleaning 31998 clauses out of 64027 with flag 551000/1965524 900.41/896.55 c cleaning 33008 clauses out of 66029 with flag 585000/1999524 914.17/910.28 c cleaning 34002 clauses out of 68021 with flag 620000/2034524 929.93/925.96 c cleaning 34995 clauses out of 70020 with flag 656001/2070525 946.40/942.30 c cleaning 36002 clauses out of 72024 with flag 693000/2107524 963.26/959.12 c cleaning 37010 clauses out of 74023 with flag 731001/2145525 983.43/979.22 c cleaning 37995 clauses out of 76012 with flag 770000/2184524 1002.02/997.72 c cleaning 39009 clauses out of 78017 with flag 810000/2224524 1024.27/1019.96 c cleaning 40000 clauses out of 80008 with flag 851000/2265524 1045.75/1041.35 c cleaning 41002 clauses out of 82009 with flag 893001/2307525 1068.39/1063.97 c cleaning 41990 clauses out of 84006 with flag 936000/2350524 1093.36/1088.84 c cleaning 43009 clauses out of 86017 with flag 980001/2394525 1119.11/1114.56 c cleaning 43998 clauses out of 88007 with flag 1025000/2439524 1142.95/1138.35 c cleaning 44995 clauses out of 90009 with flag 1071000/2485524 1168.44/1163.77 c cleaning 46001 clauses out of 92014 with flag 1118000/2532524 1196.77/1192.03 c cleaning 47007 clauses out of 94013 with flag 1166000/2580524 1225.71/1220.81 c cleaning 47999 clauses out of 96007 with flag 1215001/2629525 1253.35/1248.45 c cleaning 48997 clauses out of 98007 with flag 1265000/2679524 1282.24/1277.24 c cleaning 49998 clauses out of 100010 with flag 1316000/2730524 1311.06/1305.94 c cleaning 50997 clauses out of 102012 with flag 1368000/2782524 1343.52/1338.37 c cleaning 52002 clauses out of 104015 with flag 1421000/2835524 1379.89/1374.69 c cleaning 53003 clauses out of 106013 with flag 1475000/2889524 1413.61/1408.23 c cleaning 54000 clauses out of 108010 with flag 1530000/2944524 1445.23/1439.74 c cleaning 54990 clauses out of 110010 with flag 1586000/3000524 1469.67/1464.06 c cleaning 55998 clauses out of 112020 with flag 1643000/3057524 1498.73/1493.02 c cleaning 57009 clauses out of 114022 with flag 1701000/3115524 1532.53/1526.79 c cleaning 58003 clauses out of 116015 with flag 1760002/3174526 1564.54/1558.62 c cleaning 59006 clauses out of 118012 with flag 1820002/3234526 1600.78/1594.71 c cleaning 59994 clauses out of 120004 with flag 1881000/3295524 1636.99/1630.84 c cleaning 61001 clauses out of 122010 with flag 1943000/3357524 1681.52/1675.26 c cleaning 62000 clauses out of 124009 with flag 2006000/3420524 1715.54/1709.18 c cleaning 63000 clauses out of 126009 with flag 2070000/3484524 1757.54/1751.08 c cleaning 63998 clauses out of 128010 with flag 2135001/3549525 1798.08/1791.44 c cleaning 65005 clauses out of 130011 with flag 2201000/3615524 1800.04/1793.32 c starts : 260 1800.04/1793.32 c conflicts : 3618833 1800.04/1793.32 c decisions : 3906810 1800.04/1793.32 c propagations : 22035369 1800.04/1793.32 c inspects : 4122533381 1800.04/1793.32 c shortcuts : 0 1800.04/1793.32 c learnt literals : 0 1800.04/1793.32 c learnt binary clauses : 0 1800.04/1793.32 c learnt ternary clauses : 0 1800.04/1793.32 c learnt constraints : 3618832 1800.04/1793.32 c ignored constraints : 0 1800.04/1793.32 c root simplifications : 0 1800.04/1793.32 c removed literals (reason simplification) : 51034378 1800.04/1793.32 c reason swapping (by a shorter reason) : 0 1800.04/1793.32 c Calls to reduceDB : 130 1800.04/1793.32 c number of reductions to clauses (during analyze) : 0 1800.04/1793.32 c number of learned constraints concerned by reduction : 0 1800.04/1793.32 c number of learning phase by resolution : 0 1800.04/1793.32 c number of learning phase by cutting planes : 0 1800.04/1793.32 c speed (assignments/second) : 18720.804415773968 1800.04/1793.32 c non guided choices 0 1800.04/1793.35 c learnt constraints type 1800.04/1793.35 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68329 1800.04/1793.35 c constraints type 1800.04/1793.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.04/1793.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109401 1800.04/1793.35 s SATISFIABLE 1800.04/1793.36 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 1800.04/1793.36 c objective function=-46 1800.04/1793.36 c Total wall clock time (in seconds): 1793.244
OK -46
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458754-1307148504/watcher-3458754-1307148504 -o /tmp/evaluation-result-3458754-1307148504/solver-3458754-1307148504 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458754-1307148504.opb 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: 2.00 2.02 1.95 3/529 3027 /proc/meminfo: memFree=16537372/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=9100 CPUtime=0 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 807266557 9318400 172 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0 /proc/3027/statm: 2275 172 132 9 0 67 0 [pid=3027/tid=3028] ppid=3025 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 4974 0 1 0 0 0 0 0 25 0 2 0 807266558 13850947584 5789 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0472029 s] /proc/loadavg: 2.00 2.02 1.95 3/529 3027 /proc/meminfo: memFree=16537372/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 13717 0 1 0 2 1 0 0 25 0 13 0 807266557 13874667520 13413 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3387370 13413 1668 9 0 3378118 0 [pid=3027/tid=3028] ppid=3025 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 12569 0 1 0 2 1 0 0 25 0 13 0 807266558 13874667520 13413 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 47445203328250 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13549480 [startup+0.101185 s] /proc/loadavg: 2.00 2.02 1.95 3/529 3027 /proc/meminfo: memFree=16537372/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13622252 CPUtime=0.1 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 15501 0 1 0 9 1 0 0 25 0 18 0 807266557 13949186048 15171 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3405563 15173 2092 9 0 3396297 0 [pid=3027/tid=3028] ppid=3025 vsize=13622252 CPUtime=0.08 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 13579 0 1 0 7 1 0 0 18 0 18 0 807266558 13949186048 15174 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255106429985 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622252 [startup+0.310176 s] /proc/loadavg: 2.00 2.02 1.95 3/529 3027 /proc/meminfo: memFree=16537372/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13623760 CPUtime=0.5 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 18829 0 1 0 48 2 0 0 25 0 18 0 807266557 13950730240 18097 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3405940 18098 2201 9 0 3396674 0 [pid=3027/tid=3028] ppid=3025 vsize=13623760 CPUtime=0.29 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 15663 0 1 0 27 2 0 0 18 0 18 0 807266558 13950730240 18098 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13623760 [startup+0.701118 s] /proc/loadavg: 2.00 2.02 1.95 3/529 3027 /proc/meminfo: memFree=16537372/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13623340 CPUtime=0.99 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 57519 0 1 0 92 7 0 0 25 0 18 0 807266557 13950300160 55963 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3405835 55968 2210 9 0 3396569 0 [pid=3027/tid=3028] ppid=3025 vsize=13623340 CPUtime=0.68 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 52723 0 1 0 62 6 0 0 18 0 18 0 807266558 13950300160 55970 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505607586 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 13623340 [startup+1.50098 s] /proc/loadavg: 2.00 2.02 1.95 3/548 3046 /proc/meminfo: memFree=16289784/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=2.06 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 67839 0 1 0 197 9 0 0 25 0 19 0 807266557 13954555904 66282 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 66282 2230 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=1.48 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 62123 0 1 0 140 8 0 0 20 0 19 0 807266558 13954555904 66282 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505601898 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66282 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66282 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266560 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807266561 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 807266561 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.27 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1512 0 0 0 27 0 0 0 16 0 19 0 807266563 13954555904 66283 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.29 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3043 0 0 0 29 0 0 0 15 0 19 0 807266563 13954555904 66285 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 66285 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 66285 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 66285 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 13627496 [startup+3.10071 s] /proc/loadavg: 2.00 2.02 1.95 3/548 3046 /proc/meminfo: memFree=16266348/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=3.86 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 85082 0 1 0 375 11 0 0 25 0 19 0 807266557 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 83513 2259 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=3.03 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 67743 0 1 0 294 9 0 0 24 0 19 0 807266558 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505765501 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=0.01 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 1936 0 0 0 1 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 2015 0 0 0 0 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 1069 0 0 0 0 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 803 0 0 0 0 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807266560 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=0.03 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 5773 0 0 0 3 0 0 0 16 0 19 0 807266561 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.36 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1528 0 0 0 36 0 0 0 16 0 19 0 807266563 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.37 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3060 0 0 0 37 0 0 0 15 0 19 0 807266563 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 83513 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 13627496 [startup+6.30107 s] /proc/loadavg: 2.24 2.07 1.97 3/548 3046 /proc/meminfo: memFree=16168256/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=7.12 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 98278 0 1 0 699 13 0 0 25 0 19 0 807266557 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 96705 2259 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=6.13 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 67747 0 1 0 604 9 0 0 25 0 19 0 807266558 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505765390 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=0.01 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 3756 0 0 0 1 0 0 0 18 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 2015 0 0 0 0 0 0 0 15 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=0.01 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 1441 0 0 0 1 0 0 0 16 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=0.01 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 1234 0 0 0 1 0 0 0 16 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 2800 0 0 0 0 0 0 0 16 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 2429 0 0 0 0 0 0 0 15 0 19 0 807266560 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=0.1 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 11108 0 0 0 10 0 0 0 15 0 19 0 807266561 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.37 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1529 0 0 0 37 0 0 0 16 0 19 0 807266563 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.39 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3066 0 0 0 39 0 0 0 15 0 19 0 807266563 13954555904 96705 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.39 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1532 0 0 0 39 0 0 0 15 0 19 0 807266563 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.57 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3174 0 0 0 57 0 0 0 15 0 19 0 807266563 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 357028 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1668.61 Current children cumulated vsize (KiB) 13627496 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/548 3160 /proc/meminfo: memFree=13489672/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=1728.83 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 385736 0 1 0 172828 55 0 0 25 0 19 0 807266557 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 383533 2260 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=1709.21 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 98288 0 1 0 170904 17 0 0 25 0 19 0 807266558 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505803406 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=0.95 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 21165 0 0 0 92 3 0 0 15 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=0.94 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 14024 0 0 0 93 1 0 0 15 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=1.15 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 18412 0 0 0 113 2 0 0 16 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 20962 0 0 0 115 2 0 0 15 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=1.1 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 16070 0 0 0 108 2 0 0 15 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0.98 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 17836 0 0 0 96 2 0 0 16 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=1.29 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 20747 0 0 0 125 4 0 0 16 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=1.1 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 15970 0 0 0 108 2 0 0 16 0 19 0 807266560 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=9.85 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 136305 0 0 0 971 14 0 0 15 0 19 0 807266561 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.39 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1532 0 0 0 39 0 0 0 15 0 19 0 807266563 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.57 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3174 0 0 0 57 0 0 0 15 0 19 0 807266563 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 383533 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1728.83 Current children cumulated vsize (KiB) 13627496 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/548 3162 /proc/meminfo: memFree=13457148/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=1788.98 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 392127 0 1 0 178842 56 0 0 25 0 19 0 807266557 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 389915 2260 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=1769.01 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 99439 0 1 0 176884 17 0 0 25 0 19 0 807266558 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505803406 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=0.95 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 21165 0 0 0 92 3 0 0 15 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=0.94 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 14024 0 0 0 93 1 0 0 15 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=1.15 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 18412 0 0 0 113 2 0 0 15 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 20962 0 0 0 115 2 0 0 15 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 17864 0 0 0 115 2 0 0 16 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0.99 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 17881 0 0 0 97 2 0 0 15 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=1.37 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 22529 0 0 0 133 4 0 0 16 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 17583 0 0 0 115 2 0 0 16 0 19 0 807266560 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=9.96 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 136307 0 0 0 982 14 0 0 15 0 19 0 807266561 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.39 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1532 0 0 0 39 0 0 0 15 0 19 0 807266563 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.57 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3174 0 0 0 57 0 0 0 15 0 19 0 807266563 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 389915 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1788.98 Current children cumulated vsize (KiB) 13627496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 2.00 2.02 2.00 3/548 3162 /proc/meminfo: memFree=13448584/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=13627496 CPUtime=1800.04 cores=0,2,4,6 /proc/3027/stat : 3027 (java) S 3025 3027 1240 0 -1 4202496 394213 0 1 0 179948 56 0 0 25 0 19 0 807266557 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 3406874 391998 2260 9 0 3397608 0 [pid=3027/tid=3028] ppid=3025 vsize=13627496 CPUtime=1779.86 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4202560 100663 0 1 0 177969 17 0 0 25 0 19 0 807266558 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 46912505765322 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3027/tid=3030] ppid=3025 vsize=13627496 CPUtime=1.01 cores=0,2,4,6 /proc/3027/task/3030/stat : 3030 (java) S 3025 3027 1240 0 -1 4202560 21652 0 0 0 98 3 0 0 16 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 [pid=3027/tid=3031] ppid=3025 vsize=13627496 CPUtime=1 cores=0,2,4,6 /proc/3027/task/3031/stat : 3031 (java) S 3025 3027 1240 0 -1 4202560 14397 0 0 0 98 2 0 0 16 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3032] ppid=3025 vsize=13627496 CPUtime=1.15 cores=0,2,4,6 /proc/3027/task/3032/stat : 3032 (java) S 3025 3027 1240 0 -1 4202560 18412 0 0 0 113 2 0 0 15 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3033] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3033/stat : 3033 (java) S 3025 3027 1240 0 -1 4202560 20962 0 0 0 115 2 0 0 15 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3034] ppid=3025 vsize=13627496 CPUtime=1.17 cores=0,2,4,6 /proc/3027/task/3034/stat : 3034 (java) S 3025 3027 1240 0 -1 4202560 17864 0 0 0 115 2 0 0 15 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3035] ppid=3025 vsize=13627496 CPUtime=0.99 cores=0,2,4,6 /proc/3027/task/3035/stat : 3035 (java) S 3025 3027 1240 0 -1 4202560 17881 0 0 0 97 2 0 0 15 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3036] ppid=3025 vsize=13627496 CPUtime=1.37 cores=0,2,4,6 /proc/3027/task/3036/stat : 3036 (java) S 3025 3027 1240 0 -1 4202560 22529 0 0 0 133 4 0 0 15 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3037] ppid=3025 vsize=13627496 CPUtime=1.18 cores=0,2,4,6 /proc/3027/task/3037/stat : 3037 (java) S 3025 3027 1240 0 -1 4202560 17583 0 0 0 116 2 0 0 16 0 19 0 807266560 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3038] ppid=3025 vsize=13627496 CPUtime=10.06 cores=0,2,4,6 /proc/3027/task/3038/stat : 3038 (java) S 3025 3027 1240 0 -1 4202560 136309 0 0 0 992 14 0 0 15 0 19 0 807266561 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 0 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3039] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3039/stat : 3039 (java) S 3025 3027 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3040] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3040/stat : 3040 (java) S 3025 3027 1240 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807266561 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3041] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3041/stat : 3041 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118592433 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3042] ppid=3025 vsize=13627496 CPUtime=0.39 cores=0,2,4,6 /proc/3027/task/3042/stat : 3042 (java) S 3025 3027 1240 0 -1 4202560 1532 0 0 0 39 0 0 0 15 0 19 0 807266563 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3043] ppid=3025 vsize=13627496 CPUtime=0.57 cores=0,2,4,6 /proc/3027/task/3043/stat : 3043 (java) S 3025 3027 1240 0 -1 4202560 3174 0 0 0 57 0 0 0 15 0 19 0 807266563 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 4 0 0 0 [pid=3027/tid=3044] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3044/stat : 3044 (java) S 3025 3027 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807266563 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118584729 0 4 0 16800975 18446604441152267328 0 0 -1 2 0 0 0 [pid=3027/tid=3045] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3045/stat : 3045 (java) S 3025 3027 1240 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807266563 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 0 0 0 0 [pid=3027/tid=3046] ppid=3025 vsize=13627496 CPUtime=0 cores=0,2,4,6 /proc/3027/task/3046/stat : 3046 (java) S 3025 3027 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807266634 13954555904 391998 33554432000 1073741824 1073778376 140736046428240 18446744073709551615 255118585344 0 4 0 16800975 18446604441152267328 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 13627496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.43 s] /proc/loadavg: 2.00 2.02 2.00 3/548 3162 /proc/meminfo: memFree=13448584/32951124 swapFree=67111204/67111528 [pid=3027] ppid=3025 vsize=0 CPUtime=1800.2 cores=0,2,4,6 /proc/3027/stat : 3027 (java) Z 3025 3027 1240 0 -1 4203548 394246 0 1 0 179957 63 0 0 17 0 2 0 807266557 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/3027/statm: 0 0 0 0 0 0 0 [pid=3027/tid=3028] ppid=3025 vsize=0 CPUtime=1779.95 cores=0,2,4,6 /proc/3027/task/3028/stat : 3028 (java) R 3025 3027 1240 0 -1 4203588 100663 0 1 0 177971 24 0 0 25 0 2 0 807266558 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1793.44 CPU time (s): 1800.22 CPU user time (s): 1799.58 CPU system time (s): 0.644901 CPU usage (%): 100.378 Max. virtual memory (cumulated for all children) (KiB): 13627496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.644901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 394246 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39917 involuntary context switches= 43709 runsolver used 9.93849 second user time and 21.0368 second system time The end
Begin job on node144 at 2011-06-04 02:48:24 IDJOB=3458754 IDBENCH=2248 IDSOLVER=1952 FILE ID=node144/3458754-1307148504 RUNJOBID= node144-1307146629-2778 PBS_JOBID= 13508772 Free space on /tmp= 73892 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458754-1307148504/watcher-3458754-1307148504 -o /tmp/evaluation-result-3458754-1307148504/solver-3458754-1307148504 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458754-1307148504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED=902655508 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16537536 kB Buffers: 300984 kB Cached: 444712 kB SwapCached: 140 kB Active: 15740936 kB Inactive: 398876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16537536 kB SwapTotal: 67111528 kB SwapFree: 67111204 kB Dirty: 2800 kB Writeback: 4 kB AnonPages: 15394020 kB Mapped: 50612 kB Slab: 135844 kB PageTables: 70332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 171203808 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73892 MiB End job on node144 at 2011-06-04 03:18:20