Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | -41 | 1800.04 | 1793.35 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
| MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80851 |
| Number of constraints which are clauses | 80851 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/0.08 c Number of processors 8 0.09/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.11 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710707-1338148382.opb 0.09/0.12 c reading problem ... 0.88/0.62 c ... done. Wall clock time 0.498s. 0.88/0.62 c declared #vars 1150 0.88/0.62 c #constraints 80851 0.88/0.62 c constraints type 0.88/0.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80851 0.88/0.62 c 80851 constraints processed. 0.88/0.64 c SATISFIABLE 0.88/0.64 c OPTIMIZING... 0.88/0.64 c Got one! Elapsed wall clock time (in seconds):0.524 0.88/0.64 o 0 0.88/0.66 c Got one! Elapsed wall clock time (in seconds):0.538 0.88/0.66 o -1 1.06/0.71 c Got one! Elapsed wall clock time (in seconds):0.596 1.06/0.71 o -2 1.06/0.72 c Got one! Elapsed wall clock time (in seconds):0.607 1.06/0.72 o -34 1.06/0.74 c Got one! Elapsed wall clock time (in seconds):0.617 1.06/0.74 o -35 1.32/0.81 c Got one! Elapsed wall clock time (in seconds):0.692 1.32/0.81 o -36 1.58/1.03 c Got one! Elapsed wall clock time (in seconds):0.911 1.58/1.03 o -37 1.88/1.38 c Got one! Elapsed wall clock time (in seconds):1.264 1.88/1.38 o -38 2.65/2.07 c cleaning 2985 clauses out of 5970 with flag 3001/5970 4.17/3.41 c cleaning 4493 clauses out of 8986 with flag 9002/11971 4.82/4.07 c Got one! Elapsed wall clock time (in seconds):3.952 4.82/4.07 o -39 5.53/4.74 c cleaning 5143 clauses out of 10302 with flag 3000/17780 6.95/6.16 c cleaning 5578 clauses out of 11159 with flag 9000/23780 8.71/7.84 c cleaning 6292 clauses out of 12583 with flag 16002/30782 10.63/9.70 c cleaning 7140 clauses out of 14290 with flag 24001/38781 13.07/12.13 c cleaning 8071 clauses out of 16151 with flag 33002/47782 15.52/14.52 c cleaning 9032 clauses out of 18078 with flag 43000/57780 18.66/17.60 c cleaning 10020 clauses out of 20046 with flag 54000/68780 22.17/21.10 c cleaning 11011 clauses out of 22027 with flag 66001/80781 25.76/24.66 c cleaning 12005 clauses out of 24015 with flag 79000/93780 29.89/28.79 c cleaning 12999 clauses out of 26011 with flag 93001/107781 34.36/33.15 c cleaning 14001 clauses out of 28011 with flag 108000/122780 39.24/37.94 c cleaning 14997 clauses out of 30011 with flag 124001/138781 45.31/43.98 c cleaning 16004 clauses out of 32014 with flag 141001/155781 52.87/51.44 c cleaning 16998 clauses out of 34010 with flag 159001/173781 58.17/56.63 c cleaning 17998 clauses out of 36013 with flag 178002/192782 65.13/63.55 c cleaning 19001 clauses out of 38013 with flag 198000/212780 72.99/71.33 c cleaning 20002 clauses out of 40014 with flag 219002/233782 83.47/81.73 c cleaning 20998 clauses out of 42010 with flag 241000/255780 86.27/84.44 c Got one! Elapsed wall clock time (in seconds):84.318 86.27/84.44 o -40 87.63/85.74 c cleaning 17233 clauses out of 34474 with flag 5001/269242 89.26/87.33 c cleaning 11617 clauses out of 23241 with flag 11001/275242 91.09/89.20 c cleaning 9308 clauses out of 18623 with flag 18000/282241 93.21/91.28 c cleaning 8651 clauses out of 17315 with flag 26000/290241 96.12/94.13 c cleaning 8825 clauses out of 17664 with flag 35000/299241 100.75/98.74 c cleaning 9413 clauses out of 18840 with flag 45001/309242 104.67/102.66 c cleaning 10211 clauses out of 20426 with flag 56000/320241 109.10/107.00 c cleaning 11108 clauses out of 22215 with flag 68000/332241 114.25/112.13 c cleaning 12050 clauses out of 24107 with flag 81000/345241 118.89/116.72 c cleaning 13025 clauses out of 26058 with flag 95001/359242 125.44/123.26 c cleaning 14009 clauses out of 28034 with flag 110002/374243 133.98/131.77 c cleaning 15012 clauses out of 30023 with flag 126000/390241 138.54/136.27 c cleaning 16001 clauses out of 32012 with flag 143001/407242 144.01/141.60 c cleaning 17003 clauses out of 34010 with flag 161000/425241 151.18/148.75 c cleaning 18004 clauses out of 36007 with flag 180000/444241 158.54/156.09 c cleaning 18994 clauses out of 38003 with flag 200000/464241 166.30/163.70 c cleaning 20005 clauses out of 40012 with flag 221003/485244 177.76/175.18 c cleaning 21002 clauses out of 42005 with flag 243001/507242 188.13/185.45 c cleaning 21999 clauses out of 44002 with flag 266000/530241 201.18/198.48 c cleaning 23001 clauses out of 46004 with flag 290001/554242 214.93/212.11 c cleaning 23994 clauses out of 48003 with flag 315001/579242 224.17/221.32 c cleaning 25002 clauses out of 50008 with flag 341000/605241 233.80/230.81 c cleaning 26003 clauses out of 52006 with flag 368000/632241 245.97/242.91 c cleaning 26997 clauses out of 54005 with flag 396002/660243 257.17/254.05 c cleaning 27995 clauses out of 56006 with flag 425000/689241 272.56/269.40 c cleaning 29007 clauses out of 58015 with flag 455004/719245 287.87/284.54 c cleaning 29995 clauses out of 60004 with flag 486000/750241 306.45/303.04 c cleaning 30999 clauses out of 62009 with flag 518000/782241 322.16/318.61 c cleaning 31999 clauses out of 64010 with flag 551000/815241 343.87/340.27 c cleaning 32998 clauses out of 66012 with flag 585001/849242 367.48/363.75 c cleaning 34007 clauses out of 68014 with flag 620001/884242 378.58/374.87 c cleaning 35003 clauses out of 70006 with flag 656000/920241 393.19/389.49 c cleaning 35995 clauses out of 72003 with flag 693000/957241 409.71/405.83 c cleaning 36998 clauses out of 74010 with flag 731002/995243 426.70/422.82 c cleaning 38001 clauses out of 76011 with flag 770001/1034242 456.72/452.80 c cleaning 39005 clauses out of 78010 with flag 810001/1074242 476.61/472.72 c cleaning 39996 clauses out of 80005 with flag 851001/1115242 502.32/498.44 c cleaning 41002 clauses out of 82009 with flag 893001/1157242 525.73/521.84 c cleaning 41995 clauses out of 84006 with flag 936000/1200241 559.52/555.68 c cleaning 42998 clauses out of 86013 with flag 980002/1244243 589.72/585.89 c cleaning 43999 clauses out of 88016 with flag 1025003/1289244 627.42/623.51 c cleaning 45003 clauses out of 90016 with flag 1071002/1335243 645.02/641.16 c cleaning 46002 clauses out of 92012 with flag 1118001/1382242 669.72/665.85 c cleaning 47003 clauses out of 94011 with flag 1166002/1430243 693.12/689.20 c cleaning 48003 clauses out of 96006 with flag 1215000/1479241 725.73/721.86 c cleaning 48996 clauses out of 98005 with flag 1265002/1529243 764.03/760.13 c cleaning 49995 clauses out of 100007 with flag 1316000/1580241 800.83/796.93 c cleaning 51005 clauses out of 102013 with flag 1368001/1632242 836.54/832.62 c cleaning 51996 clauses out of 104009 with flag 1421002/1685243 872.45/868.56 c cleaning 53000 clauses out of 106014 with flag 1475003/1739244 903.15/899.26 c cleaning 53995 clauses out of 108011 with flag 1530000/1794241 946.95/943.00 c cleaning 55003 clauses out of 110016 with flag 1586000/1850241 1000.66/996.77 c cleaning 55999 clauses out of 112013 with flag 1643000/1907241 1063.75/1059.81 c cleaning 56998 clauses out of 114016 with flag 1701002/1965243 1095.25/1091.31 c cleaning 58006 clauses out of 116018 with flag 1760002/2024243 1124.56/1120.19 c cleaning 59000 clauses out of 118010 with flag 1820000/2084241 1146.76/1142.34 c Got one! Elapsed wall clock time (in seconds):1142.223 1146.76/1142.34 o -41 1150.07/1145.65 c cleaning 50982 clauses out of 101976 with flag 5002/2127207 1152.21/1147.61 c cleaning 28481 clauses out of 56992 with flag 11000/2133205 1154.33/1149.78 c cleaning 17747 clauses out of 35512 with flag 18001/2140206 1156.74/1152.18 c cleaning 12876 clauses out of 25764 with flag 26000/2148205 1159.39/1154.75 c cleaning 10939 clauses out of 21889 with flag 35001/2157206 1162.72/1158.09 c cleaning 10465 clauses out of 20950 with flag 45001/2167206 1166.55/1161.85 c cleaning 10738 clauses out of 21484 with flag 56000/2178205 1170.49/1165.80 c cleaning 11371 clauses out of 22747 with flag 68001/2190206 1175.72/1170.95 c cleaning 12181 clauses out of 24376 with flag 81001/2203206 1181.53/1176.77 c cleaning 13097 clauses out of 26196 with flag 95002/2217207 1188.05/1183.22 c cleaning 14043 clauses out of 28097 with flag 110000/2232205 1195.49/1190.64 c cleaning 15022 clauses out of 30055 with flag 126001/2248206 1204.03/1199.12 c cleaning 16009 clauses out of 32034 with flag 143002/2265207 1215.15/1210.26 c cleaning 17007 clauses out of 34024 with flag 161001/2283206 1222.67/1217.78 c cleaning 18003 clauses out of 36016 with flag 180000/2302205 1232.08/1227.10 c cleaning 19003 clauses out of 38014 with flag 200001/2322206 1243.84/1238.81 c cleaning 20001 clauses out of 40011 with flag 221001/2343206 1256.21/1251.20 c cleaning 20997 clauses out of 42009 with flag 243000/2365205 1270.86/1265.72 c cleaning 21999 clauses out of 44012 with flag 266000/2388205 1286.97/1281.89 c cleaning 23002 clauses out of 46014 with flag 290001/2412206 1303.73/1298.58 c cleaning 24005 clauses out of 48012 with flag 315001/2437206 1317.78/1312.50 c cleaning 25005 clauses out of 50010 with flag 341004/2463209 1333.88/1328.54 c cleaning 26001 clauses out of 52001 with flag 368000/2490205 1354.63/1349.21 c cleaning 26997 clauses out of 54002 with flag 396002/2518207 1376.90/1371.45 c cleaning 28000 clauses out of 56007 with flag 425004/2547209 1403.01/1397.56 c cleaning 28997 clauses out of 58003 with flag 455000/2577205 1432.49/1426.91 c cleaning 30001 clauses out of 60009 with flag 486003/2608208 1463.35/1457.77 c cleaning 31003 clauses out of 62005 with flag 518000/2640205 1480.73/1475.01 c cleaning 32001 clauses out of 64002 with flag 551000/2673205 1501.91/1496.17 c cleaning 33001 clauses out of 66001 with flag 585000/2707205 1530.59/1524.76 c cleaning 33998 clauses out of 68002 with flag 620002/2742207 1562.05/1556.15 c cleaning 34998 clauses out of 70003 with flag 656001/2778206 1587.31/1581.37 c cleaning 36002 clauses out of 72004 with flag 693000/2815205 1614.68/1608.68 c cleaning 37002 clauses out of 74004 with flag 731002/2853207 1648.13/1642.07 c cleaning 37993 clauses out of 76000 with flag 770000/2892205 1690.23/1684.04 c cleaning 38997 clauses out of 78010 with flag 810003/2932208 1731.12/1724.84 c cleaning 39998 clauses out of 80010 with flag 851000/2973205 1754.00/1747.62 c cleaning 41002 clauses out of 82012 with flag 893000/3015205 1770.45/1763.93 c cleaning 42004 clauses out of 84013 with flag 936003/3058208 1790.14/1783.57 c cleaning 42997 clauses out of 86006 with flag 980000/3102205 1800.04/1793.31 c starts : 259 1800.04/1793.31 c conflicts : 3127472 1800.04/1793.31 c decisions : 3171770 1800.04/1793.31 c propagations : 17259640 1800.04/1793.31 c inspects : 3960856470 1800.04/1793.31 c shortcuts : 0 1800.04/1793.31 c learnt literals : 0 1800.04/1793.31 c learnt binary clauses : 0 1800.04/1793.31 c learnt ternary clauses : 0 1800.04/1793.31 c learnt constraints : 3127472 1800.04/1793.31 c ignored constraints : 0 1800.04/1793.31 c root simplifications : 259 1800.04/1793.31 c removed literals (reason simplification) : 74188679 1800.04/1793.31 c reason swapping (by a shorter reason) : 0 1800.04/1793.31 c Calls to reduceDB : 116 1800.04/1793.31 c number of reductions to clauses (during analyze) : 0 1800.04/1793.31 c number of learned constraints concerned by reduction : 0 1800.04/1793.31 c number of learning phase by resolution : 0 1800.04/1793.31 c number of learning phase by cutting planes : 0 1800.04/1793.31 c speed (assignments/second) : 9627.789523007325 1800.04/1793.31 c non guided choices 3447 1800.04/1793.33 c learnt constraints type 1800.04/1793.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68325 1800.04/1793.33 c constraints type 1800.04/1793.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 0 1800.04/1793.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.04/1793.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80851 1800.04/1793.34 c 80852 constraints processed. 1800.04/1793.34 s SATISFIABLE 1800.04/1793.34 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.04/1793.34 c objective function=-41 1800.04/1793.34 c Total wall clock time (in seconds): 1793.221
OK -41
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-3710707-1338148382/watcher-3710707-1338148382 -o /tmp/evaluation-result-3710707-1338148382/solver-3710707-1338148382 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710707-1338148382.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: 2.03 2.02 2.00 3/194 20564 /proc/meminfo: memFree=27054968/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/20564/stat : 20564 (java) R 20562 20564 16973 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280963960 9515008 183 33554432000 1073741824 1073778376 140734476629504 140734476620536 270330052277 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20564/statm: 2323 183 140 9 0 71 0 [startup+0.0680031 s] /proc/loadavg: 2.03 2.02 2.00 3/194 20564 /proc/meminfo: memFree=27054968/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9558440 CPUtime=0.05 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 3274 0 1 0 4 1 0 0 20 0 18 0 280963960 9787842560 4482 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2389610 4482 1766 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.100204 s] /proc/loadavg: 2.03 2.02 2.00 3/194 20564 /proc/meminfo: memFree=27054968/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 4288 0 1 0 8 1 0 0 20 0 18 0 280963960 9787842560 6006 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2389610 6006 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300238 s] /proc/loadavg: 2.03 2.02 2.00 3/194 20564 /proc/meminfo: memFree=27054968/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9558440 CPUtime=0.45 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 5493 0 1 0 44 1 0 0 20 0 18 0 280963960 9787842560 8380 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2389610 8380 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558440 [startup+0.700219 s] /proc/loadavg: 2.03 2.02 2.00 3/194 20564 /proc/meminfo: memFree=27054968/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=1.06 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 8043 0 1 0 102 4 0 0 20 0 19 0 280963960 9856004096 41409 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 41409 2268 9 0 2396937 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9625004 [startup+1.50064 s] /proc/loadavg: 2.03 2.02 2.00 3/213 20583 /proc/meminfo: memFree=26899064/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=2.11 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 8919 0 1 0 207 4 0 0 20 0 19 0 280963960 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 41133 2276 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=1.45 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2584 0 1 0 142 3 0 0 20 0 19 0 280963961 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785536037304 139785365196541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 2145 0 0 0 29 0 0 0 20 0 19 0 280963966 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2909 0 0 0 31 0 0 0 20 0 19 0 280963966 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 41133 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 9625004 [startup+3.1007 s] /proc/loadavg: 2.03 2.02 2.00 3/213 20583 /proc/meminfo: memFree=26876032/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=3.87 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 9664 0 1 0 380 7 0 0 20 0 19 0 280963960 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 51912 2288 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=3 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2586 0 1 0 297 3 0 0 20 0 19 0 280963961 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785536037352 139785365196496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 19 0 280963964 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 2815 0 0 0 36 0 0 0 20 0 19 0 280963966 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2913 0 0 0 34 0 0 0 20 0 19 0 280963966 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 51912 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 9625004 [startup+6.30074 s] /proc/loadavg: 2.03 2.02 2.00 3/213 20583 /proc/meminfo: memFree=26811180/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=7.2 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 10063 0 1 0 711 9 0 0 20 0 19 0 280963960 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 63489 2288 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=6.08 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2589 0 1 0 605 3 0 0 20 0 19 0 280963961 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785536037288 139785365195785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 104 0 0 0 1 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 86 0 0 0 2 0 0 0 20 0 19 0 280963962 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=0.1 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 111 0 0 0 10 0 0 0 20 0 19 0 280963964 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 2815 0 0 0 36 0 0 0 20 0 19 0 280963966 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2922 0 0 0 40 0 0 0 20 0 19 0 280963966 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 63489 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 3290 0 0 0 38 0 0 0 20 0 19 0 280963966 9856004096 245793 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2931 0 0 0 45 0 0 0 20 0 19 0 280963966 9856004096 245793 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245793 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0.65 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 99 0 0 0 29 36 0 0 20 0 19 0 280963966 9856004096 245793 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 245793 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1728.62 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/213 20680 /proc/meminfo: memFree=26371264/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=1788.94 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 14111 0 1 0 178768 126 0 0 20 0 19 0 280963960 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 245821 2289 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=1767.42 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2760 0 1 0 176708 34 0 0 20 0 19 0 280963961 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785536037168 139785365177016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 340 0 0 0 85 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=1.02 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 551 0 0 0 93 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=1.04 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 272 0 0 0 96 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 324 0 0 0 84 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=1.07 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 431 0 0 0 95 12 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 215 0 0 0 81 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=1.06 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 197 0 0 0 97 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 310 0 0 0 87 11 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=7.74 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 1206 0 0 0 770 4 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 3290 0 0 0 38 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2931 0 0 0 45 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 103 0 0 0 29 37 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1788.94 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 2.01 2.02 2.00 3/213 20680 /proc/meminfo: memFree=26369220/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 14114 0 1 0 179878 126 0 0 20 0 19 0 280963960 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 245821 2289 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=1778.28 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2761 0 1 0 177793 35 0 0 20 0 19 0 280963961 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785536037168 139785365176926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 340 0 0 0 86 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=1.04 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 551 0 0 0 95 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=1.05 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 272 0 0 0 97 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 324 0 0 0 87 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=1.1 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 431 0 0 0 98 12 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 215 0 0 0 81 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=1.06 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 197 0 0 0 97 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0.99 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 310 0 0 0 88 11 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=7.83 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 1208 0 0 0 779 4 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 3290 0 0 0 38 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2931 0 0 0 45 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 103 0 0 0 29 37 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.3 s] /proc/loadavg: 2.01 2.02 2.00 3/213 20680 /proc/meminfo: memFree=26369220/32873660 swapFree=7120/7120 [pid=20564] ppid=20562 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7 /proc/20564/stat : 20564 (java) S 20562 20564 16973 0 -1 4202496 14114 0 1 0 179878 126 0 0 20 0 19 0 280963960 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 140737335067920 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20564/statm: 2406251 245821 2289 9 0 2396937 0 [pid=20564/tid=20566] ppid=20562 vsize=9625004 CPUtime=1778.28 cores=1,3,5,7 /proc/20564/task/20566/stat : 20566 (java) R 20562 20564 16973 0 -1 4202560 2761 0 1 0 177793 35 0 0 20 0 19 0 280963961 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785536037168 139785365176926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20567] ppid=20562 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/20564/task/20567/stat : 20567 (java) S 20562 20564 16973 0 -1 4202560 340 0 0 0 86 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785497528872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20568] ppid=20562 vsize=9625004 CPUtime=1.04 cores=1,3,5,7 /proc/20564/task/20568/stat : 20568 (java) S 20562 20564 16973 0 -1 4202560 551 0 0 0 95 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785496476072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20569] ppid=20562 vsize=9625004 CPUtime=1.05 cores=1,3,5,7 /proc/20564/task/20569/stat : 20569 (java) S 20562 20564 16973 0 -1 4202560 272 0 0 0 97 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785495423272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20570] ppid=20562 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/20564/task/20570/stat : 20570 (java) S 20562 20564 16973 0 -1 4202560 324 0 0 0 87 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785494370472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20571] ppid=20562 vsize=9625004 CPUtime=1.1 cores=1,3,5,7 /proc/20564/task/20571/stat : 20571 (java) S 20562 20564 16973 0 -1 4202560 431 0 0 0 98 12 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785493318696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20572] ppid=20562 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/20564/task/20572/stat : 20572 (java) S 20562 20564 16973 0 -1 4202560 215 0 0 0 81 8 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785492265896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20573] ppid=20562 vsize=9625004 CPUtime=1.06 cores=1,3,5,7 /proc/20564/task/20573/stat : 20573 (java) S 20562 20564 16973 0 -1 4202560 197 0 0 0 97 9 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785491213096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20574] ppid=20562 vsize=9625004 CPUtime=0.99 cores=1,3,5,7 /proc/20564/task/20574/stat : 20574 (java) S 20562 20564 16973 0 -1 4202560 310 0 0 0 88 11 0 0 20 0 19 0 280963962 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785490160296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20575] ppid=20562 vsize=9625004 CPUtime=7.83 cores=1,3,5,7 /proc/20564/task/20575/stat : 20575 (java) S 20562 20564 16973 0 -1 4202560 1208 0 0 0 779 4 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785359301096 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20576] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20576/stat : 20576 (java) S 20562 20564 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785358247160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20577] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20577/stat : 20577 (java) S 20562 20564 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280963964 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785357194248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20564/tid=20578] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20578/stat : 20578 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785356142736 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20579] ppid=20562 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/20564/task/20579/stat : 20579 (java) S 20562 20564 16973 0 -1 4202560 3290 0 0 0 38 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785355090872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20564/tid=20580] ppid=20562 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/20564/task/20580/stat : 20580 (java) S 20562 20564 16973 0 -1 4202560 2931 0 0 0 45 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785354038072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20581] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20581/stat : 20581 (java) S 20562 20564 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785352985464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20564/tid=20582] ppid=20562 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/20564/task/20582/stat : 20582 (java) S 20562 20564 16973 0 -1 4202560 103 0 0 0 29 37 0 0 20 0 19 0 280963966 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785351932872 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20564/tid=20583] ppid=20562 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/20564/task/20583/stat : 20583 (java) S 20562 20564 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280964023 9856004096 245821 33554432000 1073741824 1073778376 140737335076784 139785350878376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20564 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=328220 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=651748 # CPU time returned by wait4() is 1795.98 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.35 CPU time (s): 1800.04 CPU user time (s): 1798.78 CPU system time (s): 1.26 CPU usage (%): 100.373 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.33 system time used= 1.65175 maximum resident set size= 983432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14154 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40706 involuntary context switches= 32038 runsolver used 6.19006 second user time and 14.7628 second system time The end
Begin job on node117 at 2012-05-27 21:53:02 IDJOB=3710707 IDBENCH=2264 IDSOLVER=2289 FILE ID=node117/3710707-1338148382 RUNJOBID= node117-1338124635-16990 PBS_JOBID= 14624513 Free space on /tmp= 70044 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710707-1338148382/watcher-3710707-1338148382 -o /tmp/evaluation-result-3710707-1338148382/solver-3710707-1338148382 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710707-1338148382.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED=1391442852 node117.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 : 2667.148 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 : 5334.29 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 : 2667.148 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 : 2667.148 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 : 2667.148 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.95 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 : 2667.148 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 : 2667.148 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 : 2667.148 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 : 2667.148 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: 32873660 kB MemFree: 27055612 kB Buffers: 332360 kB Cached: 4050188 kB SwapCached: 0 kB Active: 2739112 kB Inactive: 2186364 kB Active(anon): 533996 kB Inactive(anon): 11356 kB Active(file): 2205116 kB Inactive(file): 2175008 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 567580 kB Mapped: 22564 kB Shmem: 200 kB Slab: 735144 kB SReclaimable: 179336 kB SUnreclaim: 555808 kB KernelStack: 1608 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 826680 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 528384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70048 MiB End job on node117 at 2012-05-27 22:22:57