Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | -45 | 1800.13 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
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 | 126555 |
Number of constraints which are clauses | 126555 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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.01 c Memory Limit set to 15500 MB 0.00/0.01 c Instance file HOME/instance-3733264-1338693943.opb 0.00/0.01 c File size is 3122761 bytes. 0.18/0.27 c Highest Coefficient sum: 1534 0.18/0.27 c Parsing was ok!! 0.18/0.27 c Total parsing time: 0.266 s 0.18/0.29 c Var: 1534 Constr: 126555 126555/0/0 Lit: 253110 Watch. Lit: 253110 0.18/0.29 c Obj. Vars: 1534 (100 % of total variables) 1.58/1.65 c Pre-processing Time: 1.644 s 1.58/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.65 c 0 1534 126555 253110 2 253110 42184 0 0 1.64 1.58/1.65 c Switching off LPR mode. 1.58/1.66 o -38 1.654 1.58/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.67 c 0 1534 126556 254644 2 253150 43184 1 0 1.66 1.58/1.67 o -39 1.66 1.58/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.67 c 4 1534 126561 262149 2 253199 43184 6 2 1.66 1.58/1.67 o -40 1.665 1.58/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.69 c 5 1534 126563 265176 2 253243 43184 8 2 1.67 1.58/1.69 o -41 1.688 1.78/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.85 c 43 1534 126602 323353 2 253362 43184 47 25 1.69 1.78/1.85 c 144 1534 126703 473858 3 253564 47503 148 82 1.74 1.78/1.85 o -42 1.844 7.17/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.17/7.21 c 296 1534 126856 701735 5 253912 43184 301 160 1.85 7.17/7.21 c 396 1534 126956 850595 6 254112 47503 401 207 1.91 7.17/7.21 c 646 1534 127206 1222862 9 254612 52254 651 309 2.09 7.17/7.21 c 1121 1534 127681 1929745 15 255562 57480 1126 469 2.39 7.17/7.21 c 1934 1534 128494 3139594 24 257188 63229 1939 635 3.04 7.17/7.21 c 3254 1534 129814 5104250 39 259828 69552 3259 733 4.43 7.17/7.21 c 5336 1534 131896 8204262 62 263992 76508 5341 742 7.18 7.17/7.21 o -43 7.203 7.17/7.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.17/7.29 c 5359 1534 131920 8240043 62 264083 43184 5365 743 7.21 7.17/7.29 c 5460 1534 132021 8390408 63 264285 47503 5466 750 7.28 7.17/7.29 o -44 7.288 1610.97/1611.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1610.97/1611.45 c 5471 1534 132033 8408316 63 264353 43184 5478 750 7.29 1610.97/1611.45 c 5571 1534 132133 8556981 64 264553 47503 5578 757 7.36 1610.97/1611.45 c 5822 1534 132384 8930055 67 265055 52254 5829 774 7.52 1610.97/1611.45 c 6297 1534 132859 9636069 72 266005 57480 6304 802 7.84 1610.97/1611.45 c 7110 1534 133672 10843725 81 267631 63229 7117 797 8.92 1610.97/1611.45 c 8430 1534 134992 12804989 94 270271 69552 8437 849 9.93 1610.97/1611.45 c 10512 1534 137074 15899958 115 274435 76508 10519 828 12.68 1610.97/1611.45 c 13735 1534 140297 20691102 147 280881 84159 13742 700 19.60 1610.97/1611.45 c 18673 1534 145235 28031885 193 290757 92575 18680 617 30.23 1610.97/1611.45 c 26179 1534 152741 39187800 256 305769 101833 26186 415 62.99 1610.97/1611.45 c 37541 1534 164103 56076731 341 328493 112017 37548 415 90.37 1610.97/1611.45 c 54686 1534 181248 81568713 450 362783 123219 54693 254 215.16 1610.97/1611.45 c 80506 1534 207068 119944979 579 414423 135541 80513 185 433.89 1610.97/1611.45 c 119339 1534 245901 177657130 722 492089 149096 119346 110 1079.23 1610.97/1611.45 c 177691 1534 166496 59613106 358 333036 164006 39941 110 1608.51 1610.97/1611.45 o -45 1611.03 1800.04/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.50 c 179833 1534 168639 62798733 372 337367 43184 42084 111 1611.03 1800.04/1800.50 c 179934 1534 168740 62948753 373 337569 47503 42185 111 1611.22 1800.04/1800.50 c 180185 1534 168991 63321619 374 338071 52254 42436 111 1611.38 1800.04/1800.50 c 180660 1534 169466 64027135 377 339021 57480 42911 111 1613.11 1800.04/1800.50 c 181473 1534 170279 65234828 383 340647 63229 43724 112 1613.85 1800.04/1800.50 c 182793 1534 171599 67195546 391 343287 69552 45044 113 1615.04 1800.04/1800.50 c 184875 1534 173681 70288368 404 347451 76508 47126 114 1617.92 1800.04/1800.50 c 188098 1534 176904 75075933 424 353897 84159 50349 115 1630.12 1800.04/1800.50 c 193034 1534 181840 82405163 453 363769 92575 55285 117 1636.52 1800.04/1800.50 c 200540 1534 189346 93550935 494 378781 101833 62791 120 1664.34 1800.04/1800.50 c 211902 1534 200708 110426371 550 401505 112017 74153 122 1732.91 1800.04/1800.50 c Caught signal: 15 1800.04/1800.50 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 1800.04/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.50 c 40 226809 33464 275802 215615 132571477 89060 126 1800.05 1800.04/1800.50 c Objective: -45 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 c Total time: 1800.05 s
OK -45
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733264-1338693943/watcher-3733264-1338693943 -o /tmp/evaluation-result-3733264-1338693943/solver-3733264-1338693943 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733264-1338693943.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.98 2.06 3/178 29521 /proc/meminfo: memFree=27126804/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1532 CPUtime=0 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4194304 74 0 0 0 0 0 0 0 20 0 1 0 335519730 1568768 29 33554432000 134512640 135840783 4289274496 4289272588 8250308 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 383 29 22 325 0 25 0 [startup+0.0664381 s] /proc/loadavg: 1.91 1.98 2.06 3/178 29521 /proc/meminfo: memFree=27126804/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=10356 CPUtime=0.05 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 1281 0 0 0 5 0 0 0 20 0 1 0 335519730 10604544 1218 33554432000 134512640 135840783 4289274496 4289273328 8762663 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 2589 1219 481 325 0 762 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10356 [startup+0.100282 s] /proc/loadavg: 1.91 1.98 2.06 3/178 29521 /proc/meminfo: memFree=27126804/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=11868 CPUtime=0.08 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 1764 0 0 0 8 0 0 0 20 0 1 0 335519730 12152832 1701 33554432000 134512640 135840783 4289274496 4289273200 8762663 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 2967 1702 575 325 0 1140 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11868 [startup+0.300244 s] /proc/loadavg: 1.91 1.98 2.06 3/178 29521 /proc/meminfo: memFree=27126804/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=23136 CPUtime=0.28 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 5847 0 0 0 27 1 0 0 20 0 1 0 335519730 23691264 5021 33554432000 134512640 135840783 4289274496 4289255180 13599792 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 5784 5021 341 325 0 4720 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 23136 [startup+0.700298 s] /proc/loadavg: 1.91 1.98 2.06 3/178 29521 /proc/meminfo: memFree=27126804/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=27104 CPUtime=0.68 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 6873 0 0 0 66 2 0 0 20 0 1 0 335519730 27754496 6047 33554432000 134512640 135840783 4289274496 4289255004 13599792 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 6776 6047 343 325 0 5712 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 27104 [startup+1.50028 s] /proc/loadavg: 1.91 1.98 2.06 3/179 29522 /proc/meminfo: memFree=27102368/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=27104 CPUtime=1.49 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 6873 0 0 0 145 4 0 0 20 0 1 0 335519730 27754496 6047 33554432000 134512640 135840783 4289274496 4289255004 13599792 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 6776 6047 343 325 0 5712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27104 [startup+3.10027 s] /proc/loadavg: 1.91 1.98 2.06 3/179 29522 /proc/meminfo: memFree=27091324/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=61600 CPUtime=3.08 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 17417 0 0 0 302 6 0 0 20 0 1 0 335519730 63078400 14659 33554432000 134512640 135840783 4289274496 4289255696 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 15400 14664 348 325 0 14336 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 61600 [startup+6.30029 s] /proc/loadavg: 1.92 1.98 2.05 3/179 29522 /proc/meminfo: memFree=27015684/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=114992 CPUtime=6.28 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 30770 0 0 0 620 8 0 0 20 0 1 0 335519730 117751808 28012 33554432000 134512640 135840783 4289274496 4289255696 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 28748 28012 348 325 0 27684 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 114992 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 2.05 3/179 29522 /proc/meminfo: memFree=26886716/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=222972 CPUtime=12.67 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 57770 0 0 0 1255 12 0 0 20 0 1 0 335519730 228323328 55012 33554432000 134512640 135840783 4289274496 4289273856 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 55743 55012 348 325 0 54679 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 222972 [startup+25.5003 s] /proc/loadavg: 2.02 2.00 2.06 3/179 29522 /proc/meminfo: memFree=26692152/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=339616 CPUtime=25.48 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 86911 0 0 0 2529 19 0 0 20 0 1 0 335519730 347766784 84153 33554432000 134512640 135840783 4289274496 4289255728 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 84904 84153 348 325 0 83840 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 339616 [startup+51.1003 s] /proc/loadavg: 2.01 2.00 2.06 3/179 29522 /proc/meminfo: memFree=26467044/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=478312 CPUtime=51.07 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 121604 0 0 0 5079 28 0 0 20 0 1 0 335519730 489791488 118846 33554432000 134512640 135840783 4289274496 4289273856 134551081 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 119578 118846 348 325 0 118514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 478312 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.05 3/179 29522 /proc/meminfo: memFree=26085416/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=814572 CPUtime=102.26 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 205655 0 0 0 10178 48 0 0 20 0 1 0 335519730 834121728 202897 33554432000 134512640 135840783 4289274496 4289273856 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 203643 202897 348 325 0 202579 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 814572 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 29522 /proc/meminfo: memFree=25921268/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=979156 CPUtime=162.24 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 246810 0 0 0 16164 60 0 0 20 0 1 0 335519730 1002655744 244052 33554432000 134512640 135840783 4289274496 4289273856 134551175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 244789 244052 348 325 0 243725 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 979156 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 29522 /proc/meminfo: memFree=25822220/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1077232 CPUtime=222.22 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 271325 0 0 0 22153 69 0 0 20 0 1 0 335519730 1103085568 268567 33554432000 134512640 135840783 4289274496 4289273856 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/29521/statm: 269308 268567 348 325 0 268244 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1077232 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.03 3/180 29526 /proc/meminfo: memFree=25692908/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1207628 CPUtime=282.21 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 303933 0 0 0 28142 79 0 0 20 0 1 0 335519730 1236611072 301175 33554432000 134512640 135840783 4289274496 4289273856 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 301907 301175 348 325 0 300843 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1207628 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 29526 /proc/meminfo: memFree=25496032/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1403624 CPUtime=342.2 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 352914 0 0 0 34129 91 0 0 20 0 1 0 335519730 1437310976 350156 33554432000 134512640 135840783 4289274496 4289273804 12092519 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 350906 350156 348 325 0 349842 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1403624 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 29526 /proc/meminfo: memFree=25383840/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1515972 CPUtime=402.19 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 381010 0 0 0 40119 100 0 0 20 0 1 0 335519730 1552355328 378252 33554432000 134512640 135840783 4289274496 4289273808 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 378993 378252 348 325 0 377929 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1515972 [startup+462.3 s] /proc/loadavg: 2.14 2.03 2.03 3/179 29526 /proc/meminfo: memFree=25302524/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1597036 CPUtime=462.18 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 401271 0 0 0 46112 106 0 0 20 0 1 0 335519730 1635364864 398513 33554432000 134512640 135840783 4289274496 4289273856 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 399259 398513 348 325 0 398195 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1597036 [startup+522.3 s] /proc/loadavg: 2.05 2.02 2.02 3/179 29526 /proc/meminfo: memFree=25188224/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1711676 CPUtime=522.17 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 429941 0 0 0 52104 113 0 0 20 0 1 0 335519730 1752756224 427183 33554432000 134512640 135840783 4289274496 4289273856 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 427919 427183 348 325 0 426855 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1711676 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.01 3/179 29527 /proc/meminfo: memFree=25123152/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=1776428 CPUtime=582.17 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 446115 0 0 0 58099 118 0 0 20 0 1 0 335519730 1819062272 443357 33554432000 134512640 135840783 4289274496 4289273856 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 444107 443357 348 325 0 443043 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 1776428 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 29531 /proc/meminfo: memFree=24789104/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2113352 CPUtime=882.07 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 530408 0 0 0 88064 143 0 0 20 0 1 0 335519730 2164072448 527590 33554432000 134512640 135840783 4289274496 4289273848 12122320 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 528338 527590 348 325 0 527274 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 2113352 [startup+942.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 29531 /proc/meminfo: memFree=24731480/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2171568 CPUtime=942.05 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 544992 0 0 0 94057 148 0 0 20 0 1 0 335519730 2223685632 542163 33554432000 134512640 135840783 4289274496 4289273856 134550910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 542892 542163 348 325 0 541828 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 2171568 [startup+1002.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 29531 /proc/meminfo: memFree=24640368/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2221564 CPUtime=1002.04 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 557514 0 0 0 100051 153 0 0 20 0 1 0 335519730 2274881536 554670 33554432000 134512640 135840783 4289274496 4289273856 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 555391 554670 348 325 0 554327 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 2221564 [startup+1062.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 29531 /proc/meminfo: memFree=24503872/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2270756 CPUtime=1062.02 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 569809 0 0 0 106045 157 0 0 20 0 1 0 335519730 2325254144 566955 33554432000 134512640 135840783 4289274496 4289273856 134551312 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 567689 566955 348 325 0 566625 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 2270756 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29531 /proc/meminfo: memFree=24298308/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2476012 CPUtime=1122 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 621111 0 0 0 112030 170 0 0 20 0 1 0 335519730 2535436288 618255 33554432000 134512640 135840783 4289274496 4289273800 12122297 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 619003 618255 348 325 0 617939 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 2476012 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29532 /proc/meminfo: memFree=24149660/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2625240 CPUtime=1181.98 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 658427 0 0 0 118017 181 0 0 20 0 1 0 335519730 2688245760 655570 33554432000 134512640 135840783 4289274496 4289273856 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 656310 655570 348 325 0 655246 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 2625240 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29532 /proc/meminfo: memFree=23991216/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2782540 CPUtime=1241.95 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 697758 0 0 0 124003 192 0 0 20 0 1 0 335519730 2849320960 694901 33554432000 134512640 135840783 4289274496 4289273856 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 695635 694901 348 325 0 694571 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 2782540 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29532 /proc/meminfo: memFree=23889564/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1301.94 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722897 0 0 0 129996 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273920 134546112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 2882488 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29532 /proc/meminfo: memFree=23889468/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1361.9 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 135992 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 2882488 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29532 /proc/meminfo: memFree=23889496/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1421.9 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 141992 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 2882488 [startup+1482.3 s] /proc/loadavg: 2.07 2.02 2.00 3/180 29536 /proc/meminfo: memFree=23889516/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1481.88 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 147990 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 2882488 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 29536 /proc/meminfo: memFree=23889800/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1541.87 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 153989 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 2882488 [startup+1602.3 s] /proc/loadavg: 1.95 1.99 1.99 3/179 29651 /proc/meminfo: memFree=25197840/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1601.87 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 159989 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 2882488 [startup+1662.3 s] /proc/loadavg: 1.98 1.99 1.99 3/179 29651 /proc/meminfo: memFree=24858852/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1661.86 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 165988 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 2882488 [startup+1722.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 29651 /proc/meminfo: memFree=24620924/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1721.85 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722918 0 0 0 171987 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 2882488 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 29652 /proc/meminfo: memFree=24526216/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1781.83 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722928 0 0 0 177985 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 2882488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.01 2.00 2.00 3/179 29652 /proc/meminfo: memFree=24506096/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1800.04 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722928 0 0 0 179806 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2882488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.01 2.00 2.00 3/179 29652 /proc/meminfo: memFree=24506096/32873844 swapFree=7124/7124 [pid=29521] ppid=29519 vsize=2882488 CPUtime=1800.04 cores=1,3,5,7 /proc/29521/stat : 29521 (bsolo3.0.17) R 29519 29521 27204 0 -1 4202496 722928 0 0 0 179806 198 0 0 20 0 1 0 335519730 2951667712 719878 33554432000 134512640 135840783 4289274496 4289273856 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29521/statm: 720622 719878 348 325 0 719558 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2882488 Child status: 15 Real time (s): 1800.59 CPU time (s): 1800.13 CPU user time (s): 1798.06 CPU system time (s): 2.06569 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 2883080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.06 system time used= 2.06569 maximum resident set size= 2880104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 722931 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= 233 involuntary context switches= 2052 runsolver used 3.79242 second user time and 9.43356 second system time The end
Begin job on node134 at 2012-06-03 05:25:43 IDJOB=3733264 IDBENCH=2265 IDSOLVER=2318 FILE ID=node134/3733264-1338693943 RUNJOBID= node134-1338678625-27224 PBS_JOBID= 14636679 Free space on /tmp= 70348 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733264-1338693943/watcher-3733264-1338693943 -o /tmp/evaluation-result-3733264-1338693943/solver-3733264-1338693943 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733264-1338693943.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED=881348254 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27127184 kB Buffers: 475232 kB Cached: 3309208 kB SwapCached: 76 kB Active: 2806836 kB Inactive: 2035944 kB Active(anon): 1049536 kB Inactive(anon): 10496 kB Active(file): 1757300 kB Inactive(file): 2025448 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 9724 kB Writeback: 0 kB AnonPages: 1066124 kB Mapped: 12488 kB Shmem: 96 kB Slab: 760628 kB SReclaimable: 202456 kB SUnreclaim: 558172 kB KernelStack: 1472 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1174560 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70340 MiB End job on node134 at 2012-06-03 05:55:46