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) | 31 | 1800.1 | 1800.12 |
| 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. 0.69/0.79 o 499 0.79/0.83 o 498 0.79/0.87 o 497 0.89/0.91 o 496 0.89/0.95 o 495 0.89/0.99 o 494 0.99/1.04 o 493 0.99/1.08 o 492 1.10/1.12 o 491 1.10/1.16 o 490 1.19/1.20 o 489 1.19/1.24 o 488 1.19/1.28 o 487 1.29/1.32 o 486 1.29/1.36 o 485 1.39/1.41 o 484 1.39/1.45 o 483 1.39/1.49 o 482 1.49/1.53 o 481 1.49/1.57 o 480 1.59/1.61 o 479 1.59/1.65 o 478 1.59/1.70 o 477 1.69/1.74 o 476 1.69/1.78 o 475 1.79/1.82 o 474 1.79/1.86 o 473 1.89/1.90 o 472 1.89/1.95 o 471 1.89/1.99 o 470 11.59/11.69 o 469 11.89/11.94 o 468 12.19/12.22 o 467 12.69/12.73 o 466 13.29/13.35 o 465 13.59/13.60 o 464 14.49/14.52 o 463 16.89/16.98 o 462 18.19/18.25 o 461 19.19/19.24 o 460 19.49/19.57 o 459 31.09/31.13 o 458 44.38/44.40 o 457 44.78/44.85 o 456 45.28/45.33 o 455 45.58/45.60 o 454 45.88/45.99 o 453 46.20/46.25 o 452 46.78/46.84 o 451 47.08/47.13 o 450 47.38/47.40 o 449 47.78/47.80 o 448 48.08/48.10 o 447 48.29/48.32 o 446 48.78/48.80 o 445 98.18/98.23 o 444 106.48/106.59 o 443 106.88/106.92 o 442 107.18/107.25 o 441 122.58/122.61 o 440 122.78/122.88 o 439 122.98/123.05 o 438 123.58/123.61 o 437 145.28/145.33 o 436 145.58/145.60 o 435 145.78/145.89 o 434 146.08/146.18 o 433 146.38/146.46 o 432 146.68/146.75 o 431 146.98/147.06 o 430 147.29/147.32 o 429 147.58/147.62 o 428 147.78/147.80 o 427 148.39/148.46 o 426 148.68/148.73 o 425 148.88/148.97 o 424 149.18/149.25 o 423 149.38/149.42 o 422 149.60/149.68 o 421 149.88/149.91 o 420 150.18/150.20 o 419 150.38/150.48 o 418 150.70/150.76 o 417 150.98/151.02 o 416 151.28/151.35 o 415 151.58/151.64 o 414 151.80/151.85 o 413 151.98/152.05 o 412 152.28/152.34 o 411 152.48/152.55 o 410 152.79/152.83 o 409 153.08/153.10 o 408 161.48/161.54 o 407 161.78/161.82 o 406 161.98/162.07 o 405 163.58/163.61 o 404 205.59/205.67 o 403 216.28/216.39 o 402 238.28/238.33 o 401 238.48/238.52 o 400 238.70/238.72 o 399 238.88/238.93 o 398 239.28/239.32 o 397 239.48/239.50 o 396 239.88/239.98 o 395 240.28/240.31 o 394 240.48/240.50 o 393 240.68/240.78 o 392 241.18/241.23 o 391 241.68/241.71 o 390 254.78/254.84 o 389 254.98/255.09 o 388 255.48/255.56 o 387 255.68/255.74 o 386 256.08/256.11 o 385 256.38/256.45 o 384 256.68/256.72 o 383 256.98/257.09 o 382 257.48/257.53 o 381 293.08/293.16 o 380 353.09/353.12 o 379 353.28/353.32 o 378 353.48/353.52 o 377 353.68/353.72 o 376 353.88/353.92 o 375 354.08/354.12 o 374 354.28/354.33 o 373 354.58/354.62 o 372 366.18/366.31 o 371 367.18/367.24 o 370 367.78/367.80 o 369 368.18/368.22 o 368 368.78/368.88 o 367 393.18/393.25 o 366 393.68/393.80 o 365 393.88/393.99 o 364 400.39/400.44 o 363 440.18/440.24 o 362 440.48/440.56 o 361 440.68/440.79 o 360 441.09/441.12 o 359 441.38/441.42 o 358 441.68/441.71 o 357 441.98/442.04 o 356 442.58/442.67 o 355 443.18/443.30 o 354 444.28/444.40 o 353 444.58/444.63 o 352 444.88/444.93 o 351 445.08/445.16 o 350 445.28/445.37 o 349 445.49/445.58 o 348 445.78/445.80 o 347 446.48/446.57 o 346 446.78/446.82 o 345 446.98/447.06 o 344 447.28/447.38 o 343 447.48/447.61 o 342 447.78/447.83 o 341 447.98/448.05 o 340 448.18/448.28 o 339 449.08/449.11 o 338 450.08/450.16 o 337 450.38/450.42 o 336 450.58/450.66 o 335 450.88/450.97 o 334 451.08/451.19 o 333 451.38/451.44 o 332 451.58/451.65 o 331 451.78/451.87 o 330 451.98/452.10 o 329 452.88/452.94 o 328 453.98/454.05 o 327 454.29/454.32 o 326 454.48/454.56 o 325 454.78/454.85 o 324 455.08/455.10 o 323 455.28/455.32 o 322 455.48/455.54 o 321 455.68/455.76 o 320 455.98/456.02 o 319 456.28/456.30 o 318 457.08/457.12 o 317 458.38/458.45 o 316 460.08/460.15 o 315 460.38/460.42 o 314 460.58/460.68 o 313 460.89/460.94 o 312 461.78/461.86 o 311 462.08/462.10 o 310 462.28/462.33 o 309 462.48/462.55 o 308 462.68/462.77 o 307 463.18/463.29 o 306 463.78/463.81 o 305 464.19/464.25 o 304 464.78/464.85 o 303 465.08/465.11 o 302 465.29/465.36 o 301 466.98/467.05 o 300 468.98/469.08 o 299 469.28/469.34 o 298 470.08/470.10 o 297 470.28/470.36 o 296 471.58/471.65 o 295 471.98/472.09 o 294 473.38/473.48 o 293 474.18/474.25 o 292 475.98/476.02 o 291 476.18/476.29 o 290 476.48/476.53 o 289 476.68/476.77 o 288 476.98/477.00 o 287 477.18/477.26 o 286 477.48/477.50 o 285 477.68/477.73 o 284 477.88/477.97 o 283 478.18/478.21 o 282 478.38/478.45 o 281 479.88/479.96 o 280 481.68/481.73 o 279 483.38/483.47 o 278 484.28/484.34 o 277 484.68/484.77 o 276 484.98/485.05 o 275 485.18/485.28 o 274 485.48/485.52 o 273 485.68/485.75 o 272 485.98/486.04 o 271 487.58/487.68 o 270 488.28/488.37 o 269 488.88/488.95 o 268 489.08/489.19 o 267 489.38/489.44 o 266 489.58/489.68 o 265 489.88/489.91 o 264 490.08/490.14 o 263 490.28/490.38 o 262 490.59/490.62 o 261 491.88/491.91 o 260 521.78/521.88 o 259 522.08/522.14 o 258 522.28/522.39 o 257 522.58/522.65 o 256 522.88/522.90 o 255 523.08/523.15 o 254 523.38/523.40 o 253 523.59/523.64 o 252 538.78/538.87 o 251 613.88/613.95 o 250 618.98/619.03 o 249 620.40/620.45 o 248 620.78/620.86 o 247 621.28/621.35 o 246 621.58/621.62 o 245 621.78/621.86 o 244 622.78/622.88 o 243 623.18/623.20 o 242 625.90/625.97 o 241 627.88/627.95 o 240 628.28/628.34 o 239 628.48/628.57 o 238 628.78/628.80 o 237 629.09/629.17 o 236 629.38/629.43 o 235 629.78/629.87 o 234 632.58/632.60 o 233 632.88/632.96 o 232 633.18/633.22 o 231 633.38/633.48 o 230 634.18/634.20 o 229 634.38/634.45 o 228 634.59/634.71 o 227 634.88/634.97 o 226 635.18/635.23 o 225 635.48/635.50 o 224 635.79/635.86 o 223 636.08/636.13 o 222 636.48/636.53 o 221 636.68/636.79 o 220 639.38/639.49 o 219 657.69/657.76 o 218 657.98/658.06 o 217 658.28/658.35 o 216 658.58/658.60 o 215 658.98/659.00 o 214 659.58/659.61 o 213 659.78/659.88 o 212 660.08/660.18 o 211 660.38/660.43 o 210 660.68/660.72 o 209 668.38/668.45 o 208 718.38/718.44 o 207 718.58/718.66 o 206 718.78/718.89 o 205 719.08/719.11 o 204 719.18/719.30 o 203 719.39/719.49 o 202 719.58/719.69 o 201 719.88/719.90 o 200 720.08/720.11 o 199 720.28/720.33 o 198 720.49/720.54 o 197 720.68/720.76 o 196 721.78/721.87 o 195 722.28/722.32 o 194 722.58/722.69 o 193 722.88/722.91 o 192 723.08/723.12 o 191 726.38/726.44 o 190 726.68/726.79 o 189 727.09/727.18 o 188 727.28/727.38 o 187 727.48/727.58 o 186 727.68/727.76 o 185 727.88/727.97 o 184 728.08/728.18 o 183 728.28/728.39 o 182 728.58/728.60 o 181 728.78/728.82 o 180 728.98/729.02 o 179 729.18/729.21 o 178 729.38/729.41 o 177 731.87/731.92 o 176 732.07/732.13 o 175 732.27/732.36 o 174 733.27/733.36 o 173 740.07/740.11 o 172 740.77/740.89 o 171 741.47/741.50 o 170 742.67/742.75 o 169 743.97/744.05 o 168 744.77/744.81 o 167 745.07/745.10 o 166 745.27/745.34 o 165 745.47/745.57 o 164 745.68/745.79 o 163 745.97/746.01 o 162 746.17/746.21 o 161 757.37/757.40 o 160 792.57/792.66 o 159 792.77/792.89 o 158 793.27/793.38 o 157 795.57/795.60 o 156 795.78/795.86 o 155 795.97/796.09 o 154 796.28/796.35 o 153 796.57/796.66 o 152 796.97/797.03 o 151 797.38/797.47 o 150 797.87/797.95 o 149 798.67/798.72 o 148 799.17/799.28 o 147 802.57/802.60 o 146 806.87/806.90 o 145 808.27/808.40 o 144 809.67/809.77 o 143 810.37/810.47 o 142 811.07/811.17 o 141 811.79/811.89 o 140 812.57/812.63 o 139 813.37/813.41 o 138 814.07/814.19 o 137 814.98/815.10 o 136 815.97/816.02 o 135 817.07/817.17 o 134 818.07/818.18 o 133 823.17/823.27 o 132 824.27/824.30 o 131 825.27/825.35 o 130 826.37/826.44 o 129 827.47/827.57 o 128 828.67/828.75 o 127 829.87/829.98 o 126 831.17/831.29 o 125 834.37/834.47 o 124 836.98/837.10 o 123 838.47/838.58 o 122 839.97/840.07 o 121 841.49/841.58 o 120 845.07/845.13 o 119 848.67/848.73 o 118 859.67/859.75 o 117 862.39/862.47 o 116 864.59/864.64 o 115 866.79/866.82 o 114 868.67/868.74 o 113 870.78/870.85 o 112 873.18/873.31 o 111 875.18/875.26 o 110 877.18/877.23 o 109 879.18/879.24 o 108 881.28/881.32 o 107 883.38/883.43 o 106 885.68/885.79 o 105 887.98/888.03 o 104 890.48/890.53 o 103 894.68/894.73 o 102 898.78/898.85 o 101 901.38/901.42 o 100 903.88/903.99 o 99 906.58/906.62 o 98 910.69/910.75 o 97 914.18/914.27 o 96 917.58/917.60 o 95 920.38/920.41 o 94 923.18/923.26 o 93 926.09/926.19 o 92 929.18/929.23 o 91 932.28/932.32 o 90 935.38/935.49 o 89 938.68/938.75 o 88 941.98/942.07 o 87 945.38/945.40 o 86 949.30/949.32 o 85 953.78/953.80 o 84 958.98/959.05 o 83 962.98/963.01 o 82 967.38/967.47 o 81 971.19/971.25 o 80 974.98/975.09 o 79 978.89/978.98 o 78 982.88/982.90 o 77 986.78/986.89 o 76 990.88/990.96 o 75 995.08/995.14 o 74 999.28/999.38 o 73 1003.58/1003.65 o 72 1008.08/1008.15 o 71 1012.88/1012.96 o 70 1017.68/1017.79 o 69 1022.68/1022.71 o 68 1027.29/1027.36 o 67 1032.08/1032.13 o 66 1036.98/1037.04 o 65 1041.98/1042.07 o 64 1047.08/1047.17 o 63 1052.27/1052.38 o 62 1057.57/1057.67 o 61 1062.97/1063.03 o 60 1068.47/1068.50 o 59 1074.27/1074.31 o 58 1084.37/1084.43 o 57 1090.09/1090.15 o 56 1095.87/1095.93 o 55 1101.77/1101.85 o 54 1107.77/1107.83 o 53 1113.87/1113.92 o 52 1119.97/1120.08 o 51 1126.28/1126.36 o 50 1145.67/1145.70 o 49 1152.07/1152.18 o 48 1171.17/1171.24 o 47 1177.67/1177.77 o 46 1184.77/1184.89 o 45 1191.67/1191.74 o 44 1198.57/1198.63 o 43 1205.59/1205.67 o 42 1212.77/1212.81 o 41 1219.97/1220.02 o 40 1227.37/1227.48 o 39 1235.78/1235.86 o 38 1243.47/1243.56 o 37 1251.37/1251.47 o 36 1259.07/1259.19 o 35 1267.19/1267.27 o 34 1275.17/1275.28 o 33 1285.37/1285.40 o 32 1779.87/1779.98 o 31 1800.08/1800.11 >>> Terminate signal received 1800.08/1800.11 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 31
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-3464348-1307405543/watcher-3464348-1307405543 -o /tmp/evaluation-result-3464348-1307405543/solver-3464348-1307405543 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464348-1307405543.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: 1.99 1.99 1.99 2/455 16191 /proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=7740 CPUtime=0 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 478 0 0 0 0 0 0 0 25 0 1 0 832970256 7925760 427 33554432000 4194304 6539028 140733901616080 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 1935 427 236 573 0 1353 0 [startup+0.0598941 s] /proc/loadavg: 1.99 1.99 1.99 2/455 16191 /proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=11892 CPUtime=0.05 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 1522 0 0 0 5 0 0 0 25 0 1 0 832970256 12177408 1434 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 2973 1434 236 573 0 2391 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11892 [startup+0.100884 s] /proc/loadavg: 1.99 1.99 1.99 2/455 16191 /proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=16820 CPUtime=0.09 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 2807 0 0 0 9 0 0 0 25 0 1 0 832970256 17223680 2490 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 4205 2493 247 573 0 3623 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16820 [startup+0.300866 s] /proc/loadavg: 1.99 1.99 1.99 2/455 16191 /proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=59128 CPUtime=0.29 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 13571 0 0 0 28 1 0 0 25 0 1 0 832970256 60547072 13032 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 14782 13034 262 573 0 14200 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 59128 [startup+0.700752 s] /proc/loadavg: 1.99 1.99 1.99 2/455 16191 /proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=139464 CPUtime=0.69 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 33551 0 0 0 67 2 0 0 25 0 1 0 832970256 142811136 32755 33554432000 4194304 6539028 140733901616080 18446744073709551615 5624475 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34866 32755 263 573 0 34284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 139464 [startup+1.50062 s] /proc/loadavg: 1.99 1.99 1.99 3/456 16192 /proc/meminfo: memFree=24224456/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=141008 CPUtime=1.49 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 33971 0 0 0 147 2 0 0 25 0 1 0 832970256 144392192 33175 33554432000 4194304 6539028 140733901616080 18446744073709551615 4494869 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 35252 33175 271 573 0 34670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 141008 [startup+3.10033 s] /proc/loadavg: 1.99 1.99 1.99 3/456 16192 /proc/meminfo: memFree=24223092/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=141008 CPUtime=3.09 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34020 0 0 0 307 2 0 0 25 0 1 0 832970256 144392192 33218 33554432000 4194304 6539028 140733901616080 18446744073709551615 4707650 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 35252 33218 282 573 0 34670 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 141008 [startup+6.30074 s] /proc/loadavg: 1.99 1.99 1.99 3/456 16192 /proc/meminfo: memFree=24222796/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=136652 CPUtime=6.29 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34024 0 0 0 627 2 0 0 25 0 1 0 832970256 139931648 33139 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34163 33139 282 573 0 33581 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 136652 [startup+12.7006 s] /proc/loadavg: 1.99 1.99 1.99 3/456 16192 /proc/meminfo: memFree=24222680/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=136652 CPUtime=12.69 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34027 0 0 0 1267 2 0 0 25 0 1 0 832970256 139931648 33142 33554432000 4194304 6539028 140733901616080 18446744073709551615 4625692 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34163 33142 282 573 0 33581 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 136652 [startup+25.5002 s] /proc/loadavg: 2.14 2.02 2.00 3/456 16193 /proc/meminfo: memFree=24222788/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=136652 CPUtime=25.49 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34030 0 0 0 2547 2 0 0 25 0 1 0 832970256 139931648 33145 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34163 33145 282 573 0 33581 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 136652 [startup+51.1005 s] /proc/loadavg: 2.09 2.02 2.00 3/456 16193 /proc/meminfo: memFree=24223560/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=51.08 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34134 0 0 0 5105 3 0 0 25 0 1 0 832970256 140365824 33249 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33249 282 573 0 33687 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 137076 [startup+102.317 s] /proc/loadavg: 2.08 2.03 2.00 3/456 16195 /proc/meminfo: memFree=24222780/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=102.3 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 10227 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33250 282 573 0 33687 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 137076 [startup+162.301 s] /proc/loadavg: 2.03 2.02 2.00 3/456 16196 /proc/meminfo: memFree=24222112/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=162.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 16225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33250 282 573 0 33687 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 137076 [startup+222.301 s] /proc/loadavg: 2.01 2.02 2.00 3/456 16198 /proc/meminfo: memFree=24223448/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=222.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 22225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4282072 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33250 282 573 0 33687 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 137076 [startup+282.301 s] /proc/loadavg: 2.05 2.03 2.00 3/456 16199 /proc/meminfo: memFree=24223796/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=282.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 28225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33250 282 573 0 33687 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 137076 [startup+342.301 s] /proc/loadavg: 2.02 2.02 2.00 3/456 16201 /proc/meminfo: memFree=24223352/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=342.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 34225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33250 282 573 0 33687 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 137076 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/456 16203 /proc/meminfo: memFree=24223412/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137076 CPUtime=402.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34146 0 0 0 40225 3 0 0 25 0 1 0 832970256 140365824 33259 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34269 33259 282 573 0 33687 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 137076 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/456 16204 /proc/meminfo: memFree=24223000/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137340 CPUtime=462.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 46225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523865 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34335 33298 282 573 0 33753 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 137340 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/456 16206 /proc/meminfo: memFree=24223336/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137340 CPUtime=522.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 52225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34335 33298 282 573 0 33753 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 137340 [startup+582.301 s] /proc/loadavg: 2.15 2.03 2.01 3/456 16207 /proc/meminfo: memFree=24223544/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=137340 CPUtime=582.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 58225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34335 33298 282 573 0 33753 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 137340 ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.03 2.03 2.00 3/456 16218 /proc/meminfo: memFree=24221848/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=882.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34442 0 0 0 88224 4 0 0 25 0 1 0 832970256 142061568 33551 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33551 282 573 0 34101 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 138732 [startup+942.301 s] /proc/loadavg: 2.01 2.02 2.00 3/456 16220 /proc/meminfo: memFree=24222440/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=942.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 94224 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4494851 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33554 282 573 0 34101 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 138732 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/456 16222 /proc/meminfo: memFree=24221812/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1002.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 100224 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33554 282 573 0 34101 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 138732 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/456 16223 /proc/meminfo: memFree=24221032/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1062.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 106223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33554 282 573 0 34101 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 138732 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/456 16225 /proc/meminfo: memFree=24220844/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1122.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 112223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4501483 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33554 282 573 0 34101 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 138732 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/456 16226 /proc/meminfo: memFree=24220688/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1182.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 118223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33554 282 573 0 34101 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 138732 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/456 16228 /proc/meminfo: memFree=24220260/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1242.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34451 0 0 0 124223 4 0 0 25 0 1 0 832970256 142061568 33559 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523952 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33559 282 573 0 34101 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 138732 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/456 16230 /proc/meminfo: memFree=24220452/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1302.28 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 130224 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 138732 [startup+1362.3 s] /proc/loadavg: 2.08 2.03 2.01 3/456 16231 /proc/meminfo: memFree=24221656/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1362.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 136223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524124 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 138732 [startup+1422.32 s] /proc/loadavg: 2.07 2.03 2.01 3/456 16233 /proc/meminfo: memFree=24221740/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1422.29 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 142225 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 138732 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/456 16234 /proc/meminfo: memFree=24221444/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1482.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 148223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 138732 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/456 16236 /proc/meminfo: memFree=24221640/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1542.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 154223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 138732 [startup+1602.3 s] /proc/loadavg: 2.22 2.06 2.02 3/456 16238 /proc/meminfo: memFree=24221816/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1602.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 160223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 138732 [startup+1662.3 s] /proc/loadavg: 1.91 2.02 2.00 2/450 16257 /proc/meminfo: memFree=24230160/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1662.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 166223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 138732 [startup+1722.3 s] /proc/loadavg: 1.38 1.84 1.94 2/450 16259 /proc/meminfo: memFree=24230464/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1722.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 172223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33563 282 573 0 34101 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 138732 [startup+1782.3 s] /proc/loadavg: 1.14 1.69 1.88 2/450 16260 /proc/meminfo: memFree=24229532/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1782.27 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 178223 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523586 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33568 282 573 0 34101 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 138732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.11 1.65 1.86 2/450 16261 /proc/meminfo: memFree=24230256/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1800.08 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 180004 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33568 282 573 0 34101 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 138732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 1.11 1.65 1.86 2/450 16261 /proc/meminfo: memFree=24230256/32951124 swapFree=60476376/67111528 [pid=16191] ppid=16189 vsize=138732 CPUtime=1800.08 cores=0,2,4,6 /proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 180004 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16191/statm: 34683 33568 282 573 0 34101 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 138732 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.1 CPU user time (s): 1800.05 CPU system time (s): 0.050992 CPU usage (%): 99.9988 Max. virtual memory (cumulated for all children) (KiB): 141008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.050992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34464 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= 4 involuntary context switches= 3331 runsolver used 8.62069 second user time and 17.1704 second system time The end
Begin job on node147 at 2011-06-07 02:12:24 IDJOB=3464348 IDBENCH=48104 IDSOLVER=1956 FILE ID=node147/3464348-1307405543 RUNJOBID= node147-1307398176-15620 PBS_JOBID= 13514160 Free space on /tmp= 73768 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464348-1307405543/watcher-3464348-1307405543 -o /tmp/evaluation-result-3464348-1307405543/solver-3464348-1307405543 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464348-1307405543.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED=1521277152 node147.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.836 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.67 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.836 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.75 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.836 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.82 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.836 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.836 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.82 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.836 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.76 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.836 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.836 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: 24356808 kB Buffers: 351792 kB Cached: 1655692 kB SwapCached: 11188 kB Active: 6870564 kB Inactive: 1462612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24356808 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 6322860 kB Mapped: 23740 kB Slab: 135124 kB PageTables: 58444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 120783444 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= 73768 MiB End job on node147 at 2011-06-07 02:42:26