Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 27 | 1800.1 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 4.06038 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.09/0.12 c constraints 0/0 clauses 9854/0 units 215 0.09/0.12 c vars 3973 0.09/0.12 c objective 1822 + 1 0.39/0.47 c 0.435933 41.6445 0 1664 0.39/0.47 o 38 0.59/0.63 c 0.529919 42.3555 50 3160 0.59/0.63 o 37 0.59/0.66 c 0.547916 42.5664 61 7922 0.59/0.66 o 33 0.69/0.72 c 0.593909 42.5664 138 15882 0.69/0.72 o 32 0.90/0.97 c 0.761884 42.5664 244 18536 0.90/0.97 o 31 1.59/1.64 c 1.21781 42.5664 812 34950 1.59/1.64 o 30 4.29/4.35 c 2.97155 43.082 2920 52468 4.29/4.35 o 29 4.50/4.55 c 3.10653 43.082 3012 54661 4.50/4.55 o 27 1800.08/1800.60 s SATISFIABLE 1800.08/1800.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 x169 x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 -x2884 x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937 x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 x3954 x3955 -x3956 -x3957 x3958 x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 x3969 -x3970 -x3971 x3972 x3973
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681819-1277495675/watcher-2681819-1277495675 -o /tmp/evaluation-result-2681819-1277495675/solver-2681819-1277495675 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681819-1277495675.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.98 3/105 31448 /proc/meminfo: memFree=1826108/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=2280 CPUtime=0 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 275 0 0 0 0 0 0 0 17 0 1 0 90858932 2334720 194 1992294400 134512640 136421960 4289370128 18446744073709551615 135818247 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31448/statm: 570 194 145 467 0 101 0 [startup+0.10044 s] /proc/loadavg: 0.92 0.98 0.98 3/105 31448 /proc/meminfo: memFree=1826108/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=2544 CPUtime=0.09 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 361 0 0 0 9 0 0 0 17 0 1 0 90858932 2605056 280 1992294400 134512640 136421960 4289370128 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31448/statm: 636 280 145 467 0 167 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.201452 s] /proc/loadavg: 0.92 0.98 0.98 3/105 31448 /proc/meminfo: memFree=1826108/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=12984 CPUtime=0.19 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 2885 0 0 0 18 1 0 0 17 0 1 0 90858932 13295616 2804 1992294400 134512640 136421960 4289370128 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 3246 2805 189 467 0 2777 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12984 [startup+0.301464 s] /proc/loadavg: 0.92 0.98 0.98 3/105 31448 /proc/meminfo: memFree=1826108/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=23308 CPUtime=0.29 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 5565 0 0 0 28 1 0 0 17 0 1 0 90858932 23867392 5419 1992294400 134512640 136421960 4289370128 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 5827 5420 194 467 0 5358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23308 [startup+0.701515 s] /proc/loadavg: 0.92 0.98 0.98 3/105 31448 /proc/meminfo: memFree=1826108/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=43584 CPUtime=0.69 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 10823 0 0 0 57 12 0 0 17 0 1 0 90858932 44630016 10057 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 10896 10057 236 467 0 10427 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43584 [startup+1.50161 s] /proc/loadavg: 0.92 0.98 0.98 3/106 31449 /proc/meminfo: memFree=1786420/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=43584 CPUtime=1.49 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 10826 0 0 0 113 36 0 0 18 0 1 0 90858932 44630016 10058 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 10896 10058 237 467 0 10427 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43584 [startup+3.10182 s] /proc/loadavg: 0.92 0.98 0.98 2/106 31449 /proc/meminfo: memFree=1786296/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=43848 CPUtime=3.09 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 10890 0 0 0 215 94 0 0 21 0 1 0 90858932 44900352 10121 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 10962 10121 237 467 0 10493 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43848 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.98 2/106 31449 /proc/meminfo: memFree=1785676/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=44376 CPUtime=6.29 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11029 0 0 0 425 204 0 0 25 0 1 0 90858932 45441024 10258 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11094 10259 237 467 0 10625 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44376 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.98 2/106 31449 /proc/meminfo: memFree=1784932/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=44904 CPUtime=12.69 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11145 0 0 0 850 419 0 0 25 0 1 0 90858932 45981696 10374 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11226 10374 237 467 0 10757 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44904 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.98 2/106 31449 /proc/meminfo: memFree=1784808/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=45168 CPUtime=25.48 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11222 0 0 0 1676 872 0 0 25 0 1 0 90858932 46252032 10451 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11292 10451 237 467 0 10823 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45168 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 0.98 2/106 31451 /proc/meminfo: memFree=1783940/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=46092 CPUtime=51.08 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11430 0 0 0 3339 1769 0 0 25 0 1 0 90858932 47198208 10659 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11523 10659 237 467 0 11054 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46092 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.98 2/106 31451 /proc/meminfo: memFree=1783196/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=46488 CPUtime=102.27 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11550 0 0 0 6679 3548 0 0 25 0 1 0 90858932 47603712 10779 1992294400 134512640 136421960 4289370128 18446744073709551615 135005995 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11622 10779 237 467 0 11153 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46488 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31453 /proc/meminfo: memFree=1782700/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=47148 CPUtime=162.25 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11705 0 0 0 10595 5630 0 0 25 0 1 0 90858932 48279552 10934 1992294400 134512640 136421960 4289370128 18446744073709551615 134902557 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 11787 10934 237 467 0 11318 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 47148 [startup+222.308 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31455 /proc/meminfo: memFree=1781708/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=48084 CPUtime=222.23 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 11941 0 0 0 14530 7693 0 0 25 0 1 0 90858932 49238016 11170 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12021 11170 237 467 0 11552 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 48084 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31457 /proc/meminfo: memFree=1780964/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=48744 CPUtime=282.21 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12115 0 0 0 18485 9736 0 0 25 0 1 0 90858932 49913856 11344 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12186 11344 237 467 0 11717 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 48744 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31459 /proc/meminfo: memFree=1780964/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=48744 CPUtime=342.19 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12115 0 0 0 22378 11841 0 0 25 0 1 0 90858932 49913856 11344 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12186 11344 237 467 0 11717 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 48744 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31468 /proc/meminfo: memFree=1779788/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=48744 CPUtime=402.17 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12115 0 0 0 26279 13938 0 0 25 0 1 0 90858932 49913856 11344 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12186 11344 237 467 0 11717 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 48744 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31470 /proc/meminfo: memFree=1779788/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=48744 CPUtime=462.14 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12115 0 0 0 30214 16000 0 0 25 0 1 0 90858932 49913856 11344 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12186 11344 237 467 0 11717 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 48744 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31472 /proc/meminfo: memFree=1778300/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=50752 CPUtime=522.13 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12621 0 0 0 34230 17983 0 0 25 0 1 0 90858932 51970048 11850 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12688 11850 237 467 0 12219 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 50752 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31474 /proc/meminfo: memFree=1778300/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=50752 CPUtime=582.12 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12621 0 0 0 38161 20051 0 0 25 0 1 0 90858932 51970048 11850 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12688 11850 237 467 0 12219 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 50752 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31476 /proc/meminfo: memFree=1778300/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=50752 CPUtime=642.1 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12621 0 0 0 42124 22086 0 0 25 0 1 0 90858932 51970048 11850 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12688 11850 237 467 0 12219 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 50752 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31482 /proc/meminfo: memFree=1778052/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=51148 CPUtime=882.04 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12688 0 0 0 57924 30280 0 0 25 0 1 0 90858932 52375552 11917 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12787 11917 237 467 0 12318 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 51148 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31484 /proc/meminfo: memFree=1777680/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=51280 CPUtime=942.01 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12751 0 0 0 61873 32328 0 0 25 0 1 0 90858932 52510720 11980 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12820 11980 237 467 0 12351 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 51280 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31484 /proc/meminfo: memFree=1777680/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=51280 CPUtime=1001.99 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 12751 0 0 0 65819 34380 0 0 25 0 1 0 90858932 52510720 11980 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 12820 11980 237 467 0 12351 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 51280 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31486 /proc/meminfo: memFree=1776688/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=52352 CPUtime=1061.98 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13011 0 0 0 69833 36365 0 0 25 0 1 0 90858932 53608448 12240 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13088 12240 237 467 0 12619 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 52352 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31488 /proc/meminfo: memFree=1774332/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1121.96 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 73904 38292 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 54792 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31490 /proc/meminfo: memFree=1774208/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1181.94 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 77948 40246 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 54792 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31492 /proc/meminfo: memFree=1774208/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1241.93 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 81936 42257 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 54792 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31492 /proc/meminfo: memFree=1774084/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1301.91 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 85903 44288 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 54792 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31494 /proc/meminfo: memFree=1774084/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1361.89 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 89866 46323 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 54792 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31496 /proc/meminfo: memFree=1774084/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1421.88 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 93833 48355 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 54792 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31498 /proc/meminfo: memFree=1774084/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1481.87 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 97793 50394 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 54792 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31500 /proc/meminfo: memFree=1774084/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1541.85 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 101750 52435 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 54792 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31500 /proc/meminfo: memFree=1773960/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1601.83 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 105714 54469 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 54792 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31502 /proc/meminfo: memFree=1773960/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1661.81 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13601 0 0 0 109719 56462 0 0 25 0 1 0 90858932 56107008 12830 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12830 237 467 0 13229 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 54792 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31504 /proc/meminfo: memFree=1773960/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1721.8 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13602 0 0 0 113701 58479 0 0 25 0 1 0 90858932 56107008 12831 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12831 237 467 0 13229 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 54792 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/106 31506 /proc/meminfo: memFree=1773836/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1781.78 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13602 0 0 0 117647 60531 0 0 25 0 1 0 90858932 56107008 12831 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12831 237 467 0 13229 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 54792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.00 0.99 2/106 31506 /proc/meminfo: memFree=1773836/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1800.08 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13602 0 0 0 118858 61150 0 0 25 0 1 0 90858932 56107008 12831 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12831 237 467 0 13229 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 54792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.06 1.00 0.99 2/106 31506 /proc/meminfo: memFree=1773836/2059040 swapFree=4139468/4192956 [pid=31448] ppid=31446 vsize=54792 CPUtime=1800.08 /proc/31448/stat : 31448 (pbct) R 31446 31448 31115 0 -1 4202496 13602 0 0 0 118858 61150 0 0 25 0 1 0 90858932 56107008 12831 1992294400 134512640 136421960 4289370128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31448/statm: 13698 12831 237 467 0 13229 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 54792 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1188.58 CPU system time (s): 611.514 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 54792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1188.58 system time used= 611.514 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13603 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= 1 involuntary context switches= 3373 runsolver used 2.86356 second user time and 8.61269 second system time The end
Begin job on node054 at 2010-06-25 21:54:35 IDJOB=2681819 IDBENCH=24990 IDSOLVER=1192 FILE ID=node054/2681819-1277495675 PBS_JOBID= 11190541 Free space on /tmp= 62432 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681819-1277495675/watcher-2681819-1277495675 -o /tmp/evaluation-result-2681819-1277495675/solver-2681819-1277495675 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681819-1277495675.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1178693790 node054.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1826636 kB Buffers: 4360 kB Cached: 132952 kB SwapCached: 6060 kB Active: 58532 kB Inactive: 91556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1826636 kB SwapTotal: 4192956 kB SwapFree: 4139468 kB Dirty: 2152 kB Writeback: 0 kB AnonPages: 11468 kB Mapped: 11908 kB Slab: 60500 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180468 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node054 at 2010-06-25 22:24:38