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) | 36 | 1800.08 | 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. 2.49/2.50 o 499 2.99/3.05 o 498 3.49/3.59 o 497 4.09/4.13 o 496 4.59/4.66 o 495 5.19/5.20 o 494 5.69/5.74 o 493 6.19/6.27 o 492 6.79/6.80 o 491 7.29/7.34 o 490 7.79/7.87 o 489 8.39/8.41 o 488 8.89/8.94 o 487 9.39/9.48 o 486 9.99/10.01 o 485 10.49/10.54 o 484 11.01/11.08 o 483 11.59/11.61 o 482 12.11/12.15 o 481 12.59/12.68 o 480 13.21/13.22 o 479 13.69/13.75 o 478 14.20/14.29 o 477 14.79/14.83 o 476 15.30/15.36 o 475 15.89/15.90 o 474 16.40/16.44 o 473 16.89/16.97 o 472 17.39/17.51 o 471 37.19/37.28 o 470 37.99/38.09 o 469 39.09/39.11 o 468 41.29/41.32 o 467 41.99/42.09 o 466 44.01/44.03 o 465 48.19/48.21 o 464 50.29/50.33 o 463 81.99/82.05 o 462 82.99/83.08 o 461 84.19/84.24 o 460 85.99/86.03 o 459 107.49/107.54 o 458 108.39/108.46 o 457 109.29/109.39 o 456 116.19/116.26 o 455 117.09/117.15 o 454 117.89/117.97 o 453 118.81/118.82 o 452 119.69/119.71 o 451 153.90/153.96 o 450 259.90/259.93 o 449 260.90/260.96 o 448 274.20/274.25 o 447 275.20/275.22 o 446 276.01/276.03 o 445 276.90/276.95 o 444 278.21/278.24 o 443 327.40/327.40 o 442 377.21/377.25 o 441 378.10/378.17 o 440 378.90/378.98 o 439 379.90/379.93 o 438 381.00/381.08 o 437 410.21/410.26 o 436 411.31/411.40 o 435 412.90/412.94 o 434 424.70/424.74 o 433 425.61/425.71 o 432 426.71/426.72 o 431 427.70/427.75 o 430 428.70/428.71 o 429 430.30/430.34 o 428 431.22/431.21 o 427 432.80/432.86 o 426 434.10/434.16 o 425 436.00/436.03 o 424 460.60/460.68 o 423 480.40/480.43 o 422 482.92/482.92 o 421 484.50/484.51 o 420 486.22/486.27 o 419 490.20/490.22 o 418 491.20/491.28 o 417 546.61/546.64 o 416 651.61/651.61 o 415 652.71/652.70 o 414 653.71/653.76 o 413 654.81/654.85 o 412 655.91/655.99 o 411 657.61/657.64 o 410 658.71/658.76 o 409 660.21/660.25 o 408 661.81/661.81 o 407 663.41/663.47 o 406 664.42/664.47 o 405 665.31/665.41 o 404 666.21/666.26 o 403 667.41/667.49 o 402 668.61/668.62 o 401 669.61/669.66 o 400 670.61/670.61 o 399 671.31/671.39 o 398 672.31/672.30 o 397 673.71/673.78 o 396 675.01/675.00 o 395 676.11/676.13 o 394 677.01/677.08 o 393 678.31/678.39 o 392 679.11/679.14 o 391 679.91/679.90 o 390 681.01/681.00 o 389 681.71/681.78 o 388 684.31/684.33 o 387 685.81/685.88 o 386 687.01/687.02 o 385 688.21/688.27 o 384 689.41/689.42 o 383 690.11/690.18 o 382 690.92/690.93 o 381 692.12/692.11 o 380 692.82/692.90 o 379 694.02/694.03 o 378 695.23/695.23 o 377 695.92/695.99 o 376 696.72/696.74 o 375 697.92/697.98 o 374 699.02/699.09 o 373 699.92/699.94 o 372 701.02/701.09 o 371 702.02/702.03 o 370 702.72/702.80 o 369 703.92/703.93 o 368 704.72/704.76 o 367 705.82/705.81 o 366 707.52/707.56 o 365 708.43/708.45 o 364 709.62/709.66 o 363 710.42/710.46 o 362 711.73/711.74 o 361 712.83/712.88 o 360 714.32/714.33 o 359 715.22/715.21 o 358 715.92/715.97 o 357 716.72/716.75 o 356 717.52/717.50 o 355 718.22/718.29 o 354 719.22/719.21 o 353 720.62/720.62 o 352 721.82/721.88 o 351 744.92/744.94 o 350 745.72/745.72 o 349 746.62/746.64 o 348 748.72/748.78 o 347 750.92/750.97 o 346 752.22/752.26 o 345 753.42/753.44 o 344 754.42/754.40 o 343 755.12/755.16 o 342 756.42/756.40 o 341 757.32/757.39 o 340 759.32/759.32 o 339 760.13/760.14 o 338 799.02/799.01 o 337 799.82/799.82 o 336 800.62/800.63 o 335 801.32/801.40 o 334 802.32/802.36 o 333 803.32/803.37 o 332 805.02/805.01 o 331 806.02/806.06 o 330 807.12/807.11 o 329 808.02/808.04 o 328 808.82/808.81 o 327 809.52/809.57 o 326 810.32/810.34 o 325 811.12/811.10 o 324 811.92/811.90 o 323 812.93/812.96 o 322 814.82/814.87 o 321 827.72/827.71 o 320 829.52/829.59 o 319 831.42/831.46 o 318 833.22/833.20 o 317 834.94/834.97 o 316 835.72/835.75 o 315 836.52/836.52 o 314 837.22/837.28 o 313 838.02/838.06 o 312 838.82/838.82 o 311 839.52/839.59 o 310 840.33/840.36 o 309 841.12/841.12 o 308 841.82/841.89 o 307 843.22/843.22 o 306 844.22/844.20 o 305 846.12/846.17 o 304 847.82/847.88 o 303 849.82/849.80 o 302 850.62/850.61 o 301 851.33/851.40 o 300 853.02/853.01 o 299 853.82/853.86 o 298 854.63/854.63 o 297 855.42/855.40 o 296 856.12/856.18 o 295 856.94/856.95 o 294 857.72/857.72 o 293 858.52/858.50 o 292 859.32/859.31 o 291 861.12/861.18 o 290 862.33/862.34 o 289 863.92/863.90 o 288 866.12/866.15 o 287 867.22/867.20 o 286 868.32/868.31 o 285 869.04/869.09 o 284 869.82/869.87 o 283 870.62/870.65 o 282 871.42/871.48 o 281 872.23/872.27 o 280 921.42/921.45 o 279 930.02/930.07 o 278 935.12/935.15 o 277 941.82/941.84 o 276 968.62/968.68 o 275 978.72/978.76 o 274 986.63/986.70 o 273 989.32/989.35 o 272 991.82/991.85 o 271 992.62/992.69 o 270 994.44/994.48 o 269 995.32/995.40 o 268 996.22/996.20 o 267 997.02/997.00 o 266 997.82/997.81 o 265 998.62/998.60 o 264 999.42/999.40 o 263 1000.22/1000.20 o 262 1001.42/1001.40 o 261 1003.52/1003.56 o 260 1004.34/1004.36 o 259 1005.22/1005.22 o 258 1006.72/1006.75 o 257 1007.82/1007.84 o 256 1008.82/1008.80 o 255 1009.62/1009.62 o 254 1010.42/1010.42 o 253 1011.22/1011.23 o 252 1012.04/1012.05 o 251 1012.82/1012.86 o 250 1013.62/1013.67 o 249 1014.42/1014.46 o 248 1015.72/1015.74 o 247 1017.62/1017.66 o 246 1076.22/1076.27 o 245 1077.12/1077.16 o 244 1077.93/1077.97 o 243 1078.72/1078.77 o 242 1079.62/1079.65 o 241 1080.52/1080.50 o 240 1081.62/1081.60 o 239 1084.32/1084.40 o 238 1085.22/1085.20 o 237 1085.92/1085.98 o 236 1086.73/1086.76 o 235 1087.52/1087.54 o 234 1088.32/1088.32 o 233 1089.12/1089.11 o 232 1089.82/1089.89 o 231 1091.42/1091.40 o 230 1092.12/1092.20 o 229 1093.02/1093.02 o 228 1094.54/1094.58 o 227 1095.82/1095.83 o 226 1096.74/1096.71 o 225 1097.52/1097.51 o 224 1098.83/1098.90 o 223 1099.82/1099.80 o 222 1100.52/1100.57 o 221 1101.32/1101.35 o 220 1102.13/1102.13 o 219 1102.92/1102.90 o 218 1103.62/1103.69 o 217 1104.44/1104.45 o 216 1105.22/1105.25 o 215 1106.72/1106.78 o 214 1107.74/1107.76 o 213 1114.12/1114.13 o 212 1155.32/1155.34 o 211 1156.14/1156.12 o 210 1156.82/1156.89 o 209 1157.62/1157.66 o 208 1158.42/1158.47 o 207 1162.12/1162.18 o 206 1165.12/1165.15 o 205 1166.92/1166.96 o 204 1167.72/1167.73 o 203 1168.92/1168.96 o 202 1171.12/1171.15 o 201 1173.63/1173.71 o 200 1175.23/1175.27 o 199 1176.12/1176.15 o 198 1176.93/1176.93 o 197 1177.72/1177.70 o 196 1178.42/1178.48 o 195 1179.24/1179.26 o 194 1180.02/1180.03 o 193 1180.82/1180.80 o 192 1181.52/1181.59 o 191 1182.32/1182.36 o 190 1183.12/1183.13 o 189 1188.92/1188.99 o 188 1190.24/1190.28 o 187 1195.92/1195.96 o 186 1199.82/1199.85 o 185 1200.92/1200.90 o 184 1201.83/1201.89 o 183 1203.13/1203.18 o 182 1205.22/1205.23 o 181 1206.92/1206.95 o 180 1209.33/1209.39 o 179 1210.13/1210.15 o 178 1211.03/1211.08 o 177 1211.82/1211.89 o 176 1213.13/1213.17 o 175 1213.93/1213.92 o 174 1214.63/1214.66 o 173 1215.33/1215.41 o 172 1216.13/1216.16 o 171 1216.93/1216.91 o 170 1218.73/1218.81 o 169 1219.62/1219.66 o 168 1220.42/1220.43 o 167 1221.12/1221.16 o 166 1221.82/1221.88 o 165 1223.62/1223.64 o 164 1226.92/1226.98 o 163 1230.03/1230.08 o 162 1231.12/1231.14 o 161 1232.04/1232.05 o 160 1232.92/1232.99 o 159 1233.92/1233.94 o 158 1234.93/1234.92 o 157 1235.93/1235.91 o 156 1236.92/1236.93 o 155 1237.92/1237.95 o 154 1239.02/1239.01 o 153 1240.02/1240.09 o 152 1241.23/1241.21 o 151 1243.42/1243.43 o 150 1246.34/1246.36 o 149 1249.23/1249.20 o 148 1250.52/1250.55 o 147 1251.93/1251.92 o 146 1253.33/1253.32 o 145 1254.73/1254.78 o 144 1256.24/1256.28 o 143 1257.83/1257.85 o 142 1259.43/1259.42 o 141 1260.93/1260.99 o 140 1262.63/1262.64 o 139 1264.33/1264.30 o 138 1265.93/1265.97 o 137 1268.23/1268.26 o 136 1271.33/1271.33 o 135 1275.33/1275.37 o 134 1278.93/1278.98 o 133 1281.13/1281.17 o 132 1283.13/1283.17 o 131 1285.23/1285.27 o 130 1287.43/1287.44 o 129 1289.63/1289.68 o 128 1291.93/1291.97 o 127 1294.33/1294.32 o 126 1296.73/1296.74 o 125 1299.23/1299.21 o 124 1301.73/1301.73 o 123 1304.23/1304.29 o 122 1306.93/1306.95 o 121 1310.53/1310.58 o 120 1314.13/1314.18 o 119 1317.04/1317.03 o 118 1320.05/1320.08 o 117 1323.44/1323.43 o 116 1326.44/1326.41 o 115 1329.44/1329.41 o 114 1332.44/1332.45 o 113 1335.54/1335.52 o 112 1339.44/1339.50 o 111 1342.64/1342.69 o 110 1346.45/1346.42 o 109 1349.94/1349.95 o 108 1353.44/1353.42 o 107 1356.84/1356.80 o 106 1360.24/1360.25 o 105 1363.74/1363.74 o 104 1367.24/1367.31 o 103 1370.94/1370.94 o 102 1374.64/1374.64 o 101 1378.35/1378.37 o 100 1382.14/1382.16 o 99 1386.14/1386.10 o 98 1389.94/1389.99 o 97 1393.94/1393.95 o 96 1398.24/1398.22 o 95 1403.65/1403.63 o 94 1407.84/1407.84 o 93 1412.04/1412.05 o 92 1416.34/1416.32 o 91 1420.74/1420.70 o 90 1425.14/1425.14 o 89 1429.64/1429.63 o 88 1434.54/1434.52 o 87 1439.14/1439.11 o 86 1443.74/1443.78 o 85 1448.54/1448.58 o 84 1453.44/1453.41 o 83 1458.55/1458.54 o 82 1464.05/1464.11 o 81 1469.24/1469.21 o 80 1474.34/1474.32 o 79 1479.56/1479.55 o 78 1484.84/1484.90 o 77 1490.34/1490.40 o 76 1495.95/1495.94 o 75 1501.64/1501.64 o 74 1507.44/1507.45 o 73 1513.74/1513.71 o 72 1520.15/1520.20 o 71 1526.34/1526.32 o 70 1532.54/1532.54 o 69 1538.64/1538.69 o 68 1544.94/1544.93 o 67 1551.24/1551.28 o 66 1560.44/1560.45 o 65 1567.34/1567.32 o 64 1573.94/1573.97 o 63 1580.65/1580.68 o 62 1587.44/1587.47 o 61 1594.34/1594.33 o 60 1601.34/1601.35 o 59 1610.35/1610.41 o 58 1617.75/1617.77 o 57 1625.04/1625.01 o 56 1632.24/1632.27 o 55 1639.65/1639.66 o 54 1647.15/1647.13 o 53 1654.75/1654.74 o 52 1662.45/1662.42 o 51 1670.25/1670.20 o 50 1678.35/1678.31 o 49 1686.25/1686.31 o 48 1695.65/1695.67 o 47 1705.25/1705.29 o 46 1713.65/1713.69 o 45 1722.25/1722.22 o 44 1730.85/1730.86 o 43 1739.65/1739.60 o 42 1748.45/1748.46 o 41 1757.45/1757.41 o 40 1766.45/1766.46 o 39 1775.65/1775.64 o 38 1784.95/1784.93 o 37 1794.65/1794.69 o 36 1800.06/1800.01 >>> Terminate signal received 1800.06/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 36
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-3466028-1307418767/watcher-3466028-1307418767 -o /tmp/evaluation-result-3466028-1307418767/solver-3466028-1307418767 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466028-1307418767.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.02 2.03 2.00 2/483 14294 /proc/meminfo: memFree=24686100/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=7912 CPUtime=0 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 932107426 8101888 446 33554432000 4194304 6736272 140736373841616 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 1978 446 248 621 0 1348 0 [startup+0.0359669 s] /proc/loadavg: 2.02 2.03 2.00 2/483 14294 /proc/meminfo: memFree=24686100/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=10016 CPUtime=0.03 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 1002 0 0 0 3 0 0 0 25 0 1 0 932107426 10256384 949 33554432000 4194304 6736272 140736373841616 18446744073709551615 5450419 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 2504 949 248 621 0 1874 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10016 [startup+0.100979 s] /proc/loadavg: 2.02 2.03 2.00 2/483 14294 /proc/meminfo: memFree=24686100/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=15264 CPUtime=0.09 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 2225 0 0 0 9 0 0 0 25 0 1 0 932107426 15630336 2134 33554432000 4194304 6736272 140736373841616 18446744073709551615 5808555 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 3816 2134 248 621 0 3186 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15264 [startup+0.300923 s] /proc/loadavg: 2.02 2.03 2.00 2/483 14294 /proc/meminfo: memFree=24686100/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=49676 CPUtime=0.29 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 10953 0 0 0 28 1 0 0 25 0 1 0 932107426 50868224 10740 33554432000 4194304 6736272 140736373841616 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 12419 10742 259 621 0 11789 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49676 [startup+0.700913 s] /proc/loadavg: 2.02 2.03 2.00 2/483 14294 /proc/meminfo: memFree=24686100/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=94632 CPUtime=0.69 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 22328 0 0 0 67 2 0 0 25 0 1 0 932107426 96903168 21921 33554432000 4194304 6736272 140736373841616 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 23658 21922 277 621 0 23028 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94632 [startup+1.50077 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14295 /proc/meminfo: memFree=24571888/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=166216 CPUtime=1.49 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 40281 0 0 0 144 5 0 0 25 0 1 0 932107426 170205184 39617 33554432000 4194304 6736272 140736373841616 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 41554 39618 277 621 0 40924 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 166216 [startup+3.10047 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14295 /proc/meminfo: memFree=24448996/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=245856 CPUtime=3.09 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60098 0 0 0 301 8 0 0 25 0 1 0 932107426 251756544 59434 33554432000 4194304 6736272 140736373841616 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 61464 59434 287 621 0 60834 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 245856 [startup+6.30078 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14295 /proc/meminfo: memFree=24446948/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=245856 CPUtime=6.29 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60101 0 0 0 621 8 0 0 25 0 1 0 932107426 251756544 59437 33554432000 4194304 6736272 140736373841616 18446744073709551615 5806413 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 61464 59437 287 621 0 60834 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 245856 [startup+12.7006 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14295 /proc/meminfo: memFree=24446476/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=245856 CPUtime=12.69 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60108 0 0 0 1261 8 0 0 25 0 1 0 932107426 251756544 59444 33554432000 4194304 6736272 140736373841616 18446744073709551615 5806511 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 61464 59444 287 621 0 60834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 245856 [startup+25.5003 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14296 /proc/meminfo: memFree=24446712/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241500 CPUtime=25.49 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60158 0 0 0 2541 8 0 0 25 0 1 0 932107426 247296000 59407 33554432000 4194304 6736272 140736373841616 18446744073709551615 5806413 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60375 59407 298 621 0 59745 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 241500 [startup+51.1007 s] /proc/loadavg: 2.06 2.04 2.00 3/484 14296 /proc/meminfo: memFree=24446748/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241500 CPUtime=51.09 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60158 0 0 0 5101 8 0 0 25 0 1 0 932107426 247296000 59407 33554432000 4194304 6736272 140736373841616 18446744073709551615 5806473 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60375 59407 298 621 0 59745 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 241500 [startup+102.318 s] /proc/loadavg: 2.02 2.03 2.00 3/484 14298 /proc/meminfo: memFree=24445836/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=102.31 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60249 0 0 0 10223 8 0 0 25 0 1 0 932107426 247726080 59498 33554432000 4194304 6736272 140736373841616 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59498 298 621 0 59850 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 241920 [startup+162.3 s] /proc/loadavg: 2.09 2.05 2.01 3/484 14299 /proc/meminfo: memFree=24445828/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=162.29 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 16221 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4512619 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 241920 [startup+222.3 s] /proc/loadavg: 2.07 2.05 2.01 3/484 14301 /proc/meminfo: memFree=24445928/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=222.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 22222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 241920 [startup+282.3 s] /proc/loadavg: 2.02 2.04 2.00 3/484 14303 /proc/meminfo: memFree=24446292/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=282.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 28222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 241920 [startup+342.3 s] /proc/loadavg: 2.01 2.03 2.00 3/484 14304 /proc/meminfo: memFree=24446408/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=342.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 34222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 241920 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14306 /proc/meminfo: memFree=24446884/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=402.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 40222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 5148013 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 241920 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14307 /proc/meminfo: memFree=24446756/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=462.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 46222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535250 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 241920 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/484 14318 /proc/meminfo: memFree=24445732/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=522.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 52222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 241920 [startup+582.3 s] /proc/loadavg: 2.03 2.02 2.00 3/484 14320 /proc/meminfo: memFree=24445680/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=582.3 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60256 0 0 0 58222 8 0 0 25 0 1 0 932107426 247726080 59504 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59504 298 621 0 59850 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 241920 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.03 2.00 3/484 14326 /proc/meminfo: memFree=24445088/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=822.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60266 0 0 0 82223 9 0 0 25 0 1 0 932107426 247726080 59513 33554432000 4194304 6736272 140736373841616 18446744073709551615 5155024 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59513 298 621 0 59850 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 241920 [startup+882.301 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14328 /proc/meminfo: memFree=24446180/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=882.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60266 0 0 0 88223 9 0 0 25 0 1 0 932107426 247726080 59513 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59513 298 621 0 59850 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 241920 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14329 /proc/meminfo: memFree=24446532/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=942.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60266 0 0 0 94223 9 0 0 25 0 1 0 932107426 247726080 59513 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59513 298 621 0 59850 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 241920 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/484 14331 /proc/meminfo: memFree=24446388/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=1002.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60266 0 0 0 100223 9 0 0 25 0 1 0 932107426 247726080 59513 33554432000 4194304 6736272 140736373841616 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59513 298 621 0 59850 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 241920 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/484 14332 /proc/meminfo: memFree=24446868/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=1062.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60266 0 0 0 106223 9 0 0 25 0 1 0 932107426 247726080 59513 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59513 298 621 0 59850 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 241920 [startup+1122.3 s] /proc/loadavg: 2.10 2.03 2.01 3/484 14334 /proc/meminfo: memFree=24445604/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=241920 CPUtime=1122.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60267 0 0 0 112223 9 0 0 25 0 1 0 932107426 247726080 59514 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535088 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60480 59514 298 621 0 59850 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 241920 [startup+1182.3 s] /proc/loadavg: 2.05 2.02 2.00 3/484 14364 /proc/meminfo: memFree=24435596/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1182.32 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60277 0 0 0 118223 9 0 0 25 0 1 0 932107426 249417728 59523 33554432000 4194304 6736272 140736373841616 18446744073709551615 4640348 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59523 298 621 0 60263 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 243572 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.00 3/484 14365 /proc/meminfo: memFree=24432972/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1242.33 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60526 0 0 0 124224 9 0 0 25 0 1 0 932107426 249417728 59766 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59766 298 621 0 60263 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 243572 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/484 14367 /proc/meminfo: memFree=24432580/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1302.33 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60545 0 0 0 130224 9 0 0 25 0 1 0 932107426 249417728 59783 33554432000 4194304 6736272 140736373841616 18446744073709551615 5146816 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59783 298 621 0 60263 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 243572 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/484 14368 /proc/meminfo: memFree=24432788/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1362.34 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60553 0 0 0 136224 10 0 0 25 0 1 0 932107426 249417728 59790 33554432000 4194304 6736272 140736373841616 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59790 298 621 0 60263 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 243572 [startup+1422.32 s] /proc/loadavg: 2.00 2.00 2.00 3/484 14370 /proc/meminfo: memFree=24433272/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1422.36 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60553 0 0 0 142226 10 0 0 25 0 1 0 932107426 249417728 59790 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535245 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59790 298 621 0 60263 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 243572 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/484 14372 /proc/meminfo: memFree=24433016/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1482.34 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60553 0 0 0 148224 10 0 0 25 0 1 0 932107426 249417728 59790 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59790 298 621 0 60263 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 243572 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/484 14373 /proc/meminfo: memFree=24433356/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1542.34 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60561 0 0 0 154224 10 0 0 25 0 1 0 932107426 249417728 59797 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535241 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59797 298 621 0 60263 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 243572 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/484 14375 /proc/meminfo: memFree=24433340/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1602.34 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60568 0 0 0 160224 10 0 0 25 0 1 0 932107426 249417728 59802 33554432000 4194304 6736272 140736373841616 18446744073709551615 4753672 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59802 298 621 0 60263 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 243572 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/484 14376 /proc/meminfo: memFree=24433444/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1662.35 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60575 0 0 0 166225 10 0 0 25 0 1 0 932107426 249417728 59808 33554432000 4194304 6736272 140736373841616 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59808 298 621 0 60263 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 243572 [startup+1722.3 s] /proc/loadavg: 2.06 2.02 2.00 3/484 14378 /proc/meminfo: memFree=24433064/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1722.35 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60581 0 0 0 172225 10 0 0 25 0 1 0 932107426 249417728 59813 33554432000 4194304 6736272 140736373841616 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59813 298 621 0 60263 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 243572 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/484 14380 /proc/meminfo: memFree=24433176/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1782.35 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60587 0 0 0 178225 10 0 0 25 0 1 0 932107426 249417728 59818 33554432000 4194304 6736272 140736373841616 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59818 298 621 0 60263 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 243572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 2.00 3/484 14380 /proc/meminfo: memFree=24433172/32950928 swapFree=61542368/67111528 [pid=14294] ppid=14292 vsize=243572 CPUtime=1800.06 cores=0,2,4,6 /proc/14294/stat : 14294 (minisatid-gmp) R 14292 14294 13926 0 -1 4202496 60588 0 0 0 179996 10 0 0 25 0 1 0 932107426 249417728 59819 33554432000 4194304 6736272 140736373841616 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14294/statm: 60893 59819 298 621 0 60263 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 243572 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.08 CPU user time (s): 1799.97 CPU system time (s): 0.112982 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 245856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.112982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60593 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= 2625 runsolver used 8.96664 second user time and 18.7931 second system time The end
Begin job on node116 at 2011-06-07 05:52:47 IDJOB=3466028 IDBENCH=48124 IDSOLVER=1957 FILE ID=node116/3466028-1307418767 RUNJOBID= node116-1307416965-14167 PBS_JOBID= 13514210 Free space on /tmp= 74008 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466028-1307418767/watcher-3466028-1307418767 -o /tmp/evaluation-result-3466028-1307418767/solver-3466028-1307418767 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466028-1307418767.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827 RANDOM SEED=157360406 node116.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.826 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.65 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.826 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.15 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.826 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.826 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.826 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.826 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.826 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.826 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: 32950928 kB MemFree: 24686380 kB Buffers: 303168 kB Cached: 575580 kB SwapCached: 12600 kB Active: 7595732 kB Inactive: 396944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24686380 kB SwapTotal: 67111528 kB SwapFree: 61542368 kB Dirty: 3540 kB Writeback: 0 kB AnonPages: 7111828 kB Mapped: 23744 kB Slab: 141544 kB PageTables: 62508 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 139603980 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= 74004 MiB End job on node116 at 2011-06-07 06:22:50