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 Resolution 2.3.2 Snapshot | SAT (TO) | -108 | 1800.91 | 1784.55 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3688669-1337886284.opb 0.08/0.12 c reading problem ... 1.29/0.67 c ... done. Wall clock time 0.555s. 1.29/0.67 c declared #vars 1000 1.29/0.67 c internal #vars 16796 1.29/0.67 c #constraints 32592 1.29/0.67 c constraints type 1.29/0.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796 1.29/0.67 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000 1.29/0.67 c ignored satisfied constraints => 1000 1.29/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796 1.29/0.67 c 33592 constraints processed. 1.29/0.67 c objective function length is 1000 literals 1.89/0.84 c SATISFIABLE 1.89/0.84 c OPTIMIZING... 1.89/0.84 c Got one! Elapsed wall clock time (in seconds):0.729 1.89/0.84 o -107 2.19/0.93 c Got one! Elapsed wall clock time (in seconds):0.816 2.19/0.93 o -108 3.15/1.63 c cleaning 2508 clauses out of 5015 with flag 5001/5015 3.97/2.39 c cleaning 4253 clauses out of 8507 with flag 11001/11015 4.90/3.23 c cleaning 5627 clauses out of 11253 with flag 18000/18014 5.92/4.23 c cleaning 6814 clauses out of 13628 with flag 26002/26016 7.07/5.30 c cleaning 7906 clauses out of 15812 with flag 35000/35014 8.19/6.48 c cleaning 8953 clauses out of 17906 with flag 45000/45014 9.52/7.78 c cleaning 9978 clauses out of 19955 with flag 56002/56016 10.94/9.14 c cleaning 10986 clauses out of 21975 with flag 68000/68014 12.47/10.67 c cleaning 11993 clauses out of 23989 with flag 81000/81014 14.02/12.16 c cleaning 12993 clauses out of 25996 with flag 95000/95014 15.78/13.80 c cleaning 14002 clauses out of 28004 with flag 110001/110015 17.76/15.72 c cleaning 14998 clauses out of 30001 with flag 126000/126014 19.71/17.67 c cleaning 15995 clauses out of 32003 with flag 143000/143014 21.72/19.65 c cleaning 16998 clauses out of 34008 with flag 161000/161014 23.85/21.78 c cleaning 18006 clauses out of 36013 with flag 180003/180017 26.09/23.99 c cleaning 18999 clauses out of 38005 with flag 200001/200015 28.53/26.32 c cleaning 20003 clauses out of 40006 with flag 221001/221015 31.05/28.81 c cleaning 20998 clauses out of 42002 with flag 243000/243014 33.73/31.40 c cleaning 21998 clauses out of 44005 with flag 266001/266015 36.39/34.09 c cleaning 23001 clauses out of 46007 with flag 290001/290015 39.31/36.95 c cleaning 24003 clauses out of 48005 with flag 315000/315014 42.71/40.25 c cleaning 24990 clauses out of 50002 with flag 341000/341014 46.12/43.54 c cleaning 26000 clauses out of 52012 with flag 368000/368014 49.56/46.91 c cleaning 27000 clauses out of 54012 with flag 396000/396014 53.09/50.44 c cleaning 28005 clauses out of 56013 with flag 425001/425015 56.72/54.06 c cleaning 29003 clauses out of 58008 with flag 455001/455015 60.64/57.94 c cleaning 30001 clauses out of 60005 with flag 486001/486015 64.56/61.85 c cleaning 30997 clauses out of 62003 with flag 518000/518014 68.70/65.95 c cleaning 32002 clauses out of 64008 with flag 551002/551016 72.82/70.09 c cleaning 33000 clauses out of 66006 with flag 585002/585016 77.26/74.47 c cleaning 33996 clauses out of 68004 with flag 620000/620014 81.62/78.79 c cleaning 35002 clauses out of 70008 with flag 656000/656014 86.54/83.48 c cleaning 36002 clauses out of 72009 with flag 693003/693017 91.17/88.06 c cleaning 37000 clauses out of 74005 with flag 731001/731015 96.32/93.12 c cleaning 38002 clauses out of 76004 with flag 770000/770014 101.89/98.68 c cleaning 39002 clauses out of 78004 with flag 810002/810016 107.44/104.10 c cleaning 39993 clauses out of 80000 with flag 851000/851014 113.08/109.73 c cleaning 40998 clauses out of 82007 with flag 893000/893014 118.97/115.53 c cleaning 42005 clauses out of 84009 with flag 936000/936014 125.30/121.80 c cleaning 42995 clauses out of 86005 with flag 980001/980015 131.65/128.12 c cleaning 44003 clauses out of 88009 with flag 1025000/1025014 137.92/134.36 c cleaning 45004 clauses out of 90007 with flag 1071001/1071015 144.40/140.74 c cleaning 45998 clauses out of 92003 with flag 1118001/1118015 151.06/147.39 c cleaning 47002 clauses out of 94006 with flag 1166002/1166016 158.11/154.34 c cleaning 47998 clauses out of 96002 with flag 1215000/1215014 165.95/162.13 c cleaning 49002 clauses out of 98004 with flag 1265000/1265014 174.22/170.34 c cleaning 50001 clauses out of 100003 with flag 1316001/1316015 182.30/178.05 c cleaning 50995 clauses out of 102002 with flag 1368001/1368015 190.12/185.87 c cleaning 52000 clauses out of 104007 with flag 1421001/1421015 198.51/194.20 c cleaning 52999 clauses out of 106007 with flag 1475001/1475015 206.81/202.31 c cleaning 53998 clauses out of 108008 with flag 1530001/1530015 215.37/210.86 c cleaning 55000 clauses out of 110009 with flag 1586000/1586014 223.65/219.05 c cleaning 56000 clauses out of 112009 with flag 1643000/1643014 232.29/227.66 c cleaning 56997 clauses out of 114009 with flag 1701000/1701014 240.74/236.09 c cleaning 58005 clauses out of 116013 with flag 1760001/1760015 249.83/245.04 c cleaning 59002 clauses out of 118007 with flag 1820000/1820014 259.11/254.22 c cleaning 59997 clauses out of 120007 with flag 1881002/1881016 268.29/263.37 c cleaning 61000 clauses out of 122009 with flag 1943001/1943015 278.63/273.65 c cleaning 61995 clauses out of 124008 with flag 2006000/2006014 289.21/284.11 c cleaning 63004 clauses out of 126013 with flag 2070000/2070014 299.54/294.44 c cleaning 64000 clauses out of 128009 with flag 2135000/2135014 309.38/304.25 c cleaning 65002 clauses out of 130010 with flag 2201001/2201015 319.75/314.59 c cleaning 66003 clauses out of 132010 with flag 2268003/2268017 329.91/324.66 c cleaning 67000 clauses out of 134005 with flag 2336001/2336015 341.40/335.71 c cleaning 67993 clauses out of 136004 with flag 2405000/2405014 352.70/347.07 c cleaning 68999 clauses out of 138012 with flag 2475001/2475015 365.57/359.83 c cleaning 70008 clauses out of 140015 with flag 2546003/2546017 378.71/372.90 c cleaning 71004 clauses out of 142008 with flag 2618004/2618018 391.89/385.92 c cleaning 72002 clauses out of 144004 with flag 2691004/2691018 405.62/399.50 c cleaning 73000 clauses out of 145999 with flag 2765001/2765015 421.65/415.31 c cleaning 74000 clauses out of 147999 with flag 2840001/2840015 437.91/431.40 c cleaning 74997 clauses out of 149999 with flag 2916001/2916015 452.64/446.06 c cleaning 75995 clauses out of 152001 with flag 2993000/2993014 466.33/459.67 c cleaning 77003 clauses out of 154006 with flag 3071000/3071014 480.59/473.86 c cleaning 78000 clauses out of 156003 with flag 3150000/3150014 496.18/489.38 c cleaning 79000 clauses out of 158004 with flag 3230001/3230015 513.24/506.37 c cleaning 79999 clauses out of 160003 with flag 3311000/3311014 531.33/524.38 c cleaning 80995 clauses out of 162004 with flag 3393000/3393014 549.54/542.41 c cleaning 81998 clauses out of 164010 with flag 3476001/3476015 566.41/559.26 c cleaning 83005 clauses out of 166011 with flag 3560000/3560014 583.37/576.18 c cleaning 83995 clauses out of 168006 with flag 3645000/3645014 603.49/596.15 c cleaning 85000 clauses out of 170011 with flag 3731000/3731014 624.32/616.82 c cleaning 86006 clauses out of 172013 with flag 3818002/3818016 643.09/635.50 c cleaning 87001 clauses out of 174006 with flag 3906001/3906015 664.26/656.61 c cleaning 88000 clauses out of 176008 with flag 3995004/3995018 684.66/676.94 c cleaning 88995 clauses out of 178005 with flag 4085001/4085015 706.05/698.23 c cleaning 90002 clauses out of 180010 with flag 4176001/4176015 726.44/718.50 c cleaning 91000 clauses out of 182007 with flag 4268000/4268014 745.73/737.73 c cleaning 92001 clauses out of 184009 with flag 4361002/4361016 764.90/756.81 c cleaning 92998 clauses out of 186007 with flag 4455001/4455015 785.96/777.43 c cleaning 93993 clauses out of 188009 with flag 4550001/4550015 807.61/798.70 c cleaning 95005 clauses out of 190018 with flag 4646003/4646017 830.66/820.96 c cleaning 96003 clauses out of 192011 with flag 4743001/4743015 852.91/842.87 c cleaning 96996 clauses out of 194007 with flag 4841000/4841014 874.03/863.75 c cleaning 97999 clauses out of 196011 with flag 4940000/4940014 896.44/885.95 c cleaning 99005 clauses out of 198013 with flag 5040001/5040015 918.96/907.99 c cleaning 100000 clauses out of 200010 with flag 5141003/5141017 948.59/937.24 c cleaning 101000 clauses out of 202007 with flag 5243000/5243014 975.28/963.63 c cleaning 102001 clauses out of 204007 with flag 5346000/5346014 1001.70/989.76 c cleaning 102997 clauses out of 206006 with flag 5450000/5450014 1028.50/1016.46 c cleaning 103998 clauses out of 208009 with flag 5555000/5555014 1055.75/1043.63 c cleaning 105003 clauses out of 210013 with flag 5661002/5661016 1083.62/1071.48 c cleaning 105999 clauses out of 212010 with flag 5768002/5768016 1112.94/1100.78 c cleaning 107005 clauses out of 214010 with flag 5876001/5876015 1140.83/1128.58 c cleaning 107993 clauses out of 216004 with flag 5985000/5985014 1167.33/1154.92 c cleaning 109003 clauses out of 218011 with flag 6095000/6095014 1195.45/1182.75 c cleaning 109999 clauses out of 220008 with flag 6206000/6206014 1221.65/1208.75 c cleaning 111003 clauses out of 222010 with flag 6318001/6318015 1249.68/1236.64 c cleaning 112002 clauses out of 224006 with flag 6431000/6431014 1278.47/1265.33 c cleaning 113000 clauses out of 226004 with flag 6545000/6545014 1306.22/1292.93 c cleaning 113997 clauses out of 228005 with flag 6660001/6660015 1335.12/1321.78 c cleaning 115004 clauses out of 230007 with flag 6776000/6776014 1362.03/1348.54 c cleaning 115991 clauses out of 232003 with flag 6893000/6893014 1390.14/1376.58 c cleaning 117002 clauses out of 234013 with flag 7011001/7011015 1417.55/1403.88 c cleaning 117997 clauses out of 236010 with flag 7130000/7130014 1444.28/1430.43 c cleaning 119004 clauses out of 238015 with flag 7250002/7250016 1468.88/1454.93 c cleaning 120000 clauses out of 240009 with flag 7371000/7371014 1500.62/1486.28 c cleaning 121001 clauses out of 242012 with flag 7493003/7493017 1532.88/1518.41 c cleaning 121999 clauses out of 244010 with flag 7616002/7616016 1563.93/1549.30 c cleaning 122999 clauses out of 246009 with flag 7740000/7740014 1592.04/1577.34 c cleaning 123999 clauses out of 248010 with flag 7865000/7865014 1619.65/1604.83 c cleaning 125000 clauses out of 250012 with flag 7991001/7991015 1647.80/1632.80 c cleaning 126003 clauses out of 252012 with flag 8118001/8118015 1675.49/1660.47 c cleaning 126996 clauses out of 254010 with flag 8246002/8246016 1709.07/1693.86 c cleaning 128003 clauses out of 256012 with flag 8375000/8375014 1743.27/1727.95 c cleaning 129006 clauses out of 258011 with flag 8505002/8505016 1782.28/1766.86 c cleaning 129996 clauses out of 260004 with flag 8636001/8636015 1800.07/1784.51 c starts : 301 1800.07/1784.51 c conflicts : 8705902 1800.07/1784.51 c decisions : 9135323 1800.07/1784.51 c propagations : 45523192 1800.07/1784.51 c inspects : 12720144709 1800.07/1784.51 c shortcuts : 0 1800.07/1784.51 c learnt literals : 0 1800.07/1784.51 c learnt binary clauses : 0 1800.07/1784.51 c learnt ternary clauses : 0 1800.07/1784.51 c learnt constraints : 8705902 1800.07/1784.51 c ignored constraints : 0 1800.07/1784.51 c root simplifications : 0 1800.07/1784.51 c removed literals (reason simplification) : 0 1800.07/1784.51 c reason swapping (by a shorter reason) : 0 1800.07/1784.51 c Calls to reduceDB : 127 1800.07/1784.51 c number of reductions to clauses (during analyze) : 0 1800.07/1784.51 c number of learned constraints concerned by reduction : 0 1800.07/1784.51 c number of learning phase by resolution : 0 1800.07/1784.51 c number of learning phase by cutting planes : 0 1800.07/1784.51 c speed (assignments/second) : 25520.611823642128 1800.07/1784.51 c non guided choices 0 1800.07/1784.54 c learnt constraints type 1800.07/1784.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 199976 1800.07/1784.54 c constraints type 1800.07/1784.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796 1800.07/1784.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000 1800.07/1784.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1784.54 c ignored satisfied constraints => 1000 1800.07/1784.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796 1800.07/1784.54 c 33593 constraints processed. 1800.07/1784.54 s SATISFIABLE 1800.07/1784.54 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 1800.07/1784.54 c objective function=-108 1800.07/1784.54 c Total wall clock time (in seconds): 1784.427
OK -108
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-3688669-1337886284/watcher-3688669-1337886284 -o /tmp/evaluation-result-3688669-1337886284/solver-3688669-1337886284 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688669-1337886284.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: 1.92 1.98 1.99 1/174 22861 /proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22861/stat : 22861 (java) R 22859 22861 21352 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254756996 9515008 182 33554432000 1073741824 1073778376 140736215680688 140736215671720 240426761909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22861/statm: 2323 182 140 9 0 71 0 [startup+0.0285791 s] /proc/loadavg: 1.92 1.98 1.99 1/174 22861 /proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 2686 0 1 0 0 0 0 0 20 0 10 0 254756996 9233014784 2876 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2254154 2885 1458 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.100243 s] /proc/loadavg: 1.92 1.98 1.99 1/174 22861 /proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 4304 0 1 0 7 1 0 0 20 0 18 0 254756996 9787813888 4991 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2389603 4991 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300192 s] /proc/loadavg: 1.92 1.98 1.99 1/174 22861 /proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9558412 CPUtime=0.41 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 5127 0 1 0 39 2 0 0 20 0 18 0 254756996 9787813888 7088 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2389603 7088 2210 9 0 2380296 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 9558412 [startup+0.700191 s] /proc/loadavg: 1.92 1.98 1.99 1/174 22861 /proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9558412 CPUtime=1.59 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 15010 0 1 0 155 4 0 0 20 0 18 0 254756996 9787813888 23215 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2389603 23215 2248 9 0 2380296 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9558412 [startup+1.5007 s] /proc/loadavg: 1.92 1.98 1.99 7/212 22935 /proc/meminfo: memFree=27560108/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=3.05 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17157 0 1 0 300 5 0 0 20 0 19 0 254756996 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 28557 2261 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1.46 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2557 0 1 0 143 3 0 0 20 0 19 0 254756997 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882724762200 139882597472511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.8 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7908 0 0 0 78 2 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.75 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5493 0 0 0 74 1 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 9624976 [startup+3.10069 s] /proc/loadavg: 1.92 1.98 1.99 3/213 22936 /proc/meminfo: memFree=27439200/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=4.8 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17315 0 1 0 470 10 0 0 20 0 19 0 254756996 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 48074 2286 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=2.93 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2563 0 1 0 290 3 0 0 20 0 19 0 254756997 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597421213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 30 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.08 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7915 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.78 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5499 0 0 0 76 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 9624976 [startup+6.3007 s] /proc/loadavg: 1.93 1.98 1.99 3/213 22936 /proc/meminfo: memFree=27365660/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=8.09 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17824 0 1 0 797 12 0 0 20 0 19 0 254756996 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 52561 2286 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=5.94 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2565 0 1 0 591 3 0 0 20 0 19 0 254756997 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597605012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 145 0 0 0 1 2 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 127 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 166 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.82 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5509 0 0 0 80 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 8.09 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.32 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 204 28 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.35 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 208 27 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.24 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 203 21 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.52 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3500 0 0 0 1347 5 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 99 0 0 0 31 32 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1737.67 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/213 22951 /proc/meminfo: memFree=25060552/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=1797.86 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179558 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 457196 2287 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1763.27 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176294 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597432521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.5 s] /proc/loadavg: 2.02 2.02 2.00 2/193 22954 /proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 457196 2287 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.5 s] /proc/loadavg: 2.02 2.02 2.00 2/193 22954 /proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080 [pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6 /proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22861/statm: 2406244 457196 2287 9 0 2396937 0 [pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6 /proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6 /proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6 /proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6 /proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6 /proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6 /proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6 /proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6 /proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6 /proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624976 Child status: 143 Real time (s): 1784.55 CPU time (s): 1800.91 CPU user time (s): 1798.03 CPU system time (s): 2.88256 CPU usage (%): 100.916 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.88256 maximum resident set size= 1896268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28752 page faults= 1 swaps= 0 block input operations= 240 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41787 involuntary context switches= 27892 runsolver used 6.22905 second user time and 14.4948 second system time The end
Begin job on node108 at 2012-05-24 21:04:44 IDJOB=3688669 IDBENCH=48177 IDSOLVER=2269 FILE ID=node108/3688669-1337886284 RUNJOBID= node108-1337871881-21368 PBS_JOBID= 14620096 Free space on /tmp= 71720 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688669-1337886284/watcher-3688669-1337886284 -o /tmp/evaluation-result-3688669-1337886284/solver-3688669-1337886284 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688669-1337886284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=387823464 node108.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.273 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 : 5332.54 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.273 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.273 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.273 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.273 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.91 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.273 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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.273 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27700100 kB Buffers: 200136 kB Cached: 4189052 kB SwapCached: 0 kB Active: 506176 kB Inactive: 3900112 kB Active(anon): 19344 kB Inactive(anon): 0 kB Active(file): 486832 kB Inactive(file): 3900112 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 24812 kB Mapped: 14344 kB Shmem: 200 kB Slab: 630200 kB SReclaimable: 72308 kB SUnreclaim: 557892 kB KernelStack: 1448 kB PageTables: 3608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 138056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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= 71720 MiB End job on node108 at 2012-05-24 21:34:31