Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8-gmp | ? (TO) | 32 | 1800.09 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb |
| MD5SUM | efe239846afd4f2627c83cec32ebc27d |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1797.19 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37458 |
| Sum of products size (including duplicates) | 74916 |
| Number of different products | 37458 |
| Sum of products size | 74916 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 2.49/2.50 o 499 2.99/3.04 o 498 3.49/3.58 o 497 4.09/4.12 o 496 4.59/4.65 o 495 5.09/5.18 o 494 5.69/5.71 o 493 6.19/6.25 o 492 6.71/6.78 o 491 7.29/7.30 o 490 7.81/7.83 o 489 8.29/8.36 o 488 8.81/8.89 o 487 9.39/9.42 o 486 9.91/9.96 o 485 10.39/10.48 o 484 10.89/11.01 o 483 11.49/11.54 o 482 11.99/12.07 o 481 12.59/12.60 o 480 13.09/13.13 o 479 13.59/13.67 o 478 14.19/14.20 o 477 14.69/14.73 o 476 15.19/15.26 o 475 15.79/15.80 o 474 16.29/16.33 o 473 16.79/16.86 o 472 17.29/17.40 o 471 17.89/17.93 o 470 35.59/35.68 o 469 36.41/36.44 o 468 37.19/37.22 o 467 38.19/38.27 o 466 39.49/39.52 o 465 40.19/40.29 o 464 41.91/41.97 o 463 45.39/45.49 o 462 47.31/47.38 o 461 48.89/48.93 o 460 49.69/49.76 o 459 62.99/63.00 o 458 77.39/77.46 o 457 78.49/78.58 o 456 79.49/79.58 o 455 80.31/80.35 o 454 81.29/81.30 o 453 81.99/82.06 o 452 83.09/83.16 o 451 83.89/83.95 o 450 84.71/84.72 o 449 85.59/85.62 o 448 86.39/86.42 o 447 87.09/87.13 o 446 88.39/88.44 o 445 142.89/142.90 o 444 152.39/152.44 o 443 153.19/153.28 o 442 154.01/154.11 o 441 171.90/171.93 o 440 172.60/172.70 o 439 173.30/173.37 o 438 174.40/174.44 o 437 199.30/199.30 o 436 200.00/200.08 o 435 200.80/200.87 o 434 201.60/201.67 o 433 202.42/202.46 o 432 203.20/203.26 o 431 204.00/204.08 o 430 204.80/204.85 o 429 205.60/205.69 o 428 206.30/206.37 o 427 207.50/207.57 o 426 208.30/208.35 o 425 209.02/209.11 o 424 209.90/209.90 o 423 210.60/210.60 o 422 211.32/211.38 o 421 212.10/212.12 o 420 212.90/212.93 o 419 213.70/213.72 o 418 214.52/214.54 o 417 215.30/215.31 o 416 216.10/216.17 o 415 216.90/216.97 o 414 217.70/217.70 o 413 218.40/218.41 o 412 219.20/219.21 o 411 219.90/219.95 o 410 220.70/220.75 o 409 221.50/221.56 o 408 232.50/232.50 o 407 233.22/233.31 o 406 234.00/234.06 o 405 236.70/236.77 o 404 285.02/285.10 o 403 298.40/298.43 o 402 324.90/324.97 o 401 325.62/325.69 o 400 326.30/326.39 o 399 327.10/327.12 o 398 328.00/328.03 o 397 328.70/328.73 o 396 329.70/329.74 o 395 330.50/330.58 o 394 331.22/331.29 o 393 332.00/332.09 o 392 333.00/333.05 o 391 334.00/334.06 o 390 350.10/350.16 o 389 350.92/350.92 o 388 351.90/351.91 o 387 352.60/352.61 o 386 353.50/353.51 o 385 354.32/354.39 o 384 355.10/355.19 o 383 356.00/356.09 o 382 357.00/357.08 o 381 399.90/399.92 o 380 472.80/472.80 o 379 473.51/473.52 o 378 474.22/474.25 o 377 474.90/474.97 o 376 475.60/475.69 o 375 476.42/476.42 o 374 477.10/477.15 o 373 477.91/477.97 o 372 493.21/493.27 o 371 494.80/494.80 o 370 495.91/495.92 o 369 496.81/496.89 o 368 498.71/498.71 o 367 528.51/528.55 o 366 529.61/529.67 o 365 530.33/530.39 o 364 538.91/538.90 o 363 587.71/587.79 o 362 588.63/588.66 o 361 589.51/589.54 o 360 590.41/590.41 o 359 591.21/591.24 o 358 592.01/592.08 o 357 592.93/592.95 o 356 594.13/594.15 o 355 595.31/595.36 o 354 597.01/597.06 o 353 597.81/597.84 o 352 598.61/598.67 o 351 599.41/599.43 o 350 600.11/600.17 o 349 600.91/600.91 o 348 601.61/601.67 o 347 603.01/603.01 o 346 603.71/603.79 o 345 604.51/604.57 o 344 605.41/605.42 o 343 606.13/606.18 o 342 606.91/606.93 o 341 607.61/607.68 o 340 608.43/608.44 o 339 609.81/609.83 o 338 611.41/611.45 o 337 612.21/612.24 o 336 613.01/613.01 o 335 613.83/613.84 o 334 614.51/614.60 o 333 615.31/615.37 o 332 616.03/616.11 o 331 616.81/616.86 o 330 617.61/617.63 o 329 619.01/619.02 o 328 620.71/620.71 o 327 621.41/621.50 o 326 622.21/622.29 o 325 623.11/623.11 o 324 623.83/623.89 o 323 624.61/624.64 o 322 625.31/625.39 o 321 626.11/626.14 o 320 626.91/626.94 o 319 627.71/627.76 o 318 629.11/629.14 o 317 631.11/631.10 o 316 633.41/633.47 o 315 634.21/634.27 o 314 635.01/635.07 o 313 635.83/635.86 o 312 637.31/637.34 o 311 638.03/638.11 o 310 638.81/638.86 o 309 639.61/639.61 o 308 640.33/640.36 o 307 641.33/641.42 o 306 642.43/642.48 o 305 643.41/643.48 o 304 644.63/644.63 o 303 645.41/645.43 o 302 646.21/646.20 o 301 648.41/648.47 o 300 651.11/651.13 o 299 651.91/651.92 o 298 653.21/653.22 o 297 654.01/654.01 o 296 655.81/655.89 o 295 656.91/656.93 o 294 658.81/658.90 o 293 660.21/660.24 o 292 662.61/662.69 o 291 663.43/663.49 o 290 664.21/664.25 o 289 665.01/665.04 o 288 665.81/665.80 o 287 666.51/666.59 o 286 667.31/667.36 o 285 668.11/668.12 o 284 668.83/668.89 o 283 669.61/669.65 o 282 670.41/670.43 o 281 672.51/672.50 o 280 675.01/675.03 o 279 677.31/677.35 o 278 678.73/678.75 o 277 679.71/679.72 o 276 680.51/680.53 o 275 681.31/681.30 o 274 682.03/682.06 o 273 682.81/682.82 o 272 683.61/683.64 o 271 685.91/685.92 o 270 687.11/687.15 o 269 688.21/688.26 o 268 689.01/689.03 o 267 689.73/689.81 o 266 690.51/690.58 o 265 691.31/691.34 o 264 692.03/692.09 o 263 692.81/692.86 o 262 693.61/693.63 o 261 695.41/695.47 o 260 729.21/729.26 o 259 730.01/730.03 o 258 730.81/730.81 o 257 731.53/731.59 o 256 732.31/732.38 o 255 733.11/733.16 o 254 733.91/733.94 o 253 734.71/734.71 o 252 752.21/752.20 o 251 833.11/833.12 o 250 838.91/838.92 o 249 840.91/840.99 o 248 841.92/841.95 o 247 842.91/842.98 o 246 843.73/843.77 o 245 844.51/844.53 o 244 846.11/846.11 o 243 846.91/846.97 o 242 850.21/850.31 o 241 853.64/853.66 o 240 854.62/854.60 o 239 855.31/855.36 o 238 856.11/856.11 o 237 857.03/857.02 o 236 857.81/857.81 o 235 858.72/858.77 o 234 862.01/862.07 o 233 862.91/862.96 o 232 863.72/863.75 o 231 864.52/864.54 o 230 865.74/865.80 o 229 866.62/866.60 o 228 867.32/867.38 o 227 868.12/868.17 o 226 868.91/868.97 o 225 869.72/869.76 o 224 870.62/870.65 o 223 871.42/871.45 o 222 872.34/872.39 o 221 873.12/873.18 o 220 876.42/876.46 o 219 897.92/897.97 o 218 898.74/898.79 o 217 899.62/899.61 o 216 900.32/900.39 o 215 901.32/901.32 o 214 902.42/902.46 o 213 903.24/903.27 o 212 904.02/904.09 o 211 904.82/904.86 o 210 905.62/905.68 o 209 915.02/915.00 o 208 969.42/969.47 o 207 970.24/970.22 o 206 970.92/970.97 o 205 971.72/971.72 o 204 972.44/972.44 o 203 973.12/973.16 o 202 973.82/973.88 o 201 974.64/974.62 o 200 975.32/975.35 o 199 976.02/976.10 o 198 976.84/976.84 o 197 977.52/977.58 o 196 979.22/979.23 o 195 980.24/980.23 o 194 981.12/981.17 o 193 981.92/981.93 o 192 982.62/982.66 o 191 986.52/986.59 o 190 987.42/987.50 o 189 988.42/988.43 o 188 989.12/989.16 o 187 989.82/989.88 o 186 990.52/990.59 o 185 991.32/991.33 o 184 992.02/992.06 o 183 992.82/992.80 o 182 993.52/993.54 o 181 994.22/994.28 o 180 995.02/995.01 o 179 995.72/995.74 o 178 996.42/996.46 o 177 999.52/999.54 o 176 1000.22/1000.28 o 175 1001.04/1001.04 o 174 1002.52/1002.58 o 173 1011.22/1011.28 o 172 1012.72/1012.71 o 171 1013.82/1013.85 o 170 1015.62/1015.66 o 169 1017.54/1017.53 o 168 1018.82/1018.84 o 167 1019.62/1019.67 o 166 1020.42/1020.45 o 165 1021.22/1021.20 o 164 1021.94/1021.95 o 163 1022.62/1022.69 o 162 1023.42/1023.42 o 161 1037.44/1037.49 o 160 1077.22/1077.29 o 159 1078.04/1078.05 o 158 1079.02/1079.10 o 157 1082.02/1082.05 o 156 1082.82/1082.85 o 155 1083.54/1083.62 o 154 1084.42/1084.40 o 153 1085.22/1085.24 o 152 1086.12/1086.15 o 151 1087.12/1087.12 o 150 1088.12/1088.14 o 149 1089.42/1089.45 o 148 1090.52/1090.57 o 147 1094.54/1094.54 o 146 1100.04/1100.12 o 145 1102.12/1102.19 o 144 1104.12/1104.12 o 143 1105.32/1105.37 o 142 1106.64/1106.63 o 141 1107.92/1107.91 o 140 1109.22/1109.21 o 139 1110.52/1110.55 o 138 1111.82/1111.88 o 137 1113.34/1113.36 o 136 1114.82/1114.85 o 135 1116.54/1116.56 o 134 1118.12/1118.14 o 133 1124.52/1124.50 o 132 1126.12/1126.10 o 131 1127.72/1127.71 o 130 1129.32/1129.36 o 129 1131.02/1131.04 o 128 1132.72/1132.77 o 127 1134.52/1134.56 o 126 1136.44/1136.43 o 125 1140.32/1140.33 o 124 1143.62/1143.67 o 123 1145.72/1145.77 o 122 1147.82/1147.87 o 121 1150.02/1150.02 o 120 1154.32/1154.36 o 119 1158.72/1158.77 o 118 1172.32/1172.35 o 117 1175.82/1175.80 o 116 1178.62/1178.67 o 115 1181.54/1181.56 o 114 1184.12/1184.17 o 113 1186.94/1186.99 o 112 1190.24/1190.23 o 111 1192.82/1192.89 o 110 1195.52/1195.58 o 109 1198.22/1198.29 o 108 1201.02/1201.09 o 107 1203.92/1203.91 o 106 1207.02/1207.01 o 105 1209.92/1209.98 o 104 1213.22/1213.24 o 103 1218.42/1218.40 o 102 1223.42/1223.46 o 101 1226.82/1226.80 o 100 1230.12/1230.15 o 99 1233.52/1233.58 o 98 1238.64/1238.68 o 97 1243.04/1243.11 o 96 1247.32/1247.32 o 95 1250.92/1250.96 o 94 1254.62/1254.63 o 93 1258.32/1258.41 o 92 1262.33/1262.32 o 91 1266.24/1266.27 o 90 1270.22/1270.28 o 89 1274.33/1274.39 o 88 1278.53/1278.53 o 87 1282.65/1282.69 o 86 1287.43/1287.46 o 85 1292.83/1292.82 o 84 1299.03/1299.00 o 83 1303.73/1303.79 o 82 1309.05/1309.07 o 81 1313.63/1313.60 o 80 1318.13/1318.19 o 79 1322.83/1322.82 o 78 1327.43/1327.48 o 77 1332.15/1332.17 o 76 1336.93/1336.96 o 75 1341.83/1341.85 o 74 1346.83/1346.81 o 73 1351.73/1351.79 o 72 1357.03/1357.03 o 71 1362.63/1362.61 o 70 1368.23/1368.23 o 69 1373.95/1373.93 o 68 1379.33/1379.34 o 67 1384.83/1384.85 o 66 1390.55/1390.53 o 65 1396.33/1396.32 o 64 1402.13/1402.16 o 63 1408.05/1408.09 o 62 1414.13/1414.11 o 61 1420.15/1420.17 o 60 1426.23/1426.29 o 59 1432.73/1432.73 o 58 1444.13/1444.12 o 57 1450.53/1450.50 o 56 1456.93/1456.97 o 55 1463.53/1463.52 o 54 1470.13/1470.15 o 53 1476.83/1476.85 o 52 1483.63/1483.63 o 51 1490.55/1490.52 o 50 1513.13/1513.15 o 49 1520.25/1520.28 o 48 1542.73/1542.74 o 47 1550.05/1550.05 o 46 1557.83/1557.89 o 45 1565.45/1565.45 o 44 1573.05/1573.05 o 43 1580.75/1580.79 o 42 1588.63/1588.62 o 41 1596.54/1596.54 o 40 1604.74/1604.71 o 39 1613.85/1613.83 o 38 1622.24/1622.27 o 37 1630.84/1630.86 o 36 1639.34/1639.33 o 35 1648.14/1648.11 o 34 1656.84/1656.80 o 33 1667.66/1667.64 o 32 1800.06/1800.02 >>> Terminate signal received 1800.06/1800.02 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
OK 32
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466008-1307418195/watcher-3466008-1307418195 -o /tmp/evaluation-result-3466008-1307418195/solver-3466008-1307418195 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466008-1307418195.opb --verbosity=0 --format=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 Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.05 2.00 2/550 20155 /proc/meminfo: memFree=21177588/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=8748 CPUtime=0.01 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 709 0 0 0 1 0 0 0 25 0 1 0 853419909 8957952 656 33554432000 4194304 6736272 140735075548496 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 2187 657 248 621 0 1557 0 [startup+0.101095 s] /proc/loadavg: 2.05 2.05 2.00 2/550 20155 /proc/meminfo: memFree=21177588/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=15268 CPUtime=0.09 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 2243 0 0 0 9 0 0 0 25 0 1 0 853419909 15634432 2153 33554432000 4194304 6736272 140735075548496 18446744073709551615 5149904 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 3817 2153 248 621 0 3187 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15268 [startup+0.201066 s] /proc/loadavg: 2.05 2.05 2.00 2/550 20155 /proc/meminfo: memFree=21177588/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=31372 CPUtime=0.19 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 6398 0 0 0 18 1 0 0 25 0 1 0 853419909 32124928 6112 33554432000 4194304 6736272 140735075548496 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 7876 6114 259 621 0 7246 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31372 [startup+0.301045 s] /proc/loadavg: 2.05 2.05 2.00 2/550 20155 /proc/meminfo: memFree=21177588/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=50116 CPUtime=0.29 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 11055 0 0 0 28 1 0 0 25 0 1 0 853419909 51318784 10769 33554432000 4194304 6736272 140735075548496 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 12529 10770 259 621 0 11899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50116 [startup+0.700976 s] /proc/loadavg: 2.05 2.05 2.00 2/550 20155 /proc/meminfo: memFree=21177588/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=94792 CPUtime=0.69 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 22403 0 0 0 66 3 0 0 25 0 1 0 853419909 97067008 21899 33554432000 4194304 6736272 140735075548496 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 23698 21900 277 621 0 23068 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94792 [startup+1.50083 s] /proc/loadavg: 2.05 2.05 2.00 3/551 20156 /proc/meminfo: memFree=21054200/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=166640 CPUtime=1.49 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 40398 0 0 0 143 6 0 0 25 0 1 0 853419909 170639360 39637 33554432000 4194304 6736272 140735075548496 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 41660 39638 277 621 0 41030 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 166640 [startup+3.10056 s] /proc/loadavg: 2.05 2.05 2.00 3/551 20156 /proc/meminfo: memFree=20939252/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=246160 CPUtime=3.09 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60207 0 0 0 300 9 0 0 25 0 1 0 853419909 252067840 59446 33554432000 4194304 6736272 140735075548496 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 61540 59446 287 621 0 60910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 246160 [startup+6.30096 s] /proc/loadavg: 2.05 2.05 2.00 3/551 20156 /proc/meminfo: memFree=20937376/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=246160 CPUtime=6.29 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60210 0 0 0 620 9 0 0 25 0 1 0 853419909 252067840 59449 33554432000 4194304 6736272 140735075548496 18446744073709551615 5811982 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 61540 59449 287 621 0 60910 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 246160 [startup+12.7008 s] /proc/loadavg: 2.04 2.04 2.00 3/551 20156 /proc/meminfo: memFree=20936788/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=246160 CPUtime=12.69 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60218 0 0 0 1260 9 0 0 25 0 1 0 853419909 252067840 59457 33554432000 4194304 6736272 140735075548496 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 61540 59457 287 621 0 60910 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 246160 [startup+25.5005 s] /proc/loadavg: 2.03 2.04 2.00 3/551 20157 /proc/meminfo: memFree=20936676/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=25.49 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60270 0 0 0 2540 9 0 0 25 0 1 0 853419909 247607296 59420 33554432000 4194304 6736272 140735075548496 18446744073709551615 5806409 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59420 298 621 0 59821 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 241804 [startup+51.1008 s] /proc/loadavg: 2.09 2.05 2.01 3/551 20157 /proc/meminfo: memFree=20937144/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=51.09 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 5100 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534722 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 241804 [startup+102.301 s] /proc/loadavg: 1.96 2.03 2.00 3/551 20187 /proc/meminfo: memFree=20922904/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=102.31 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 10222 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535270 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 241804 [startup+162.301 s] /proc/loadavg: 2.05 2.04 2.00 3/551 20188 /proc/meminfo: memFree=20920288/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=162.3 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 16221 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 241804 [startup+222.321 s] /proc/loadavg: 2.02 2.03 2.00 3/551 20190 /proc/meminfo: memFree=20920392/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=222.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 22223 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 241804 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20191 /proc/meminfo: memFree=20919632/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=282.3 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 28221 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 241804 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20193 /proc/meminfo: memFree=20920860/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=342.3 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 34221 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 241804 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/551 20195 /proc/meminfo: memFree=20920844/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=402.3 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 40221 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 5142752 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 241804 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/551 20196 /proc/meminfo: memFree=20920716/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=462.3 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60271 0 0 0 46221 9 0 0 25 0 1 0 853419909 247607296 59421 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59421 298 621 0 59821 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 241804 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/551 20198 /proc/meminfo: memFree=20921440/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=241804 CPUtime=522.31 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60277 0 0 0 52222 9 0 0 25 0 1 0 853419909 247607296 59426 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60451 59426 298 621 0 59821 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 241804 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/551 20199 /proc/meminfo: memFree=20921556/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=242852 CPUtime=582.31 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60282 0 0 0 58222 9 0 0 25 0 1 0 853419909 248680448 59431 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60713 59431 298 621 0 60083 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 242852 ################ # More data... # ################ [startup+882.321 s] /proc/loadavg: 2.01 2.03 2.00 3/551 20208 /proc/meminfo: memFree=20920716/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=242852 CPUtime=882.34 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60371 0 0 0 88225 9 0 0 25 0 1 0 853419909 248680448 59511 33554432000 4194304 6736272 140735075548496 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60713 59511 298 621 0 60083 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 242852 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20209 /proc/meminfo: memFree=20921688/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=242852 CPUtime=942.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60380 0 0 0 94223 9 0 0 25 0 1 0 853419909 248680448 59520 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60713 59520 298 621 0 60083 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 242852 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20211 /proc/meminfo: memFree=20921532/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=242852 CPUtime=1002.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60402 0 0 0 100223 9 0 0 25 0 1 0 853419909 248680448 59539 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60713 59539 298 621 0 60083 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 242852 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/551 20212 /proc/meminfo: memFree=20921644/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=242852 CPUtime=1062.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60412 0 0 0 106223 9 0 0 25 0 1 0 853419909 248680448 59549 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60713 59549 298 621 0 60083 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 242852 [startup+1122.3 s] /proc/loadavg: 2.12 2.04 2.01 3/551 20223 /proc/meminfo: memFree=20919808/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1122.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60655 0 0 0 112223 9 0 0 25 0 1 0 853419909 249729024 59791 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59791 298 621 0 60339 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 243876 [startup+1182.3 s] /proc/loadavg: 2.10 2.04 2.01 3/551 20224 /proc/meminfo: memFree=20919404/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1182.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60671 0 0 0 118223 9 0 0 25 0 1 0 853419909 249729024 59804 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59804 298 621 0 60339 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 243876 [startup+1242.3 s] /proc/loadavg: 2.13 2.06 2.01 3/551 20229 /proc/meminfo: memFree=20918732/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1242.32 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60678 0 0 0 124223 9 0 0 25 0 1 0 853419909 249729024 59811 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59811 298 621 0 60339 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 243876 [startup+1302.3 s] /proc/loadavg: 2.09 2.06 2.01 3/551 20231 /proc/meminfo: memFree=20918944/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1302.33 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60678 0 0 0 130224 9 0 0 25 0 1 0 853419909 249729024 59811 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59811 298 621 0 60339 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 243876 [startup+1362.3 s] /proc/loadavg: 2.03 2.05 2.01 3/551 20232 /proc/meminfo: memFree=20919032/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1362.33 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60678 0 0 0 136224 9 0 0 25 0 1 0 853419909 249729024 59811 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59811 298 621 0 60339 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 243876 [startup+1422.3 s] /proc/loadavg: 2.01 2.04 2.00 3/551 20234 /proc/meminfo: memFree=20919132/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1422.35 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60678 0 0 0 142226 9 0 0 25 0 1 0 853419909 249729024 59811 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59811 298 621 0 60339 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 243876 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/551 20235 /proc/meminfo: memFree=20918456/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1482.33 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60682 0 0 0 148224 9 0 0 25 0 1 0 853419909 249729024 59815 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59815 298 621 0 60339 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 243876 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20237 /proc/meminfo: memFree=20919680/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1542.35 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60686 0 0 0 154226 9 0 0 25 0 1 0 853419909 249729024 59818 33554432000 4194304 6736272 140735075548496 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59818 298 621 0 60339 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 243876 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/551 20239 /proc/meminfo: memFree=20920508/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1602.34 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60694 0 0 0 160225 9 0 0 25 0 1 0 853419909 249729024 59824 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59824 298 621 0 60339 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 243876 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/551 20240 /proc/meminfo: memFree=20920348/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1662.34 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60700 0 0 0 166225 9 0 0 25 0 1 0 853419909 249729024 59829 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59829 298 621 0 60339 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 243876 [startup+1722.3 s] /proc/loadavg: 2.06 2.04 2.01 3/551 20242 /proc/meminfo: memFree=20920216/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1722.34 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60700 0 0 0 172225 9 0 0 25 0 1 0 853419909 249729024 59829 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59829 298 621 0 60339 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 243876 [startup+1782.3 s] /proc/loadavg: 2.09 2.05 2.00 3/551 20243 /proc/meminfo: memFree=20919092/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1782.34 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60700 0 0 0 178225 9 0 0 25 0 1 0 853419909 249729024 59829 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59829 298 621 0 60339 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 243876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.04 2.00 3/551 20244 /proc/meminfo: memFree=20919088/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1800.06 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60700 0 0 0 179997 9 0 0 25 0 1 0 853419909 249729024 59829 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59829 298 621 0 60339 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 243876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.07 2.04 2.00 3/551 20244 /proc/meminfo: memFree=20919088/32951124 swapFree=53733252/67111528 [pid=20155] ppid=20153 vsize=243876 CPUtime=1800.06 cores=1,3,5,7 /proc/20155/stat : 20155 (minisatid-gmp) R 20153 20155 19838 0 -1 4202496 60700 0 0 0 179997 9 0 0 25 0 1 0 853419909 249729024 59829 33554432000 4194304 6736272 140735075548496 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20155/statm: 60969 59829 298 621 0 60339 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 243876 Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.09 CPU user time (s): 1799.98 CPU system time (s): 0.109983 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 246160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.109983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60705 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 5109 runsolver used 9.74652 second user time and 22.5666 second system time The end
Begin job on node106 at 2011-06-07 05:43:15 IDJOB=3466008 IDBENCH=48104 IDSOLVER=1957 FILE ID=node106/3466008-1307418195 RUNJOBID= node106-1307415297-19857 PBS_JOBID= 13514215 Free space on /tmp= 73876 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466008-1307418195/watcher-3466008-1307418195 -o /tmp/evaluation-result-3466008-1307418195/solver-3466008-1307418195 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466008-1307418195.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED=1078530434 node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21177860 kB Buffers: 403900 kB Cached: 5964808 kB SwapCached: 22776 kB Active: 5929172 kB Inactive: 5505012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21177860 kB SwapTotal: 67111528 kB SwapFree: 53733252 kB Dirty: 3516 kB Writeback: 0 kB AnonPages: 5062104 kB Mapped: 27368 kB Slab: 190432 kB PageTables: 78040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 167547628 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73872 MiB End job on node106 at 2011-06-07 06:13:17