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 | ? (TO) | 26 | 1800.06 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb |
| MD5SUM | d5313ea0d4ce989dad692c9adfb6f827 |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1797.2 |
| 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 | 111 |
| 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) | 37460 |
| Sum of products size (including duplicates) | 74920 |
| Number of different products | 37460 |
| Sum of products size | 74920 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.69/0.79 o 499 0.79/0.83 o 498 0.79/0.87 o 497 0.89/0.90 o 496 0.89/0.94 o 495 0.89/0.98 o 494 0.99/1.02 o 493 0.99/1.06 o 492 0.99/1.10 o 491 1.10/1.14 o 490 1.10/1.18 o 489 1.19/1.22 o 488 1.19/1.26 o 487 1.29/1.30 o 486 1.29/1.34 o 485 1.29/1.38 o 484 1.39/1.42 o 483 1.39/1.46 o 482 1.49/1.50 o 481 1.49/1.54 o 480 1.49/1.58 o 479 1.59/1.62 o 478 1.59/1.66 o 477 1.69/1.70 o 476 1.69/1.74 o 475 1.69/1.78 o 474 1.79/1.82 o 473 1.79/1.86 o 472 1.89/1.90 o 471 15.48/15.57 o 470 15.78/15.87 o 469 16.28/16.41 o 468 18.08/18.18 o 467 18.38/18.48 o 466 19.80/19.90 o 465 23.18/23.23 o 464 24.68/24.78 o 463 56.29/56.32 o 462 56.79/56.89 o 461 57.49/57.59 o 460 58.59/58.66 o 459 80.49/80.57 o 458 80.99/81.01 o 457 81.41/81.46 o 456 88.01/88.07 o 455 88.39/88.48 o 454 88.79/88.82 o 453 89.11/89.18 o 452 89.59/89.60 o 451 123.79/123.88 o 450 232.19/232.22 o 449 232.69/232.77 o 448 245.09/245.15 o 447 245.59/245.65 o 446 245.89/245.97 o 445 246.29/246.41 o 444 246.79/246.86 o 443 294.49/294.58 o 442 342.29/342.36 o 441 342.79/342.81 o 440 343.10/343.13 o 439 343.49/343.59 o 438 344.20/344.25 o 437 372.80/372.89 o 436 373.49/373.54 o 435 374.01/374.08 o 434 384.29/384.37 o 433 384.79/384.86 o 432 385.29/385.38 o 431 385.89/385.91 o 430 386.29/386.38 o 429 386.99/387.03 o 428 387.39/387.42 o 427 388.49/388.55 o 426 389.19/389.28 o 425 390.59/390.64 o 424 413.69/413.76 o 423 431.79/431.85 o 422 433.30/433.39 o 421 434.40/434.47 o 420 435.61/435.67 o 419 438.39/438.40 o 418 438.91/438.97 o 417 489.70/489.71 o 416 587.60/587.70 o 415 588.20/588.29 o 414 588.80/588.84 o 413 589.40/589.41 o 412 590.00/590.04 o 411 590.61/590.65 o 410 591.20/591.26 o 409 592.20/592.22 o 408 593.20/593.25 o 407 594.30/594.37 o 406 594.80/594.86 o 405 595.30/595.30 o 404 595.50/595.56 o 403 596.22/596.26 o 402 596.80/596.85 o 401 597.32/597.39 o 400 597.80/597.82 o 399 598.00/598.09 o 398 598.31/598.38 o 397 599.20/599.27 o 396 599.90/599.95 o 395 600.50/600.58 o 394 601.00/601.03 o 393 601.72/601.76 o 392 602.00/602.00 o 391 602.20/602.25 o 390 602.82/602.85 o 389 603.10/603.11 o 388 604.50/604.50 o 387 605.50/605.56 o 386 606.12/606.19 o 385 606.90/606.96 o 384 607.60/607.61 o 383 607.80/607.86 o 382 608.10/608.11 o 381 608.80/608.81 o 380 609.10/609.11 o 379 609.70/609.75 o 378 610.40/610.46 o 377 610.70/610.72 o 376 610.90/610.97 o 375 611.70/611.74 o 374 612.30/612.34 o 373 612.60/612.69 o 372 613.30/613.35 o 371 613.70/613.79 o 370 614.00/614.06 o 369 614.70/614.71 o 368 615.00/615.05 o 367 615.60/615.60 o 366 616.80/616.83 o 365 617.20/617.22 o 364 617.90/617.95 o 363 618.22/618.23 o 362 619.00/619.01 o 361 619.60/619.63 o 360 620.50/620.55 o 359 620.90/620.92 o 358 621.10/621.18 o 357 621.41/621.46 o 356 621.70/621.71 o 355 621.90/621.99 o 354 622.20/622.28 o 353 623.20/623.23 o 352 623.90/623.97 o 351 645.50/645.55 o 350 645.80/645.82 o 349 646.20/646.25 o 348 647.92/647.94 o 347 649.60/649.64 o 346 650.40/650.46 o 345 651.11/651.18 o 344 651.60/651.65 o 343 651.90/651.90 o 342 652.60/652.68 o 341 653.10/653.18 o 340 654.60/654.68 o 339 654.90/654.99 o 338 693.40/693.48 o 337 693.70/693.79 o 336 694.01/694.11 o 335 694.30/694.37 o 334 694.80/694.86 o 333 695.30/695.39 o 332 696.60/696.61 o 331 697.10/697.19 o 330 697.70/697.74 o 329 698.10/698.16 o 328 698.40/698.42 o 327 698.60/698.68 o 326 698.90/698.94 o 325 699.10/699.19 o 324 699.40/699.48 o 323 700.00/700.05 o 322 701.50/701.52 o 321 712.50/712.51 o 320 713.92/713.95 o 319 715.40/715.41 o 318 716.70/716.73 o 317 718.00/718.06 o 316 718.32/718.32 o 315 718.50/718.59 o 314 718.80/718.85 o 313 719.10/719.11 o 312 719.30/719.37 o 311 719.60/719.63 o 310 719.80/719.89 o 309 720.10/720.15 o 308 720.30/720.41 o 307 721.20/721.29 o 306 721.70/721.79 o 305 723.20/723.28 o 304 724.40/724.45 o 303 725.90/725.97 o 302 726.20/726.28 o 301 726.50/726.57 o 300 727.70/727.75 o 299 728.00/728.11 o 298 728.30/728.37 o 297 728.60/728.64 o 296 728.90/728.91 o 295 729.10/729.19 o 294 729.40/729.45 o 293 729.70/729.72 o 292 730.00/730.03 o 291 731.40/731.48 o 290 732.10/732.17 o 289 733.20/733.24 o 288 735.10/735.12 o 287 735.60/735.69 o 286 736.30/736.33 o 285 736.60/736.60 o 284 736.80/736.87 o 283 737.10/737.14 o 282 737.40/737.46 o 281 737.70/737.75 o 280 785.80/785.86 o 279 794.50/794.55 o 278 799.40/799.47 o 277 805.50/805.50 o 276 830.21/830.29 o 275 839.81/839.85 o 274 847.41/847.42 o 273 849.60/849.66 o 272 851.70/851.73 o 271 852.00/852.07 o 270 853.40/853.42 o 269 853.80/853.86 o 268 854.10/854.16 o 267 854.40/854.45 o 266 854.72/854.75 o 265 855.00/855.03 o 264 855.30/855.32 o 263 855.60/855.62 o 262 856.30/856.35 o 261 858.10/858.14 o 260 858.40/858.44 o 259 858.70/858.79 o 258 859.80/859.89 o 257 860.40/860.49 o 256 860.90/860.96 o 255 861.21/861.27 o 254 861.50/861.56 o 253 861.80/861.85 o 252 862.10/862.16 o 251 862.42/862.47 o 250 862.70/862.77 o 249 863.00/863.05 o 248 863.80/863.85 o 247 865.20/865.27 o 246 925.40/925.41 o 245 925.80/925.81 o 244 926.00/926.10 o 243 926.40/926.40 o 242 926.70/926.78 o 241 927.10/927.11 o 240 927.70/927.72 o 239 929.91/929.96 o 238 930.21/930.24 o 237 930.41/930.51 o 236 930.71/930.78 o 235 931.01/931.05 o 234 931.31/931.32 o 233 931.51/931.61 o 232 931.81/931.87 o 231 932.91/932.94 o 230 933.21/933.23 o 229 933.51/933.54 o 228 934.61/934.64 o 227 935.41/935.43 o 226 935.81/935.80 o 225 936.02/936.09 o 224 937.01/937.03 o 223 937.41/937.43 o 222 937.71/937.70 o 221 937.91/937.97 o 220 938.22/938.24 o 219 938.51/938.50 o 218 938.71/938.78 o 217 939.01/939.05 o 216 939.32/939.33 o 215 940.31/940.41 o 214 940.81/940.88 o 213 946.31/946.31 o 212 986.31/986.35 o 211 986.51/986.61 o 210 986.81/986.87 o 209 987.11/987.14 o 208 987.41/987.43 o 207 990.91/990.90 o 206 993.41/993.44 o 205 994.81/994.83 o 204 995.01/995.09 o 203 995.81/995.84 o 202 997.62/997.63 o 201 999.71/999.76 o 200 1000.81/1000.86 o 199 1001.21/1001.21 o 198 1001.41/1001.48 o 197 1001.71/1001.74 o 196 1001.91/1002.01 o 195 1002.21/1002.27 o 194 1002.51/1002.53 o 193 1002.81/1002.80 o 192 1003.01/1003.07 o 191 1003.31/1003.33 o 190 1003.51/1003.59 o 189 1008.61/1008.65 o 188 1009.41/1009.45 o 187 1014.81/1014.80 o 186 1018.31/1018.38 o 185 1018.91/1018.93 o 184 1019.41/1019.40 o 183 1020.21/1020.21 o 182 1021.81/1021.86 o 181 1023.11/1023.14 o 180 1025.11/1025.20 o 179 1025.41/1025.43 o 178 1025.81/1025.84 o 177 1026.11/1026.12 o 176 1026.91/1026.93 o 175 1027.11/1027.17 o 174 1027.31/1027.40 o 173 1027.61/1027.64 o 172 1027.81/1027.87 o 171 1028.11/1028.11 o 170 1029.51/1029.52 o 169 1029.81/1029.86 o 168 1030.11/1030.12 o 167 1030.31/1030.33 o 166 1030.51/1030.55 o 165 1031.82/1031.84 o 164 1034.71/1034.71 o 163 1037.41/1037.45 o 162 1038.01/1038.02 o 161 1038.42/1038.42 o 160 1038.81/1038.85 o 159 1039.31/1039.30 o 158 1039.71/1039.78 o 157 1040.21/1040.27 o 156 1040.81/1040.80 o 155 1041.31/1041.33 o 154 1041.81/1041.89 o 153 1042.41/1042.46 o 152 1043.01/1043.09 o 151 1044.81/1044.84 o 150 1047.22/1047.23 o 149 1049.61/1049.68 o 148 1050.52/1050.54 o 147 1051.41/1051.44 o 146 1052.31/1052.34 o 145 1053.31/1053.33 o 144 1054.31/1054.36 o 143 1055.41/1055.47 o 142 1056.51/1056.58 o 141 1057.71/1057.73 o 140 1058.91/1058.92 o 139 1060.11/1060.13 o 138 1061.31/1061.37 o 137 1063.21/1063.26 o 136 1065.92/1065.93 o 135 1069.61/1069.65 o 134 1072.81/1072.84 o 133 1074.51/1074.56 o 132 1076.01/1076.08 o 131 1077.71/1077.71 o 130 1079.31/1079.38 o 129 1081.11/1081.14 o 128 1082.91/1082.95 o 127 1084.81/1084.80 o 126 1086.71/1086.73 o 125 1088.71/1088.71 o 124 1090.71/1090.74 o 123 1092.80/1092.80 o 122 1094.91/1094.96 o 121 1098.01/1098.08 o 120 1101.21/1101.21 o 119 1103.51/1103.54 o 118 1106.01/1106.07 o 117 1108.91/1108.93 o 116 1111.31/1111.39 o 115 1113.81/1113.89 o 114 1116.41/1116.43 o 113 1119.00/1119.00 o 112 1122.51/1122.52 o 111 1125.10/1125.17 o 110 1128.31/1128.39 o 109 1131.31/1131.37 o 108 1134.21/1134.28 o 107 1137.11/1137.12 o 106 1140.01/1140.02 o 105 1142.93/1142.99 o 104 1145.91/1145.99 o 103 1149.01/1149.07 o 102 1152.21/1152.20 o 101 1155.31/1155.38 o 100 1158.61/1158.60 o 99 1162.01/1162.00 o 98 1165.31/1165.35 o 97 1168.81/1168.82 o 96 1172.52/1172.57 o 95 1177.42/1177.49 o 94 1181.21/1181.26 o 93 1185.01/1185.02 o 92 1188.92/1188.91 o 91 1192.81/1192.87 o 90 1196.91/1196.90 o 89 1201.01/1201.02 o 88 1205.52/1205.55 o 87 1209.81/1209.80 o 86 1214.11/1214.17 o 85 1218.61/1218.65 o 84 1223.12/1223.15 o 83 1228.02/1228.04 o 82 1233.31/1233.32 o 81 1238.11/1238.11 o 80 1242.92/1242.92 o 79 1247.81/1247.84 o 78 1252.82/1252.88 o 77 1258.01/1258.07 o 76 1263.31/1263.31 o 75 1268.71/1268.72 o 74 1274.21/1274.29 o 73 1280.32/1280.32 o 72 1286.51/1286.59 o 71 1292.42/1292.48 o 70 1298.41/1298.49 o 69 1304.52/1304.53 o 68 1310.61/1310.69 o 67 1316.91/1316.95 o 66 1326.21/1326.27 o 65 1333.01/1333.11 o 64 1339.72/1339.71 o 63 1346.32/1346.39 o 62 1353.11/1353.13 o 61 1359.91/1359.97 o 60 1366.91/1366.98 o 59 1375.91/1375.91 o 58 1383.31/1383.30 o 57 1390.51/1390.53 o 56 1397.71/1397.75 o 55 1405.01/1405.07 o 54 1412.51/1412.50 o 53 1420.02/1420.07 o 52 1427.72/1427.75 o 51 1435.53/1435.53 o 50 1443.61/1443.68 o 49 1451.72/1451.70 o 48 1461.12/1461.17 o 47 1470.92/1470.95 o 46 1479.32/1479.41 o 45 1488.02/1488.01 o 44 1496.72/1496.75 o 43 1505.62/1505.61 o 42 1514.62/1514.62 o 41 1523.72/1523.72 o 40 1532.92/1532.91 o 39 1542.23/1542.26 o 38 1551.72/1551.73 o 37 1561.62/1561.69 o 36 1571.42/1571.48 o 35 1581.92/1581.93 o 34 1592.12/1592.14 o 33 1602.32/1602.35 o 32 1645.43/1645.48 o 31 1657.74/1657.72 o 30 1669.33/1669.30 o 29 1689.53/1689.57 o 28 1700.64/1700.67 o 27 1771.52/1771.59 o 26 1800.03/1800.01 >>> Terminate signal received 1800.03/1800.01 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 26
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-3464368-1307406073/watcher-3464368-1307406073 -o /tmp/evaluation-result-3464368-1307406073/solver-3464368-1307406073 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464368-1307406073.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/458 5799 /proc/meminfo: memFree=26125320/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=7552 CPUtime=0 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 1 0 852205421 7733248 394 33554432000 4194304 6539028 140735682350128 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 1888 394 236 573 0 1306 0 [startup+0.036522 s] /proc/loadavg: 2.00 2.01 2.00 2/458 5799 /proc/meminfo: memFree=26125320/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=9936 CPUtime=0.03 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 1019 0 0 0 3 0 0 0 25 0 1 0 852205421 10174464 969 33554432000 4194304 6539028 140735682350128 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 2484 969 236 573 0 1902 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9936 [startup+0.100532 s] /proc/loadavg: 2.00 2.01 2.00 2/458 5799 /proc/meminfo: memFree=26125320/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=16516 CPUtime=0.09 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 2723 0 0 0 8 1 0 0 25 0 1 0 852205421 16912384 2480 33554432000 4194304 6539028 140735682350128 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 4129 2483 247 573 0 3547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16516 [startup+0.300498 s] /proc/loadavg: 2.00 2.01 2.00 2/458 5799 /proc/meminfo: memFree=26125320/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=58968 CPUtime=0.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 13505 0 0 0 27 2 0 0 25 0 1 0 852205421 60383232 13068 33554432000 4194304 6539028 140735682350128 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 14742 13070 262 573 0 14160 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 58968 [startup+0.700431 s] /proc/loadavg: 2.00 2.01 2.00 2/458 5799 /proc/meminfo: memFree=26125320/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=139156 CPUtime=0.69 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33448 0 0 0 65 4 0 0 25 0 1 0 852205421 142495744 32754 33554432000 4194304 6539028 140735682350128 18446744073709551615 4641015 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 34789 32754 263 573 0 34207 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 139156 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5800 /proc/meminfo: memFree=25992880/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=140700 CPUtime=1.49 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33889 0 0 0 145 4 0 0 25 0 1 0 852205421 144076800 33195 33554432000 4194304 6539028 140735682350128 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/5799/statm: 35175 33195 271 573 0 34593 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 140700 [startup+3.10102 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5800 /proc/meminfo: memFree=25991640/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=140700 CPUtime=3.08 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33939 0 0 0 304 4 0 0 25 0 1 0 852205421 144076800 33239 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 35175 33239 282 573 0 34593 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 140700 [startup+6.30045 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5800 /proc/meminfo: memFree=25991632/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=6.28 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33940 0 0 0 624 4 0 0 25 0 1 0 852205421 139616256 33159 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523897 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33159 282 573 0 33504 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 136344 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5800 /proc/meminfo: memFree=25990744/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=12.68 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33940 0 0 0 1264 4 0 0 25 0 1 0 852205421 139616256 33159 33554432000 4194304 6539028 140735682350128 18446744073709551615 4501525 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33159 282 573 0 33504 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 136344 [startup+25.501 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5800 /proc/meminfo: memFree=25990976/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=25.48 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33940 0 0 0 2544 4 0 0 25 0 1 0 852205421 139616256 33159 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523865 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33159 282 573 0 33504 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 136344 [startup+51.1005 s] /proc/loadavg: 2.00 2.01 2.00 3/459 5801 /proc/meminfo: memFree=25991024/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=51.09 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 5104 5 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 136344 [startup+102.317 s] /proc/loadavg: 2.07 2.02 2.00 3/459 5802 /proc/meminfo: memFree=25990020/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=102.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 10226 5 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 136344 [startup+162.301 s] /proc/loadavg: 2.02 2.01 2.00 3/459 5804 /proc/meminfo: memFree=25989876/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=162.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 16224 5 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 136344 [startup+222.301 s] /proc/loadavg: 2.01 2.01 2.00 3/459 5806 /proc/meminfo: memFree=25990108/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=222.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 22224 5 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 136344 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/459 5807 /proc/meminfo: memFree=25990460/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=282.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 28223 6 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524073 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 136344 [startup+342.301 s] /proc/loadavg: 2.13 2.03 2.01 3/459 5809 /proc/meminfo: memFree=25989688/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=342.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 34223 6 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 136344 [startup+402.301 s] /proc/loadavg: 2.05 2.02 2.00 3/459 5810 /proc/meminfo: memFree=25990648/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=402.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 40223 6 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 136344 [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.00 3/459 5812 /proc/meminfo: memFree=25989892/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=462.29 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 46223 6 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 136344 [startup+522.301 s] /proc/loadavg: 2.16 2.05 2.01 3/459 5814 /proc/meminfo: memFree=25990876/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=522.3 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 52223 7 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 136344 [startup+582.301 s] /proc/loadavg: 2.12 2.05 2.01 3/459 5815 /proc/meminfo: memFree=25990988/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=136344 CPUtime=582.3 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 33941 0 0 0 58223 7 0 0 25 0 1 0 852205421 139616256 33160 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34086 33160 282 573 0 33504 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 136344 ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.06 2.06 2.01 3/459 5822 /proc/meminfo: memFree=25989916/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=137412 CPUtime=822.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34018 0 0 0 82223 8 0 0 25 0 1 0 852205421 140709888 33232 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34353 33232 282 573 0 33771 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 137412 [startup+882.301 s] /proc/loadavg: 2.02 2.05 2.00 3/459 5823 /proc/meminfo: memFree=25989156/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=137412 CPUtime=882.3 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34074 0 0 0 88222 8 0 0 25 0 1 0 852205421 140709888 33286 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34353 33286 282 573 0 33771 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 137412 [startup+942.301 s] /proc/loadavg: 1.59 1.94 1.97 2/453 5843 /proc/meminfo: memFree=25997920/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=137412 CPUtime=942.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34095 0 0 0 94222 9 0 0 25 0 1 0 852205421 140709888 33305 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34353 33305 282 573 0 33771 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 137412 [startup+1002.3 s] /proc/loadavg: 1.21 1.77 1.90 2/453 5844 /proc/meminfo: memFree=25997884/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=137676 CPUtime=1002.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34144 0 0 0 100222 9 0 0 25 0 1 0 852205421 140980224 33351 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34419 33351 282 573 0 33837 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 137676 [startup+1062.3 s] /proc/loadavg: 1.08 1.62 1.84 2/453 5846 /proc/meminfo: memFree=25997372/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1062.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34346 0 0 0 106222 9 0 0 25 0 1 0 852205421 141758464 33552 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33552 282 573 0 34027 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 138436 [startup+1122.3 s] /proc/loadavg: 1.07 1.52 1.79 2/453 5848 /proc/meminfo: memFree=25997360/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1122.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34365 0 0 0 112222 9 0 0 25 0 1 0 852205421 141758464 33567 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33567 282 573 0 34027 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 138436 [startup+1182.3 s] /proc/loadavg: 1.02 1.42 1.74 2/453 5849 /proc/meminfo: memFree=25997340/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1182.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34365 0 0 0 118221 10 0 0 25 0 1 0 852205421 141758464 33567 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524075 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33567 282 573 0 34027 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 138436 [startup+1242.3 s] /proc/loadavg: 1.01 1.34 1.69 2/453 5851 /proc/meminfo: memFree=25997332/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1242.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34365 0 0 0 124221 10 0 0 25 0 1 0 852205421 141758464 33567 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33567 282 573 0 34027 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 138436 [startup+1302.3 s] /proc/loadavg: 1.00 1.28 1.65 2/453 5852 /proc/meminfo: memFree=25997428/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1302.32 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34365 0 0 0 130222 10 0 0 25 0 1 0 852205421 141758464 33567 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524105 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33567 282 573 0 34027 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 138436 [startup+1362.3 s] /proc/loadavg: 1.00 1.23 1.60 2/453 5854 /proc/meminfo: memFree=25997292/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1362.31 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34365 0 0 0 136221 10 0 0 25 0 1 0 852205421 141758464 33567 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33567 282 573 0 34027 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 138436 [startup+1422.32 s] /proc/loadavg: 1.04 1.20 1.57 2/453 5856 /proc/meminfo: memFree=25997280/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1422.33 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34369 0 0 0 142223 10 0 0 25 0 1 0 852205421 141758464 33570 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33570 282 573 0 34027 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 138436 [startup+1482.3 s] /proc/loadavg: 1.01 1.16 1.53 2/453 5857 /proc/meminfo: memFree=25997392/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1482.32 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34374 0 0 0 148221 11 0 0 25 0 1 0 852205421 141758464 33575 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33575 282 573 0 34027 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 138436 [startup+1542.3 s] /proc/loadavg: 1.00 1.13 1.49 2/453 5859 /proc/meminfo: memFree=25997988/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1542.32 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34379 0 0 0 154221 11 0 0 25 0 1 0 852205421 141758464 33579 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33579 282 573 0 34027 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 138436 [startup+1602.3 s] /proc/loadavg: 1.00 1.10 1.46 2/453 5860 /proc/meminfo: memFree=25997972/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1602.32 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34383 0 0 0 160221 11 0 0 25 0 1 0 852205421 141758464 33583 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33583 282 573 0 34027 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 138436 [startup+1662.3 s] /proc/loadavg: 1.11 1.11 1.44 2/453 5862 /proc/meminfo: memFree=25997696/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1662.33 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34389 0 0 0 166221 12 0 0 25 0 1 0 852205421 141758464 33588 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33588 282 573 0 34027 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 138436 [startup+1722.3 s] /proc/loadavg: 1.04 1.09 1.41 2/453 5864 /proc/meminfo: memFree=25997680/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1722.32 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34402 0 0 0 172220 12 0 0 25 0 1 0 852205421 141758464 33600 33554432000 4194304 6539028 140735682350128 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33600 282 573 0 34027 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 138436 [startup+1782.3 s] /proc/loadavg: 1.01 1.07 1.38 2/453 5865 /proc/meminfo: memFree=25996548/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1782.33 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34405 0 0 0 178221 12 0 0 25 0 1 0 852205421 141758464 33603 33554432000 4194304 6539028 140735682350128 18446744073709551615 4501504 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33603 282 573 0 34027 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 138436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.01 1.06 1.37 2/453 5866 /proc/meminfo: memFree=25997164/32951124 swapFree=60688864/67111528 [pid=5799] ppid=5797 vsize=138436 CPUtime=1800.03 cores=0,2,4,6 /proc/5799/stat : 5799 (minisatid) R 5797 5799 3720 0 -1 4202496 34406 0 0 0 179991 12 0 0 25 0 1 0 852205421 141758464 33604 33554432000 4194304 6539028 140735682350128 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/5799/statm: 34609 33604 282 573 0 34027 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 138436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1799.93 CPU system time (s): 0.131979 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 140700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.131979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34409 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= 7379 runsolver used 8.44372 second user time and 17.6683 second system time The end
Begin job on node132 at 2011-06-07 02:21:13 IDJOB=3464368 IDBENCH=48124 IDSOLVER=1956 FILE ID=node132/3464368-1307406073 RUNJOBID= node132-1307397966-5126 PBS_JOBID= 13514175 Free space on /tmp= 73992 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464368-1307406073/watcher-3464368-1307406073 -o /tmp/evaluation-result-3464368-1307406073/solver-3464368-1307406073 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464368-1307406073.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827 RANDOM SEED=383020509 node132.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.833 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.833 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 : 5332.74 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.833 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.76 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.833 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.75 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.833 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.77 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.833 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.67 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.833 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.82 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26125600 kB Buffers: 335152 kB Cached: 3166000 kB SwapCached: 15140 kB Active: 1023728 kB Inactive: 5539448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26125600 kB SwapTotal: 67111528 kB SwapFree: 60688864 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 3054828 kB Mapped: 20056 kB Slab: 144700 kB PageTables: 49996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 109230456 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73992 MiB End job on node132 at 2011-06-07 02:51:15