Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 26087 | 1800.51 | 1796.94 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb |
| MD5SUM | da210e6015c5a34ffbeabe5ecb901720 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23670 |
| Best CPU time to get the best result obtained on this benchmark | 0.12198 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23670 |
| Optimality of the best value was proved | YES |
| Number of variables | 1152 |
| Total number of constraints | 1774 |
| Number of constraints which are clauses | 1774 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 39 |
| Number of terms in the objective function | 661 |
| Biggest coefficient in the objective function | 1066 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 524592 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1066 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 524592 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.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@2b21cc40 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 Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4105933-1466268332.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.27/0.25 c ... done. Wall clock time 0.134s. 0.27/0.25 c declared #vars 1152 0.27/0.25 c #constraints 1774 0.27/0.25 c constraints type 0.27/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 506 0.27/0.25 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 0.27/0.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1263 0.27/0.25 c 1774 constraints processed. 0.27/0.25 c objective function length is 661 literals 0.27/0.27 c SATISFIABLE 0.27/0.27 c OPTIMIZING... 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.157 0.27/0.27 o 27347 0.72/0.45 c Got one! Elapsed wall clock time (in seconds):0.341 0.72/0.45 o 26807 0.72/0.46 c Got one! Elapsed wall clock time (in seconds):0.35 0.72/0.46 o 26725 0.89/0.52 c Got one! Elapsed wall clock time (in seconds):0.411 0.89/0.52 o 26141 0.89/0.57 c Got one! Elapsed wall clock time (in seconds):0.46 0.89/0.57 o 26116 0.89/0.58 c Got one! Elapsed wall clock time (in seconds):0.464 0.89/0.58 o 26087 1.51/0.91 c cleaning 3181 clauses out of 6363 with flag 7424/6363 2.46/1.85 c cleaning 4586 clauses out of 9182 with flag 27284/12363 3.56/2.94 c cleaning 5781 clauses out of 11596 with flag 50909/19363 4.66/4.08 c cleaning 6902 clauses out of 13815 with flag 78787/27363 6.09/5.46 c cleaning 7950 clauses out of 15915 with flag 107906/36365 7.59/6.93 c cleaning 8967 clauses out of 17964 with flag 143264/46364 9.19/8.56 c cleaning 9990 clauses out of 19997 with flag 178706/57364 10.98/10.31 c cleaning 11001 clauses out of 22007 with flag 220592/69364 12.98/12.39 c cleaning 11987 clauses out of 24005 with flag 265715/82363 15.18/14.52 c cleaning 13004 clauses out of 26020 with flag 310964/96365 17.38/16.75 c cleaning 14006 clauses out of 28014 with flag 358202/111363 19.88/19.22 c cleaning 15004 clauses out of 30010 with flag 407129/127365 22.69/22.01 c cleaning 15997 clauses out of 32004 with flag 463539/144363 25.58/24.95 c cleaning 16995 clauses out of 34007 with flag 529568/162363 28.68/28.00 c cleaning 17993 clauses out of 36012 with flag 595382/181363 31.79/31.18 c cleaning 18992 clauses out of 38020 with flag 671190/201364 35.18/34.55 c cleaning 20012 clauses out of 40027 with flag 747509/222363 38.78/38.17 c cleaning 21007 clauses out of 42015 with flag 820866/244363 42.88/42.26 c cleaning 21992 clauses out of 44008 with flag 902604/267363 47.38/46.76 c cleaning 22987 clauses out of 46016 with flag 999665/291363 51.88/51.27 c cleaning 23997 clauses out of 48029 with flag 1094802/316363 56.58/55.98 c cleaning 25010 clauses out of 50032 with flag 1192016/342363 61.48/60.86 c cleaning 25993 clauses out of 52023 with flag 1294932/369364 66.58/65.90 c cleaning 26998 clauses out of 54029 with flag 1404003/397363 72.08/71.41 c cleaning 28011 clauses out of 56031 with flag 1527819/426363 77.98/77.30 c cleaning 29007 clauses out of 58020 with flag 1641998/456363 84.10/83.40 c cleaning 29988 clauses out of 60013 with flag 1752405/487363 90.40/89.73 c cleaning 31011 clauses out of 62026 with flag 1871189/519364 96.30/95.68 c cleaning 32002 clauses out of 64014 with flag 1995328/552363 102.40/101.70 c cleaning 32995 clauses out of 66012 with flag 2118498/586363 108.40/107.72 c cleaning 34009 clauses out of 68017 with flag 2248275/621363 114.60/113.95 c cleaning 35004 clauses out of 70008 with flag 2385559/657363 120.80/120.12 c cleaning 35997 clauses out of 72004 with flag 2526924/694363 127.21/126.53 c cleaning 37000 clauses out of 74007 with flag 2684440/732363 133.60/132.96 c cleaning 37977 clauses out of 76007 with flag 2834504/771363 140.20/139.57 c cleaning 39006 clauses out of 78030 with flag 2998644/811363 147.21/146.55 c cleaning 39999 clauses out of 80024 with flag 3170387/852363 154.31/153.63 c cleaning 41007 clauses out of 82026 with flag 3330757/894364 162.10/161.48 c cleaning 41995 clauses out of 84018 with flag 3490869/937363 170.04/169.39 c cleaning 43001 clauses out of 86023 with flag 3655582/981363 177.85/177.14 c cleaning 43986 clauses out of 88022 with flag 3834191/1026363 186.04/185.32 c cleaning 45019 clauses out of 90037 with flag 4014644/1072364 194.24/193.50 c cleaning 46004 clauses out of 92017 with flag 4199495/1119363 203.75/203.04 c cleaning 47000 clauses out of 94013 with flag 4393043/1167363 212.35/211.64 c cleaning 48002 clauses out of 96014 with flag 4592402/1216364 221.45/220.72 c cleaning 48996 clauses out of 98013 with flag 4791138/1266365 231.45/230.79 c cleaning 49987 clauses out of 100015 with flag 5012983/1317363 241.55/240.83 c cleaning 51013 clauses out of 102028 with flag 5226783/1369363 251.05/250.39 c cleaning 51998 clauses out of 104015 with flag 5442277/1422363 261.08/260.31 c cleaning 52997 clauses out of 106017 with flag 5654746/1476363 271.38/270.67 c cleaning 54002 clauses out of 108020 with flag 5878277/1531363 281.77/281.00 c cleaning 54998 clauses out of 110018 with flag 6108248/1587363 292.47/291.76 c cleaning 56010 clauses out of 112020 with flag 6339331/1644363 303.87/303.17 c cleaning 56992 clauses out of 114013 with flag 6585622/1702366 315.57/314.86 c cleaning 58005 clauses out of 116018 with flag 6822124/1761363 326.67/325.97 c cleaning 58992 clauses out of 118014 with flag 7051714/1821364 338.09/337.32 c cleaning 60008 clauses out of 120022 with flag 7303969/1882364 350.06/349.23 c cleaning 60993 clauses out of 122014 with flag 7558211/1944364 361.85/361.07 c cleaning 62006 clauses out of 124022 with flag 7817330/2007365 374.46/373.61 c cleaning 62991 clauses out of 126014 with flag 8074311/2071363 388.06/387.23 c cleaning 64008 clauses out of 128024 with flag 8326332/2136364 400.76/399.90 c cleaning 65006 clauses out of 130016 with flag 8584475/2202364 414.25/413.45 c cleaning 65995 clauses out of 132009 with flag 8842167/2269363 427.85/427.06 c cleaning 66999 clauses out of 134015 with flag 9108413/2337364 441.37/440.56 c cleaning 68007 clauses out of 136015 with flag 9376809/2406363 455.38/454.48 c cleaning 69004 clauses out of 138008 with flag 9642162/2476363 469.68/468.72 c cleaning 69985 clauses out of 140004 with flag 9890370/2547363 483.77/482.85 c cleaning 70993 clauses out of 142019 with flag 10166498/2619363 498.47/497.57 c cleaning 72000 clauses out of 144026 with flag 10432478/2692363 514.38/513.47 c cleaning 73007 clauses out of 146026 with flag 10692449/2766363 530.39/529.46 c cleaning 73999 clauses out of 148019 with flag 10958586/2841363 546.22/545.12 c cleaning 75003 clauses out of 150020 with flag 11238500/2917363 562.13/561.05 c cleaning 75992 clauses out of 152017 with flag 11513076/2994363 578.12/577.08 c cleaning 77008 clauses out of 154027 with flag 11775169/3072365 595.62/594.52 c cleaning 78002 clauses out of 156018 with flag 12033092/3151364 612.52/611.42 c cleaning 78996 clauses out of 158015 with flag 12299203/3231363 629.82/628.73 c cleaning 79997 clauses out of 160019 with flag 12589733/3312363 647.74/646.50 c cleaning 81008 clauses out of 162022 with flag 12884240/3394363 665.14/663.98 c cleaning 81989 clauses out of 164014 with flag 13204622/3477363 682.34/681.19 c cleaning 83002 clauses out of 166026 with flag 13524301/3561364 699.15/697.94 c cleaning 83999 clauses out of 168023 with flag 13855393/3646363 718.05/716.87 c cleaning 84998 clauses out of 170024 with flag 14190514/3732363 737.54/736.16 c cleaning 86011 clauses out of 172026 with flag 14531094/3819363 757.54/756.17 c cleaning 86985 clauses out of 174015 with flag 14872338/3907363 777.95/776.51 c cleaning 88010 clauses out of 176030 with flag 15201515/3996363 800.07/798.68 c cleaning 88990 clauses out of 178021 with flag 15505130/4086364 821.62/820.03 c cleaning 90006 clauses out of 180030 with flag 15835746/4177363 843.63/842.04 c cleaning 90996 clauses out of 182025 with flag 16165434/4269364 866.43/864.85 c cleaning 91993 clauses out of 184028 with flag 16512098/4362363 889.54/887.97 c cleaning 92998 clauses out of 186037 with flag 16864835/4456365 912.78/911.05 c cleaning 94005 clauses out of 188037 with flag 17222171/4551363 935.49/933.78 c cleaning 95009 clauses out of 190032 with flag 17593358/4647363 957.19/955.43 c cleaning 96000 clauses out of 192024 with flag 17982361/4744364 979.00/977.28 c cleaning 97010 clauses out of 194024 with flag 18367999/4842364 1002.33/1000.44 c cleaning 97995 clauses out of 196013 with flag 18722264/4941363 1023.54/1021.69 c cleaning 98993 clauses out of 198018 with flag 19081467/5041363 1046.05/1044.16 c cleaning 100009 clauses out of 200025 with flag 19473099/5142363 1069.77/1067.81 c cleaning 100993 clauses out of 202016 with flag 19847904/5244363 1094.64/1092.51 c cleaning 102000 clauses out of 204025 with flag 20254250/5347365 1119.54/1117.40 c cleaning 103012 clauses out of 206026 with flag 20616401/5451366 1144.64/1142.58 c cleaning 104005 clauses out of 208011 with flag 21006007/5556363 1171.54/1169.27 c cleaning 104989 clauses out of 210006 with flag 21379059/5662363 1199.85/1197.55 c cleaning 105992 clauses out of 212017 with flag 21768183/5769363 1228.75/1226.49 c cleaning 107013 clauses out of 214027 with flag 22154445/5877365 1258.06/1255.62 c cleaning 108000 clauses out of 216012 with flag 22536685/5986363 1288.17/1285.78 c cleaning 108970 clauses out of 218012 with flag 22921266/6096363 1317.17/1314.71 c cleaning 110017 clauses out of 220042 with flag 23295612/6207363 1346.96/1344.47 c cleaning 111006 clauses out of 222025 with flag 23680202/6319363 1377.47/1375.00 c cleaning 111993 clauses out of 224019 with flag 24079975/6432363 1409.59/1407.08 c cleaning 112991 clauses out of 226026 with flag 24489594/6546363 1440.98/1438.32 c cleaning 114016 clauses out of 228038 with flag 24910478/6661366 1472.30/1469.68 c cleaning 115010 clauses out of 230021 with flag 25337799/6777365 1505.19/1502.53 c cleaning 116001 clauses out of 232009 with flag 25762423/6894363 1538.39/1535.66 c cleaning 116995 clauses out of 234009 with flag 26193220/7012364 1571.50/1568.78 c cleaning 117999 clauses out of 236017 with flag 26629911/7131367 1604.29/1601.55 c cleaning 118996 clauses out of 238015 with flag 27073961/7251364 1636.98/1634.18 c cleaning 119993 clauses out of 240018 with flag 27521672/7372363 1670.19/1667.34 c cleaning 121006 clauses out of 242025 with flag 27936450/7494363 1703.50/1700.51 c cleaning 122000 clauses out of 244019 with flag 28364020/7617363 1733.81/1730.89 c cleaning 122994 clauses out of 246020 with flag 28827061/7741364 1764.13/1761.13 c cleaning 123999 clauses out of 248029 with flag 29307568/7866367 1797.24/1794.17 c cleaning 124998 clauses out of 250026 with flag 29781044/7992363 1800.04/1796.90 c starts : 2425 1800.04/1796.90 c conflicts : 8007664 1800.04/1796.90 c decisions : 41019861 1800.04/1796.90 c propagations : 2855171588 1800.04/1796.90 c inspects : 18665032405 1800.04/1796.90 c shortcuts : 0 1800.04/1796.90 c learnt literals : 0 1800.04/1796.90 c learnt binary clauses : 0 1800.04/1796.90 c learnt ternary clauses : 0 1800.04/1796.90 c learnt constraints : 8007664 1800.04/1796.90 c ignored constraints : 0 1800.04/1796.90 c root simplifications : 0 1800.04/1796.90 c removed literals (reason simplification) : 0 1800.04/1796.90 c reason swapping (by a shorter reason) : 0 1800.04/1796.90 c Calls to reduceDB : 122 1800.04/1796.90 c Number of update (reduction) of LBD : 3870335 1800.04/1796.90 c Imported unit clauses : 0 1800.04/1796.90 c number of reductions to clauses (during analyze) : 0 1800.04/1796.90 c number of learned constraints concerned by reduction : 0 1800.04/1796.90 c number of learning phase by resolution : 0 1800.04/1796.90 c number of learning phase by cutting planes : 0 1800.04/1796.90 c speed (assignments/second) : 1589165.021103176 1800.04/1796.90 c non guided choices 0 1800.04/1796.93 c learnt constraints type 1800.04/1796.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140330 1800.04/1796.93 s SATISFIABLE 1800.04/1796.93 c Found 6 solution(s) 1800.04/1796.93 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 1800.04/1796.93 c objective function=26087 1800.04/1796.93 c Total wall clock time (in seconds): 1796.817
OK 26087
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4105933-1466268332/watcher-4105933-1466268332 -o /tmp/evaluation-result-4105933-1466268332/solver-4105933-1466268332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105933-1466268332.opb pid=20557 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.12 2.15 2.09 3/194 20560 /proc/meminfo: memFree=29979620/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/20560/stat : 20560 (java) D 20557 20560 16325 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 28878806 2560000 46 33554432000 1073741824 1073778376 140735675602128 140735675599256 206619897127 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 2.12 2.15 2.09 3/194 20560 /proc/meminfo: memFree=29979620/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 4457 0 1 0 8 1 0 0 20 0 18 0 28878806 9787879424 5585 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2389619 5585 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 2.12 2.15 2.09 3/194 20560 /proc/meminfo: memFree=29979620/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 5045 0 1 0 26 1 0 0 20 0 18 0 28878806 9787879424 6550 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2389619 6550 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300242 s] /proc/loadavg: 2.12 2.15 2.09 3/194 20560 /proc/meminfo: memFree=29979620/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 5464 0 1 0 44 1 0 0 20 0 19 0 28878806 9856040960 7872 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 7872 2240 9 0 2396937 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9625040 [startup+0.700187 s] /proc/loadavg: 2.12 2.15 2.09 3/194 20560 /proc/meminfo: memFree=29979620/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=1.29 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 9231 0 1 0 127 2 0 0 20 0 19 0 28878806 9856040960 9933 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 9933 2256 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.12 2.15 2.09 3/213 20579 /proc/meminfo: memFree=29948800/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=2.16 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 9250 0 1 0 214 2 0 0 20 0 19 0 28878806 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 9951 2262 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2492 0 1 0 145 2 0 0 20 0 19 0 28878807 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284163727368 140284104152608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28878809 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3432 0 0 0 35 0 0 0 20 0 19 0 28878812 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 31 0 0 0 20 0 19 0 28878812 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 9951 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.12 2.15 2.09 3/213 20579 /proc/meminfo: memFree=29946132/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=3.76 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 9255 0 1 0 374 2 0 0 20 0 19 0 28878806 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 10977 2262 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2495 0 1 0 304 2 0 0 20 0 19 0 28878807 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284163718864 140284103906418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28878809 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3434 0 0 0 36 0 0 0 20 0 19 0 28878812 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 31 0 0 0 20 0 19 0 28878812 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 10977 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.27 2.18 2.10 3/213 20579 /proc/meminfo: memFree=29927032/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=6.99 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 9261 0 1 0 696 3 0 0 20 0 19 0 28878806 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 12002 2263 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2498 0 1 0 624 2 0 0 20 0 19 0 28878807 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284163718848 140284103959307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28878808 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28878809 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3436 0 0 0 37 0 0 0 20 0 19 0 28878812 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 32 0 0 0 20 0 19 0 28878812 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 12002 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3634 0 0 0 43 0 0 0 20 0 19 0 28878812 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 32 0 0 0 20 0 19 0 28878812 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 100 0 0 0 24 28 0 0 20 0 19 0 28878812 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 121881 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1725.3 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.03 3/213 21166 /proc/meminfo: memFree=30610560/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=1785.44 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 12113 0 1 0 178473 71 0 0 20 0 19 0 28878806 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 125254 2277 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=1781.41 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2575 0 1 0 178110 31 0 0 20 0 19 0 28878807 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284163726560 140284103686064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 246 0 0 0 35 6 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 141 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 320 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 350 0 0 0 26 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 447 0 0 0 37 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 214 0 0 0 35 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 425 0 0 0 25 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 255 0 0 0 27 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 90 0 0 0 1 1 0 0 20 0 19 0 28878809 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3634 0 0 0 43 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 32 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 104 0 0 0 25 30 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.9 s] /proc/loadavg: 2.02 2.04 2.03 3/213 21166 /proc/meminfo: memFree=30549672/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 12113 0 1 0 179933 71 0 0 20 0 19 0 28878806 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 125254 2277 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=1796.01 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2575 0 1 0 179570 31 0 0 20 0 19 0 28878807 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284163718848 140284103974181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 246 0 0 0 35 6 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 141 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 320 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 350 0 0 0 26 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 447 0 0 0 37 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 214 0 0 0 35 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 425 0 0 0 25 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 255 0 0 0 27 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 90 0 0 0 1 1 0 0 20 0 19 0 28878809 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3634 0 0 0 43 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 32 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 104 0 0 0 25 30 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 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) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20560 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1796.9 s] /proc/loadavg: 2.02 2.04 2.03 3/213 21166 /proc/meminfo: memFree=30549672/32872528 swapFree=534252/566956 [pid=20560] ppid=20557 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/20560/stat : 20560 (java) S 20557 20560 16325 0 -1 4202496 12113 0 1 0 179933 71 0 0 20 0 19 0 28878806 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140735675593264 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20560/statm: 2406260 125254 2277 9 0 2396937 0 [pid=20560/tid=20562] ppid=20557 vsize=9625040 CPUtime=1796.01 cores=1,3,5,7 /proc/20560/task/20562/stat : 20562 (java) R 20557 20560 16325 0 -1 4202560 2575 0 1 0 179570 31 0 0 20 0 19 0 28878807 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284163718848 140284103974181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20563] ppid=20557 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/20560/task/20563/stat : 20563 (java) S 20557 20560 16325 0 -1 4202560 246 0 0 0 35 6 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284102458408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20564] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20564/stat : 20564 (java) S 20557 20560 16325 0 -1 4202560 141 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284006185896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20565] ppid=20557 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/20560/task/20565/stat : 20565 (java) S 20557 20560 16325 0 -1 4202560 320 0 0 0 30 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284005133096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20566] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20566/stat : 20566 (java) S 20557 20560 16325 0 -1 4202560 350 0 0 0 26 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284004080296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20567] ppid=20557 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/20560/task/20567/stat : 20567 (java) S 20557 20560 16325 0 -1 4202560 447 0 0 0 37 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284003027496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20568] ppid=20557 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/20560/task/20568/stat : 20568 (java) S 20557 20560 16325 0 -1 4202560 214 0 0 0 35 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284001974696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20560/tid=20569] ppid=20557 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/20560/task/20569/stat : 20569 (java) S 20557 20560 16325 0 -1 4202560 425 0 0 0 25 5 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140284000921896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20570] ppid=20557 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20560/task/20570/stat : 20570 (java) S 20557 20560 16325 0 -1 4202560 255 0 0 0 27 4 0 0 20 0 19 0 28878808 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283999869096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20571] ppid=20557 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/20560/task/20571/stat : 20571 (java) S 20557 20560 16325 0 -1 4202560 90 0 0 0 1 1 0 0 20 0 19 0 28878809 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283987672040 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20572] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20572/stat : 20572 (java) S 20557 20560 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283986618104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20573] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20573/stat : 20573 (java) S 20557 20560 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28878810 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283985565192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20574] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20574/stat : 20574 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283984513680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20575] ppid=20557 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20560/task/20575/stat : 20575 (java) S 20557 20560 16325 0 -1 4202560 3634 0 0 0 43 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283983460792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20576] ppid=20557 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/20560/task/20576/stat : 20576 (java) S 20557 20560 16325 0 -1 4202560 2050 0 0 0 32 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283982407992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20560/tid=20577] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20577/stat : 20577 (java) S 20557 20560 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283981355384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20560/tid=20578] ppid=20557 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/20560/task/20578/stat : 20578 (java) S 20557 20560 16325 0 -1 4202560 104 0 0 0 25 30 0 0 20 0 19 0 28878812 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283980302792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20560/tid=20579] ppid=20557 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20560/task/20579/stat : 20579 (java) S 20557 20560 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28878832 9856040960 125254 33554432000 1073741824 1073778376 140735675602128 140283979249320 206632433577 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) 9625040 Child status: 143 Real time (s): 1796.94 CPU time (s): 1800.51 CPU user time (s): 1799.34 CPU system time (s): 1.16982 CPU usage (%): 100.199 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.34 system time used= 1.16982 maximum resident set size= 505956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12159 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38481 involuntary context switches= 7301 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4724 second user time and 13.383 second system time The end
Begin job on node138 at 2016-06-18 18:45:32 IDJOB=4105933 IDBENCH=24960 IDSOLVER=2546 FILE ID=node138/4105933-1466268332 RUNJOBID= node138-1466241309-16342 PBS_JOBID= 19918205 Free space on /tmp= 71724 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105933-1466268332/watcher-4105933-1466268332 -o /tmp/evaluation-result-4105933-1466268332/solver-4105933-1466268332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105933-1466268332.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= da210e6015c5a34ffbeabe5ecb901720 RANDOM SEED=2069917150 node138.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.395 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.79 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.395 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 : 5332.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.395 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 : 5332.55 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.395 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 : 5332.55 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.395 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 : 5332.55 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.395 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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 : 5332.54 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.395 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29980272 kB Buffers: 139988 kB Cached: 249044 kB SwapCached: 1060 kB Active: 1291860 kB Inactive: 292060 kB Active(anon): 1193740 kB Inactive(anon): 3548 kB Active(file): 98120 kB Inactive(file): 288512 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099640 kB Dirty: 808 kB Writeback: 0 kB AnonPages: 1760996 kB Mapped: 15292 kB Shmem: 0 kB Slab: 606932 kB SReclaimable: 50456 kB SUnreclaim: 556476 kB KernelStack: 1616 kB PageTables: 7592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3163020 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1193984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71732 MiB End job on node138 at 2016-06-18 19:15:29