Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | -44 | 1798.02 | 1798.63 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
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 | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109379 |
Number of constraints which are clauses | 109379 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3707954-1338152811.opb 0.00/0.00 c File size is 2685249 bytes. 0.09/0.16 c Highest Coefficient sum: 1400 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.163 s 0.09/0.18 c Var: 1400 Constr: 109379 109379/0/0 Lit: 218758 Watch. Lit: 218758 0.09/0.18 c Obj. Vars: 1400 (100 % of total variables) 1.09/1.11 c Pre-processing Time: 1.109 s 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 0 1400 109379 218758 2 218758 36459 0 0 1.11 1.09/1.11 c Switching off lower bounding mode. 1.09/1.11 o -40 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 0 1400 109380 220158 2 218800 37459 1 0 1.12 2.29/2.35 c 101 1400 109489 368013 3 219018 41205 110 80 1.25 2.29/2.35 c 352 1400 109762 738312 6 219564 45326 383 217 1.62 2.29/2.35 c 828 1400 110297 1463275 13 220634 49859 918 355 2.33 2.29/2.35 o -41 111.17/111.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.17/111.21 c 838 1400 110309 1479575 13 220699 37459 930 356 2.35 111.17/111.21 c 938 1400 110418 1627257 14 220917 41205 1039 377 2.49 111.17/111.21 c 1189 1400 110704 2014510 18 221489 45326 1325 417 2.85 111.17/111.21 c 1664 1400 111226 2721675 24 222533 49859 1847 460 3.62 111.17/111.21 c 2477 1400 112110 3919874 34 224301 54845 2731 503 4.92 111.17/111.21 c 3797 1400 113591 5924862 52 227302 60330 4212 524 7.24 111.17/111.21 c 5878 1400 115880 9025220 77 231880 66364 6501 522 11.26 111.17/111.21 c 9101 1400 119462 13876875 116 239083 73001 10083 506 17.95 111.17/111.21 c 14037 1400 125003 21375759 171 250203 80302 15624 445 31.47 111.17/111.21 c 21543 1400 133280 32588348 244 266757 88333 23901 388 55.49 111.17/111.21 c 32905 1400 146028 49849823 341 292253 97167 36649 309 106.21 111.17/111.21 o -42 422.45/422.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 422.45/422.65 c 34685 1400 147957 52463750 354 296189 37459 38578 311 111.20 422.45/422.65 c 34786 1400 122000 17312006 141 244078 41205 12621 305 113.88 422.45/422.65 c 35036 1400 122279 17689647 144 244636 45326 12900 306 114.38 422.45/422.65 c 35512 1400 122803 18399110 149 245684 49859 13424 308 115.27 422.45/422.65 c 36325 1400 123724 19645042 158 247526 54845 14345 310 116.82 422.45/422.65 c 37645 1400 125199 21641394 172 250476 60330 15820 314 119.52 422.45/422.65 c 39726 1400 127486 24737863 194 255050 66364 18107 318 124.62 422.45/422.65 c 42949 1400 131063 29578909 225 262204 73001 21684 324 132.25 422.45/422.65 c 47885 1400 136559 37015493 271 273196 80302 27180 328 145.81 422.45/422.65 c 55391 1400 144990 48423923 333 290058 88333 35611 320 172.94 422.45/422.65 c 66752 1400 157711 65629228 416 315540 97167 48332 313 213.09 422.45/422.65 c Reducing formula size due to memory constraints 422.45/422.65 c Memory Limit: 1000.00 MB Used: 1003.27 MB 422.45/422.65 c 83896 1400 130875 29307865 223 261870 147860 21496 280 298.98 422.45/422.65 c 109716 1400 159462 67996896 426 319044 162647 50083 267 410.69 422.45/422.65 o -43 527.98/528.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 527.98/528.25 c 113283 1400 163373 73290566 448 326948 37460 53994 268 422.52 527.98/528.25 c 113383 1400 122196 17567030 143 244474 41207 12817 265 426.39 527.98/528.25 c 113633 1400 122473 17941630 146 245028 45328 13094 266 426.86 527.98/528.25 c 114109 1400 122999 18653275 151 246080 49861 13620 266 427.75 527.98/528.25 c 114922 1400 123905 19878484 160 247892 54848 14526 267 429.45 527.98/528.25 c 116244 1400 125373 21864054 174 250828 60333 15994 268 432.46 527.98/528.25 c 118325 1400 127685 24991431 195 255452 66367 18306 271 436.58 527.98/528.25 c 121549 1400 131273 29844148 227 262628 73004 21894 273 444.24 527.98/528.25 c 126487 1400 136809 37326367 272 273700 80305 27430 275 459.23 527.98/528.25 c 133993 1400 145263 48754432 335 290608 88336 35884 280 478.41 527.98/528.25 c 145355 1400 157958 65918031 417 316038 97170 48579 282 513.97 527.98/528.25 o -44 1797.98/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.62 c 147175 1400 159995 68672469 429 320156 37460 50616 278 528.05 1797.98/1798.62 c 147275 1400 122324 17721632 144 244732 41207 12945 274 535.64 1797.98/1798.62 c 147526 1400 122599 18093354 147 245282 45328 13220 275 536.12 1797.98/1798.62 c 148002 1400 123118 18795003 152 246320 49861 13739 275 536.99 1797.98/1798.62 c 148815 1400 124006 19995167 161 248096 54848 14627 276 538.52 1797.98/1798.62 c 150135 1400 125460 21960328 175 251004 60333 16081 277 541.21 1797.98/1798.62 c 152216 1400 127799 25119738 196 255682 66367 18420 279 545.27 1797.98/1798.62 c 155439 1400 131401 29987074 228 262886 73004 22022 281 552.38 1797.98/1798.62 c 160375 1400 136981 37525775 273 274046 80305 27602 284 564.20 1797.98/1798.62 c 167882 1400 145489 49015861 336 291062 88336 36110 284 590.60 1797.98/1798.62 c 179243 1400 158044 65982861 417 316214 97170 48665 285 628.19 1797.98/1798.62 c Reducing formula size due to memory constraints 1797.98/1798.62 c Memory Limit: 1000.00 MB Used: 1018.01 MB 1797.98/1798.62 c 196388 1400 130080 28203721 216 260204 147867 20701 283 693.48 1797.98/1798.62 c 222208 1400 159329 67668573 424 318856 162654 49950 271 819.64 1797.98/1798.62 c Reducing formula size due to memory constraints 1797.98/1798.62 c Memory Limit: 1000.00 MB Used: 1007.39 MB 1797.98/1798.62 c 261040 1400 157506 65167711 413 315333 148389 48127 261 997.36 1797.98/1798.62 c Reducing formula size due to memory constraints 1797.98/1798.62 c Memory Limit: 1000.00 MB Used: 1014.09 MB 1797.98/1798.62 c Reducing formula size due to memory constraints 1797.98/1798.62 c Memory Limit: 1000.00 MB Used: 1005.55 MB 1797.98/1798.62 c 319392 1400 130398 28617534 219 260840 148086 21019 231 1382.22 1797.98/1798.62 c Reducing formula size due to memory constraints 1797.98/1798.62 c Memory Limit: 1000.00 MB Used: 1008.84 MB 1797.98/1798.62 c Resources Exceeded 1797.98/1798.62 v -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.98/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.62 c 54 387294 35756 433352 161011 69939414 51632 215 1798.01 1797.98/1798.62 c Objective: -44 1797.98/1798.62 s SATISFIABLE 1797.98/1798.62 c Total time: 1798.01 s
OK -44
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-3707954-1338152811/watcher-3707954-1338152811 -o /tmp/evaluation-result-3707954-1338152811/solver-3707954-1338152811 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707954-1338152811.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: 2.00 2.00 1.95 3/176 28409 /proc/meminfo: memFree=27976884/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=13696 CPUtime=0 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 281406553 14024704 308 33554432000 134512640 137138936 4290673216 4290671744 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 3424 309 182 642 0 2124 0 [startup+0.032777 s] /proc/loadavg: 2.00 2.00 1.95 3/176 28409 /proc/meminfo: memFree=27976884/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=15484 CPUtime=0.02 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 904 0 0 0 2 0 0 0 20 0 1 0 281406553 15855616 858 33554432000 134512640 137138936 4290673216 4290671480 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 3871 860 288 642 0 2571 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15484 [startup+0.100206 s] /proc/loadavg: 2.00 2.00 1.95 3/176 28409 /proc/meminfo: memFree=27976884/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=19752 CPUtime=0.09 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 2263 0 0 0 9 0 0 0 20 0 1 0 281406553 20226048 2217 33554432000 134512640 137138936 4290673216 4290671624 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 4938 2217 554 642 0 3638 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19752 [startup+0.300241 s] /proc/loadavg: 2.00 2.00 1.95 3/176 28409 /proc/meminfo: memFree=27976884/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=30292 CPUtime=0.29 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 5813 0 0 0 28 1 0 0 20 0 1 0 281406553 31019008 5111 33554432000 134512640 137138936 4290673216 4290654924 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 7573 5111 185 642 0 6929 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30292 [startup+0.700253 s] /proc/loadavg: 2.00 2.00 1.95 3/176 28409 /proc/meminfo: memFree=27976884/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=30292 CPUtime=0.69 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 5813 0 0 0 66 3 0 0 20 0 1 0 281406553 31019008 5111 33554432000 134512640 137138936 4290673216 4290654924 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 7573 5111 185 642 0 6929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30292 [startup+1.50013 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28410 /proc/meminfo: memFree=27944116/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=31944 CPUtime=1.48 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 7934 0 0 0 143 5 0 0 20 0 1 0 281406553 32710656 5556 33554432000 134512640 137138936 4290673216 4290671708 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 7986 5556 192 642 0 7342 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31944 [startup+3.10017 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28410 /proc/meminfo: memFree=27921408/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=52968 CPUtime=3.09 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 13190 0 0 0 302 7 0 0 20 0 1 0 281406553 54239232 10812 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 13242 10812 192 642 0 12598 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52968 [startup+6.30019 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28410 /proc/meminfo: memFree=27844936/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=90300 CPUtime=6.29 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 22526 0 0 0 621 8 0 0 20 0 1 0 281406553 92467200 20148 33554432000 134512640 137138936 4290673216 4290672112 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 22575 20148 192 642 0 21931 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 90300 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 1.95 3/176 28410 /proc/meminfo: memFree=27712808/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=154936 CPUtime=12.68 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 38687 0 0 0 1256 12 0 0 20 0 1 0 281406553 158654464 36309 33554432000 134512640 137138936 4290673216 4290671968 134575902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 38734 36309 192 642 0 38090 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 154936 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28411 /proc/meminfo: memFree=27511564/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=259080 CPUtime=25.49 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 64708 0 0 0 2531 18 0 0 20 0 1 0 281406553 265297920 62330 33554432000 134512640 137138936 4290673216 4290672112 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 64770 62330 192 642 0 64126 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 259080 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28411 /proc/meminfo: memFree=27234640/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=420548 CPUtime=51.08 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 105089 0 0 0 5082 26 0 0 20 0 1 0 281406553 430641152 102711 33554432000 134512640 137138936 4290673216 4290672144 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 105137 102711 192 642 0 104493 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 420548 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.95 3/177 28411 /proc/meminfo: memFree=26934340/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=648624 CPUtime=102.28 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 162103 0 0 0 10186 42 0 0 20 0 1 0 281406553 664190976 159725 33554432000 134512640 137138936 4290673216 4290654840 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 162156 159729 192 642 0 161512 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 648624 [startup+162.3 s] /proc/loadavg: 2.07 2.03 1.96 3/177 28411 /proc/meminfo: memFree=26887760/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=694608 CPUtime=162.27 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 173636 0 0 0 16180 47 0 0 20 0 1 0 281406553 711278592 171220 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 173652 171220 192 642 0 173008 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 694608 [startup+222.3 s] /proc/loadavg: 2.02 2.02 1.96 3/178 28414 /proc/meminfo: memFree=26621176/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=922004 CPUtime=222.26 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 230477 0 0 0 22167 59 0 0 20 0 1 0 281406553 944132096 228061 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 230501 228061 192 642 0 229857 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 922004 [startup+282.3 s] /proc/loadavg: 2.01 2.02 1.96 3/177 28414 /proc/meminfo: memFree=26502948/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=282.25 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259730 0 0 0 28157 68 0 0 20 0 1 0 281406553 1063772160 257254 33554432000 134512640 137138936 4290673216 4290672144 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257254 192 642 0 259066 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1038840 [startup+342.3 s] /proc/loadavg: 2.03 2.02 1.96 3/177 28415 /proc/meminfo: memFree=26484288/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=342.22 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259761 0 0 0 34151 71 0 0 20 0 1 0 281406553 1063772160 257255 33554432000 134512640 137138936 4290673216 4290672144 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257255 192 642 0 259066 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 1038840 [startup+402.3 s] /proc/loadavg: 2.01 2.02 1.96 3/177 28415 /proc/meminfo: memFree=26458660/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=402.17 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259804 0 0 0 40143 74 0 0 20 0 1 0 281406553 1063772160 257255 33554432000 134512640 137138936 4290673216 4290672144 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257255 192 642 0 259066 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1038840 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 28415 /proc/meminfo: memFree=26458688/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=462.13 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259843 0 0 0 46137 76 0 0 20 0 1 0 281406553 1063772160 257255 33554432000 134512640 137138936 4290673216 4290671968 134573202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257255 192 642 0 259066 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1038840 [startup+522.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 28415 /proc/meminfo: memFree=26458724/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=522.09 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259882 0 0 0 52130 79 0 0 20 0 1 0 281406553 1063772160 257255 33554432000 134512640 137138936 4290673216 4290672144 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257255 192 642 0 259066 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1038840 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 28415 /proc/meminfo: memFree=26458520/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1038840 CPUtime=582.04 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 259924 0 0 0 58123 81 0 0 20 0 1 0 281406553 1063772160 257255 33554432000 134512640 137138936 4290673216 4290672144 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 259710 257255 192 642 0 259066 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 1038840 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26365452/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1121.78 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 112075 103 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672144 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1053116 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 1.98 3/177 28420 /proc/meminfo: memFree=26345984/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1181.77 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 118072 105 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672144 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1053116 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 1.98 3/177 28421 /proc/meminfo: memFree=26345744/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1241.76 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 124069 107 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290671640 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 1053116 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28421 /proc/meminfo: memFree=26345228/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1301.76 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 130068 108 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672144 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1053116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28421 /proc/meminfo: memFree=26345228/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1361.74 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 136064 110 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1053116 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.98 3/178 28424 /proc/meminfo: memFree=26345856/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1421.74 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 142060 114 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290671888 136502661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1053116 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28424 /proc/meminfo: memFree=26345988/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1481.72 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 148056 116 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672144 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1053116 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28425 /proc/meminfo: memFree=26346116/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1053116 CPUtime=1541.71 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 154053 118 0 0 20 0 1 0 281406553 1078390784 260824 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263279 260824 192 642 0 262635 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1053116 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28425 /proc/meminfo: memFree=26344256/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1601.71 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 160050 121 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290671732 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1052700 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 1.98 3/177 28425 /proc/meminfo: memFree=26288952/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1661.69 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 166047 122 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672144 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 1052700 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 1.98 3/177 28425 /proc/meminfo: memFree=26288828/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1721.69 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 172044 125 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1052700 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28425 /proc/meminfo: memFree=26288208/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1781.67 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 178041 126 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672144 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1052700 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.98 3/177 28425 /proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1791.29 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179002 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672144 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 1052700 [startup+1795.1 s] /proc/loadavg: 2.08 2.02 1.99 3/177 28425 /proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1794.49 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179322 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 1052700 [startup+1796.7 s] /proc/loadavg: 2.08 2.02 1.99 3/177 28425 /proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1796.08 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179481 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 1052700 [startup+1797.5 s] /proc/loadavg: 2.08 2.02 1.99 3/177 28425 /proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1796.88 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179561 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 1052700 [startup+1798.3 s] /proc/loadavg: 2.08 2.02 1.99 3/177 28425 /proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1797.67 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179640 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672144 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 1052700 [startup+1798.51 s] /proc/loadavg: 2.07 2.02 1.99 3/174 28432 /proc/meminfo: memFree=26939412/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1797.88 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179661 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290671740 136521049 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 1052700 [startup+1798.6 s] /proc/loadavg: 2.07 2.02 1.99 3/174 28432 /proc/meminfo: memFree=26939412/32873648 swapFree=7104/7104 [pid=28409] ppid=28407 vsize=1052700 CPUtime=1797.98 cores=1,3,5,7 /proc/28409/stat : 28409 (bsolo) R 28407 28409 23788 0 -1 4202496 264442 0 0 0 179671 127 0 0 20 0 1 0 281406553 1077964800 260752 33554432000 134512640 137138936 4290673216 4290672112 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28409/statm: 263175 260752 192 642 0 262531 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 1052700 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.02 CPU user time (s): 1796.74 CPU system time (s): 1.27881 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1054672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.74 system time used= 1.2788 maximum resident set size= 1045152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264443 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= 419 involuntary context switches= 1835 runsolver used 3.04254 second user time and 9.03363 second system time The end
Begin job on node127 at 2012-05-27 23:06:51 IDJOB=3707954 IDBENCH=2245 IDSOLVER=2286 FILE ID=node127/3707954-1338152811 RUNJOBID= node127-1338149212-27948 PBS_JOBID= 14624481 Free space on /tmp= 71172 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707954-1338152811/watcher-3707954-1338152811 -o /tmp/evaluation-result-3707954-1338152811/solver-3707954-1338152811 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707954-1338152811.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED=7013707 node127.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 : 2666.348 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 : 5332.69 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 : 2666.348 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 : 5331.91 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 : 2666.348 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 : 5331.94 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 : 2666.348 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 : 5331.91 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 : 2666.348 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 : 5331.91 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 : 2666.348 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 : 5331.91 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 : 2666.348 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 : 5331.91 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 : 2666.348 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27977644 kB Buffers: 476620 kB Cached: 3518884 kB SwapCached: 0 kB Active: 1228460 kB Inactive: 2786480 kB Active(anon): 21632 kB Inactive(anon): 0 kB Active(file): 1206828 kB Inactive(file): 2786480 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 11304 kB Writeback: 0 kB AnonPages: 162740 kB Mapped: 15128 kB Shmem: 200 kB Slab: 743236 kB SReclaimable: 187612 kB SUnreclaim: 555624 kB KernelStack: 1480 kB PageTables: 3504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 140536 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71168 MiB End job on node127 at 2012-05-27 23:36:50