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) | -97 | 1800.57 | 1747.66 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
| MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
| 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 | -120 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -111 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6318 |
| Sum of products size (including duplicates) | 12636 |
| Number of different products | 3159 |
| Sum of products size | 6318 |
0.07/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.08 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.2.v20120418 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 501472288 0.07/0.09 c Max memory 7480803328 0.07/0.09 c Total memory 504102912 0.07/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3688667-1337886271.opb 0.09/0.11 c reading problem ... 0.47/0.39 c ... done. Wall clock time 0.282s. 0.47/0.39 c declared #vars 500 0.47/0.39 c internal #vars 3659 0.47/0.39 c #constraints 6818 0.47/0.39 c constraints type 0.47/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3159 0.47/0.39 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 0.47/0.39 c ignored satisfied constraints => 500 0.47/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3159 0.47/0.39 c 7318 constraints processed. 0.47/0.39 c objective function length is 500 literals 0.76/0.44 c SATISFIABLE 0.76/0.44 c OPTIMIZING... 0.76/0.44 c Got one! Elapsed wall clock time (in seconds):0.326 0.76/0.44 o -96 1.71/0.81 c Got one! Elapsed wall clock time (in seconds):0.699 1.71/0.81 o -97 1.96/1.03 c cleaning 2666 clauses out of 5331 with flag 3001/5331 2.44/1.42 c cleaning 4332 clauses out of 8664 with flag 9000/11330 2.87/1.87 c cleaning 5661 clauses out of 11332 with flag 16000/18330 3.39/2.37 c cleaning 6835 clauses out of 13672 with flag 24001/26331 4.04/2.98 c cleaning 7919 clauses out of 15837 with flag 33001/35331 4.74/3.63 c cleaning 8957 clauses out of 17917 with flag 43000/45330 5.47/4.38 c cleaning 9974 clauses out of 19960 with flag 54000/56330 6.28/5.15 c cleaning 10989 clauses out of 21986 with flag 66000/68330 7.09/5.92 c cleaning 11997 clauses out of 23997 with flag 79000/81330 7.91/6.78 c cleaning 12999 clauses out of 26001 with flag 93001/95331 8.84/7.68 c cleaning 13999 clauses out of 28002 with flag 108001/110331 9.96/8.78 c cleaning 15000 clauses out of 30004 with flag 124002/126332 11.08/9.85 c cleaning 16000 clauses out of 32002 with flag 141000/143330 12.30/11.02 c cleaning 17000 clauses out of 34004 with flag 159002/161332 13.50/12.24 c cleaning 17996 clauses out of 36002 with flag 178000/180330 14.83/13.56 c cleaning 19004 clauses out of 38007 with flag 198001/200331 16.28/14.94 c cleaning 20000 clauses out of 40003 with flag 219001/221331 17.83/16.43 c cleaning 21002 clauses out of 42003 with flag 241001/243331 19.55/18.17 c cleaning 22002 clauses out of 44003 with flag 264003/266333 21.50/20.05 c cleaning 22998 clauses out of 45998 with flag 288000/290330 23.57/22.04 c cleaning 23999 clauses out of 48001 with flag 313001/315331 25.48/23.95 c cleaning 25001 clauses out of 50002 with flag 339001/341331 27.56/25.95 c cleaning 26000 clauses out of 52000 with flag 366000/368330 29.59/27.91 c cleaning 26997 clauses out of 54001 with flag 394001/396331 31.82/30.15 c cleaning 27998 clauses out of 56003 with flag 423000/425330 33.96/32.23 c cleaning 29002 clauses out of 58007 with flag 453002/455332 36.30/34.54 c cleaning 30000 clauses out of 60004 with flag 484001/486331 39.02/37.25 c cleaning 31002 clauses out of 62003 with flag 516000/518330 42.05/40.25 c cleaning 32001 clauses out of 64002 with flag 549001/551331 45.22/43.34 c cleaning 32998 clauses out of 66001 with flag 583001/585331 48.17/46.23 c cleaning 34000 clauses out of 68002 with flag 618000/620330 51.18/49.20 c cleaning 34995 clauses out of 70003 with flag 654001/656331 54.10/52.19 c cleaning 35998 clauses out of 72007 with flag 691000/693330 57.34/55.36 c cleaning 37005 clauses out of 74012 with flag 729003/731333 60.95/58.92 c cleaning 38002 clauses out of 76004 with flag 768000/770330 64.58/62.52 c cleaning 38996 clauses out of 78002 with flag 808000/810330 68.21/66.10 c cleaning 40001 clauses out of 80006 with flag 849000/851330 71.64/69.57 c cleaning 40998 clauses out of 82007 with flag 891002/893332 75.45/73.20 c cleaning 42004 clauses out of 84007 with flag 934000/936330 79.27/77.09 c cleaning 42997 clauses out of 86004 with flag 978001/980331 83.49/81.25 c cleaning 44001 clauses out of 88006 with flag 1023000/1025330 87.63/85.36 c cleaning 45001 clauses out of 90007 with flag 1069002/1071332 91.97/89.60 c cleaning 45997 clauses out of 92004 with flag 1116000/1118330 96.73/94.37 c cleaning 47005 clauses out of 94009 with flag 1164002/1166332 101.37/98.94 c cleaning 47997 clauses out of 96003 with flag 1213001/1215331 106.43/103.90 c cleaning 48998 clauses out of 98006 with flag 1263001/1265331 111.66/109.02 c cleaning 50003 clauses out of 100007 with flag 1314000/1316330 116.91/114.19 c cleaning 51001 clauses out of 102005 with flag 1366001/1368331 122.34/119.56 c cleaning 52000 clauses out of 104004 with flag 1419001/1421331 127.56/124.76 c cleaning 52996 clauses out of 106005 with flag 1473002/1475332 133.41/130.51 c cleaning 54001 clauses out of 108008 with flag 1528001/1530331 139.43/136.56 c cleaning 55001 clauses out of 110006 with flag 1584000/1586330 145.77/142.81 c cleaning 55997 clauses out of 112005 with flag 1641000/1643330 152.42/149.41 c cleaning 56997 clauses out of 114008 with flag 1699000/1701330 158.58/155.55 c cleaning 58005 clauses out of 116011 with flag 1758000/1760330 164.27/161.20 c cleaning 59001 clauses out of 118009 with flag 1818003/1820333 170.70/167.55 c cleaning 60003 clauses out of 120005 with flag 1879000/1881330 177.36/174.15 c cleaning 61001 clauses out of 122003 with flag 1941001/1943331 185.06/181.72 c cleaning 61991 clauses out of 124002 with flag 2004001/2006331 192.12/188.71 c cleaning 63001 clauses out of 126010 with flag 2068000/2070330 199.56/196.12 c cleaning 64005 clauses out of 128009 with flag 2133000/2135330 207.24/203.71 c cleaning 64999 clauses out of 130005 with flag 2199001/2201331 215.23/211.62 c cleaning 66002 clauses out of 132008 with flag 2266003/2268333 223.08/219.40 c cleaning 66997 clauses out of 134003 with flag 2334000/2336330 231.81/228.16 c cleaning 67998 clauses out of 136006 with flag 2403000/2405330 238.99/235.21 c cleaning 69001 clauses out of 138008 with flag 2473000/2475330 247.25/243.47 c cleaning 70002 clauses out of 140007 with flag 2544000/2546330 255.53/251.62 c cleaning 71000 clauses out of 142005 with flag 2616000/2618330 263.60/259.70 c cleaning 71999 clauses out of 144007 with flag 2689002/2691332 271.51/267.56 c cleaning 73000 clauses out of 146008 with flag 2763002/2765332 279.40/275.35 c cleaning 74001 clauses out of 148006 with flag 2838000/2840330 288.25/284.19 c cleaning 74999 clauses out of 150006 with flag 2914001/2916331 296.11/291.98 c cleaning 76000 clauses out of 152006 with flag 2991000/2993330 304.08/299.84 c cleaning 77002 clauses out of 154007 with flag 3069001/3071331 311.87/307.55 c cleaning 77999 clauses out of 156004 with flag 3148000/3150330 319.73/315.13 c cleaning 79000 clauses out of 158007 with flag 3228002/3230332 328.33/323.51 c cleaning 80000 clauses out of 160005 with flag 3309000/3311330 337.96/333.17 c cleaning 81002 clauses out of 162006 with flag 3391001/3393331 347.16/342.27 c cleaning 81992 clauses out of 164003 with flag 3474000/3476330 357.27/352.25 c cleaning 83001 clauses out of 166011 with flag 3558000/3560330 366.30/361.27 c cleaning 84001 clauses out of 168010 with flag 3643000/3645330 376.52/371.44 c cleaning 84998 clauses out of 170009 with flag 3729000/3731330 385.29/380.15 c cleaning 86001 clauses out of 172011 with flag 3816000/3818330 395.96/390.77 c cleaning 87004 clauses out of 174011 with flag 3904001/3906331 406.45/401.13 c cleaning 88002 clauses out of 176007 with flag 3993001/3995331 417.01/411.61 c cleaning 88997 clauses out of 178004 with flag 4083000/4085330 425.37/419.94 c cleaning 89998 clauses out of 180008 with flag 4174001/4176331 436.51/431.00 c cleaning 91005 clauses out of 182010 with flag 4266001/4268331 446.80/441.24 c cleaning 91998 clauses out of 184005 with flag 4359001/4361331 459.14/453.55 c cleaning 93000 clauses out of 186006 with flag 4453000/4455330 470.44/464.74 c cleaning 93999 clauses out of 188007 with flag 4548001/4550331 482.52/476.79 c cleaning 94996 clauses out of 190008 with flag 4644001/4646331 495.41/489.51 c cleaning 96004 clauses out of 192012 with flag 4741001/4743331 507.27/501.32 c cleaning 97003 clauses out of 194009 with flag 4839002/4841332 519.19/513.12 c cleaning 97992 clauses out of 196005 with flag 4938001/4940331 532.19/525.81 c cleaning 98998 clauses out of 198012 with flag 5038000/5040330 546.46/539.85 c cleaning 100004 clauses out of 200015 with flag 5139001/5141331 558.90/552.21 c cleaning 101001 clauses out of 202011 with flag 5241001/5243331 573.78/567.02 c cleaning 102001 clauses out of 204010 with flag 5344001/5346331 588.88/582.00 c cleaning 103005 clauses out of 206011 with flag 5448003/5450333 603.70/596.70 c cleaning 103999 clauses out of 208004 with flag 5553001/5555331 616.48/609.46 c cleaning 104997 clauses out of 210004 with flag 5659000/5661330 631.50/624.38 c cleaning 105997 clauses out of 212007 with flag 5766000/5768330 648.21/640.90 c cleaning 107004 clauses out of 214010 with flag 5874000/5876330 663.87/656.46 c cleaning 108000 clauses out of 216007 with flag 5983001/5985331 676.60/669.13 c cleaning 108998 clauses out of 218006 with flag 6093000/6095330 689.08/681.58 c cleaning 109997 clauses out of 220008 with flag 6204000/6206330 704.07/696.40 c cleaning 111001 clauses out of 222012 with flag 6316001/6318331 718.56/710.87 c cleaning 112005 clauses out of 224010 with flag 6429000/6431330 733.46/725.62 c cleaning 112997 clauses out of 226005 with flag 6543000/6545330 746.62/738.75 c cleaning 114000 clauses out of 228008 with flag 6658000/6660330 760.55/752.68 c cleaning 114997 clauses out of 230008 with flag 6774000/6776330 778.89/770.96 c cleaning 116001 clauses out of 232011 with flag 6891000/6893330 796.72/788.62 c cleaning 117004 clauses out of 234010 with flag 7009000/7011330 814.30/806.11 c cleaning 118000 clauses out of 236007 with flag 7128001/7130331 833.35/824.80 c cleaning 118995 clauses out of 238006 with flag 7248000/7250330 857.75/848.43 c cleaning 120002 clauses out of 240012 with flag 7369001/7371331 879.43/868.72 c cleaning 121004 clauses out of 242010 with flag 7491001/7493331 902.41/890.53 c cleaning 121998 clauses out of 244005 with flag 7614000/7616330 922.10/909.21 c cleaning 122999 clauses out of 246007 with flag 7738000/7740330 945.68/931.73 c cleaning 123995 clauses out of 248008 with flag 7863000/7865330 970.97/955.87 c cleaning 125004 clauses out of 250015 with flag 7989002/7991332 995.08/979.04 c cleaning 126004 clauses out of 252011 with flag 8116002/8118332 1013.80/996.88 c cleaning 127000 clauses out of 254005 with flag 8244000/8246330 1047.94/1029.67 c cleaning 128001 clauses out of 256006 with flag 8373001/8375331 1079.56/1059.59 c cleaning 129004 clauses out of 258008 with flag 8503004/8505334 1111.03/1089.49 c cleaning 129994 clauses out of 260000 with flag 8634000/8636330 1148.42/1125.07 c cleaning 131002 clauses out of 262006 with flag 8766000/8768330 1184.18/1159.18 c cleaning 132000 clauses out of 264004 with flag 8899000/8901330 1217.62/1191.55 c cleaning 133001 clauses out of 266006 with flag 9033002/9035332 1248.54/1220.75 c cleaning 133999 clauses out of 268003 with flag 9168000/9170330 1281.15/1251.65 c cleaning 134998 clauses out of 270004 with flag 9304000/9306330 1315.57/1284.60 c cleaning 136001 clauses out of 272007 with flag 9441001/9443331 1349.45/1317.42 c cleaning 136998 clauses out of 274005 with flag 9579000/9581330 1382.40/1348.92 c cleaning 137998 clauses out of 276007 with flag 9718000/9720330 1415.59/1380.58 c cleaning 139000 clauses out of 278010 with flag 9858001/9860331 1449.61/1413.06 c cleaning 140005 clauses out of 280010 with flag 9999001/10001331 1489.04/1451.16 c cleaning 140995 clauses out of 282004 with flag 10141000/10143330 1523.42/1483.85 c cleaning 142002 clauses out of 284009 with flag 10284000/10286330 1565.29/1523.54 c cleaning 142996 clauses out of 286007 with flag 10428000/10430330 1599.54/1556.37 c cleaning 143997 clauses out of 288011 with flag 10573000/10575330 1635.12/1590.97 c cleaning 145006 clauses out of 290015 with flag 10719001/10721331 1671.58/1625.56 c cleaning 145999 clauses out of 292009 with flag 10866001/10868331 1711.61/1663.63 c cleaning 147001 clauses out of 294009 with flag 11014000/11016330 1751.33/1701.34 c cleaning 148000 clauses out of 296008 with flag 11163000/11165330 1785.93/1734.33 c cleaning 149002 clauses out of 298010 with flag 11313002/11315332 1800.09/1747.61 c starts : 324 1800.09/1747.61 c conflicts : 11404183 1800.09/1747.61 c decisions : 13090858 1800.09/1747.61 c propagations : 80938707 1800.09/1747.61 c inspects : 13621314938 1800.09/1747.61 c shortcuts : 0 1800.09/1747.61 c learnt literals : 0 1800.09/1747.61 c learnt binary clauses : 0 1800.09/1747.61 c learnt ternary clauses : 0 1800.09/1747.61 c learnt constraints : 11404183 1800.09/1747.61 c ignored constraints : 0 1800.09/1747.61 c root simplifications : 0 1800.09/1747.61 c removed literals (reason simplification) : 0 1800.09/1747.61 c reason swapping (by a shorter reason) : 0 1800.09/1747.61 c Calls to reduceDB : 146 1800.09/1747.61 c number of reductions to clauses (during analyze) : 0 1800.09/1747.61 c number of learned constraints concerned by reduction : 0 1800.09/1747.61 c number of learning phase by resolution : 0 1800.09/1747.61 c number of learning phase by cutting planes : 0 1800.09/1747.61 c speed (assignments/second) : 46324.946557195966 1800.09/1747.61 c non guided choices 0 1800.09/1747.65 c learnt constraints type 1800.09/1747.65 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237988 1800.09/1747.65 c constraints type 1800.09/1747.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3159 1800.09/1747.65 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1800.09/1747.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1747.65 c ignored satisfied constraints => 500 1800.09/1747.65 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3159 1800.09/1747.65 c 7319 constraints processed. 1800.09/1747.65 s SATISFIABLE 1800.09/1747.65 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 1800.09/1747.65 c objective function=-97 1800.09/1747.65 c Total wall clock time (in seconds): 1747.54
OK -97
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-3688667-1337886271/watcher-3688667-1337886271 -o /tmp/evaluation-result-3688667-1337886271/solver-3688667-1337886271 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688667-1337886271.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/194 13621 /proc/meminfo: memFree=27673648/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13621/stat : 13621 (java) D 13619 13621 12001 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254753190 9515008 182 33554432000 1073741824 1073778376 140733840026384 140733840017416 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/13621/statm: 2323 182 140 9 0 71 0 [startup+0.0879129 s] /proc/loadavg: 1.92 1.98 1.99 4/194 13621 /proc/meminfo: memFree=27673648/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 3768 0 1 0 6 1 0 0 20 0 18 0 254753190 9787813888 4467 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2389603 4482 1972 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.100337 s] /proc/loadavg: 1.92 1.98 1.99 4/194 13621 /proc/meminfo: memFree=27673648/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 4356 0 1 0 8 1 0 0 20 0 18 0 254753190 9787813888 5036 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2389603 5036 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300302 s] /proc/loadavg: 1.92 1.98 1.99 4/194 13621 /proc/meminfo: memFree=27673648/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9558412 CPUtime=0.47 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 5415 0 1 0 46 1 0 0 20 0 18 0 254753190 9787813888 7630 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2389603 7630 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.700299 s] /proc/loadavg: 1.92 1.98 1.99 4/194 13621 /proc/meminfo: memFree=27673648/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=1.58 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 15713 0 1 0 154 4 0 0 20 0 19 0 254753190 9855975424 14916 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 14916 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9624976 [startup+1.50079 s] /proc/loadavg: 1.92 1.98 1.99 3/213 13640 /proc/meminfo: memFree=27613996/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=2.57 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 15837 0 1 0 250 7 0 0 20 0 19 0 254753190 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 24727 2282 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=1.41 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 2519 0 1 0 139 2 0 0 20 0 19 0 254753191 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987280970136 139987153906845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 254753194 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5206 0 0 0 53 1 0 0 20 0 19 0 254753196 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6835 0 0 0 45 3 0 0 20 0 19 0 254753196 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 24727 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.57 Current children cumulated vsize (KiB) 9624976 [startup+3.10079 s] /proc/loadavg: 1.92 1.98 1.99 3/213 13640 /proc/meminfo: memFree=27576388/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=4.24 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 15887 0 1 0 416 8 0 0 20 0 19 0 254753190 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 28850 2282 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=2.92 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 2520 0 1 0 290 2 0 0 20 0 19 0 254753191 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987280970136 139987153969621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 39 0 0 0 9 0 0 0 20 0 19 0 254753194 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6845 0 0 0 49 3 0 0 20 0 19 0 254753196 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 28850 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 9624976 [startup+6.30077 s] /proc/loadavg: 2.01 2.00 2.00 3/213 13640 /proc/meminfo: memFree=27558700/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=7.51 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 15906 0 1 0 742 9 0 0 20 0 19 0 254753190 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 30471 2282 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=5.98 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 2525 0 1 0 596 2 0 0 20 0 19 0 254753191 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987280969976 139987153914744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254753192 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=0.2 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 43 0 0 0 20 0 0 0 20 0 19 0 254753194 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6845 0 0 0 49 3 0 0 20 0 19 0 254753196 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 30471 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (KiB) 9624976 [startup+12.7008 s] ################ # More data... # ################ [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=7.86 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 6178 0 0 0 755 31 0 0 20 0 19 0 254753192 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=7.57 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 3600 0 0 0 731 26 0 0 20 0 19 0 254753192 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=7.3 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 4606 0 0 0 702 28 0 0 20 0 19 0 254753192 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=12.99 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 1742 0 0 0 1283 16 0 0 20 0 19 0 254753194 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6848 0 0 0 51 3 0 0 20 0 19 0 254753196 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 90 0 0 0 33 32 0 0 20 0 19 0 254753196 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 188439 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1647.21 Current children cumulated vsize (KiB) 9624976 [startup+1662.3 s] /proc/loadavg: 2.11 2.11 2.04 3/213 13714 /proc/meminfo: memFree=26992768/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=1710.31 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 58032 0 1 0 170737 294 0 0 20 0 19 0 254753190 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 174962 2283 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=1630.09 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 3763 0 1 0 162977 32 0 0 20 0 19 0 254753191 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987280969072 139987154049844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=8.17 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 4141 0 0 0 792 25 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=8.28 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 5460 0 0 0 801 27 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=8.19 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 5344 0 0 0 787 32 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=8.2 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 4970 0 0 0 794 26 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=8.15 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 4180 0 0 0 789 26 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=8.4 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 6355 0 0 0 808 32 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=8.12 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 3619 0 0 0 786 26 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=7.89 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 5077 0 0 0 759 30 0 0 20 0 19 0 254753192 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=13.15 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 1793 0 0 0 1298 17 0 0 20 0 19 0 254753194 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6848 0 0 0 51 3 0 0 20 0 19 0 254753196 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 94 0 0 0 34 33 0 0 20 0 19 0 254753196 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 174962 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1710.31 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.10 2.11 2.04 3/213 13714 /proc/meminfo: memFree=26959240/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=1773.53 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 66713 0 1 0 177045 308 0 0 20 0 19 0 254753190 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 179992 2283 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=1688.45 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 3862 0 1 0 168811 34 0 0 20 0 19 0 254753191 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987280969072 139987153969621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=8.73 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 5233 0 0 0 847 26 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=8.81 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 6001 0 0 0 853 28 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=8.73 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 6646 0 0 0 840 33 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=8.77 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 5940 0 0 0 849 28 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=8.73 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 5758 0 0 0 846 27 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=9.03 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 7383 0 0 0 869 34 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=8.67 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 4970 0 0 0 839 28 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=8.46 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 5741 0 0 0 815 31 0 0 20 0 19 0 254753192 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=13.48 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 1847 0 0 0 1329 19 0 0 20 0 19 0 254753194 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6848 0 0 0 51 3 0 0 20 0 19 0 254753196 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0.69 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 96 0 0 0 35 34 0 0 20 0 19 0 254753196 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 179992 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1773.53 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1747.6 s] /proc/loadavg: 2.13 2.11 2.04 3/213 13714 /proc/meminfo: memFree=26970708/32873844 swapFree=7364/7364 [pid=13621] ppid=13619 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7 /proc/13621/stat : 13621 (java) S 13619 13621 12001 0 -1 4202496 67350 0 1 0 179698 311 0 0 20 0 19 0 254753190 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 140736056367216 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13621/statm: 2406244 177158 2283 9 0 2396937 0 [pid=13621/tid=13623] ppid=13619 vsize=9624976 CPUtime=1713 cores=1,3,5,7 /proc/13621/task/13623/stat : 13623 (java) R 13619 13621 12001 0 -1 4202560 3899 0 1 0 171265 35 0 0 20 0 19 0 254753191 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987280969072 139987153969621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13624] ppid=13619 vsize=9624976 CPUtime=8.95 cores=1,3,5,7 /proc/13621/task/13624/stat : 13624 (java) S 13619 13621 12001 0 -1 4202560 5378 0 0 0 869 26 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987124804008 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13625] ppid=13619 vsize=9624976 CPUtime=9.01 cores=1,3,5,7 /proc/13621/task/13625/stat : 13625 (java) S 13619 13621 12001 0 -1 4202560 6001 0 0 0 873 28 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987123751464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13626] ppid=13619 vsize=9624976 CPUtime=8.97 cores=1,3,5,7 /proc/13621/task/13626/stat : 13626 (java) S 13619 13621 12001 0 -1 4202560 6774 0 0 0 864 33 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987122698408 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13627] ppid=13619 vsize=9624976 CPUtime=8.98 cores=1,3,5,7 /proc/13621/task/13627/stat : 13627 (java) S 13619 13621 12001 0 -1 4202560 5976 0 0 0 870 28 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987121645864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13628] ppid=13619 vsize=9624976 CPUtime=8.97 cores=1,3,5,7 /proc/13621/task/13628/stat : 13628 (java) S 13619 13621 12001 0 -1 4202560 5767 0 0 0 869 28 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987120593832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13629] ppid=13619 vsize=9624976 CPUtime=9.25 cores=1,3,5,7 /proc/13621/task/13629/stat : 13629 (java) S 13619 13621 12001 0 -1 4202560 7495 0 0 0 890 35 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987119541288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13630] ppid=13619 vsize=9624976 CPUtime=8.89 cores=1,3,5,7 /proc/13621/task/13630/stat : 13630 (java) S 13619 13621 12001 0 -1 4202560 4996 0 0 0 861 28 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987118488232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13631] ppid=13619 vsize=9624976 CPUtime=8.68 cores=1,3,5,7 /proc/13621/task/13631/stat : 13631 (java) S 13619 13621 12001 0 -1 4202560 5869 0 0 0 837 31 0 0 20 0 19 0 254753192 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987117435688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13621/tid=13632] ppid=13619 vsize=9624976 CPUtime=13.72 cores=1,3,5,7 /proc/13621/task/13632/stat : 13632 (java) S 13619 13621 12001 0 -1 4202560 1861 0 0 0 1353 19 0 0 20 0 19 0 254753194 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987105237352 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13633] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13633/stat : 13633 (java) S 13619 13621 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987104183672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13634] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13634/stat : 13634 (java) S 13619 13621 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254753194 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987103130504 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13635] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13635/stat : 13635 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987102079248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13636] ppid=13619 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/13621/task/13636/stat : 13636 (java) S 13619 13621 12001 0 -1 4202560 5207 0 0 0 54 1 0 0 20 0 19 0 254753196 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987101027128 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13621/tid=13637] ppid=13619 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/13621/task/13637/stat : 13637 (java) S 13619 13621 12001 0 -1 4202560 6848 0 0 0 51 3 0 0 20 0 19 0 254753196 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987099974584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13638] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13638/stat : 13638 (java) S 13619 13621 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254753196 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987098921720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13621/tid=13639] ppid=13619 vsize=9624976 CPUtime=0.7 cores=1,3,5,7 /proc/13621/task/13639/stat : 13639 (java) S 13619 13621 12001 0 -1 4202560 98 0 0 0 36 34 0 0 20 0 19 0 254753196 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987097869384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13621/tid=13640] ppid=13619 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/13621/task/13640/stat : 13640 (java) S 13619 13621 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254753232 9855975424 177158 33554432000 1073741824 1073778376 140736056376080 139987096167464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 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 Child status: 143 Real time (s): 1747.66 CPU time (s): 1800.57 CPU user time (s): 1797.14 CPU system time (s): 3.43248 CPU usage (%): 103.028 Max. virtual memory (cumulated for all children) (KiB): 9625344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.14 system time used= 3.43248 maximum resident set size= 852632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67386 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 79142 involuntary context switches= 120754 runsolver used 5.9221 second user time and 15.6826 second system time The end
Begin job on node118 at 2012-05-24 21:04:31 IDJOB=3688667 IDBENCH=48176 IDSOLVER=2269 FILE ID=node118/3688667-1337886271 RUNJOBID= node118-1337871881-12018 PBS_JOBID= 14620086 Free space on /tmp= 71668 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688667-1337886271/watcher-3688667-1337886271 -o /tmp/evaluation-result-3688667-1337886271/solver-3688667-1337886271 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688667-1337886271.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=66427364 node118.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.212 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.42 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.212 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 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.92 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.212 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.212 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 : 5320.68 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.212 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.91 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.212 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27673804 kB Buffers: 216200 kB Cached: 3948116 kB SwapCached: 0 kB Active: 694060 kB Inactive: 3734624 kB Active(anon): 265960 kB Inactive(anon): 0 kB Active(file): 428100 kB Inactive(file): 3734624 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 208 kB Writeback: 0 kB AnonPages: 272244 kB Mapped: 22536 kB Shmem: 200 kB Slab: 630680 kB SReclaimable: 72912 kB SUnreclaim: 557768 kB KernelStack: 1608 kB PageTables: 4432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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= 71668 MiB End job on node118 at 2012-05-24 21:33:41