Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -46 | 1798.11 | 1798.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -47 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656605-1276510703.opb 0.00/0.00 c File size is 3104013 bytes. 0.39/0.49 c Highest Coefficient sum: 1534 0.39/0.49 c Parsing was ok!! 0.39/0.49 c Total parsing time: 0.49 s 0.49/0.53 c Var: 1534 Constr: 126082 126082/0/0 Lit: 252164 Watch. Lit: 252164 0.49/0.53 c Obj. Vars: 1534 (100 % of total variables) 4.69/4.74 c Pre-processing Time: 4.747 s 4.69/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.75 c 0 1534 126082 252164 2 252164 42027 0 0 4.75 4.69/4.75 c Switching off lower bounding mode. 4.69/4.77 o -43 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 0 1534 126083 253698 2 252209 43027 1 0 4.78 4.79/4.85 o -44 58.88/58.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.88/58.99 c 34 1534 126122 311706 2 252331 43027 40 6 4.86 58.88/58.99 c 134 1534 126238 483926 3 252563 47330 156 26 5.13 58.88/58.99 c 384 1534 126506 882121 6 253099 52064 424 66 5.79 58.88/58.99 c 861 1534 127013 1635907 12 254113 57271 931 121 7.10 58.88/58.99 c 1674 1534 127914 2974013 23 255915 62999 1832 172 9.69 58.88/58.99 c 2994 1534 129401 5182015 40 258889 69299 3319 208 14.39 58.88/58.99 c 5076 1534 131671 8554634 64 263429 76229 5589 222 22.82 58.88/58.99 c 8301 1534 135184 13768704 101 270535 83852 9102 221 37.44 58.88/58.99 o -45 1625.30/1625.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1625.30/1625.76 c 12593 1534 139974 20882785 149 280160 43027 13892 213 58.99 1625.30/1625.76 c 12693 1534 140083 21044590 150 280378 47330 14001 213 59.40 1625.30/1625.76 c 12944 1534 140354 21446665 152 280920 52064 14272 214 60.45 1625.30/1625.76 c 13419 1534 140878 22224441 157 281968 57271 14796 214 62.45 1625.30/1625.76 c 14232 1534 141782 23566394 166 283776 62999 15700 214 66.30 1625.30/1625.76 c 15552 1534 143235 25723389 179 286682 69299 17153 212 73.20 1625.30/1625.76 c 17634 1534 145543 29149536 200 291298 76229 19461 211 83.55 1625.30/1625.76 c 20858 1534 149136 34482032 231 298484 83852 23054 207 100.53 1625.30/1625.76 c 25795 1534 154555 42528049 275 309322 92238 28473 200 128.59 1625.30/1625.76 c 33302 1534 162921 54947604 337 326054 101462 36839 162 204.69 1625.30/1625.76 c 44663 1534 175484 73596284 419 351180 111609 49402 150 296.70 1625.30/1625.76 c Reducing formula size due to memory constraints 1625.30/1625.76 c Memory Limit: 1000.00 MB Used: 1000.42 MB 1625.30/1625.76 c 61808 1534 154012 41711305 270 308069 167895 27930 142 433.33 1625.30/1625.76 c Reducing formula size due to memory constraints 1625.30/1625.76 c Memory Limit: 1000.00 MB Used: 1011.71 MB 1625.30/1625.76 c 87628 1534 141732 23486953 165 283509 168013 15650 125 699.42 1625.30/1625.76 c Reducing formula size due to memory constraints 1625.30/1625.76 c Memory Limit: 1000.00 MB Used: 1019.26 MB 1625.30/1625.76 c 126460 1534 143944 26752922 185 287976 168202 17862 108 1170.81 1625.30/1625.76 c Reducing formula size due to memory constraints 1625.30/1625.76 c Memory Limit: 1000.00 MB Used: 1006.71 MB 1625.30/1625.76 o -46 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 166745 1534 147194 31521517 214 294729 43027 21112 102 1625.36 1797.95/1798.44 c 166845 1534 147304 31684671 215 294949 47330 21222 102 1625.89 1797.95/1798.44 c 167096 1534 147580 32094208 217 295501 52064 21498 102 1627.42 1797.95/1798.44 c 167572 1534 148113 32884787 222 296567 57271 22031 102 1629.70 1797.95/1798.44 c 168386 1534 149021 34231959 229 298383 62999 22939 103 1633.30 1797.95/1798.44 c 169706 1534 150466 36375870 241 301273 69299 24384 103 1640.00 1797.95/1798.44 c 171789 1534 152768 39790609 260 305877 76229 26686 104 1649.98 1797.95/1798.44 c 175012 1534 156234 44934126 287 312809 83852 30152 104 1670.88 1797.95/1798.44 c 179948 1534 161851 53259863 329 324043 92238 35769 105 1700.59 1797.95/1798.44 c 187454 1534 170130 65539455 385 340601 101462 44048 107 1751.39 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 33 193214 21170 222057 176627 75174535 50545 107 1798.00 1797.95/1798.44 c Objective: -46 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 c Total time: 1798 s
OK -46
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656605-1276510703/watcher-2656605-1276510703 -o /tmp/evaluation-result-2656605-1276510703/solver-2656605-1276510703 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656605-1276510703.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 1.06 3/106 28495 /proc/meminfo: memFree=1709648/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=13964 CPUtime=0 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 355 0 0 0 0 0 0 0 18 0 1 0 26674179 14299136 273 1992294400 134512640 137138936 4289085536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 3491 273 175 642 0 2089 0 [startup+0.0406759 s] /proc/loadavg: 0.92 0.98 1.06 3/106 28495 /proc/meminfo: memFree=1709648/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=14788 CPUtime=0.03 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 614 0 0 0 3 0 0 0 20 0 1 0 26674179 15142912 532 1992294400 134512640 137138936 4289085536 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 3697 532 224 642 0 2295 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14788 [startup+0.10068 s] /proc/loadavg: 0.92 0.98 1.06 3/106 28495 /proc/meminfo: memFree=1709648/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=16168 CPUtime=0.09 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 1061 0 0 0 9 0 0 0 20 0 1 0 26674179 16556032 979 1992294400 134512640 137138936 4289085536 18446744073709551615 134517436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 4042 979 310 642 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16168 [startup+0.300699 s] /proc/loadavg: 0.92 0.98 1.06 3/106 28495 /proc/meminfo: memFree=1709648/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=21252 CPUtime=0.29 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 2633 0 0 0 28 1 0 0 20 0 1 0 26674179 21762048 2551 1992294400 134512640 137138936 4289085536 18446744073709551615 136658869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 5313 2551 619 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21252 [startup+0.700736 s] /proc/loadavg: 0.92 0.98 1.06 3/106 28495 /proc/meminfo: memFree=1709648/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=29108 CPUtime=0.69 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 5676 0 0 0 67 2 0 0 20 0 1 0 26674179 29806592 4836 1992294400 134512640 137138936 4289085536 18446744073709551615 134559804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 7277 4836 184 642 0 6633 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29108 [startup+1.50081 s] /proc/loadavg: 0.92 0.98 1.06 2/107 28496 /proc/meminfo: memFree=1686824/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=33268 CPUtime=1.49 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 6695 0 0 0 144 5 0 0 23 0 1 0 26674179 34066432 5855 1992294400 134512640 137138936 4289085536 18446744073709551615 134540085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 8317 5855 185 642 0 7673 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33268 [startup+3.10096 s] /proc/loadavg: 0.92 0.98 1.06 2/107 28496 /proc/meminfo: memFree=1686576/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=33268 CPUtime=3.09 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 6695 0 0 0 300 9 0 0 25 0 1 0 26674179 34066432 5855 1992294400 134512640 137138936 4289085536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 8317 5855 185 642 0 7673 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33268 [startup+6.30127 s] /proc/loadavg: 0.93 0.98 1.06 2/107 28496 /proc/meminfo: memFree=1685212/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=41160 CPUtime=6.29 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 10630 0 0 0 615 14 0 0 25 0 1 0 26674179 42147840 7866 1992294400 134512640 137138936 4289085536 18446744073709551615 136504870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 10290 7866 192 642 0 9646 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41160 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 1.06 2/107 28496 /proc/meminfo: memFree=1640324/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=82980 CPUtime=12.69 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 21081 0 0 0 1250 19 0 0 25 0 1 0 26674179 84971520 18317 1992294400 134512640 137138936 4289085536 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 20745 18317 192 642 0 20101 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82980 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 1.05 2/107 28496 /proc/meminfo: memFree=1570016/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=151068 CPUtime=25.48 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 38108 0 0 0 2520 28 0 0 25 0 1 0 26674179 154693632 35344 1992294400 134512640 137138936 4289085536 18446744073709551615 134599804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 37767 35344 192 642 0 37123 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 151068 [startup+51.1005 s] /proc/loadavg: 1.03 1.00 1.06 2/107 28496 /proc/meminfo: memFree=1457672/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=263560 CPUtime=51.08 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 66230 0 0 0 5064 44 0 0 25 0 1 0 26674179 269885440 63466 1992294400 134512640 137138936 4289085536 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 65890 63466 192 642 0 65246 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 263560 [startup+102.308 s] /proc/loadavg: 1.09 1.02 1.06 2/107 28498 /proc/meminfo: memFree=1244392/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=474664 CPUtime=102.27 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 119006 0 0 0 10156 71 0 0 25 0 1 0 26674179 486055936 116242 1992294400 134512640 137138936 4289085536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 118666 116242 192 642 0 118022 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 474664 [startup+162.301 s] /proc/loadavg: 1.17 1.04 1.06 2/107 28500 /proc/meminfo: memFree=1079348/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=640820 CPUtime=162.25 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 160539 0 0 0 16129 96 0 0 25 0 1 0 26674179 656199680 157775 1992294400 134512640 137138936 4289085536 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 160205 157775 192 642 0 159561 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 640820 [startup+222.301 s] /proc/loadavg: 1.06 1.03 1.06 2/107 28502 /proc/meminfo: memFree=933400/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=785204 CPUtime=222.24 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 196640 0 0 0 22107 117 0 0 25 0 1 0 26674179 804048896 193876 1992294400 134512640 137138936 4289085536 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 196301 193876 192 642 0 195657 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 785204 [startup+282.3 s] /proc/loadavg: 1.02 1.02 1.05 2/107 28502 /proc/meminfo: memFree=782864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=936344 CPUtime=282.23 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 234426 0 0 0 28081 142 0 0 25 0 1 0 26674179 958816256 231662 1992294400 134512640 137138936 4289085536 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 234086 231662 192 642 0 233442 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 936344 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.04 2/107 28504 /proc/meminfo: memFree=681432/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=342.2 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 34061 159 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1035852 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.04 2/107 28506 /proc/meminfo: memFree=681308/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=402.19 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 40055 164 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1035852 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.03 2/107 28508 /proc/meminfo: memFree=681308/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=462.18 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 46049 169 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1035852 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 28510 /proc/meminfo: memFree=681184/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=522.16 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 52044 172 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1035852 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 28510 /proc/meminfo: memFree=681060/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=582.14 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 58039 175 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1035852 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 28512 /proc/meminfo: memFree=681060/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1035852 CPUtime=642.14 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 259353 0 0 0 64036 178 0 0 25 0 1 0 26674179 1060712448 256537 1992294400 134512640 137138936 4289085536 18446744073709551615 134551248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 258963 256537 192 642 0 258319 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1035852 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=667916/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1048784 CPUtime=1062.02 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 262633 0 0 0 106000 202 0 0 25 0 1 0 26674179 1073954816 259764 1992294400 134512640 137138936 4289085536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 262196 259764 192 642 0 261552 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1048784 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28526 /proc/meminfo: memFree=659732/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1122.01 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 111996 205 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134540704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1057420 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28526 /proc/meminfo: memFree=659608/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1182 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 117992 208 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134618120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1057420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28528 /proc/meminfo: memFree=659484/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1241.99 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 123985 214 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1057420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28530 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1301.98 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 129981 217 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1057420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28532 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1361.96 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 135976 220 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1057420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28534 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1421.95 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 141972 223 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1057420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28534 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1481.92 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 147968 224 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1057420 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28536 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1541.91 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 153965 226 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1057420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28538 /proc/meminfo: memFree=659360/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1601.9 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 159961 229 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1057420 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28540 /proc/meminfo: memFree=659236/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1661.88 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 165955 233 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134576379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1057420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28542 /proc/meminfo: memFree=659112/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1721.87 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 171949 238 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1057420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28542 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1781.85 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 177943 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134603220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1057420 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1791.46 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 178904 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 1057420 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1794.65 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 179223 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 1057420 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1796.24 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 179382 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 1057420 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1797.04 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 179462 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 1057420 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=1057420 CPUtime=1797.84 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202496 264769 0 0 0 179542 242 0 0 25 0 1 0 26674179 1082798080 261900 1992294400 134512640 137138936 4289085536 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28495/statm: 264355 261900 192 642 0 263711 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 1057420 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28544 /proc/meminfo: memFree=658864/2059040 swapFree=4140388/4192956 [pid=28495] ppid=28493 vsize=0 CPUtime=1798.05 /proc/28495/stat : 28495 (bsolo_pb10) R 28493 28495 28138 0 -1 4202500 264770 0 0 0 179557 248 0 0 25 0 1 0 26674179 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28495/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.11 CPU user time (s): 1795.58 CPU system time (s): 2.53461 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1057420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.58 system time used= 2.53461 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264770 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= 7356 runsolver used 3.20651 second user time and 8.25075 second system time The end
Begin job on node004 at 2010-06-14 12:18:23 IDJOB=2656605 IDBENCH=2267 IDSOLVER=1162 FILE ID=node004/2656605-1276510703 PBS_JOBID= 11173419 Free space on /tmp= 62544 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656605-1276510703/watcher-2656605-1276510703 -o /tmp/evaluation-result-2656605-1276510703/solver-2656605-1276510703 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656605-1276510703.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED=1348141180 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1710052 kB Buffers: 116752 kB Cached: 149496 kB SwapCached: 6684 kB Active: 107616 kB Inactive: 172204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1710052 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 6996 kB Writeback: 0 kB AnonPages: 11368 kB Mapped: 12984 kB Slab: 47348 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180592 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node004 at 2010-06-14 12:48:22